一种基于Petri网模型进行故障树分析的改进算法

集算集,利用Petri网的性质对故障树进行建模,并基于对偶和再吸收处理提出一种改进的最小割法。理论分析和实例验证的结果表明,该算法可以大大地减少计算量,能同时得到最小路且易于在计算机上实现。     

航空独立电源系统保护控制行为混杂模型

为了准确描述独立电源系统保护离散事件与连续控制相互作用的混杂行为,提出一种对象混杂Petri网(OHPN)建模方法,构建了基于OHPN航空独立电源保护控制行为的混杂模型。该模型将混杂Petri网的混杂特性描述内置于对象之中,解决了传统混杂Petri网不能同时描述静态结构和动态过程的问题,增强了模型描述能力,使模型具有良好的封装性、可重用性和可维护性。最后,对某型航空交流电源系统的保护控制过程进行了仿真和验证。结果表明,所定义的模型能够有效描述和分析电源系统保护控制的混杂行为,为系统稳定性和故障预测的研究奠定基础。     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。     

用于建立机械制造系统模型的扩展着色Petri网

着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。     

应用有色Petri网的复杂系统四性一体化综合评估方法

为避免复杂系统以可靠性、维修性、测试性和安全性为四性的设计中仍存在"割裂"现象,在确定四性一体化基本参数的基础上,约束可靠性等四性单性指标,建立了基于有色Petri网的复杂系统四性一体化综合评估方法。在JAVA环境下,基于有色Petri网,利用工具PIPE分别建立了复杂系统结构有色Petri网模型和综合评估有色Petri网模型,形成四性一体化综合评估有色Petri网模型。变迁触发时,将复杂系统的四性状态分为3类并分别染色。根据库所中的托肯颜色,判断复杂系统各项指标满足情况以及所处状态。重复迭代评估,实时跟踪复杂系统四性所处状态,实现四性一体化综合权衡设计。算例证明,四性一体化综合评估方法全面合理,验证了方法的有效性和准确性。     

组合优化中的Petri网仿真算法

组合优化中,最长路、最短路和最大流问题是重要而又基本的问题。本文提出一种求最短有向路的新方法——Petri网图仿真算法。该方法是在一般Petri网的基础上,对网元素进行附加描述,同时,引入了“运动标记”的概念和定义新的“发生”规则,再利用Petri网的马尔科夫性和并发性,以及它的动态模拟功能,在Petri网图仿真器上,进行(对象)系统的网图仿真运行及数值处理,求得最长路径,最短路径及其路长,最小割及其最大流。由于该算法便于利用计算机的并行算法可以提高计算速度,并能利用最优性原理减少计算量。而且,还可提供系统运行的动态显示和结果的屏幕显示及图表输出。因此,它是一种直观而又方便的方法。     

基于故障树分析法的APU故障诊断研究

故障树分析（FTA）是故障分析和故障诊断中广泛应用的一种方法。结合APU的工作特性,对APU启动困难的原因进行了分析,建立APU启动困难故障树,并对故障树的基本原因事件进行了定性、定量分析,进而提出了排除APU故障的方法,以达到预测与预防故障发生的目的。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

运输网络的最短有向路Petri网仿真算法

随着对综合交通体系和智能交通研究的逐步深入,发现必须解决运输需求和运输网络分析的技术问题。在已有的方法中,只有对有向网络有比较成熟的理论和方法,然而,运输网络却是无向的。本文内容是论述如何借助于Petri网论和Petri网图计算机仿真将无向交通运输网络转换为Petri网表示的有向图,并同时求出相应的运输网络中OD（起点终点）对的最短有向路径及路长。本文以图的形式给出Petri网的定义,通过导入“时间Place”和“标记”的附加描述,使Petri网成为扩充的Petri网（EPN）。定义Petri网图仿真器的运行规则和步骤,用Petri网图仿真器、自动将无向运输网络转换成EPN模型,然后自动求出相应的最短有向路径和路长。通过显示、打印或电信号,为用户提供信真报告或电信号。     

基于微分Petri网的民机航迹演化通用模型构建

为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。     

基于模糊Petri网的设备故障诊断新方法研究

专家系统用于计算机数控（CNC）设备的故障诊断日益受到人们的重视。为了能够解决故障现象的模糊性，本文将模糊理论与Petri网结合，建立了模糊Petri网（FPN）理论体系。引出了FPN转移被激发规则，确定了FPN的动态运行过程。应用FPN能够清楚地表达与或树、产生式规则等知识表达形式。基于FPN理论，建立了CNC设备故障诊断专家系统（CNCM-FDES）。该系统由知识库系统、知识库管理系统、诊断推理机制、诊断过程解释机制、故障评价、故障决策与入机界面组成。文中分别介绍了该系统的各个组成部分。     

随机高级Petri网在空中交通管理中的应用

首先给出了Ｐｅｔｒｉ网，高级Ｐｅｔｒｉ网和随机高级Ｐｅｔｒｉ网的定义。然后，在介绍空中交通管理系统中的机场终端区的基础上，为机场终端区建立了Ｐｅｔｒｉ网图模型。最后，借助Ｐｅｔｒｉ网仿真器，利用机场终端区的Ｐｅｔｒｉ网图模型，进行机场终端区管理系统的仿真优化分析。     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ,ＤＥＤＳ）,而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念,并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

面向可重构制造系统的设备建模

可重构制造系统的建模是分析和控制可重构制造系统的关键技术，而可重构制造系统中的设备建模是可重构制造系统建模的基础。本文提出面向可重构制造系统的设备的赋时面向对象Petri网模型，并通过实例研究证实了其正确性。面向可重构制造系统的设备的赋时面向对象Petri网模型能够表示可重构制造系统重构前后设备的作业安排的变化情况．因此它是可重构制造系统中设备的正确的形式化表示。     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。