检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于事件图的离散事件仿真模型并行检验方法

软件学报 2012年第6期23卷 1429-1443页

作者：夏薇姚益平慕晓冬柳林国防科学技术大学计算机学院湖南长沙410073 第二炮兵工程大学陕西西安710025 海军装备研究院北京100161

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及... 详细信息

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.

关键词：离散事件仿真模型验证并行模型检验事件图 DVE建模语言模型转换

在线全文

学校读者我要写书评

暂无评论

基于事件图的在线事件检索

中文信息学报 2017年第4期31卷 154-164页

作者：杨文静邱泳钦李思旭李锐王斌中国科学院信息工程研究所北京100093 中国科学院大学北京100093

在线事件检索是针对事件查询,按时间序迭代返回小批量数据集中事件相关文档的检索任务。其目标是在时间轴上不断收集新鲜的事件文档,是进行一系列事件相关工作的重要基础。面对此任务,传统方法采用先进的检索模型来提升检索精度,然而却... 详细信息

在线事件检索是针对事件查询,按时间序迭代返回小批量数据集中事件相关文档的检索任务。其目标是在时间轴上不断收集新鲜的事件文档,是进行一系列事件相关工作的重要基础。面对此任务,传统方法采用先进的检索模型来提升检索精度,然而却没有考虑事件本身的特性。针对这一问题,该文尝试使用两类图(事件关键词共现图、融合事件类型的二部图)对事件建模,提出了一种基于事件图的在线检索框架。案例分析与在两个公开的TREC数据集上的实验结果表明,该文方法显著提升了事件检索精度(P@10最高增幅达30%,平均增幅5.85%),且能自适应在线检索环境,支持事件的演变分析。

关键词：事件图在线事件检索事件查询模型事件演变

在线全文

学校读者我要写书评

暂无评论

融入文档图和事件图的新闻核心事件检测

中文信息学报 2024年第5期38卷 99-106页

作者：赵庆珏余正涛王剑黄于欣朱恩昌昆明理工大学信息工程与自动化学院云南昆明650500 昆明理工大学云南省人工智能重点实验室云南昆明650500

新闻核心事件检测旨在从非结构化的新闻文本中检测出最能代表新闻核心内容的事件。新闻报道的多个事件之间存在着复杂的关联关系,且同一个事件的事件要素分布在不同的句子甚至不同的段落中,传统的方法对事件之间的关联关系以及事件的全... 详细信息

新闻核心事件检测旨在从非结构化的新闻文本中检测出最能代表新闻核心内容的事件。新闻报道的多个事件之间存在着复杂的关联关系,且同一个事件的事件要素分布在不同的句子甚至不同的段落中,传统的方法对事件之间的关联关系以及事件的全局语义信息建模不充分。因此,该文提出了融入文档图和事件图的新闻核心事件检测方法。该方法首先通过构建文档图和事件图来建模新闻文本的全局语义特征和事件之间的关联特征。然后,通过图卷积神经网络捕获高阶邻域信息,获得文档表征和事件表征。最后,将得到的文档表征和事件表征使用交叉注意力进一步捕获事件全局语义信息。在纽约时报数据集上的实验结果验证了该文方法的有效性,NR@1较基线方法提升2.18%。

关键词：核心事件检测文档图事件图交叉注意力机制

在线全文

学校读者我要写书评

暂无评论

基于事件图的并发软件测试

四川大学学报（工程科学版） 2007年第S1期39卷 5-9页

作者：章靠丁佐华浙江理工大学数学计算与软件工程中心浙江杭州310018

通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一... 详细信息

通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。

关键词：软件测试并发程序事件图

在线全文

学校读者我要写书评

暂无评论

含不可观变迁事件图的状态估计器设计

信息与控制 2008年第3期37卷 275-279页

作者：吴敏张瑶瑶颜钢锋刘妹琴浙江大学电气工程学院浙江杭州310027

针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给出一种估计器设计方法,用来根据关联矩阵行变换进行不可观变迁状态的估计.分析了估计器的观测代价,在此... 详细信息

针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给出一种估计器设计方法,用来根据关联矩阵行变换进行不可观变迁状态的估计.分析了估计器的观测代价,在此基础上给出了寻找最优估计器的方法,并利用最优估计器计算不可观变迁的状态估计范围.最后通过实例证明了该方法能够有效地进行不可观变迁的状态估计.

关键词：离散事件系统事件图不可观变迁估计器状态估计

在线全文

学校读者我要写书评

暂无评论

基于图元的事件图生成算法

计算机工程 2007年第12期33卷 1-3页

作者：王焕宝张佑生安徽建筑工业学院数理系合肥230022 合肥工业大学计算机与信息学院合肥230009

与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理... 详细信息

与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题。并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型。基于扩展的串空间模型和Spi演算理论,提出用于并发运行密码协议安全属性验证的事件图模型。图元是事件图的构造单元,它满足消息事件之间的通信关系和前驱关系约束以及消息语句的新鲜性约束。定义消息事件之间、图元之间以及消息事件和图元之间的前缀、组合和选择运算,并给出事件图生成算法。

关键词：密码协议事件图形式化模型图元

在线全文

学校读者我要写书评

暂无评论

基于事件图的网络化PLC控制程序编译方法

计算机工程与应用 2014年第13期50卷 29-36页

作者：陈晨仲崇权大连理工大学电子信息与电气工程学部辽宁大连116023

针对网络化PLC控制系统特点,提出了基于事件图的控制程序建模与编译方法。通过将控制系统映射为离散事件系统,建立了控制程序的事件图模型;通过改进的深度优先搜索算法实现了事件图解耦,将串行执行的控制程序分解为可并行执行的事件序列... 详细信息

针对网络化PLC控制系统特点,提出了基于事件图的控制程序建模与编译方法。通过将控制系统映射为离散事件系统,建立了控制程序的事件图模型;通过改进的深度优先搜索算法实现了事件图解耦,将串行执行的控制程序分解为可并行执行的事件序列;根据IO变量位置以及指令预期执行时间为事件序列分组,并下载至最佳设备;通过插入网络通讯指令,实现设备间变量同步。实验结果表明该方法可有效识别与提取控制程序中的并行任务,将其合理分配下载至不同的控制器中,同时保证控制逻辑的正确与同步。

关键词：离散事件系统事件图网络化PLC控制系统系统建模程序编译

在线全文

学校读者我要写书评

暂无评论

基于事件图方法的控制程序编译技术

基于事件图方法的控制程序编译技术

作者：李淇伦大连理工大学

学位级别：硕士

近年来,随着计算机、通讯与控制技术的发展,由可编程控制器（Programmable Logic Controller, PLC）组成的分布式控制系统（Distributed Control Systems, DCS）得到了广泛应用。目前,组态软件仅对单个PLC进行编程,控制逻辑分散在各个PL... 详细信息

近年来,随着计算机、通讯与控制技术的发展,由可编程控制器（Programmable Logic Controller, PLC）组成的分布式控制系统（Distributed Control Systems, DCS）得到了广泛应用。目前,组态软件仅对单个PLC进行编程,控制逻辑分散在各个PLC中,给DCS的程序设计、分析造成不便。因此,脱离具体设备,面向控制网络进行统一编程具有重要的开发价值与应用前景。针对功能块（Function Block Diagram, FBD）编程语言,以变量间依赖关系为基础,提出了一种基于事件图的控制程序编译方法。将面向控制网络统一编写的程序映射为离散事件系统（Discrete Event Systems, DES）,将变量跃迁、指令执行等行为映射为事件及调度活动,根据功能块引脚变量和连线关系,建立了基于事件图的控制程序模型,描述了输入变量、内部变量及输出变量之间的相互作用。提出了基于深度优先搜索（Depth First Search, DFS）的事件图遍历算法,对控制程序的依赖关系进行分析,提取出相互间不存在耦合关系的功能块指令序列。以系统通讯时间最短、设备负载均衡为原则,在保证控制逻辑正确的前提下,依据I/O变量类型为功能块序列划分设备,实现控制程序的分散下载。分析控制系统的拓扑结构,获得设备间的通讯路径,通过为路径上各个设备动态插入网络通讯指令,完成设备间的自动通讯,实现I/O变量在不同设备中的远程刷新。开发了基于Visual Studio2005的组态软件DConfig,提供面向控制网络的统一编程功能。在DConfig中,以楼宇综合监控系统为例对编译方法进行验证。通过使用该编译方法对控制程序进行编译,指令被正确下载给对应设备,设备能够远程刷新I/O变量,运行逻辑正确。实验结果证明,本文提出的编译算法有效解决了统一编程与分散下载之间的矛盾,可以应用于分布式控制系统的面向网络编程。

关键词：事件图离散事件系统面向网络编程系统建模程序编译

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于事件图的并行离散事件仿真方法

计算机工程 2012年第7期38卷 1-3页

作者：夏薇姚益平慕晓冬国防科学技术大学计算机学院长沙410073 第二炮兵工程大学计算机系西安710025

为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为... 详细信息

为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为中心的模式发展为以模型为中心的模式。实验结果表明,该方法能提高并行离散事件的仿真效率。

关键词：并行离散事件仿真事件图逻辑进程模型驱动体系结构模型转换