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

1

作者 孟海宁 齐勇 侯迪 《计算机学报》 EI CSCD 北大核心 2007年第12期2212-2217,共6页

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

关键词 软件老化 软件再生 软件可靠性 非马尔可夫随机petri网 马尔可夫再生理论

在线阅读 下载PDF 职称材料

非马尔可夫随机Petri网的分析方法及应用 被引量：3

2

作者 林闯 李雅娟 刘雪宁 《系统仿真学报》 CAS CSCD 2003年第z1期71-75,共5页

Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性... Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型。文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望。 展开更多

关键词 非马尔可夫随机petri网 马尔可夫再生理论 抢占策略 分析方法 应用

在线阅读 下载PDF 职称材料

基于补充变量的非马尔可夫随机Petri网及其应用 被引量：2

3

作者 原菊梅 侯朝桢 +1 位作者 王小艺 吴勤 《计算机工程》 CAS CSCD 北大核心 2007年第9期19-21,共3页

针对非马尔可夫随机Petri网提出了一种补充变量引入疗法,使其适合于系统共享维修资源情况下的可靠性分析。研究了基于补充变量的非马尔可夫随机Petri网的分析方法,以一并行系统为例说明该方法的建模过程、求解方法以及可靠性指标表达式... 针对非马尔可夫随机Petri网提出了一种补充变量引入疗法,使其适合于系统共享维修资源情况下的可靠性分析。研究了基于补充变量的非马尔可夫随机Petri网的分析方法,以一并行系统为例说明该方法的建模过程、求解方法以及可靠性指标表达式,并以指数分布为例进行了方法验证,验证表明该方法是可性的。 展开更多

关键词 非马尔可夫随机petri网 补充变量 可靠性分析

在线阅读 下载PDF 职称材料

含有非马尔可夫过程的排队Petri网模型和性能分析 被引量：7

4

作者 林闯 郑波 《电子学报》 EI CAS CSCD 北大核心 2003年第2期166-170,共5页

本文提出了一种新的高级性能模型技术 ,称作NM QPN(含有非马尔可夫过程的排队Petri网 ,QueuingPetriNetincludingNon Markovianprocesses) ,它综合了排队网 ,随机Petri网以及模拟求解各自的特点 .NM QPN以模拟模型为总体框架 ,发挥排队... 本文提出了一种新的高级性能模型技术 ,称作NM QPN(含有非马尔可夫过程的排队Petri网 ,QueuingPetriNetincludingNon Markovianprocesses) ,它综合了排队网 ,随机Petri网以及模拟求解各自的特点 .NM QPN以模拟模型为总体框架 ,发挥排队网和随机Petri网各自的优势对系统进行建模 .提出了一套完整的NM QPN模型求解方案 ,通过流等价方法将模型中的马尔可夫过程进行化简 ,这样可以大大减少模型的状态 。 展开更多

关键词 随机petri网 非马尔可夫过程 排队网 NM-QPN

在线阅读 下载PDF 职称材料

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

5

作者 何炎祥 沈华 《计算机科学与探索》 CSCD 2013年第1期55-62,共8页

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

关键词 随机petri网 马尔可夫链 定量分析 转换规则 性能指标

在线阅读 下载PDF 职称材料

随机Petri网应用于马尔可夫预测模型 被引量：4

6

作者 李文波 吴冲锋 王意冈 《预测》 CSSCI 1999年第6期47-49,43,共4页

随机Ｐｅｔｒｉ网和马尔可夫链有着内在的联系，用它来对状态整体的变化规律不十分明确但状态分量的变化规律明确的一类问题建模，为马尔可夫预测模型的应用提供了方便。

关键词 随机petri网 马尔可夫 预测模型

在线阅读 下载PDF 职称材料

随机Petri网模型到马尔可夫链的转换算法的证明 被引量：3

7

作者 何炎祥 沈华 《小型微型计算机系统》 CSCD 北大核心 2014年第2期339-342,共4页

随机Petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性... 随机Petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机Petri网进行性能的定量分析,给出了一个详细完整的随机Petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明算法是完全正确的.为了佐证证明结论,基于Java和SQL Server设计开发了一个软件平台,在此平台上实现了转换算法,测试实例的测试结果验证了算法的正确性.对算法时间复杂性的分析表明算法是有效的. 展开更多

关键词 随机petri网 马尔可夫链 算法正确性证明 Floyd不变式断言法 良序集法 算法复杂性分析

在线阅读 下载PDF 职称材料

机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别

8

作者 刘久富 陈哲 +2 位作者 王正谦 王志胜 杨忠 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2013年第6期170-175,共6页

机载液压油源系统的正常行执行时间服从正态分布和异常行为执行时间服从指数分布。Petri网模型处理确定行为,不能处理随机行为。随机Petri网(stochastic Petri nets,SPN)模型与确定-随机Petri网(DSPN)模型处理属于指数分布的行为,不能... 机载液压油源系统的正常行执行时间服从正态分布和异常行为执行时间服从指数分布。Petri网模型处理确定行为,不能处理随机行为。随机Petri网(stochastic Petri nets,SPN)模型与确定-随机Petri网(DSPN)模型处理属于指数分布的行为,不能处理正态分布的行为。提出用正态-随机Petri网(NSPN)对机载液压油源系统建模,给出正态-随机Petri网模型的正态参数与指数分布参数的识别算法。仿真计算结果表明,计算的变迁时间参数值与系统实际运行时间参数值相比误差较小,验证了该方法的有效性。 展开更多

关键词 随机petri网 非马尔科夫 建模 参数识别

在线阅读 下载PDF 职称材料

基于随机Petri网的民机审定试飞实施流程建模与分析 被引量：3

9

作者 邓汉年 周杰 +3 位作者 杨波 易力力 傅广 周鹏 《计算机科学》 CSCD 北大核心 2024年第S01期1063-1068,共6页

审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形... 审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。 展开更多

关键词 审定试飞实施流程 随机petri网 马尔可夫链 性能分析 关键环节

在线阅读 下载PDF 职称材料

随机Petri网非乘积解系统的判定与界限求解 被引量：4

10

作者 刘道斌 林闯 陆维明 《电子学报》 EI CAS CSCD 北大核心 2001年第2期199-203,共5页

本文基于随机Petri网 (SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法 ,发现了可能导致站不平衡的三种Petri网结构 ,对这三种结构进行了分析 ,得出了产生非乘积解的系统原因 ,并给出了一种利用乘积解求解非乘积解系统模型性能... 本文基于随机Petri网 (SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法 ,发现了可能导致站不平衡的三种Petri网结构 ,对这三种结构进行了分析 ,得出了产生非乘积解的系统原因 ,并给出了一种利用乘积解求解非乘积解系统模型性能界限的方法 ,这种方法可广泛应用于多种实际系统的性能界限求解 . 展开更多

关键词 随机petri网 站平衡 非乘积解 界限求解

在线阅读 下载PDF 职称材料

基于广义随机Petri网的装备战场抢修建模与分析 被引量：1

11

作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页

装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多

关键词 装备保障 战场抢修 广义随机petri网(GSPN) 马尔可夫链(MC) 建模与分析

在线阅读 下载PDF 职称材料

基于随机Petri网的网络可信赖性分析方法研究 被引量：43

12

作者 林闯 王元卓 +1 位作者 杨扬 曲扬 《电子学报》 EI CAS CSCD 北大核心 2006年第2期322-332,共11页

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网... 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望. 展开更多

关键词 可信赖性 容错 随机petri网 马尔可夫过程 非马尔可夫过程

在线阅读 下载PDF 职称材料

一种NMSPNs参数估计算法及其在接触网可靠性建模中的应用

13

作者 钟杰 于龙 +1 位作者 王健 高仕斌 《铁道学报》 北大核心 2025年第5期47-56,共10页

非马尔可夫随机Petri网(NMSPNs)是针对复杂可修系统进行可靠性分析的常用模型。考虑复杂可修系统状态不可完全观测,导致难以获取其时间样本数据等问题,提出一种基于变迁点火次数的NMSPNs参数估计算法。推导出变迁点火次数与NMSPNs参数... 非马尔可夫随机Petri网(NMSPNs)是针对复杂可修系统进行可靠性分析的常用模型。考虑复杂可修系统状态不可完全观测,导致难以获取其时间样本数据等问题,提出一种基于变迁点火次数的NMSPNs参数估计算法。推导出变迁点火次数与NMSPNs参数之间的函数关系,进而可得迭代公式;采用蒙特卡洛模拟对NMSPNs对应的设备多失效状态演化过程进行仿真;将仿真结果替代复杂可修系统中不可观测的数据,代入迭代公式,实现对NMSPNs参数的更新。所提算法仅以变迁点火次数的目标值作为输入数据,对复杂可修系统中事件的实施时间服从分布类型没有限制,且能准确估计出NMSPNs参数。分别用复杂可修系统和接触网绝缘子的仿真实例,验证了所提算法的有效性。 展开更多

关键词 可靠性 非马尔可夫随机petri网 蒙特卡洛模拟 参数估计 接触网

在线阅读 下载PDF 职称材料

一种随机着色Petri网及模型的性能分析 被引量：5

14

作者 王继曾 张彦龙 罗靖宇 《计算机应用》 CSCD 北大核心 2008年第2期292-293,301,共3页

针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时... 针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。 展开更多

关键词 petri 随机着色petri网 性能分析 马尔可夫链

在线阅读 下载PDF 职称材料

基于随机Petri网的综合航电系统建模及分析 被引量：7

15

作者 朱岩 耿修堂 高晓光 《火力与指挥控制》 CSCD 北大核心 2006年第1期41-44,共4页

提出了一种利用随机Petri网对综合航电系统进行建模和性能分析的方法。首先,建立了综合航电系统数据总线传输系统的随机Petri网系统模型,通过系统模型进行综合航电系统的性能分析;其次,给出了航空电子综合系统数据总线传输基于固定主控... 提出了一种利用随机Petri网对综合航电系统进行建模和性能分析的方法。首先,建立了综合航电系统数据总线传输系统的随机Petri网系统模型,通过系统模型进行综合航电系统的性能分析;其次,给出了航空电子综合系统数据总线传输基于固定主控端周期指令的总线性能分析结果;最后,通过两种分析结果的比较,得出了基于随机Petri网对航空电子综合系统数据总线传输建模分析是可行的结论。 展开更多

关键词 航空电子综合系统 1553B数据总线 随机petri网 马尔可夫链

在线阅读 下载PDF 职称材料

基于Petri网仿真的随机制造单元性能分析研究 被引量：6

16

作者 秦江涛 任上 《计算机应用研究》 CSCD 北大核心 2013年第8期2364-2367,2376,共5页

分析了传统随机制造单元Petri网模型能的不足,对传统随机制造单元的Petri网模型进行了改进。通过对Petri模型的直接仿真,对不同的Petri网模型的随机制造单元的性能指标进行了分析比较,并通过和同构的马尔可夫链的计算结果进行验证,证明... 分析了传统随机制造单元Petri网模型能的不足,对传统随机制造单元的Petri网模型进行了改进。通过对Petri模型的直接仿真,对不同的Petri网模型的随机制造单元的性能指标进行了分析比较,并通过和同构的马尔可夫链的计算结果进行验证,证明了改进后的Petri网模型准确地描述随机制造单元,对基于仿真的性能分析方法具有普遍意义。 展开更多

关键词 petri网 仿真 性能分析 马尔可夫链 随机制造单元

在线阅读 下载PDF 职称材料

随机Petri网的坦克综电系统总线性能分析 被引量：3

17

作者 刘金萍 宋小庆 +2 位作者 李匡成 高东飞 王冬 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期251-253,258,共4页

针对运用解析法对车辆电子系统进行性能建模分析困难这一问题,运用SPN构建基于Petri网的综合电子系统模型。提出了系统的性能分析方法,运用SPNP仿真软件进行系统建模,得出了某型车辆总线性能分析指标。实验结果证明,基于SPN的车辆综合... 针对运用解析法对车辆电子系统进行性能建模分析困难这一问题,运用SPN构建基于Petri网的综合电子系统模型。提出了系统的性能分析方法,运用SPNP仿真软件进行系统建模,得出了某型车辆总线性能分析指标。实验结果证明,基于SPN的车辆综合电子系统总线建模的正确性与可行性。 展开更多

关键词 随机petri网(SPN) 综合电子系统 1553B 马尔可夫链(MC)

在线阅读 下载PDF 职称材料

基于事件调度的随机Petri网仿真 被引量：6

18

作者 汤道宇 王少萍 《系统仿真学报》 CAS CSCD 2004年第3期551-554,559,共5页

当随机Petri网时间变迁的延迟时间分布为非指数分布时,随机Petri网就不再与马尔可夫链同构,不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法,该算法适用于任意时间变迁延迟时... 当随机Petri网时间变迁的延迟时间分布为非指数分布时,随机Petri网就不再与马尔可夫链同构,不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法,该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算,实例分析证明该仿真算法的有效性。 展开更多

关键词 随机petri网 数字仿真 事件调度法 马尔可夫链

在线阅读 下载PDF 职称材料

广义随机Petri网在生态产业园区性能分析中的应用 被引量：2

19

作者 景熠 王旭 李文川 《计算机应用研究》 CSCD 北大核心 2011年第6期2133-2136,共4页

为了对生态产业园区规划方案进行定量描述和评价,利用基于广义随机Petri网的建模分析方法,根据广义随机Petri网模型与马尔可夫链的同构关系,得到生态产业园区的Petri网模型和马尔可夫链模型。并通过马尔可夫链理论与相关数学方法,得到... 为了对生态产业园区规划方案进行定量描述和评价,利用基于广义随机Petri网的建模分析方法,根据广义随机Petri网模型与马尔可夫链的同构关系,得到生态产业园区的Petri网模型和马尔可夫链模型。并通过马尔可夫链理论与相关数学方法,得到生态产业园区规划方案的吞吐性能、时间性能以及关键资源利用率和重点加工环节运作效率等性能指标,诊断出现有规划中存在的问题,为生态产业园区规划方案的评价和改进提供了一个思路。 展开更多

关键词 生态产业园区 广义随机petri网 性能分析 马尔可夫链

在线阅读 下载PDF 职称材料

基于随机Petri网的软件可靠性分析方法 被引量：4

20

作者 朱连章 李妍琛 《计算机工程与设计》 CSCD 北大核心 2007年第22期5349-5352,共4页

软件可靠性模型对于软件可靠性估测起着核心作用。目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求。针对构件化软件提出了一种基于随机Petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性... 软件可靠性模型对于软件可靠性估测起着核心作用。目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求。针对构件化软件提出了一种基于随机Petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性评估的思想。使用该方法建立起的模型可以很好的描述软件系统的动态变化过程,尽可能多的考虑了影响软件可靠性的因素,有利于降低软件可靠性描述与分析的复杂度,并可以得到软件系统处于各个状态的瞬时及稳态概率。 展开更多

关键词 随机petri网 软件可靠性 模型简化 马尔可夫链 瞬时可靠性

在线阅读 下载PDF 职称材料