事件图相关论文
基于通信的列车控制（Communication-Based Train Control,CBTC）系统以“安全”和“高效”的两大特点成为我国城市轨道信号系统的主要......
现实生活中一旦发生重大公共事件，人们立即被源源不断的来自新闻媒体的相关报道所湮没，无法准确地掌握事件梗概与当前热点。面向事件......
为了从更深层次语义信息来描述图像,定义了图像、文本、事件文本、事件图、图像关键要素和文本关键要素六元组,以六元组为对象建立......
系统地探讨总结了含油气系统的基本概念、研究内容、命名原则和分类方案，阐述了特征描述的具体内容及其含油气系统与含油气地质单元......
针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给......
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式......
随着离散事件仿真的不断发展,涌现出许多建模方法,事件图模型就是其中之一。事件图模型具备简单、通用、快速和可扩展等优点,因此......
在线事件检索是针对事件查询,按时间序迭代返回小批量数据集中事件相关文档的检索任务。其目标是在时间轴上不断收集新鲜的事件文......
针对目前没有适合直接对事件图模型进行性质规约的时态逻辑语言，提出一种基于事件的时态逻辑（event temporallogic，简称ETL）．ETL以事件......
针对网络化PLC控制系统特点，提出了基于事件图的控制程序建模与编译方法。通过将控制系统映射为离散事件系统，建立了控制程序的事件......
为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由......
铁路集装箱中心站内集装箱转运作业系统具有明显的动态性和随机性，很难建立精确的解析模型进行求解．利用离散事件仿真原理，结合事件图......
系统地探讨总结了含油气系统的基本概念、研究内容、命名原则和分类方案，阐述了特征描述的具体内容及其含油气系统与含油气地质单元......
与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题.并发运行密码协议的形式化分析对象包括密码协议的多轮并发......
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有......
铁路集装箱中心站装卸场作为中心站的重要组成部分,其运作效率是铁路集装箱运输竞争力的直接体现。利用离散事件仿真原理,将事件图......
非形式化仿真模型验证方法易受主观因素的影响且具有不完备性，而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响彳艮难处......
并行离散事件仿真（Parallel Discrete Event Simulation，PDES）模型的正确性和可信度对PDES应用的发展起着决定性作用。然而，现有的并行......
新闻中的事件抽取是信息抽取的重要研究任务之一,其主要目标是抽取出文本中蕴含的事件。尤其是越南语新闻的信息抽取,对处理好与越......
本文在研究了舆情信息分析中事件-行为模式图的基本原理、制作步骤的基础上,通过案例分析,研究了舆情信息分析事件-行为模式图在舆......
通过对作战仿真结果进行因果关系分析,可以加深对作战计划的理解,为指挥决策提供支持,是仿真的重要一环。为了能够对仿真结果进行......
