复杂系统动态可靠性建模及其数值仿真研究

分析传统可靠性建模理论存在的缺陷,提出复杂系统动态可靠性求解的可行方法.以系统结构、功能及故障分析为基础,建立系统可靠性随机Petri网模型,得到系统的状态空间及可能的故障状态,为动态可靠性数值仿真创造条件.以Petri网模型为基础,基于蒙特卡洛仿真求解系统动态可靠性指标,通过仿真,分析影响系统可靠性的关键因素.并以某城市排污液压系统为例,验证方法的有效性.     

制造系统动态可靠性建模理论及其应用

在分析传统可靠性设计理论存在缺陷及面临挑战的基础上，评述动态可靠性建模主要方法。利用Petri网对动态系统的描述能力，将Petri网应用于系统故障分析和动态可靠性计算中，提出了基于故障Petri网的动态可靠性建模方法。以某挖掘机液压系统为例，研究了制造系统故障的Petri网静态描述和动态可靠性计算方法，求解得到系统可靠性数值指标。应用表明，随机Petri网在故障传播描述以及系统动态可靠性分析方面具有优势.     

基于随机失效序列的制造系统动态可靠性分析

制造系统的动态可靠性不仅取决于系统零部件的失效模式,还与零部件的失效顺序密切相关。针对现有随机失效序列可靠性研究方法的不足,利用Petri网对动态系统的描述能力,将Petri网应用于动态可靠性及失效序列分析中。以系统Petri网模型为基础构造可达树,基于可达树得到系统所有可能的失效序列,给出了失效序列事件发生概率的计算方法,通过计算失效序列的发生概率求解系统动态可靠性指标。最后,以一制造单元实例验证方法的有效性。     

基于Petri网和蒙特卡洛仿真的液压系统可靠性研究

随机Petri网着眼于系统状态的变化以及变化之间的关系,适合描述系统的动态变化过程。本文采用随机Petri网实现某液压系统的建模,对液压系统的动态过程作出分析,采用蒙特卡洛(Monte Carlo)仿真计算得到液压系统的稳态可靠性指标。     

基于Petri网理论的动态系统可靠性建模方法研究

利用Petri网对动态系统的描述能力，将Petri网应用于机械系统可靠性分析领域。研究了基于Petri网理论的故障事件及其逻辑关系的表达方法，探讨了将Petri网应用于复杂动态系统可靠性建模的方法，给出了应用示例。     

基于随机故障Petri网的液压系统可靠性建模与分析

文章针对复杂系统动态可靠性建模的困难，利用Petri网对动态系统的描述能力，将Petri网应用于系统动态可靠性分析领域。基于模块化思想，提出随机故障Petri网的动态可靠性建模方法，有机地集成了二元决策图算法与马尔可夫过程理论的优点。通过液压系统实例验证了该方法的有效性。     

基于广义随机Petri网的系统可靠性建模与仿真软件开发

研究了基于Petri网理论的系统可靠性建模及求解问题.采用广义随机Petri网(GSPN)建立系统可靠性模型.针对因状态空间爆炸带来的模型求解难题,开发基于GSPN模型的可靠性仿真软件.分析了仿真软件功能,给出了软件架构及其使用流程,介绍了软件的实现技术.以挖掘机回转工况的液压回路为例,给出仿真软件的应用.     

GPIB高速数据传输协议的Petri网模型及分析

建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.     

单斗挖掘机液压系统故障分析和可靠性评估新法

以某型单斗挖掘机液压系统的故障分析及可靠性评估为目标,基于Petri网理论建立液压系统的故障Petri网模型,采用割集理论确定液压系统故障的所有割集,利用故障Petri网的定量计算能力求解液压系统的可用度指标数据。应用表明,与故障树法相比,故障Petri网在定性分析和定量计算方面具有优势。     

基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法

研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。     

制造系统建模中Petri网的工具和方法

本文概述了Ｐｅｔｒｉ网研究方面的一些最新研究结果，讨论了基于Ｐｅｔｒｉ网的一些建模工具，这些工具特别适合于制造系统的建模，性能分析，实时控制、系统可靠性系统等，文中还介绍了实际应用中所获得的某些结果，最后，提出了Ｐｅｔｒｉ网在制造系统建模中需解决的若干问题。     

基于模糊概率Petri网系统的故障诊断仿真研究

利用面向对象思想、高级Petri网技术、模糊及概率理论,建立了一种描述复杂系统故障关系的模型.着重介绍了基于该模型的故障诊断仿真控制策略,包括控制层策略和操作层策略.讨论了该模型的网元素实现,定义了5个库所类、5个变迁类、1个模糊概率Petri对象类、1个模糊概率Petri对象类的派生类和3个Token对象类,并给出了基于该模型的故障诊断仿真算法.最后,介绍了基于该模型的故障诊断仿真系统设计,并以简单的仿真实验验证了模型及仿真算法的适用性.     

Petri网在产品拆卸序列规划中的应用研究

拆卸是废旧产品中零部件再制造及材料回收再利用的重要环节,拆卸过程规划的目的就是为了寻找最优的拆卸序列。这里以Petri网为工具,建立了包括零部件回收价值及拆卸成本在内的产品拆卸Petri网模型,对模型进行求解,得到了满足需求约束的最佳拆卸序列。     

Load balanced scheduling and reliability modeling of grid transaction processing system using colored Petri nets

On-demand computing is a popular enterprise model in which the computing resources are made available to the users as needed. On-demand computing based transaction processing system which has grown rapidly in recent years is an information processing system with the stringent requirements of resources to meet the fluctuating demands. Concepts such as grid computing, utility computing, autonomic computing, and adaptive management seem very similar to the concept of on-demand computing. When demands of resources fluctuate, the system needs load balancing for the efficient utilization of the computational resources. Furthermore, scheduling is needed to assign the transactions to the appropriate resources. Thus, modeling of load balanced scheduling along with reliability analysis for this system is a challenging task.This paper presents the load balanced scheduling and reliability modeling in such an environment by using colored Petri nets (CPNs). CPNs which combine Petri nets with programming languages is a powerful modeling technique. The proposed CPN-based modeling pattern formally describes the process of transaction distribution and execution within the on-demand computing environment. Moreover, the CPN-based model uses the hierarchical modeling capability of CPNs, including different levels of abstraction (sub-modules). This helps easily handling and extending the model. Since, on-demand computing based transaction processing system executes a number of concurrent transactions. The CPN-based model is extended to express the concurrency, thus improving the reliability results. This paper takes the example of grid transaction processing (GTP) system with the problem of load balanced scheduling modeling and reliability evaluation.     

STOCHASTIC OBJECT-ORIENTED PETRI NETS （SOPNS） AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY

Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.     

基于Petri网的工作流模式研究

为了满足企业对过程模型描述能力的需求，提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上，应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步，消耗库所负责移除多余的标记，带标记的库所实现对变迁触发序列的控制；设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式，从基本到复杂，都映射到相应的Petri网上。最后，通过一个集成制造过程模型的实例，说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。     

工艺约束条件下加工顺序决策的Petri网T_不变量方法

针对计算机辅助工艺设计中一直没有解决的加工顺序决策问题,提出了一种新的基于Petri网T_不变量的加工顺序决策方法。首先根据Petri网原理和产生式规则建立了一个基于规则的加工顺序决策Petri网模型;然后在考虑工艺约束的条件下,给出了可选工艺路线T_不变量的生成算法;最后通过一个实例验证了该算法的合理性和有效性。实例结果表明,所提出的决策方法能够实现从可选工艺路线中得到最优/次优的工艺路线。