非相似三余度飞控计算机设计和可靠性分析

飞控计算机的可靠性直接影响到飞机的生存能力.为避免飞控计算机产生共性故障,增强飞控计算机系统的安全性和稳定性,研究了非相似三余度飞控计算机系统结构,应用广义随机Petri网建立该系统的故障模型,利用马尔可夫链来计算和分析该系统的可靠性,并与非相似双余度飞控计算机的可靠性进行比较,通过结果分析来验证该研究方案的可行性.     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

基于非马尔可夫随机Petri网的软件再生建模与分析

软件老化是影响软件系统可靠性的重要潜在因素,软件再生作为一种主动预防性的软件容错技术是解决软件老化问题的主要手段.以往的随机Petri网再生模型假定所有变迁的实施时间服从指数分布.针对变迁的实施时间服从确定性分布或一般性分布的情况,文中提出了一种用非马尔可夫随机Petri网建立软件再生模型的方法.该方法采用马尔可夫再生理论对模型进行分析,并给出模型的瞬态解和稳态解.仿真实验表明:选择合适的软件再生周期,可以有效地降低存在老化的软件系统的平均宕机成本,提高系统的可用性和可靠性.     

基于Petri网的容错计算机可靠性

应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时，把复杂的混合Petri网模型简化为GSPN模型，并利用GSPN与马尔可夫链同构的性质，来计算系统的可靠性。     

随机Petri网模型到马尔可夫链的转换规则与实现

随机Petri网是一种系统设计和分析工具,它可以对系统进行定性分析和定量分析。为了有效利用随机Petri网进行性能的定量分析,根据随机Petri网模型转换为马尔可夫链的算法,总结并实现了它们之间的转换规则。该转换规则在变迁实施的过程中引入演变规则和合并规则,将随机Petri网模型转换为马尔可夫链。可以利用产生的马尔可夫链对随机Petri网模型的多项性能指标进行定量分析。实验结果表明,转换规则是正确、可行的。     

一种随机Petri网的模糊同构方法研究

随机Petri网（SPN）可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统无法同构分析,结合模糊数学理论提出一种模糊同构（FIM）方法,该方法可以约简复杂状态空间以便同构分析,最后应用该方法分析欧洲列车控制系统（ETCS）在移动闭塞区间条件下无线通信的可靠性,以验证该方法的可行性。     

非马尔可夫随机Petri网模型的混合状态分析法

讨论具有发射时间任意分布之变迁的随机Petri网的解析问题.定义了随机Petri网 的混合状态和混合状态密度,提出混合状态分析法,并给出具有一步转移关系标识下的混合状 态密度的递推公式.使非马尔可夫型随机Petri网的分析成为可能.通过算例说明了混合状 态分析法在系统性能评估中的应用.     

Petri网在可靠性分析中的研究综述

可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述。首先对基于Petri网的可靠性分析与研究的基本方法进行分类。其次,着重分析了利用随机Petri网求解系统可靠性的基本方法和步骤,针对等价于Markov过程和非Markov过程的两类系统,重点讨论了基于随机Petri网的系统可靠性分析方法,并指出各类分析研究方法的优缺点。进一步,分析和比较了其他各种类型Petri网在可靠性分析中的应用方法及其优缺点。最后,总结了一些常见的Petri网计算机仿真软件,并针对基于Petri网的可靠性研究展望了几个有价值的研究方向。     

基于随机Petri网的可修系统可用性模糊评价

结合模糊集理论和随机Petri网理论提出了一种可修系统可用性建模与分析的新方法——模糊随机Petri网方法。随机Petri网的状态可达图同构于连续时间马尔可夫链,由可达图可得到系统的稳定状态概率方程组。利用模糊代数理论解该模糊方程组即可得到系统转移概率和各种性能指标的模糊数,通过解模糊可得到系统的可用性指标值。文章进行了实例分析并与已有文献作比较,举例进行分析求解,结果表明该方法是可行的。     

非相似余度飞控计算机设计及可靠性分析

余度容错技术是随着计算机系统可靠性的需求而产生和发展的。为了避免共性故障的产生,实现飞控计算机系统各性能指标,研究非相似双余度飞控计算机系统结构。应用广义随机Petri网建立该飞控计算机系统的模型,利用马尔可夫链来计算和分析该系统的可靠性,在分析结果的基础上,提出系统研究方案的可实施性。     

基于随机Petri网的柔性工作流可用性分析

提出一种基于随机Petri网的柔性工作流可用性分析方法。给出基本的异常处理模型,以电子商务配送系统(ELMS)为例,利用随机Petri网对系统进行SPN建模,分析ELMS系统的各种可用性参数。实验结果表明,该方法能准确、有效地对支持异常处理操作的柔性工作流进行可用性分析。     

基于粗糙集和Petri网的随机流网络可靠性评价方法

针对随机流网络可靠性建模难的问题,提出一种基于粗糙集和Petri网相结合的随机流网络可靠性评价方法.建立了随机流网络在确定网络状态下的Petri网模型,并利用粗糙集方法求得网络中各边状态对系统状态的重要度;然后以此作为随机流网络的Petri网模型中各变迁的优先因子来控制模型中变迁的激发;最后通过蒙特卡罗仿真求得随机流网络可靠度的估计值.仿真结果表明,该方法是一种计算随机流网络可靠性的有效方法.     

考虑环境因素的分布式系统可靠性建模及其分析

为建立可变工作环境下分布式系统可靠性模型,提出受控混合随机Petri网,即用连续库所中的托肯控制离散变迁的变迁率．以此反映工作环境对部件可靠性的影响,从而推理出环境对系统可靠性的影响．在此模型的基础上,采用蒙特卡罗方法进行不同环境下系统可靠性仿真求解,解决了可变工作环境下分布式系统的可靠性建模及其分析问题．最后,以一个C^4ISR系统为例说明了该方法是一种考虑可变工作环境影响的分布式系统可靠性分析的可行方法．     

基于Gillespie算法的生化随机Petri网演化分析

Petri网既有严格的数学表达方式,又有直观的图形描述形式,是当前生物化学系统模拟和定性分析的一个有力工具。作为标准Petri网的一个重要扩展,随机Petri网使得可以定量地分析生物化学系统。建立了两个典型的生物化学系统的随机Petri网模型：Schlogl系统和转录调控系统,并使用Gillespie随机仿真算法模拟了这些生化随机Petri网模型的状态演化。     

基于价格随机Petri网的服务协同建模与分析

针对一个企业不仅重视系统性能,也重视系统成本的问题,提出了价格随机Petri网,用于系统的价格和性能分析。价格随机Petri网既具有随机Petri网在性能分析方面的优势,又能计算系统的成本,对系统的建立和改进具有宏观指导作用。基于价格随机Petri网对服务协同典型模型提出了等价化简方法,并进行了相应的证明,此方法在一定程度上提高了系统分析的效率。     

Research on the Approach to Assess Missile Operational Effectiveness Based on OPN

Object Petri Net （OPN） which combines Petri net with object-oriented theory gives an effective method to use the Petri net in the field of M＆S of Discrete Event Dynamic System. The concept and mechanism of object is brought in, and ttie function of ba- sic Petri net is expanded. It is a new idea to apply OPN to missile operational effectiveness assessment system. The expanded func- tion of OPN is helpful for M＆S of discrete missile combat system. Since kinds of stochastic factors of the combat are considered in the simulation, the assessment of operational effectiveness has high reliability. The structure and the combat process of ICBM combat system are studied, and then the framework of OPN-based missile operational effectiveness assessment system and its operational mechanism are given.     

支持异常处理的柔性工作流可信赖性分析

随着人们对柔性工作流认识的不断增强,柔性工作流管理系统的可信赖性变得越来越重要。异常作为影响工作流柔性的主要原因之一,对系统的可信赖性有很大的影响。提出了一种基于随机Petri网的支持异常处理的柔性工作流建模与性能分析方法,并以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上着重分析了柔性工作系统的可用性、可靠性等性能参数。     

AADL模型可靠性分析评估工具

主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行...     

时间Petri网的随机模拟

模拟是Peri网进行系统分析的常用方法之一。由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的。提出了时间Petri网的随机模拟方法。该方法在变迁开始使能时,根据某种随机分布确定实施区间内的实施时间点;然后基于模拟仿真的实验数据,运用统计分析方法及算法,构造时间Petri网状态类树,计算变迁实施区间及实施概率,为时间Petri网的系统模拟提供了一种新的探索途径。