期刊文献+
共找到245篇文章
< 1 2 13 >
每页显示 20 50 100
The Construction of Case Event Logic Graph for Judgment Documents
1
作者 Congyao Zhang Shiping Tang 《国际计算机前沿大会会议论文集》 2021年第1期209-217,共9页
The construction of a case event logic graph for the judgment documentcan more intuitively retrospect the development of the case. This paperproposes a joint model of event extraction and relationship recognition for ... The construction of a case event logic graph for the judgment documentcan more intuitively retrospect the development of the case. This paperproposes a joint model of event extraction and relationship recognition for judgmentdocuments. By extracting the case information in the judgment document,a case event logic graph was constructed. The development process of the casewas shown, and a reference was provided for the analysis of the context of thecase. The experimental results show that the proposed method can extract eventsand identify the relationship between events, and the F1 value reaches 0.809. Thecase event logic graph reveals the development context of the case accurately andvividly. 展开更多
关键词 event logic graph Judgment document event extraction Relationship recognition
原文传递
城市暴雨洪涝灾害链辨识及系统性风险评估
2
作者 刘高峰 李佳静 +2 位作者 王慧敏 龚艳冰 陶飞飞 《中国管理科学》 北大核心 2025年第7期222-231,共10页
城市暴雨往往引发一系列次生灾害,形成暴雨洪涝灾害链,科学辨识城市暴雨洪涝灾害链及其诱发的系统性风险,是城市公共安全应急响应的基础和关键。现有研究侧重于单一洪涝灾害的风险分析与评估,严重低估了城市暴雨洪涝灾害带来的影响。本... 城市暴雨往往引发一系列次生灾害,形成暴雨洪涝灾害链,科学辨识城市暴雨洪涝灾害链及其诱发的系统性风险,是城市公共安全应急响应的基础和关键。现有研究侧重于单一洪涝灾害的风险分析与评估,严重低估了城市暴雨洪涝灾害带来的影响。本文基于2017-2021年有关洪涝灾害新闻报道文本数据,利用规则模板及依存句法分析抽取灾害事件对,结合事件聚类泛化及共现分析方法,构建城市暴雨洪涝灾害演化的事理知识图谱,辨识城市暴雨洪涝灾害链扩散机理;考虑灾害链连锁反应对灾情的放大作用,引入暴雨洪涝灾害链风险度指标,建立城市暴雨洪涝灾害链系统性风险评估模型。针对近年来深圳、河南、山西等地的典型暴雨事件,对比分析其暴雨洪涝灾害链特征及演化路径,并提出了不同地区系统性风险应对策略及管理启示。 展开更多
关键词 暴雨洪涝 灾害链 事理知识图谱 共现分析 系统性风险
原文传递
Conditional Events and Quantum Logic
3
作者 Philip G. Calabrese 《Journal of Applied Mathematics and Physics》 2018年第6期1278-1289,共12页
This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The ... This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities. 展开更多
关键词 HEISENBERG INDETERMINACY SUPERPOSITION of eventS Quantum Entanglement Hidden Variables BOOLEAN Algebra CONDITIONAL logic
在线阅读 下载PDF
基于故障树分析法的迈腾起动系统故障诊断与排除
4
作者 冯谣 沈利华 +2 位作者 孙凯 朱立伦 俞嘉添 《浙江交通职业技术学院学报》 2025年第2期45-51,共7页
影响大众迈腾汽车起动系统不能正常工作的因素十分复杂,亟需寻求一种快速诊断的方法进行故障排除。本文基于故障树分析法,将迈腾汽车起动系统控制电路、起动系统电源电路、起动系统自身可能发生的故障分为22个基本事件,利用逻辑或门绘... 影响大众迈腾汽车起动系统不能正常工作的因素十分复杂,亟需寻求一种快速诊断的方法进行故障排除。本文基于故障树分析法,将迈腾汽车起动系统控制电路、起动系统电源电路、起动系统自身可能发生的故障分为22个基本事件,利用逻辑或门绘制起动系统逻辑图,计算各子系统发生故障的概率,得出发生故障率最高的基本事件依次为起动机继电器J906自身故障、起动机继电器J906线路故障、起动装置按钮E378线路故障、进入及起动系统J965信号线路故障。通过对以上故障发生的原因、机理、诊断思路进行分析,为迈腾起动系统的故障诊断与维修提供参考。 展开更多
关键词 故障树分析法 基本事件 逻辑或门 起动系统
在线阅读 下载PDF
乡村社群参与乡村体育赛事的行动逻辑与实践启示——基于晋江市东埔村的个案考察 被引量:1
5
作者 曾玉兰 许文鑫 《西安体育学院学报》 北大核心 2025年第4期462-470,共9页
发展乡村体育赛事是全面推进乡村振兴、建设体育强国的重要抓手。运用文献资料、实地调查等方法,立足价值共创理论,以荣获“和美乡村”称号的福建省晋江市东埔村为个案,系统剖析乡村社群参与体育赛事的行动逻辑。研究发现,乡村体育赛事... 发展乡村体育赛事是全面推进乡村振兴、建设体育强国的重要抓手。运用文献资料、实地调查等方法,立足价值共创理论,以荣获“和美乡村”称号的福建省晋江市东埔村为个案,系统剖析乡村社群参与体育赛事的行动逻辑。研究发现,乡村体育赛事价值共创是乡村社群多元主体协同互动的结果,呈现出“理念认同—资源整合—价值共生—主体协同”的系统性演进路径。理念认同阶段通过认知共构、价值凝聚与愿景共建,形成共同价值取向;资源整合阶段通过内外部资源激活与优化配置,构建起立体化支撑体系;价值共生阶段在经济、社会、文化维度实现效益叠加;主体协同阶段则深化为能力、组织与生态层面的系统性协作。构建以价值共创为核心的多元主体协同治理模式,是推动乡村体育赛事高质量发展的关键,也是对乡村振兴战略的地方实践和中国式农村现代化的模式探索。 展开更多
关键词 价值共创 乡村社群 乡村体育赛事 行动逻辑
原文传递
突发事件应急领导小组:组织形态与驱动逻辑
6
作者 陶振 李学宇 《成都行政学院学报》 2025年第3期5-14,117,共11页
应急领导小组是一项极富中国特色的应急指挥组织体制,不仅发挥着加强党对应急指挥活动的政治领导作用,而且承担了议事协调的行政职能,发挥组织决策与部门协调的双重功能。根据党政和部门间关系的不同,应急领导小组可分为“政党—指令型... 应急领导小组是一项极富中国特色的应急指挥组织体制,不仅发挥着加强党对应急指挥活动的政治领导作用,而且承担了议事协调的行政职能,发挥组织决策与部门协调的双重功能。根据党政和部门间关系的不同,应急领导小组可分为“政党—指令型”“政府—指令型”“政党—协作型”“政府—协作型”等不同类型,对应着不同的党政权责配置以及部门间的关系状况。组织结构、组织权威、组织激励、组织机制的嵌入再造是应急领导小组实现统合式治理的主要驱动逻辑。灵活性与机动性是应急领导小组的主要组织优势,但在机构设置、部门职责、组织运行等方面仍存在规范化与法治化的优化空间。 展开更多
关键词 突发事件 应急领导小组 组织形态 驱动逻辑
在线阅读 下载PDF
新时代重大历史事件纪念活动的爱国主义教育功能及其发挥
7
作者 许桂芳 《现代教育科学》 2025年第1期66-71,97,共7页
重大历史事件纪念活动是新时代爱国主义教育的有效载体,包含符号纪念、会议纪念、文本纪念、艺术纪念、行为纪念等多种形式,具有鲜明的历史文化特质,蕴含着丰富的爱国主义教育资源。借助重大历史事件纪念活动勾勒历史发展脉络,其主要功... 重大历史事件纪念活动是新时代爱国主义教育的有效载体,包含符号纪念、会议纪念、文本纪念、艺术纪念、行为纪念等多种形式,具有鲜明的历史文化特质,蕴含着丰富的爱国主义教育资源。借助重大历史事件纪念活动勾勒历史发展脉络,其主要功能体现在:传承历史记忆,增强国家认同;激发爱国情感,厚植家国情怀;辨明爱国方向,凝聚爱国共识;宣传政治主张,实现社会动员。发挥重大历史事件纪念活动的爱国主义教育功能,需要深入挖掘重大历史事件纪念活动蕴含的爱国主义教育元素,聚焦“四史”教育和“中国梦”教育两大主题,统筹“线上”和“线下”两大平台,发挥显性教育和隐性教育两种教育功能,健全考核评价和信息反馈两大机制,为实现中华民族伟大复兴凝心铸魂。 展开更多
关键词 重大历史事件 爱国主义教育 功能表达 实践理路 纪念活动
在线阅读 下载PDF
基于超线性时序逻辑的无二义加权自动机的可检测性研究
8
作者 张涛 彭皓天 《天津理工大学学报》 2025年第1期112-117,共6页
文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,... 文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,事件转换往往涉及时间和成本的消耗,这需要在DESs研究中引入加权因素。加权决策策略旨在通过为不同事件或状态分配权重来优化系统性能、指导政策制定,并实现高效、安全和可靠地运行。讨论了从加权DESs建模中得出的无二义加权自动机(unambiguous weighted automata, UWAs)。在此基础上,将其转换为一种特殊的Kripke结构,以捕获此类加权自动机的信息,从而实现HyperLTL的明确表示。 展开更多
关键词 网络安全 离散事件系统 可检测性 超线性时序逻辑 无二义加权自动机
在线阅读 下载PDF
基于信号时态逻辑的深度时序事件检测算法
9
作者 张思齐 张金俊 +1 位作者 王天一 秦小林 《计算机应用》 北大核心 2025年第1期90-97,共8页
针对深度事件检测模型对复杂时序事件检测准确性不足和忽略了不同事件间相关性的问题,提出一种基于信号时态逻辑的深度时序事件检测算法DSTL(Deep Signal Temporal Logic)。该算法一方面引入信号时态逻辑框架,并用信号时态逻辑(STL)公... 针对深度事件检测模型对复杂时序事件检测准确性不足和忽略了不同事件间相关性的问题,提出一种基于信号时态逻辑的深度时序事件检测算法DSTL(Deep Signal Temporal Logic)。该算法一方面引入信号时态逻辑框架,并用信号时态逻辑(STL)公式建模时间序列中的事件来综合考虑时间序列上事件的逻辑性和时态性;另一方面采用基于神经网络的基础分类器来检测原子事件的发生情况,并通过STL公式结构和语义来辅助检测复杂事件。另外,使用神经网络模块替代相应的逻辑连接词和时态逻辑算子,从而提供可GPU加速和梯度下降的神经网络模块。通过对6个时间序列数据集的实验,验证了该算法在时序事件检测方面的有效性,并把使用DSTL算法的模型与不使用该算法而使用多层感知机(MLP)、长短期记忆(LSTM)网络和Transformer的深度时间序列分类模型进行比较。实验结果表明,使用DSTL算法的模型在5种事件上的平均F1分数提升了约12%,其中3种跨时间点事件上的平均F1分数提升了约14%,且具备更好的可解释性。 展开更多
关键词 时态逻辑 事件检测 事件表示 时间序列 深度学习
在线阅读 下载PDF
以知识脉络融合事理逻辑的课堂教学分析框架研究
10
作者 李通德 詹泽慧 +2 位作者 李婷婷 郑琳琳 季瑜 《现代教育技术》 2025年第8期116-126,共11页
课堂是教学改革的主阵地,知识是课堂教学的逻辑起点,而事理逻辑呈现知识建构主体的交互过程。如何利用智能技术深度挖掘课堂教学中的知识脉络并分析其背后的事理逻辑,将真正有价值的教学过程提取出来,已成为提升课堂教学质量的重要研究... 课堂是教学改革的主阵地,知识是课堂教学的逻辑起点,而事理逻辑呈现知识建构主体的交互过程。如何利用智能技术深度挖掘课堂教学中的知识脉络并分析其背后的事理逻辑,将真正有价值的教学过程提取出来,已成为提升课堂教学质量的重要研究方向。为此,文章首先以梳理课堂教学知识脉络为主线,同时融合事理逻辑,构建了以知识脉络融合事理逻辑的课堂教学分析框架。之后,文章在一节“失重与超重”高中物理智慧课堂中进行了该框架的教学应用,验证了该框架的可用性和有效性。文章指出,借助该框架能清晰呈现课堂教学中的知识脉络及其背后的事理逻辑,能揭示重要知识点及其演化过程、教学事件显著转换序列等课堂教学特征。文章创新了课堂教学的分析框架并进行了教学应用,可为智慧课堂教学提供理论参考和实践指导。 展开更多
关键词 课堂教学分析 知识脉络 事理逻辑 教学事件 智慧课堂
在线阅读 下载PDF
面向产品标准研制的智能家居质量安全事理知识图谱构建研究
11
作者 杨跃翔 郑怀城 +2 位作者 刘学文 林睿婷 许应成 《标准科学》 2025年第8期97-109,共13页
【目的】针对智能家居产品质量安全标准研制需求,构建智能家居质量安全事理知识图谱,为相关标准研制提供产品危害和事故致因链等知识支撑,以提升产品质量安全标准的适用性和科学性。【方法】基于智能家居质量安全问题事件本体,采用自顶... 【目的】针对智能家居产品质量安全标准研制需求,构建智能家居质量安全事理知识图谱,为相关标准研制提供产品危害和事故致因链等知识支撑,以提升产品质量安全标准的适用性和科学性。【方法】基于智能家居质量安全问题事件本体,采用自顶向下的方法对质量安全事件进行知识抽取,依次完成事件类型识别、事件关系抽取及事件要素提取。通过对事件进行泛化处理,构建抽象的事理知识图谱,并实现致因事件链和事件知识的存储与可视化分析。【结果】所构建的智能家居质量安全事理知识图谱能够有效表达复杂的安全事件演化逻辑,支持对质量安全问题的深入分析与推理。【结论】该事理知识图谱可为智能家居产品质量安全的标准研制提供理论支持与技术手段,有助于提升产品质量安全的科学性,具有良好的应用前景。 展开更多
关键词 智能家居 质量安全 事理知识图谱 标准研制
在线阅读 下载PDF
冬季两项赛事风险的韧性治理:逻辑进路、现实审视与纾解路径
12
作者 顾翔宇 王飞 +1 位作者 王志博 史明 《冰雪运动》 2025年第1期1-7,共7页
冬季两项是我国冬季体育项目发展中的重要一环,为应对其中日益复杂多变的赛事风险,基于韧性治理的理论场域,探寻更加行之有效的治理模式尤为迫切。从概念阐释、必要性、分析框架等层面入手,解构冬季两项赛事风险韧性治理的内涵;从理论... 冬季两项是我国冬季体育项目发展中的重要一环,为应对其中日益复杂多变的赛事风险,基于韧性治理的理论场域,探寻更加行之有效的治理模式尤为迫切。从概念阐释、必要性、分析框架等层面入手,解构冬季两项赛事风险韧性治理的内涵;从理论逻辑与实践逻辑出发,分析冬季两项赛事风险韧性治理的逻辑进路。发现我国冬季两项赛事风险的韧性治理在实践中,存在理念滞后、结构混乱、制度失范、机制僵硬、工具欠缺等问题,相应提出围绕整体性加强韧性治理理念、围绕匹配性优化韧性治理结构、围绕应用性完善韧性治理制度、围绕时效性革新韧性治理机制、围绕发展性创新韧性治理工具等纾解路径。通过清醒认知我国冬季两项赛事风险治理的现状,在实践中融入韧性治理,以此构建我国特色冬季两项赛事体系,实现项目的高质量发展,推动体育强国及中国式现代化建设。 展开更多
关键词 冬季两项 赛事风险 韧性治理 逻辑进路 现实审视 纾解路径
在线阅读 下载PDF
基于柔性广义相关性的SFEP中事件逻辑关系确定
13
作者 崔铁军 李莎莎 《模糊系统与数学》 北大核心 2025年第2期58-67,共10页
为研究系统故障演化过程(system fault evolution process,SFEP)中存在的逻辑关系多样性,提出结合空间故障网络(space fault network,SFN)、泛逻辑和因素空间理论的研究方法.以SFN表示SFEP为基础,将SFEP的演化最小单元的陈述表达等效为... 为研究系统故障演化过程(system fault evolution process,SFEP)中存在的逻辑关系多样性,提出结合空间故障网络(space fault network,SFN)、泛逻辑和因素空间理论的研究方法.以SFN表示SFEP为基础,将SFEP的演化最小单元的陈述表达等效为命题,将演化过程结果的发生概率等效为命题真值,基于柔性广义相关性并考虑命题的相生相克关系和作用同异关系确定两命题相互作用的逻辑形式,包括模糊逻辑、概率逻辑、有界逻辑和突变逻辑,进而当两命题发生条件在因素空间中重叠时使用两命题真值来计算结果命题的真值.因素空间可具体形象地表示SFN的形态,条件重叠是结果成立的基本条件;而泛逻辑建立的柔性逻辑体系则拓展了原有SFN只具备概率逻辑的现状,实现了事件间逻辑关系的拓展. 展开更多
关键词 智能科学 系统故障演化过程 空间故障网络 泛逻辑 因素空间 事件逻辑关系
原文传递
论赛艇文化的生成逻辑与传播策略
14
作者 胡宣 陈培友 李时 《体育文化导刊》 北大核心 2025年第8期63-68,90,共7页
运用文献资料、逻辑分析等方法,在梳理赛艇运动发展现状基础上,探析赛艇文化生成逻辑与传播策略。赛艇运动发展现状:竞争格局多极化,赛事体系多样化,市场规模扩大化。赛艇文化生成逻辑:水域环境的基础支撑,赛艇运动的特质塑造,群体互动... 运用文献资料、逻辑分析等方法,在梳理赛艇运动发展现状基础上,探析赛艇文化生成逻辑与传播策略。赛艇运动发展现状:竞争格局多极化,赛事体系多样化,市场规模扩大化。赛艇文化生成逻辑:水域环境的基础支撑,赛艇运动的特质塑造,群体互动的意义编织,价值传播的循环强化。赛艇文化传播策略:打造水域体验场景,拓展传播空间;推动多元文化融合,创新传播内容;加强赛艇社群建设,筑牢传播网络;构建媒体传播矩阵,拓宽传播渠道。 展开更多
关键词 体育管理 运动项目文化 赛艇文化 生成逻辑 传播策略
在线阅读 下载PDF
“位育”思想与贵州省“村BA”的逻辑耦合及实践启示
15
作者 陈同童 马永明 《当代体育科技》 2025年第24期85-87,94,共4页
乡村体育赛事的推行是实现乡村体育高质量发展的必经之路,也是建设中国体育强国梦的有力保障。该文运用“位育”的内涵维度,结合贵州省“村BA”的发展状况,采用文献资料、访谈、实地调查、逻辑推理等研究方法,探究“位育”与“村BA”的... 乡村体育赛事的推行是实现乡村体育高质量发展的必经之路,也是建设中国体育强国梦的有力保障。该文运用“位育”的内涵维度,结合贵州省“村BA”的发展状况,采用文献资料、访谈、实地调查、逻辑推理等研究方法,探究“位育”与“村BA”的逻辑耦合及实践启示。在逻辑耦合方面,“位育”中的教育、社区参与、经济发展、民族融合、文化传统分别嵌入“村BA”的体育文化、自我管理、乡村振兴、共同体意识、体育旅游。基于此,提出实践启示:互嵌共生,重视乡土教育之根基;内生驱动,秉承以人民为中心的体育发展观;以体育人,注重乡村体育文化的传播。旨在为全国乡村体育事业的高质量发展提供些许参考。 展开更多
关键词 乡村 体育赛事 “位育” “村BA” 逻辑耦合
在线阅读 下载PDF
职业本科教育试点政策创新扩散的逻辑动因探究——基于全国31个省域数据的事件史分析 被引量:2
16
作者 吴柯豫 魏署光 《大学教育科学》 北大核心 2025年第2期99-111,共13页
发展职业本科教育是健全我国职业教育体系的关键环节,职业本科教育的快速发展得益于试点政策在全国范围内的广泛扩散。以政策创新扩散理论为基础,采用事件史分析法对2014—2021年我国31个省域的面板数据进行分析,以期探究职业本科教育... 发展职业本科教育是健全我国职业教育体系的关键环节,职业本科教育的快速发展得益于试点政策在全国范围内的广泛扩散。以政策创新扩散理论为基础,采用事件史分析法对2014—2021年我国31个省域的面板数据进行分析,以期探究职业本科教育试点政策在不同省域间的扩散特征、影响因素及内在逻辑。研究发现,试点政策的扩散趋势呈现出近似的“S形”扩散曲线,在空间分布上则表现为由中西部地区向东部地区“反向”扩散。基于现实问题导向的治理逻辑和基于政策试点导向的合法性逻辑,则是影响试点政策创新扩散的双元逻辑。其中,教育财政支出、在校生规模、高职院校规模、第三产业规模、同侪效应、纵向中央信号和社会公众关注是影响省级政府采纳试点政策的重要因素。 展开更多
关键词 政策扩散 事件史分析 职业本科教育 双元逻辑
在线阅读 下载PDF
乡村体育赛事何以实现“由村到国”?——基于“村BA”的制度逻辑视角
17
作者 张继亮 高晨 +1 位作者 何苏洋 张浩淼 《上海体育大学学报》 北大核心 2025年第11期74-86,共13页
举办乡村体育赛事是发展乡村体育产业和促进乡村振兴的基本途径,也是实现乡土社会发展和基层治理创新的重要举措。基于制度逻辑理论和中国国家治理模型建构分析框架,运用嵌入式案例研究法对“村BA”赛事的制度化进行逻辑模型系统分析,... 举办乡村体育赛事是发展乡村体育产业和促进乡村振兴的基本途径,也是实现乡土社会发展和基层治理创新的重要举措。基于制度逻辑理论和中国国家治理模型建构分析框架,运用嵌入式案例研究法对“村BA”赛事的制度化进行逻辑模型系统分析,发现“村BA”赛事的制度化是基层社会的共同体逻辑、地方政府的行政逻辑和中央政府的国家逻辑共同作用的结果。其中,个体情感凝聚和多元发展需求在制度逻辑的形塑下促进了乡村体育赛事的形成,地方政府在纵向回应性压力和横向竞争动力的影响下推动制度创新,中央政府通过议程设置和政策反馈正式将其纳入国家级体育赛事。在此过程中,媒体动员发挥了链接制度逻辑、凝聚社会焦点和拓展制度场域的关键作用。 展开更多
关键词 “村BA” 制度逻辑理论 乡村体育赛事 乡村振兴 制度化
在线阅读 下载PDF
《体育赛事活动管理条例》制定的背景、理念及要点 被引量:1
18
作者 王克阳 《体育科研》 2025年第5期43-51,共9页
现行《体育赛事活动管理办法》作为部门规章,因效力局限难以统筹多部门协作,存在安全监管盲区、权责模糊及市场活力抑制等问题。为破解当前体育赛事管理领域因法律位阶不足、跨部门协同乏力及新兴风险叠加引发的治理困境,探讨《体育赛... 现行《体育赛事活动管理办法》作为部门规章,因效力局限难以统筹多部门协作,存在安全监管盲区、权责模糊及市场活力抑制等问题。为破解当前体育赛事管理领域因法律位阶不足、跨部门协同乏力及新兴风险叠加引发的治理困境,探讨《体育赛事活动管理条例》(《条例》)的制定背景、理念以及立法框架。得出:《条例》的设计应基于安全风险防控、民生服务保障、优化营商环境、践行可持续发展、科技赋能、弘扬体育精神、促进国际交流等七大核心理念,通过构建分级分类管理体系、压实主体责任、创新信用监管与数字化治理机制,系统性完善赛事组织、审批备案、权益保障及法律责任等制度框架,以此回应体育强国战略需求,推动赛事从“规模扩张”向“质量跃升”转型,实现安全底线与市场活力的动态平衡。 展开更多
关键词 体育赛事活动 时代理念 逻辑要点
在线阅读 下载PDF
国内事理图谱研究进展与未来展望——基于CiteSpace的可视化分析
19
作者 曹孟月 《江苏科技信息》 2025年第5期99-103,共5页
作为新的知识表示方法,事理图谱聚焦于事件及其关系的动态性知识研究已吸引国内不少学者关注。文章从文献计量的视角出发,利用CiteSpace、SATI3.2等工具,分析事理图谱相关研究发文趋势、发文作者及机构合作网络、高频关键词及研究热点,... 作为新的知识表示方法,事理图谱聚焦于事件及其关系的动态性知识研究已吸引国内不少学者关注。文章从文献计量的视角出发,利用CiteSpace、SATI3.2等工具,分析事理图谱相关研究发文趋势、发文作者及机构合作网络、高频关键词及研究热点,探究国内事理图谱研究动向。分析结果表明,当前事理图谱研究还在成长阶段,以局部合作研究为主,尚未形成紧密的科研合作网络,研究主题聚焦在事理图谱构建流程、关键构建技术与实践应用三方面。 展开更多
关键词 事理图谱 文献计量 CITESPACE
在线阅读 下载PDF
基于Event-B的一种联锁逻辑的形式化建模研究
20
作者 沈啸 陈邦兴 唐晨 《信息技术》 2013年第2期7-10,14,共5页
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依... 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。 展开更多
关键词 联锁逻辑 形式化建模 event-B
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部