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

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

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

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

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

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

基于故障树和模糊推理petri网的塞拉门系统可靠性分析

对车门系统可靠性分析,提出了FTA定性分析和模糊推理Petri网定量分析相结合的方法。首先,在分析了车门系统的故障模式及故障事件的因果关系的基础上,建立了车门系统故障树模型;其次,通过FTA-FRPN的图形转化规则得到Petri网模型,最后,将模糊推理Petri网的推理算法应用于车门系统的可靠性分析,计算得到目标事件的故障率和初始事件的重要度及排序。结果验证了基于FTA和FRPN的可靠性分析方法的有效性,计算结果有助于技术人员和维修人员分析车门系统的运营状况。     

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

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

基于随机故障序列的制造系统动态可靠性仿真

采用随机故障序列、Petri网理论和蒙特卡洛仿真评估制造系统的动态可靠性.给出随机故障序列、序列重要度以及关键部件的定义,阐述随机故障序列的分析流程.基于随机Petri网理论建立系统可靠性分析模型,得到系统状态标识表:由状态标识表构建可达树,根据可达树求得系统的随机故障序列集.利用最小路集方法判定系统故障与否,分析仿真过程中避免部件过度故障问题及其解决方法;利用蒙特卡洛仿真计算随机故障序列的发生规律,评估系统的动态可靠性.通过计算每一个故障序列发生的次数、频率和持续时间等指标,确定影响系统可靠性的关键部件和瓶颈环节,为系统可靠性增长提供了理论依据.完成某供油系统动态可靠性案例分析,仿真结果验证所提出方法的正确性和有效性.     

一种面向对象Petri网的构造及应用研究

将 Petri网理论与面向对象技术结合 ,并借鉴客户机 /服务器模式 ,着色 Petri网中的一些概念 ,提出了一种新的面向对象 Petri网。文中详细论述了这种面向对象 Petri网的结构 ,形式定义 ,运行规则 ,并给出了这种面向对象Petri网应用于制造系统中的一个建模实例     

基于模糊Petri网推理的半导体生产线动态调度研究

针对动态调度的特点,为了综合优化半导体生产线性能指标,尝试使用基于模糊Petri网推理的方法进行动态调度。首先分析了影响动态调度决策的生产线状态信息;然后建立了模糊Petri网形式化推理机,继而构建了面向半导体生产线的模糊Petri网推理模型;最后使用实际半导体生产线模型,将提出的方法与FIFO、EDD和CR策略进行了仿真比较。结果表明基于模糊Petri网推理的动态调度方法能够改善半导体生产线多种性能指标。     

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

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

基于复杂工作系统性能分析的Petri网建模

Petri网是研究离散事件动态系统的有效工具，它通过对实际问题构造Petri网，揭示出系统的动态特性。本文以某质量检测机构为研究对象，进行Petri网建模，分析系统在资源分配，运行方式等方面性能，并对系统的时间性能作出整体评估。     

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网基本网模型结构,将设计结构矩阵映射为着色Petri网,建立了产品设计过程着色Petri网模型。在此基础上建立了对设计资源进行有效分配的动态分配模型,通过定量仿真分析,实现了产品开发过程资源冲突的检测及资源的重新分配和调整。桥式起重机小车设计的实例说明了该方法的有效性。     

Behavioral and performance analysis of feeding system using stochastic reward nets

This paper presents an approach based on Petri nets for studying the behavior of a real industrial system and evaluating its performance. Stochastic reward nets, a class of high level Petri nets, have been used to model dynamic interaction among active or standby equipment in the system, and the performance parameters have been evaluated using Markovian approach. The performance analysis of the system in long-run conditions is carried out using the data related to equipment’s operational behavior of a real industrial system. The methodology adopted in this paper provides a better understanding of the behavior of the system under varying operating conditions. Reliability analysis of a feeding system of a paper industry presented in this paper will help the management in deciding upon the maintenance strategy to be adopted to improve the performance of the system and consequently reduce the operation and maintenance cost.     

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.     

基于柔性制造系统的Petri网模型简化规则

为解决Petri网模型中的状态爆炸问题，提出了一种将简化规则应用到Petri网模型中的方法。该方法通过库所和变迁的合并与消除，来达到简化模型的目的。以柔性制造系统的加工站为例，建立加工站的Petri网模型，将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能，利用基于时序Petri网的时态逻辑规则进行了证明。结果显示，简化网在保持功能性的基础上，提高了验证和分析的效率。     

基于扩展一阶混合Petri网的机械制造系统碳流动态建模方法

机械制造系统是生产与能源的强耦合系统.针对其耦合特性,提出一种基于扩展一阶混合Petri网的碳流动态建模方法.对机械制造系统碳流动态特性进行分析,建立相应的系统边界,由系统边界分析制造系统的生产构成、运行模式,并导出能量、物料平衡方程以及碳排放量计算公式,为模型的建立奠定数量分析基础.针对机械制造系统能耗的连续性及离散状态对连续过程的影响等,在原一阶混合Petri网的基础上,引入控制弧、抑制弧相关元素以增强建模语义,并给出模型的形式化定义及规则说明.以某制造系统自动生产线为例,建立相应的多目标函数及约束条件,仿真优化其能量流、物料流的时域特性,并计算碳排放量,对所建模型进行验证,为企业实施低碳制造奠定一定的理论基础.