模糊时间Petri网的时间推理及其在过程监测中的应用

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。     

模糊推理Petri网及其在故障诊断中的应用

分析了推理Petri网与传统Petri网的共性和区别,给出了模糊产生式规则推理 Petri网模型.在此基础上,给出了有效的推理算法,并以极大代数矩阵算子进行了形式化表 示,此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,具有并行推理能力, 可以同时得到推理后系统的全部状态值.最后举例说明了其在故障诊断中的应用.     

一种基于线性逻辑的Petri网分析方法

1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。Petri网理论提供了强大的分析方法,如不变量分析、系统性能分析(如活性)等以证明系统的正确性。近年来Petri网也被用来表示知识推理,例如用于诊断和监控,这就需要发展一种关于Petri网行为的推理主题。有些学者把经典逻辑和Petri网相结合,用Petri网表示产生式规则系统,网的框架代表基于产生式规则     

基于对象模型的FMS死锁检测

柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工 ,这些工件竞争系统中的有限资源会导致死锁的发生 ,能够检查出 FMS运控软件中可能发生的死锁问题是系统能够正常运行的必要条件之一。本文首次基于面向对象模型 ,定义了死锁问题 ,并在此基础上提出了检测死锁的算法 ,此算法具有通用性和实用价值。     

一种泵式混凝土湿喷机控制系统研究

文章分析了目前国内混凝土喷射应用的现状及存在的不足,介绍了一种满足市场需求的泵式混凝土湿喷机的工作原理,提出了基于PLC和触摸屏技术的控制方案,并对控制系统软件、硬件的设计进行了阐述。该泵式湿喷机经过多地的工业试验及应用,体现了自动化程度高、喷射效率高、可靠性高以及回弹率低等优势,具有很大的推广应用前景。     

基于模糊Petri网的知识表示方法在燃气轮机故障诊断专家系统中的应用

给出了用模糊Petri网模型来表示燃气轮机故障诊断专家系统中模糊产生式知识库的方法,在此模型的基础上,给出了有效的推理算法,并举例验证其正确性和在燃气轮机专家系统中应用的可行性。图2参5     

一种基于线性逻辑的时间Retri网推理方法

针对传统分析方法的不足,提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑,定义了时间Petri网中变迁之间的各种解发规则,在这些规则的基础上,提出了时间Petri网运行行为的证明方法,此方法能清楚地分析时间Petri网的运行行为和进行时间推理。     

模糊时间Petri网及其时间推理方法

Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;当系统存在较多     

电站燃气轮机在线监测与通信系统的开发

主要是通过利用VB软件提供的通信控件来实现了电站燃气轮机的在线监测和通信软件系统的开发,建立了便利的数据采集卡与计算机之间的数据通信系统,并对网络技术在燃气轮机远程监测与诊断系统的应用进行了可行性的探讨。     

实习生因工受伤事故责任认定的现状与对策

当前高校大学生实习制度中存在的管理和立法漏洞导致无法切实保障实习生的人身权益。实习生身份认定的不确定性以及当前对实习生因工受伤制度的立法空白是造成实习生人身权益救济不足的重要原因。完善三方协议制度,全面推行实习责任保险,进一步完善相关立法是改变现状的重要途径。