基于状态可达图的离散事件系统时态性质分析

离散事件系统的许多重要性质可用时态逻辑方便，直接和简明地进行描述，系统的性质分析可转化成时态满足关系的判定。基于状态可达图，给出了有限系统时态特征的判定方法。     

图视化消息传递模型

本文提出了一种图视化的消息传递模型及其接口和弧类型的概念。在这个模型中，对象之间 消息传递与对象内部的运算相独立，程序员不仅可以快速地构造对象之间通过消息传递建立起来的联系，方便地修改重新配置这种联系，而且还可以集中精力于对象内部算法的构造。     

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

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

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

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

离散事件系统并发仿真环境

本文提出了并发仿真思想。并介绍了针对柔性制造系统仿真研制的离散事件系统并发仿真环境:将制造系统作为仿真对象部分,将控制、调度等管理方法作为决策部分,仿真对象部分和决策部分作为两个独立的作业并发执行,它们交互作用完成整个仿真过程。介绍了一个将上述两部分连接成一个完整仿真系统的接口(软件)。     

图视编程技术的展望

本文较全面地总结了图视方程技术的历史和现状,尤其是作者所在的研究室的研究成果,对图视编程技术今后的发展动态进行了预测。     

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

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

实时离散事件系统的反馈控制策略

考虑实时离散事件系统（ＤＥＳ）的赋时受控标记图中的禁止标识问题，提出了最优延时可行控制策略（ＯＴＦＣＰ）的概念，给出了生成这种能使系统避免进行禁止标识集的反馈控制策略的综合算法。     

基于赋时事件图的故障诊断

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

基于图形处理离散事件系统监控阻塞的新方法

本文提出了一种基于图形处理监控阻塞问题(SCPB)的新方法,用该方法可有效、直观地分析、求解SCPB。为此,本文给出了改进满意程度(SM)和阻塞程度(BM)的几种方法,并指出了这些方法的特性,从而得以同时改进SM和BM,并优化现有的监控器。     

基于仿真总线的分布离散事件仿真环境

该文从分布离散事件仿真的特点出发,借鉴计算机总线的思想,提出了一种基于仿真总线的仿真环境。该环境为高层建模屏蔽了底层消息分发、时钟同步等具体细节,减少了仿真应用开发的工作量,提高了仿真应用开发的效率,并能有效地支持模型重用。     

基于Petri网的离散事件仿真算法

本文介绍了一种基于Ｐｅｔｒｉ网的模型描述语言ＥＰＤＬ，并给出了Ｐｅｔｒｉ网与离散事件系统仿真相结合的算法。     

基于非齐整自动机模型的离散事件系统监控

本文研究了一类不能用齐整自动机建模的离散事件系统的监控问题,首先介绍了自动机齐整性的定义及检测方法，接着给出了将系统分解为若干个子系统的算法，最后讨论了系统监控问题，所得结果具有一定的参考价值。     

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

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

用户接口管理系统UIGMS的图视编程环境

本文介绍了用户接口管理系统ＵＩＧＭＳ中图视编程环境的实现技术，介绍了它的设计思想、总体结构、特点等。     

基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

离散事件系统的稳定性

讨论离散事件系统（DES）的稳定性问题,给出DES稳定性,可吸收性和渐近稳定性有关结论,证明了关于DES稳定性的某些函数的存在性。     

离散事件动态系统理论的发展动向

离散事件动态系统(DEDS)是这样一类人造系统,它在每一时间点上的变化发展依赖于许多不同事件的复杂交互作用,其状态仅在离散的时间点上发生变化。这样的系统很多,如制造系统、计算机系统、城市交通系统、排队服务系统、复杂的多模式过程控制系统等。离散事件动态系统理论自1980年由美国哈佛大学著名教授何毓琦(Y.C.Ho)倡导研究以来,已取得了不小进展。十多年后的今天,问题和成果并存,我们对建立这一理论的困难也有了进一步的认识。本文从探索的角度向读者简介一下此理论的发展情况,与计算机科学的联系,潜在的应用问题,及讨论一下此理论目前存在的问题和未来发展方向。本文不     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。