期刊文献+
共找到39篇文章
< 1 2 >
每页显示 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
作者 甘健侯 肖梦瑾 +1 位作者 赵波 周菊香 《中国电化教育》 北大核心 2026年第2期77-85,共9页
区域教育资源分配失衡与师资能力短板是乡村基础教育的难题。异步专递课堂以输送优质教育资源为主要形式,支援边远乡村基础教育。为了帮助乡村教师在实践异步专递课堂的过程中实现专业发展,研究以异步专递课堂情境下的乡村教师教学胜任... 区域教育资源分配失衡与师资能力短板是乡村基础教育的难题。异步专递课堂以输送优质教育资源为主要形式,支援边远乡村基础教育。为了帮助乡村教师在实践异步专递课堂的过程中实现专业发展,研究以异步专递课堂情境下的乡村教师教学胜任力评估为切入点,构建可计算的教学胜任力测评事理图谱。从社会心理学等领域理清行为数据向内在特质转化的可行性;基于教学表现性行为,融合教学胜任力与事理图谱的逻辑结构,设计评估过程可量化、评估结果可计算的教学胜任力测评事理图谱构建框架;探讨构建的事理图谱在教学胜任力可视化、教学理念剖析、薄弱教学胜任力预警、个性化发展路径规划以及关键教学事件识别等方面的应用情境。研究成果对乡村教师异步专递课堂背景下的教学胜任力水平测评与提升具有重要的实践价值。 展开更多
关键词 可计算 事理图谱 异步专递课堂 教学胜任力 表现性评价
在线阅读 下载PDF
城市暴雨洪涝灾害链辨识及系统性风险评估 被引量:2
3
作者 刘高峰 李佳静 +2 位作者 王慧敏 龚艳冰 陶飞飞 《中国管理科学》 北大核心 2025年第7期222-231,共10页
城市暴雨往往引发一系列次生灾害,形成暴雨洪涝灾害链,科学辨识城市暴雨洪涝灾害链及其诱发的系统性风险,是城市公共安全应急响应的基础和关键。现有研究侧重于单一洪涝灾害的风险分析与评估,严重低估了城市暴雨洪涝灾害带来的影响。本... 城市暴雨往往引发一系列次生灾害,形成暴雨洪涝灾害链,科学辨识城市暴雨洪涝灾害链及其诱发的系统性风险,是城市公共安全应急响应的基础和关键。现有研究侧重于单一洪涝灾害的风险分析与评估,严重低估了城市暴雨洪涝灾害带来的影响。本文基于2017-2021年有关洪涝灾害新闻报道文本数据,利用规则模板及依存句法分析抽取灾害事件对,结合事件聚类泛化及共现分析方法,构建城市暴雨洪涝灾害演化的事理知识图谱,辨识城市暴雨洪涝灾害链扩散机理;考虑灾害链连锁反应对灾情的放大作用,引入暴雨洪涝灾害链风险度指标,建立城市暴雨洪涝灾害链系统性风险评估模型。针对近年来深圳、河南、山西等地的典型暴雨事件,对比分析其暴雨洪涝灾害链特征及演化路径,并提出了不同地区系统性风险应对策略及管理启示。 展开更多
关键词 暴雨洪涝 灾害链 事理知识图谱 共现分析 系统性风险
原文传递
基于事理图谱的铁路应急处置决策优化方法
4
作者 刘奕言 胡恒闯 +1 位作者 秦勇 王莉 《机车电传动》 2025年第5期198-205,共8页
铁路运输突发事件的应急处置高度依赖人工经验,容易出现处置不规范、响应滞后等问题。文章提出一种基于事理图谱的决策优化方法,通过构建结构化的事件演化逻辑链条,提升应急响应效能。该决策优化方法以铁路突发事件的非结构化文本数据... 铁路运输突发事件的应急处置高度依赖人工经验,容易出现处置不规范、响应滞后等问题。文章提出一种基于事理图谱的决策优化方法,通过构建结构化的事件演化逻辑链条,提升应急响应效能。该决策优化方法以铁路突发事件的非结构化文本数据为基础,采用融合因果关系与时间顺承关系的规则完成事件关系抽取,并结合杰卡德相似度算法(Jaccard similarity algorithm)实现事件的泛化归类。基于此,利用Neo4j数据库构建事理图谱,进而开发应急处置决策系统。试验结果表明,该事理图谱可有效实现事件演化路径的可视化;所开发系统在专业问题回答方面显著优于通用大语言模型,规范性与实用价值更高,基于事理图谱的决策优化方法能有效揭示铁路突发事件的动态逻辑演化机制,为应急管理提供准确、规范的智能化应急决策支持。 展开更多
关键词 铁路运输 事理图谱 突发事件 关系抽取 应急处置
原文传递
国内事理图谱研究进展与未来展望——基于CiteSpace的可视化分析 被引量:1
5
作者 曹孟月 《江苏科技信息》 2025年第5期99-103,共5页
作为新的知识表示方法,事理图谱聚焦于事件及其关系的动态性知识研究已吸引国内不少学者关注。文章从文献计量的视角出发,利用CiteSpace、SATI3.2等工具,分析事理图谱相关研究发文趋势、发文作者及机构合作网络、高频关键词及研究热点,... 作为新的知识表示方法,事理图谱聚焦于事件及其关系的动态性知识研究已吸引国内不少学者关注。文章从文献计量的视角出发,利用CiteSpace、SATI3.2等工具,分析事理图谱相关研究发文趋势、发文作者及机构合作网络、高频关键词及研究热点,探究国内事理图谱研究动向。分析结果表明,当前事理图谱研究还在成长阶段,以局部合作研究为主,尚未形成紧密的科研合作网络,研究主题聚焦在事理图谱构建流程、关键构建技术与实践应用三方面。 展开更多
关键词 事理图谱 文献计量 CITESPACE
在线阅读 下载PDF
面向产品标准研制的智能家居质量安全事理知识图谱构建研究
6
作者 杨跃翔 郑怀城 +2 位作者 刘学文 林睿婷 许应成 《标准科学》 2025年第8期97-109,共13页
【目的】针对智能家居产品质量安全标准研制需求,构建智能家居质量安全事理知识图谱,为相关标准研制提供产品危害和事故致因链等知识支撑,以提升产品质量安全标准的适用性和科学性。【方法】基于智能家居质量安全问题事件本体,采用自顶... 【目的】针对智能家居产品质量安全标准研制需求,构建智能家居质量安全事理知识图谱,为相关标准研制提供产品危害和事故致因链等知识支撑,以提升产品质量安全标准的适用性和科学性。【方法】基于智能家居质量安全问题事件本体,采用自顶向下的方法对质量安全事件进行知识抽取,依次完成事件类型识别、事件关系抽取及事件要素提取。通过对事件进行泛化处理,构建抽象的事理知识图谱,并实现致因事件链和事件知识的存储与可视化分析。【结果】所构建的智能家居质量安全事理知识图谱能够有效表达复杂的安全事件演化逻辑,支持对质量安全问题的深入分析与推理。【结论】该事理知识图谱可为智能家居产品质量安全的标准研制提供理论支持与技术手段,有助于提升产品质量安全的科学性,具有良好的应用前景。 展开更多
关键词 智能家居 质量安全 事理知识图谱 标准研制
在线阅读 下载PDF
事件与事理知识图谱发展与典型应用研究
7
作者 朱永川 莫锦玲 《信息安全与通信保密》 2025年第11期86-97,共12页
知识图谱(KG)作为结构化知识的计算模型,通过图结构整合多源异构数据实现语义关联与推理。系统阐释其发展脉络,着重分析事件知识图谱(EKG)与事理知识图谱(ELG)的技术演进,可以发现,前者突破静态实体局限实现动态事件建模,后者揭示事件... 知识图谱(KG)作为结构化知识的计算模型,通过图结构整合多源异构数据实现语义关联与推理。系统阐释其发展脉络,着重分析事件知识图谱(EKG)与事理知识图谱(ELG)的技术演进,可以发现,前者突破静态实体局限实现动态事件建模,后者揭示事件间概率驱动的演化逻辑。在技术架构层面,剖析KG的技术体系,结合开源情报(OSINT)场景验证KG在情报结构化、态势感知、决策优化中的关键价值。研究表明,EKG和ELG通过时序因果建模能够显著提升开源情报的实时性与预测性,为情报分析从追溯向预判转型提供技术基座。 展开更多
关键词 知识图谱 事件知识图谱 事理知识图谱 开源情报
在线阅读 下载PDF
城市内涝事理图谱构建方法及应用 被引量:25
8
作者 冯钧 王云峰 +1 位作者 邬炜 朱跃龙 《河海大学学报(自然科学版)》 CAS CSCD 北大核心 2020年第6期479-487,共9页
为消除城市内涝事件的突发性和空间易变性对城市内涝灾害决策调度的影响,构建城市内涝事理图谱,并在此图谱上提出成因分析应用的框架。利用规则模板库抽取中文城市内涝语料库中的因果事件句,基于投票机制的深度神经网络融合方法抽取因... 为消除城市内涝事件的突发性和空间易变性对城市内涝灾害决策调度的影响,构建城市内涝事理图谱,并在此图谱上提出成因分析应用的框架。利用规则模板库抽取中文城市内涝语料库中的因果事件句,基于投票机制的深度神经网络融合方法抽取因果句中的事件,融合手工规则实现城市内涝事理图谱的构建。采用事理图谱自动生成以内涝点为中心的场景,用生成的场景自动生成并训练离散动态贝叶斯网络,并在该网络上进行内涝点成因分析。结果表明,所构建的城市内涝事理图谱能较好地描述所在城市的内涝演化规律,成因分析结果与真实结果对比表明,此方法能准确找到内涝点处产生内涝的成因,并排除有干扰影响的伪成因。 展开更多
关键词 城市内涝 事理图谱 规则模板 投票机制 离散动态贝叶斯网络
在线阅读 下载PDF
信息不完全状态下重大突发事件态势感知研究 被引量:53
9
作者 张海涛 周红磊 +1 位作者 李佳玮 张鑫蕊 《情报学报》 CSSCI CSCD 北大核心 2021年第9期903-913,共11页
重大突发事件对国家安全及社会安定带来极大威胁,重大突发事件的信息不完全状态对事件管控造成了阻碍。该状态下的态势感知对于筑牢国家安全屏障、有效应对各类风险挑战具有重要意义。本研究首先分析了重大突发事件的三种信息不完全状态... 重大突发事件对国家安全及社会安定带来极大威胁,重大突发事件的信息不完全状态对事件管控造成了阻碍。该状态下的态势感知对于筑牢国家安全屏障、有效应对各类风险挑战具有重要意义。本研究首先分析了重大突发事件的三种信息不完全状态,并基于数据和知识的双向驱动构建重大突发事件的态势感知模型,从事件演变视角提高态势感知能力。其中,知识驱动是指将事理图谱作为方法论支撑重大突发事件的态势感知模型,通过挖掘事件之间的逻辑关系和演变路径,为后续的推理和预测提供支撑;数据驱动是指根据事件演变逻辑构建重大突发事件演变的动力学机制,研判事件的演变态势及衍生风险,辅助重大突发事件的应急决策实施。最后,以干旱事件为例进行实证研究,验证文章逻辑思路和模型的可行性。 展开更多
关键词 重大突发事件 信息不完全 演变趋势 事理图谱 态势感知 混沌理论
在线阅读 下载PDF
重大突发事件演变机制:认知框架与理论方法 被引量:30
10
作者 张海涛 李佳玮 +1 位作者 周红磊 栾宇 《情报学报》 CSSCI CSCD 北大核心 2021年第9期914-923,共10页
在百年未有之大变局的战略论断下,本文立足总体国家安全观,从哲学视角审视重大突发事件,聚力情报智慧,基于事件数据和知识,挖掘重大突发事件的事理逻辑知识,解构重大突发事件的演变机制,为重大突发事件的精准决策提供科学支撑。本文梳... 在百年未有之大变局的战略论断下,本文立足总体国家安全观,从哲学视角审视重大突发事件,聚力情报智慧,基于事件数据和知识,挖掘重大突发事件的事理逻辑知识,解构重大突发事件的演变机制,为重大突发事件的精准决策提供科学支撑。本文梳理了当前重大突发事件研究现状及不足,应用情报智慧赋智重大突发事件的研究,立足哲学视角,构建重大突发事件演变机制研究认知框架,融通情报科学与知识工程等理论方法,探讨重大突发事件演变机制的研究方法。创新性提出以图景描绘事件及其演变问题的认知全貌,形成“要素-关系-逻辑”的认知框架,利用数据思维及结构思维对重大突发事件图景进行具象化数据呈现及结构分析,构建重大突发事件事理图谱及情景图谱,通过态势感知、情景推演等具体理论方法实现重大突发事件整体安全态势的理解、解释和预测,为重大突发事件的精准决策提供依据,以实现科学应对。 展开更多
关键词 重大突发事件 事件图景 事理图谱 情景图谱 情报智慧
在线阅读 下载PDF
基于在线评论的非遗纪录片受众需求事理图谱构建研究 被引量:13
11
作者 孙传明 陈熙 王萍 《情报科学》 CSSCI 北大核心 2023年第9期107-114,共8页
【目的/意义】非遗纪录片以生动、真实的形式展示优秀传统文化。对受众观看纪录片后的在线评论内容进行分析,挖掘潜在的受众需求,为非遗纪录片的受众行为研究提供参考。【方法/过程】以非遗纪录片《我在故宫修文物》为研究对象,首先采集... 【目的/意义】非遗纪录片以生动、真实的形式展示优秀传统文化。对受众观看纪录片后的在线评论内容进行分析,挖掘潜在的受众需求,为非遗纪录片的受众行为研究提供参考。【方法/过程】以非遗纪录片《我在故宫修文物》为研究对象,首先采集B站用户热门评论并对数据进行预处理,然后基于因果规则模板识别和抽取评论中的因果事件对,再调用LDA模型进行主题聚类,基于使用与满足理论归纳聚类结果,最后借助Gephi工具进行图谱可视化。【结果/结论】受众观看纪录片主要有知识获取、审美接受、情感共鸣及自我实现等需求;受众需求的满足具有严密的因果逻辑关系,且不同需求表现出不同的特征。【创新/局限】基于用户评论内容分析非遗纪录片受众需求,拓展了事理图谱的应用范围。鉴于个案研究的局限性,后期仍需扩大非遗视频评论语料库。 展开更多
关键词 事理图谱 受众需求 在线评论 非遗 纪录片
原文传递
基于事理图谱的游记文本知识发现——以康养旅游为例 被引量:12
12
作者 邓君 彭珺 +1 位作者 孙绍丹 鞠海龙 《现代情报》 CSSCI 2022年第7期105-113,共9页
[目的/意义]本文利用叙事图谱化的方式对游记文本信息资源进行有效的知识组织和挖掘,直观、生动地展示旅游事件知识之间的关联与结构,为推行旅游用户需求精准化知识服务提供参考与启示。[方法/过程]网络康养游记文本为实验数据源。采用... [目的/意义]本文利用叙事图谱化的方式对游记文本信息资源进行有效的知识组织和挖掘,直观、生动地展示旅游事件知识之间的关联与结构,为推行旅游用户需求精准化知识服务提供参考与启示。[方法/过程]网络康养游记文本为实验数据源。采用基于规则模板的顺承关系与事件抽取方法,结合基于Doc2vec和K-Means的语义相似度聚类实现事件泛化,最后利用社会网络工具构建康养旅游事理图谱对游客行为过程描绘和分析。[结果/结论]通过构建事理图谱能够快速揭示康养旅游的热门目的地、游客行为偏好特征以及趋势等。根据研究结果为旅游相关机构在康养行程设计上提供4类方案,并在产品开发、服务优化等方面提出了建议。 展开更多
关键词 游记文本 旅游知识服务 事理图谱 知识组织 知识发现
在线阅读 下载PDF
面向事件画像的事理图谱构建方法 被引量:5
13
作者 李彭伟 李亚钊 《指挥信息系统与技术》 2021年第5期54-60,69,共8页
首先,为了揭示事件演化规律和发展模式,研究了构建事理图谱的方法。采用知识图谱结构来描述事件间的逻辑结构关系,并对事件的多维属性进行画像;然后,提出了一种事理图谱构建的体系结构,包括文本语料采集、事件关系抽取模板构造、事件抽... 首先,为了揭示事件演化规律和发展模式,研究了构建事理图谱的方法。采用知识图谱结构来描述事件间的逻辑结构关系,并对事件的多维属性进行画像;然后,提出了一种事理图谱构建的体系结构,包括文本语料采集、事件关系抽取模板构造、事件抽取与结构化、事件相似度计算与融合、事件触发词抽取与论元抽取模型构建、事件关系对构建以及图数据库存储,并利用该体系结构构建了顺承事理图谱、因果事理图谱、条件事理图谱、转折事理图谱和并发事理图谱。最后,通过试验结果验证了该方法的可行性。 展开更多
关键词 事理图谱 事件抽取 事件融合 事件关系抽取模板
在线阅读 下载PDF
基于事理图谱的飞行冲突事故演化研究 被引量:3
14
作者 王洁宁 朱妍 《安全与环境学报》 CAS CSCD 北大核心 2023年第6期1961-1969,共9页
为识别飞行冲突事故的诱发事件与关键演化链路,提出了一种基于事理图谱的事故分析方法。首先依据系统理论过程分析(System Theoretic Process Analysis,STPA)方法辨识飞行冲突场景潜在风险事件,归纳出描述各组件交互过程的场景分析框架... 为识别飞行冲突事故的诱发事件与关键演化链路,提出了一种基于事理图谱的事故分析方法。首先依据系统理论过程分析(System Theoretic Process Analysis,STPA)方法辨识飞行冲突场景潜在风险事件,归纳出描述各组件交互过程的场景分析框架;再利用自然语言处理方法从事故文本中提取结构化事件,基于语义相似度匹配建立与风险事件的映射,组成事件演化链条,构建事理图谱;通过对飞行冲突场景进行仿真,运用统计指标定量分析网络拓扑结构,揭示事件对事故演化过程的影响力。结果表明,构建的事理图谱可视化诊断出机组突破管制员指令、机组操作不当导致偏航、航空器机上通讯导航设备故障、管制员纠正指令发布过晚、空中交通预警和防撞系统(Traffic Alert and Collision Avoidance System,TCAS)发出异常措施通告/活动通告(Resolution Advisory/Traffic Advisory,RA/TA)警告、航空器出现飞行汇聚趋势6个诱发事件与3条关键演化链路,其中机组突破管制员指令与管制员指令发布过晚为重点管控事件。 展开更多
关键词 安全社会工程 事故分析 事理图谱 自然语言处理 飞行冲突
原文传递
面向事件图和事件时态逻辑的模型检验方法 被引量:2
15
作者 夏薇 姚益平 慕晓冬 《软件学报》 EI CSCD 北大核心 2013年第3期421-432,共12页
针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表... 针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表达能力,便于仿真领域的用户在模型检验过程中简洁地对基于事件图的模型应满足的性质进行描述.然后,在ETL公式和自动机理论的基础上,给出了面向事件图和ETL的模型检验方法来判断事件图模型是否满足ETL描述的性质规约.实例验证了ETL对事件图模型具有足够的表达能力以及该方法的有效性. 展开更多
关键词 事件图 事件时态逻辑 模型检验 BÜCHI自动机 转换
在线阅读 下载PDF
基于事件图的并行离散事件仿真方法 被引量:1
16
作者 夏薇 姚益平 慕晓冬 《计算机工程》 CAS CSCD 2012年第7期1-3,共3页
为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为... 为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为中心的模式发展为以模型为中心的模式。实验结果表明,该方法能提高并行离散事件的仿真效率。 展开更多
关键词 并行离散事件仿真 事件图 逻辑进程 模型驱动体系结构 模型转换
在线阅读 下载PDF
基于TLA的事件图模型形式化验证方法 被引量:4
17
作者 夏薇 姚益平 慕晓冬 《计算机应用研究》 CSCD 北大核心 2011年第11期4171-4173,4187,共4页
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模... 针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。 展开更多
关键词 仿真模型 验证、确认和认定 模型检验 行为时态逻辑 事件图
在线阅读 下载PDF
基于状态可达图的离散事件系统时态性质分析 被引量:1
18
作者 田国会 刘长有 徐心和 《控制与决策》 EI CSCD 北大核心 1998年第1期24-28,共5页
离散事件系统的许多重要性质可用时态逻辑方便、直接和简明地进行描述,系统的性质分析可转化成时态公式满足关系的判定。基于状态可达图,给出了有限系统时态特征的判定方法。
关键词 离散事件系统 状态可达图 时态逻辑 性质分析
在线阅读 下载PDF
政策事理图谱构建及应用 被引量:3
19
作者 刘勘 於陆 徐勤亚 《软件导刊》 2023年第8期1-9,共9页
挖掘政府政策中的事件及其关联,以充分解读政策内涵,将有利于政策的准确宣传与贯彻执行。基于政府政策文本构建事理图谱,设计政策标题感知注意力神经网络并用于政策事件抽取与分类,通过对结果进行数据增强,制定抽取规则实现组成政策事... 挖掘政府政策中的事件及其关联,以充分解读政策内涵,将有利于政策的准确宣传与贯彻执行。基于政府政策文本构建事理图谱,设计政策标题感知注意力神经网络并用于政策事件抽取与分类,通过对结果进行数据增强,制定抽取规则实现组成政策事件对的识别与抽取,结合自底向上思想评估政策事件的相对重要性,形成以政策事件为节点、相对重要性为边的政策事理图谱,自动化抽取核心政策事件及关系,为政策宣传和解读提供新的途径。在构建政策事理图谱的实验中,该事件抽取模型结合数据增强方法比最优基线模型在召回率和F-score指标上分别提高了0.79%和0.16%。最后,以营商环境政策为例展示了政策事理图谱的构建及应用过程。 展开更多
关键词 事理图谱 政策文本 知识图谱 数据增强 政策解读
在线阅读 下载PDF
一种支持并行离散事件仿真建模和并行模型检验的建模语言
20
作者 夏薇 姚益平 慕晓冬 《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第6期66-71,共6页
并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方... 并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业界中得到了成功的应用,但是PDES和PMC是基于不同的建模语言实现的,现阶段要对PDES模型进行验证需要专门设计基于PMC建模语言的模型,不仅耗费资源、时间,而且容易出错。为了实现PDES和PMC的有机结合,提出了一种支持PDES和PMC的统一的建模语言——扩展事件图(Extended Event Graph,EEG),它对事件图在模型同步方面进行了扩展,然后通过转换机制,该建模语言使得用户只需建立一个模型,就能够既进行PDES又利用并行模型检验方法对PDES模型进行形式化验证。最后通过实验验证了基于EEG建立的模型既可以进行PDES又能够进行PMC。 展开更多
关键词 并行离散事件仿真 模型检验 事件图 逻辑进程范型 DVE建模语言 模型转换
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部