首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 984 毫秒

1.  基于层次广义随机Petri网的测试性建模新方法  
   《兵工学报》,2020年第1期
   针对目前装备系统采用层次化、模块化设计,维修级别与测试性建模复杂度大大提高的问题,提出一种基于层次广义随机Petri网(HGSPN)的测试性建模方法。将主流模型和广义随机Petri网(GSPN)模型进行对比,阐明主流模型存在的问题,以及选择GSPN模型的原因;对装备进行层次划分,建立分层GSPN模型;系统及其组成元件存在多个故障模式,为区分这些故障模式提出一套完整编码方案;给出可达性算法获取层次相关性矩阵,运用测试性评估数学模型得到各层级的测试性水平,将各层级的测试性信息汇总,得到装备完整的测试性水平。以某型导弹发动机系统为例,建立其HGSPN模型,并对测试性指标进行确定,得到100%的故障检测率和66. 7%的故障隔离率,验证了所提建模方法和相应算法的有效性。    

2.  广义随机Petri网及性能分析  
   雷舸  陈昕《北京机械工业学院学报》,2013年第6期
   对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。    

3.  基于GSPN的Web服务组合建模与评价  
   迟文明  朱怡安《微处理机》,2011年第32卷第5期
   如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。    

4.  基于广义随机Petri网GSPN的系统安全性研究  
   钟小军 汪雄 董鹏 赵昭《海军工程学院学报》,2007年第19卷第3期
   针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。    

5.  基于GSPN与BN的测试性建模方法  
   《电子测量与仪器学报》,2021年第6期
   针对目前主流建模方法是基于测试结果可靠的假设条件前提,难以得到故障和测试之间准确的信息描述的问题,提出基于概率广义随机Petri网的测试性建模新方法。首先对主流建模方式和广义随机Petri网建模方式进行对比,阐明主流建模方式存在的问题,以及选择广义随机Petri网建模的原因;然后对Petri网原理进行分析,并将概率理论引入广义随机Petri网模型中,采用贝叶斯网络获取模型节点的条件概率,也是首次将贝叶斯网络和广义随机Petri网结合;最后对某导弹发动机系统进行建模,得到故障和测试的概率相关性矩阵,并对测试性指标进行求解。通过对比原有模型的相关性矩阵和本文所得到的概率相关性矩阵,验证了所提方法的可行性和准确性。    

6.  基于GSPN的飞机测试性指标确定方法研究  被引次数:1
   王小强  韩斌《计算机测量与控制》,2016年第24卷第4期
   针对目前飞机测试性指标论证时缺乏有效方法支撑问题,提出了一种基于广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)的测试性指标确定方法;通过分析飞机航线级的维修过程,构建过程的GSPN模型,并对模型进行求解和分析,得到测试性指标与使用可用度和平均修复时间之间的关系,以这两个指标共同作为约束目标,通过权衡分析确定飞机合理的测试性指标,并以某飞机测试性指标论证为例,演示验证了方法的可行性。    

7.  基于随机广义Petri网的延迟策略实施机理研究  
   罗建强  赵艳萍  宣娟丽《工业工程与管理》,2012年第17卷第3期
   实施延迟策略能为制造企业创造竞争优势。以实施延迟策略制造系统为研究对象,分析了延迟策略的实施机理。针对其他模型研究延迟策略实施机理的缺陷,结合随机广义Petri网(GSPN)可视化建模工具,可直观描述延迟策略实施机理的优点,利用GSPN与Markov链的同构关系,计算了能为实施延迟策略过程中的客户订单分离点定位提供决策依据的性能指标。通过算例分析验证了该方法的科学性与有效性,丰富了延迟策略实施机理研究方面的方法理论。    

8.  用通用随机Petri网对硬件冗余容错计算机系统进行可靠性测评  
   耿江涛 刘向东《计算机与数字工程》,1999年第27卷第5期
   在本文中给出一种硬件冗余容错计算机系统基于GSPN建模并进行可靠性评估的方法,该方法不必将GSPN同构成连续时间的马尔可夫链,我们暂且称之为前后集法。    

9.  计算机网络的Petri网建模及性能指标评估  
   李忠勇  李人厚《微机发展》,1995年第5期
   本文提出了用广义随机Petri网理论对计算机网络进行性能指标评估建模的具体规则,并给出了其相应的广义随机Petri网图,导出了依据广义随机Petri网模型(GSPN)对计算机网络中几个主要性能指标直接进行计算的方程,克服了以往在建模过程中的盲目性和无规则性.提出了从广义随机Petri网建模到进行计算机网性能指标计算的一系列方法.这些方法可有效地完成对计算机网络的建模和性能指标的计算,对分析和设计计算机网络具有普遍的指导意义.    

10.  基于GSPN制造系统工作流建模及性能分析  被引次数:1
   马增治  王龙山  高洪《机械设计与制造》,2008年第11期
   依据制造系统离散性和自组织性的特点,应用广义随机Petri网(GSPN)与马尔可夫链理论相结合的方法,对汽车工业面对订单生产(MTo)工作流模型进行构建和定量分析,得出了制造系统工作流模型中的等待时间、资源的利用率以及吞吐量和系统瓶颈等参数,为制造系统工作流性能的有效评估提供了理论依据.通过实例,验证了该建模与分析方法的实用性和有效性.    

11.  基于GSPN模型的系统动态可靠性仿真研究  被引次数:1
   苏春《中国机械工程》,2008年第19卷第1期
   分析了传统可靠性建模方法存在的缺陷,提出基于广义随机Petri网(GSPN)的复杂系统动态可靠性建模方法,将变迁分为瞬时变迁和赋时变迁,采用赋时变迁表示零部件故障及其维修过程,以禁止弧表达系统故障与修复状态的转换,建立典型可修复系统动态可靠性分析的GSPN模型。针对因非指数分布、状态空间爆炸等导致的GSPN模型求解难题,提出基于蒙特卡罗仿真的求解方法,通过对变迁发生次数及其持续时间、库所状态等参数的统计,计算系统动态可靠性指标。以挖掘机液压回路为例,验证了所提方法的可行性。    

12.  基于时间的制造企业供应链系统Petri网建模分析  
   罗薇  吴晓  胡晓乐《机械设计与制造》,2012年第3期
   针对制造企业供应链的运营情况,结合Petri理论中的广义随机Petri网(GSPN)以及马尔科夫链相关理论对该供应链系统建模分析,为制造企业供应链性能评价提供理论依据。结果表明:通过将GSPN以及其同构的马尔科夫链模型能清晰、快速、直观地获得供应链系统执行订单所需的时间以及供应链系统各主要结构所占系统运行时间的比例大小。该方法能快速地对供应链时间性能以及运作效率分析,为供应链系统进行改进提供思路。    

13.  基于GSPN的网络系统动态可靠性建模方法  
   陈克伟  董利霞  李丹《计算机测量与控制》,2012年第20卷第4期
   针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。    

14.  基于MC的电子对抗情报系统ESCPN模型性能分析  
   熊杰  刘湘伟  周国辉《兵工自动化》,2010年第29卷第8期
   针对基本Petri网对电子对抗情报系统描述能力不够的缺点,采用层次化的结构和面向对象的思想,提出一种扩展的随机着色Petri网(Extended Stochastic Coloured PetriNet,ESCPN)模型。对Petri网结构、建模元素、执行规则等进行扩充,分析基于MC状态方程的各项性能指标,以电子对抗情报系统中的初级电子目标生产子系统ESCPN模型为例,应用所建立的性能指标对系统的时间性能进行分析。分析表明,ESCPN模型和连续时间的马尔可夫链(MC)是同构的,能加强模型的描述和分析能力。    

15.  一种AADL系统可靠性模型转换方法  
   高磊  董云卫  张凡  王广仁《计算机工程》,2011年第37卷第14期
   在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。    

16.  基于Petri网的测试⁃故障诊断一体化模型研究  
   翟禹尧  史贤俊  韩露  秦玉峰《振动、测试与诊断》,2022年第42卷第2期
   现有测试性模型对复杂装备进行分层建模时,不仅需要每层装备的故障模式、影响和危害性分析(failure mode, effects and criticality analysis,简称FMECA),还需要确定各故障模式之间的联系,增加了实际工作量和建模难度,与实际故障诊断脱节。为解决上述问题,提出一种基于Petri网的建模方法,将测试性模型与故障诊断模型相结合。首先,采用广义随机Petri网建立装备系统级的测试性模型,采用模糊Petri网(fuzzy Petri net, 简称FPN)建立子系统的故障诊断模型,完成系统到子系统的传递;其次,根据FMECA信息对故障统计数据进行处理,通过神经网络对参数进行调整学习和优化;然后,采用正向推理实现故障的准确预测,逆向推理结合最小割集完成故障定位;最后,以涡扇发动机风扇部件模型为例进行建模分析,并通过故障树和统计数据验证了模型的正确性和有效性。    

17.  一种随机着色Petri网及模型的性能分析  被引次数:1
   王继曾  张彦龙  罗靖宇《计算机应用》,2008年第28卷第2期
   针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。    

18.  分布式功能块控制应用的性能分析  
   张渝 刘枫《计算机科学》,2007年第34卷第4期
   IEC61499功能块逐渐被工业采纳。本文针对分布式功能块控制应用(DFBCA)缺乏性能分析方法的情况,提出了一种基于随机Petri网的DFBCA性能分析方法。该方法以DFBCA的运行状态为着手点,利用Petri网易于表示系统中可能发生的各种状态变化及其关系的特点,将DFBCA转换为随机Petri网模型。再利用随机Petri网模型与马尔可夫链(MC)同构的特征,将随机Petri网模型转换为MC。得到的MC为DFBCA的性能分析提供了数学基础。最后基于MC的状态转移矩阵和稳态概率,对在每个状态中的驻留时间、变迁的利用率、变迁的标记流速、子系统延时时间等性能指标进行了分析。通过具体的示例说明了这种性能分析方法的可行性。    

19.  AADL 模型可靠性分析评估工具  被引次数:6
   董云卫  王广仁  张凡  高磊《软件学报》,2011年第22卷第6期
   主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri网计算工具PIPE2(platform independent Petri net editor2),实现基于GSPN模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM工具的应用情况.    

20.  随机Petri网部分性质定量分析  
   罗冬梅《福建电脑》,2005年第5期
   本文对用Petri Net建模的系统进行活性性质的定量的分析,随后利用随机Petri Net和连续时间的马尔可夫链同构的性质,应用所获得的同构马尔可夫链对求得稳定状态概率的子系统的后继状态转移概率进行了详细的定量分析.从而为入侵检测系统的设计提供理论根据。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号