面向脚本事件预测的稠密事件图嵌入

脚本事件预测是指在给定现有上下文事件链的情况下预测后续事件.在现实世界中,不同事件的关系可以自然地表示为图结构,以事件为节点,以时间或因果关系为边.由于语料库规模有限和信息提取工具的能力不足,先前工作中自动构建的事件图会存在稀疏性问题,并且无法集成来自高阶节点的信息以支持多步推理.为了解决这个问题,本文提出使用可学习的多维加权邻接矩阵的稠密事件图(DEG)来解决之前事件图存在的稀疏性问题并表征事件之间的关系强度.为了实现DEG的嵌入表示,本文同时提出了一个通用框架,该框架能够将高阶事件演化信息组合到事件表示中.在多选叙事完形填空(multiple choice narrative cloze,MCNC)和连贯多选叙事完形填空(coherent multiple choice narrative cloze,CMCNC)数据集上进行了实验,结果证明了此框架的有效性.

事件图模型及其在分布交互式仿真中的扩展

随着离散事件仿真的不断发展,涌现出许多建模方法,事件图模型就是其中之一。事件图模型具备简单、通用、快速和可扩展等优点,因此首先对事件图基本结构、要素和图形进行介绍,然后针对复杂仿真的需求,在基本事件图基础上,借鉴面向对象的思想进行的扩展,增加封装、接听模式和桥对象等概念;最后为适用于分布交互式仿真,提出在事件图中增加镜像事件的概念。事件图是图形化的建模方法,为能对其进行清晰和无二义的描述,还采用了集合论的方法对事件图和扩展事件图分别进行刻画。

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

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

基于TLA的事件图模型形式化验证方法

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型检验工具进行验证。这种方法不仅能够有效提高仿真模型的正确性,而且能够提高模型的可重用性,简化仿真模型建模与验证过程。最后利用TLA模型检验工具对实例进行了验证,实验结果表明了该方法的有效性。

扩展时间事件图的能达性与能控序列

利用图论方法在双子结构中研究扩展时间事件图的某些问题 ,获得了能达性的一个充分必要条件和基于能达性的标准结构。在此基础上 ,把监控理论中的能控序列的分量分为本质不同的 3类 。

面向事件图和事件时态逻辑的模型检验方法

针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言,提出一种基于事件的时态逻辑(event temporal logic,简称ETL).ETL以事件作为原子命题,根据事件图的特点增加了对事件取消操作、模型实例化、时间约束和同时事件优先级的表达能力,便于仿真领域的用户在模型检验过程中简洁地对基于事件图的模型应满足的性质进行描述.然后,在ETL公式和自动机理论的基础上,给出了面向事件图和ETL的模型检验方法来判断事件图模型是否满足ETL描述的性质规约.实例验证了ETL对事件图模型具有足够的表达能力以及该方法的有效性.

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

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

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

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

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。

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

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

无输入连续事件图的代数研究方法

针对一类无输入的连续Petri网———连续事件图,以变迁消费的标志数为状态变量,推导出了一组描述其演变过程的极小代数线性方程,并给出了方程组的显式解.连续事件图是延时事件图的极限形式,因而这组方程既能对离散系统近似建模,又能描述连续变量的变化过程.对于带输入的连续事件图,可以通过将其反馈在极小代数框架下研究其闭环系统.最后通过一个简单例子说明了该方法对于带输入连续事件图进行反馈控制的有效性.

计时事件图的频率特性分析

应用γδ代数下的事件域模型，对计时事件图（ＴＥＧ）进行了频率特性分析，得出与通常线性系统理论相类似的结果。文中给出了在特征输入下系统输出的暂态与稳态分析，以及系统输出直接进入稳态过程的充要条件，并提出了主要评价参数的几何求取方法。

基于事件图模型的网格调度模拟

由于网格环境的复杂、动态和自治性等特点,研究网格任务调度时,高性能的网格模拟器是不可或缺的。该文引入了一个基于事件图模型的高性能模拟器HyperSim,介绍了HyperSim的特点,通过对比其他模拟器说明使用HyperSim的理由。为了优化模拟速度,提出了网格任务调度的事件图模型,并给出了在HyperSim上的实现过程．最后,通过实验证明了HyperSim在运行速度和性能方面的优势,并用其模拟了两种经典调度算法的实现,根据模拟结果对比了算法的性能。

混杂时间事件图的最小初始标志计算方法

采用极大代数方法研究混杂时间事件图(HTEG)的最小初始标志问题.通过构造新型的双子代数系统,给出了HTEG的线性极大代数模型,并基于该模型诱导出偏序关系.利用这个极大代数系统及其偏序关系的单调性、可逆性等性质,提出了一种HTEG最小初始标志的计算方法.HTEG的标志往往表示系统资源,提出的最小初始标志计算方法是一种最小资源分配算法,适用于制造系统、计算机网络等人造系统.最后用一个简单的实例说明了该方法的正确性.

基于赋时事件图的故障诊断(英文)

赋时事件图(TEG)是一类用于描述同步特性的重要的Petri网.本文提出并研究了基于赋时事件图的故障诊断问题.文中定义了两类系统故障类型:变迁失效(Invalidation)故障和变迁时间延迟(Time_lag)故障.基于事件图关联矩阵,通过研究变迁失效故障的可观测传播特性,引入了故障特征向量的概念.基于此,给出了失效故障的可诊断性的充分必要条件.对于时延故障,提出了一种基于变迁触发时间估计进行故障诊断的简单算法.并基于此算法,研究了时延故障的可诊断条件.

基于测试事件图的故障诊断系统知识获取技术

针对运载火箭故障诊断专家系统知识获取难度大这一问题,提出了一种基于测试事件图的知识获取方法,通过设置合理的图形组件,绘制出的测试事件图,可完整地表示运载火箭测试流程;通过设计转化算法,可将测试事件图自动转化为故障诊断专家系统知识库中的知识.这种基于测试事件图的知识获取方法可以有效地简化知识获取的难度,便于工程技术人员理解和使用.经过仿真测试,此方法工程应用效果良好.

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

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

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

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

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

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

基于时序事件图的作战仿真溯因模型

通过对作战仿真结果进行因果关系分析,可以加深对作战计划的理解,为指挥决策提供支持,是仿真的重要一环。为了能够对仿真结果进行因果关系分析,首先阐述了溯因和因果关系的概念,对支持溯因的仿真输出数据进行了需求分析,进而构建了以事件为核心描述单元的仿真输出数据模型;根据对事件图基本概念的理解,提出了基于时序事件图的溯因模型,最后给出了仿真输出数据映射为时序事件图的转化算法。