确定系统级测试性参数的广义随机Petri网模型 被引量：18

1

作者 钱彦岭 邱静 温熙森 《系统工程与电子技术》 EI CSCD 北大核心 2002年第5期4-7,共4页

测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个... 测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。 展开更多

关键词 系统级测试性参数 测试性设计 广义随机petri网 区间线性方程

在线阅读 下载PDF 职称材料

基于广义随机Petri网的交通信息系统建模与分析 被引量：15

2

作者 林琳 蒋昌俊 《计算机学报》 EI CSCD 北大核心 2005年第1期81-87,共7页

交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提... 交通信息系统 (TIS)是目前世界各国交通运输领域竞相研究和开发的热点 .它是一种复杂的服务性系统 ,具有典型的业务过程特点 ,但目前用工作流来分析交通信息系统的研究尚不多见 ,更很少有人对该系统中的一些实时性服务进行时序分析 ,提出优化方案 .该文将广义随机Petri网与工作流相结合 ,首先为TIS建立符合工作流概念的广义随机Petri网模型 .然后根据实际系统中相关数据的统计分析和经验估计 ,利用基于行为表达式的分析方法对点播服务的时间性质进行分析 ,获得了一些有价值的性能指标信息 . 展开更多

关键词 交通信息系统 工作流 广义随机petri网 行为表达式 性能分析

在线阅读 下载PDF 职称材料

多级保障系统的广义随机Petri网建模与分析 被引量：5

3

作者 杜宾 邱菀华 《北京理工大学学报》 EI CAS CSCD 北大核心 2009年第11期1030-1034,共5页

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型.根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间.为了保证单元的可用度,... 针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型.根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间.为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略.采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法. 展开更多

关键词 保障系统 广义随机petri网 可用度 多级维修 备件库存

在线阅读 下载PDF 职称材料

基于规则专家系统的广义随机Petri网仿真分析模型 被引量：4

4

作者 张俊星 张纪会 张宏勋 《系统仿真学报》 EI CAS CSCD 1998年第2期41-46,共6页

利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模，将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中，通过对该模型的计算机仿真分析，可对系统的可靠性及性能进行评价。

关键词 专家系统 广义 随机petri网 仿真分析 petri网

在线阅读 下载PDF 职称材料

广义随机Petri网和Monte Carlo仿真在系统可靠性分配中的应用 被引量：3

5

作者 李世毅 马振利 +1 位作者 张承良 刘云飞 《科学技术与工程》 2010年第36期9035-9038,共4页

介绍了系统可靠性分配的复杂性和模糊性。分析了广义随机Petri网(GSPN)和Monte Carlo的基本原理及其在系统可靠性分析中的应用。提出了利用广义随机Petri网(GSPN)和Monte Carlo仿真验证系统可靠性的分配方案。以加油系统为例,建立了其... 介绍了系统可靠性分配的复杂性和模糊性。分析了广义随机Petri网(GSPN)和Monte Carlo的基本原理及其在系统可靠性分析中的应用。提出了利用广义随机Petri网(GSPN)和Monte Carlo仿真验证系统可靠性的分配方案。以加油系统为例,建立了其可靠性框图和GSPN模型,利用MATLAB实现了系统可靠性的Monte Carlo仿真。仿真结果验证了可靠性分配方案的正确性。 展开更多

关键词 系统 可靠性分配 广义随机petri网(GSPN) 蒙特卡罗

在线阅读 下载PDF 职称材料

随机Petri网性能计算软件体系结构研究 被引量：3

6

作者 丁静 韩强 《现代电子技术》 2010年第8期51-53,共3页

以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构:人机... 以建立随机Petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构:人机交互模块,主控模块,性能计算核心模块。做出该软件体系结构适用于基于基本建模理论性能计算软件的结论。 展开更多

关键词 随机petri网 软件体系结构 软件开发 面向对象方法

在线阅读 下载PDF 职称材料

基于广义随机Petri网的轨道车辆门系统可靠性分析 被引量：1

7

作者 陈茹雯 《科学技术与工程》 北大核心 2013年第4期1095-1098,共4页

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程。对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petr... 轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程。对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri网建立的车门系统可靠性模型结构清晰、拓展性强、便于仿真实现,能够为车门系统设计及维保安排提供指导。 展开更多

关键词 轨道车辆车门系统 可靠性 广义随机petri网 Monte-Carlo仿真

在线阅读 下载PDF 职称材料

基于对象Petri网的电力系统软件体系结构描述

8

作者 李书勇 宋玮 《继电器》 CSCD 北大核心 2005年第23期64-67,72,共5页

把Petri网原理和面向对象技术相结合,定义一种对象Petri网。运用这种对象Petri网对可复用的电力系统软件体系结构进行描述。这种对象Petri网有面向对象技术的自然性和封装性,有严格的数学描述和直观图形表示;通过库所和变迁的连接关系... 把Petri网原理和面向对象技术相结合,定义一种对象Petri网。运用这种对象Petri网对可复用的电力系统软件体系结构进行描述。这种对象Petri网有面向对象技术的自然性和封装性,有严格的数学描述和直观图形表示;通过库所和变迁的连接关系及变迁触发、有色托肯的流动,能清晰、有效地描述可复用电力系统软件体系结构中不同层次的主体属性、行为及彼此间的信息交互、包含与被包含等的关系。它既能反映该体系结构中组件等主体间的静态联系,又能精确、方便地描述主体间的异步、并发等动态行为。 展开更多

关键词 对象petri网 软件体系结构 电力系统

在线阅读 下载PDF 职称材料

广义随机Petri网在制造系统中的应用 被引量：3

9

作者 曾宪强 吴智铭 《自动化学报》 EI CSCD 北大核心 1995年第2期198-202,共5页

介绍广义随机Ｐｅｔｒｉ网，通过把其状态分为隐状态和显状态并消去隐状态，使得计算复杂度降低，并将其应用在一个制造系统模型上，使用禁止弧来消除制造系统的冲突．

关键词 制造系统 petri网 FMS 广义随机 petri网

在线阅读 下载PDF 职称材料

基于广义随机Petri网的导弹系统测试性建模与指标评估方法研究 被引量：16

10

作者 翟禹尧 史贤俊 吕佳朋 《兵工学报》 EI CAS CSCD 北大核心 2019年第10期2070-2079,共10页

针对目前导弹测试性指标论证时缺乏有效方法支撑的问题,提出了一种基于广义随机Petri网(GSPN)的测试性建模方法。在建立导弹系统三维立体结构GSPN模型基础上,以各子系统的平面GSPN模型为研究对象,分析导弹系统故障检测及维修过程,同时... 针对目前导弹测试性指标论证时缺乏有效方法支撑的问题,提出了一种基于广义随机Petri网(GSPN)的测试性建模方法。在建立导弹系统三维立体结构GSPN模型基础上,以各子系统的平面GSPN模型为研究对象,分析导弹系统故障检测及维修过程,同时根据国家军用标准GJB/Z1391—2006故障模式影响及危害性分析指南对系统故障模式进行分类;基于GSPN模型可达标识图与嵌入马尔可夫链同构,以实存状态集和消失状态集表征库所变迁,采用同构法对测试性指标进行求解;以某型导弹子系统为例,对其测试性指标进行了评估,得到92%的故障检测率和90%的故障隔离率,验证了所提建模方法和相应算法的有效性,对测试性指标的权衡分析与评估具有指导意义。 展开更多

关键词 导弹系统 检测与故障诊断 测试性 广义随机petri网 马尔可夫链 同构法

在线阅读 下载PDF 职称材料

基于广义随机Petri网的混合冗余系统可靠性建模 被引量：8

11

作者 孙晨峰 吕卫民 +1 位作者 丛林虎 徐鹏博 《兵工学报》 EI CAS CSCD 北大核心 2022年第8期2007-2016,共10页

针对冗余系统动态性能难以描述、共因失效影响计算复杂的问题,提出考虑共因失效的广义随机Petri网络(GSPN)模型。在对典型冗余结构进行建模的过程中,引入冲击库所/变迁的概念拓展Petri网建模表示方法,并利用可达图验证了模型的可用性,... 针对冗余系统动态性能难以描述、共因失效影响计算复杂的问题,提出考虑共因失效的广义随机Petri网络(GSPN)模型。在对典型冗余结构进行建模的过程中,引入冲击库所/变迁的概念拓展Petri网建模表示方法,并利用可达图验证了模型的可用性,有效描述了系统的动态失效行为。利用GSPN模型时间变迁特性,合理设计网络结构,实现单元以及系统的故障状态信息保持。在提出的GSPN模型基础上,运用蒙特卡洛仿真的可靠性评价方法生成系统寿命数据,计算系统的可靠性。以某型导弹PLC系统为例进行从单元到系统的模型搭建,实现多种冗余结构混合的系统可靠性求解。研究结果表明:所提方法与考虑共因失效的传统解析法的可靠性差值在0.02以内,验证了方法的可行性。 展开更多

关键词 可靠性建模 混合冗余系统 广义随机petri网 共因失效 蒙特卡洛仿真

在线阅读 下载PDF 职称材料

基于广义随机Petri网的工作流性能分析 被引量：26

12

作者 陈翔 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第5期399-402,406,共5页

通过引入广义随机Petri网,将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法,为工作流性能的有效评估提供了理... 通过引入广义随机Petri网,将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法,为工作流性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析工作流模型的时间性能和资源利用率。 展开更多

关键词 工作流 性能分析 广义随机petri网 软件系统 工作流管理系统

在线阅读 下载PDF 职称材料

基于UML的C^3I体系结构着色Petri网建模方法 被引量：5

13

作者 车万方 张凤鸣 《系统工程与电子技术》 EI CSCD 北大核心 2003年第3期319-322,共4页

着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要意义。面向对象分析是构筑C3I系统体系结构的基本方法。论述了C3I系统体系结构的基于UML的面向对象的开发方法。给出了一种根据C3I系统逻辑体系结构的UML模型建立着色Petri... 着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要意义。面向对象分析是构筑C3I系统体系结构的基本方法。论述了C3I系统体系结构的基于UML的面向对象的开发方法。给出了一种根据C3I系统逻辑体系结构的UML模型建立着色Petri网模型的方法。应用实例表明了该方法的可行性和实用性。 展开更多

关键词 C^3I系统 体系结构 面向对象 UML 着色petri网 军事

在线阅读 下载PDF 职称材料

正态分布随机Petri网的串并行结构化简 被引量：1

14

作者 詹惠琴 古军 习友宝 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第3期424-427,共4页

基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之... 基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之和,合成标准偏差等于所有变迁执行时间标准偏差的方和根。还提出了并行模型的模拟仿真计算方法,分析了两个并行变迁独立不同分布时的情况,并给出了近似估算公式,在公式中,均值较大的变迁权重较大。 展开更多

关键词 正态分布广义随机petri网 数值仿真 系统模型化简 串行并行结构

在线阅读 下载PDF 职称材料

AADL模型到广义随机Petri网的转换工具 被引量：2

15

作者 汤玥 苏威 李蜀瑜 《现代电子技术》 北大核心 2015年第12期62-65,共4页

为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:... 为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。 展开更多

关键词 体系结构设计和分析语言 可靠性模型 广义随机petri网 模型转换工具

在线阅读 下载PDF 职称材料

基于结构化的C^3I体系结构着色Petri网建模方法 被引量：4

16

作者 车万方 张凤鸣 田涛 《系统工程与电子技术》 EI CSCD 北大核心 2002年第11期84-86,99,共4页

结构化分析是构筑C3 I系统体系结构的基本方法 ,着色Petri网模型对于C3 I系统体系结构的功能和性能评价具有重要价值。探讨基于C3 I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了C3 I系统体系结构的... 结构化分析是构筑C3 I系统体系结构的基本方法 ,着色Petri网模型对于C3 I系统体系结构的功能和性能评价具有重要价值。探讨基于C3 I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了C3 I系统体系结构的结构化开发方法。提出了一种根据C3 I系统功能体系结构的结构化分析模型建立着色Petri网模型的方法 ,应用实例表明了该方法的可行性和实用性。 展开更多

关键词 C^3I系统 体系结构 结构化分析 着色petri网

在线阅读 下载PDF 职称材料

基于AADL体系结构模型的构件系统可靠性评估 被引量：3

17

作者 凌冬怡 王世海 刘斌 《系统工程与电子技术》 EI CSCD 北大核心 2017年第4期947-952,共6页

为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language,AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建... 为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language,AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法,设计出一套转换规则,对AADL体系结构模型的软硬件构件进行模型转换,实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网(system architecture general stochastic Petri net,SAGSPN)的转换,并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估。最后通过对某飞控系统进行可靠性评估,验证了方法的有效性,证明该方法对航电系统的体系结构设计提供了支持。 展开更多

关键词 体系结构分析与设计语言 可靠性模型 系统体系结构广义随机petri网 可靠性评估

在线阅读 下载PDF 职称材料

基于UML&OPN的C^4ISR系统体系结构仿真验证研究 被引量：11

18

作者 柏晓莉 姜军 +1 位作者 罗雪山 张耀鸿 《系统工程与电子技术》 EI CSCD 北大核心 2008年第4期671-676,共6页

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时... 基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效、合理地评估系统的性能。 展开更多

关键词 C^4ISR系统 体系结构验证 UML 对象petri网 仿真

在线阅读 下载PDF 职称材料

基于DoDAF的预警卫星系统作战体系结构建模 被引量：5

19

作者 胡磊 闫世强 +2 位作者 刘辉 魏文斌 黄晓斌 《现代防御技术》 北大核心 2014年第6期33-41,共9页

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。首先分析了Do DAF作战体系结构产品的内容和相互关系,提出了作战体系结构具体的设计步骤。依据预警卫星系统的作战流程,建立了部分作战体系结构模型,... 预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。首先分析了Do DAF作战体系结构产品的内容和相互关系,提出了作战体系结构具体的设计步骤。依据预警卫星系统的作战流程,建立了部分作战体系结构模型,从不同侧面描述了预警卫星系统节点及节点间的信息关系。最后,对模型进行了语法和语义一致性验证,结果表明,建立的模型是正确的。 展开更多

关键词 预警卫星系统 DODAF 作战体系结构 petri网 模型验证

在线阅读 下载PDF 职称材料

嵌入式系统软件体系结构动态建模及应用研究 被引量：5

20

作者 郭荣佐 郭进 王霖 《计算机应用》 CSCD 北大核心 2009年第4期1143-1146,1158,共5页

应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。

关键词 Π演算 petri网 嵌入式系统 软件体系结构

在线阅读 下载PDF 职称材料