A FUZZY REASONING PETRI NET MODEL AND ITS REASONING ALGORITHM

ＩｎｔｒｏｄｕｃｔｉｏｎＰｅｔｒｉｎｅｔ（ＰＮ）ｉｓａｍｏｄｅｌｉｎｇｍｅｔｈｏｄｕｓｉｎｇｎｅｔｇｒａｐｈｓ．Ｕｓｕａｌｌｙ,Ｐｅｔｒｉｎｅｔｉｓｕｓｅｄｔｏｍｏｄｅｌａｎｄａｎａｌｙｚｅｄｉｓｃｒｅｔｅｅｖｅｎｔｓｙｓｔｅｍｓ（ＤＥＳ）,ｓｕｃｈａｓｃｏｍｍｕｎｉｃａｔｉｏｎ,ｍａｎｕｆａｃｔｕｒｉｎｇｓｙｓｔｅｍｓａｎｄｓｏｏｎ．Ｃｕｒｒｅｎｔｌｙ,ｓｏｍｅｗｏｒｋ［１,２］ｉｓｂａｓｅｄｏｎａｃｏｍ－ｂｉｎａｔｉｏｎｏｆＰｅｔｒｉｎｅｔｓａｎｄａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ…     

基于Petri网的机车检修作业管理信息系统设计与实现

应用Petri网作为描述工具,分析了机车检修作业流程,建立了机车检修作业工作流Petri网模型,通过化简验证了该模型的畅通性.对该模型的合理性及正确性进行了仿真分析.在此基础上,设计实现了机车检修作业管理信息系统,以提高机车检修质量和效率.     

基于Petri 网模型的铁路快捷货运产品可靠性评价

为准确评价及预测铁路快捷货运产品的可靠性,在全面分析铁路快捷货运产品可靠性影响因素的基础上,建立用于产品可靠性评价的故障树模型,并采用下行法求取故障树的最小割集;结合Petri 网建模方法与故障树基本理论,将产品故障树转化为 Petri 网仿真模型,并证明两者的等价性;利用Matlab 仿真软件进行基于关联矩阵的Petri 网模型求解,并以北京-上海间特快货物班列为例,得到该产品的可靠度及故障因素重要度排序.实证结果显示,应用Petri 网模型来求解产品可靠性评价问题,不仅能够有效提升求解过程的效率,而且准确易行.研究成果可以为提高铁路快捷货运产品可靠性和市场竞争力提供科学依据和必要支撑.     

基于Petri网的测试用例生成研究进展

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。     

基于改进模糊Petri网的航空保障系统易损性评估

提出一种基于改进模糊Petri网(FPN)的系统易损性评估模型.该模型在传统FPN基础上结合一种改进的粒子群优化算法,既能够模拟系统复杂的逻辑关系,又能够更方便地通过训练样本来确定系统中大量未知参数,摆脱对专家经验的依赖,具有优良的收敛性能.针对大型载机舰船航空保障系统的特性,建立了基于改进FPN的航保系统易损性评估模型.算例表明该方法比传统损伤树法更合理、全面,可推广用于舰船复杂系统易损性评估.     

随机高级 Petri 网对某型舰载机编队着舰起飞过程的动态仿真

舰载机编队着舰是一个典型的动态行为过程，航母甲板可看作是单跑道的降落（起飞）平台。Petri网是对离散事件动态系统进行分析建模的重要工具，利用其动态性可对舰载机编队着舰的进近过程进行描述。文中介绍了几种Pe‐tri网的定义，分析舰载机着舰流程，建立进近终端区模型，通过Petri网仿真器模拟动态效果，并给出结果。     

基于Petri网的UUV水下回收协调控制研究

水下无人潜器（UUV）水下回收是一个复杂的过程,它既有连续动态又有离散事件。针对UUV多变量、非线性、强耦合的特点,在其回收过程中针对不同的状态,提出一种基于Petri网的协调控制方法。采用混杂系统理论来分析动态过程和设定离散事件,并运用Petri网技术对回收过程的动作细节进行划分,通过实时测量和判断,分析和监控回收状态,以达到实时控制的目的。水池试验验证了Petri网技术对复杂过程描述分析方面的优越性,并成功解决了UUV回收过程运动中的逻辑协调问题。     

Intelligent Co-ordinate Control for Mating Process of Underwater Vehicle Based on TFPN

In order to reduce time and improve the probability of successful matting it is useful to co-ordinate between the movement control and mating process of the underwater vehicle. Because it is hard to control with the common method under the condition of mating process, the hierarchical intelligent control is introduced. Timed fuzzy Petri net (TFPN) , which is the integration of PN and fuzzy reasoning, is used in the design of coordinate level of hierarchically intelligent control. It made the control process better in reflecting the characteristics of time-driven, event-driven, fuzzy information and so on. The test shows that TFPN could shorten the time of mating and enhance the efficiency.     

站间微机化自动闭塞系统双机冗余系统设计

根据站间自动闭塞系统的高可靠性要求，设计了闭塞机热备冗余方案；针对可能出现的双主机状态，研究了安全控制锁的原理与机制．为了解系统的转换性能，用Petri网对系统进行了建模与分析．分析结果表明，设计的结构与切换机制合理，系统中各状态转换安全、完整，不存在死锁状态．