结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件...结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。展开更多
应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运...应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持。最后,通过柔性制造系统实例,对该方法进行了检验。展开更多
在探讨了Petri网理论和复杂电网连锁故障机理的基础上,提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的电网连锁故障模型。围绕了负荷这一影响连锁故障发生和传播的最重要物理量,结合故障发生的概率,对连锁故障...在探讨了Petri网理论和复杂电网连锁故障机理的基础上,提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的电网连锁故障模型。围绕了负荷这一影响连锁故障发生和传播的最重要物理量,结合故障发生的概率,对连锁故障的发生机理和传播过程进行了理论分析和系统建模。该模型很好地模拟了传输线因过负荷发生故障的场景,不但反应各个传输线之间的相互作用,还反应了过负荷情况下负荷的再分配。通过对BPA九节点系统进行建模分析,验证了所提出的GSPN方法的可行性。展开更多
针对系统集成条件下的装备保障业务流程优化问题,分析了现行装备保障业务,建立了装备保障业务流程广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)模型,并结合系统集成条件下的装备保障业务模式对业务流程进行了优化。最后,...针对系统集成条件下的装备保障业务流程优化问题,分析了现行装备保障业务,建立了装备保障业务流程广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)模型,并结合系统集成条件下的装备保障业务模式对业务流程进行了优化。最后,通过实例对比分析流程优化前后的平均完成时间验证了流程优化效果。展开更多
Breeze/architecture description language（ADL）, is an eX tensible markup language（XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL pr...Breeze/architecture description language（ADL）, is an eX tensible markup language（XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net（GSPN） and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions： Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN（Breeze/ADL reliability analysis modelling tool）, and combine it with platform independent petri net editor 2（PIPE2） to carry out a reliability assessment.Abstract： Breeze/architecture description language （ADL）, is an eXtensible markup language （XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net （GSPN） and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions： Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the syst展开更多
文摘结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。
文摘应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持。最后,通过柔性制造系统实例,对该方法进行了检验。
文摘在探讨了Petri网理论和复杂电网连锁故障机理的基础上,提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的电网连锁故障模型。围绕了负荷这一影响连锁故障发生和传播的最重要物理量,结合故障发生的概率,对连锁故障的发生机理和传播过程进行了理论分析和系统建模。该模型很好地模拟了传输线因过负荷发生故障的场景,不但反应各个传输线之间的相互作用,还反应了过负荷情况下负荷的再分配。通过对BPA九节点系统进行建模分析,验证了所提出的GSPN方法的可行性。
文摘针对系统集成条件下的装备保障业务流程优化问题,分析了现行装备保障业务,建立了装备保障业务流程广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)模型,并结合系统集成条件下的装备保障业务模式对业务流程进行了优化。最后,通过实例对比分析流程优化前后的平均完成时间验证了流程优化效果。
基金supported by Jilin Province Science Foundation for Youths(No.20150520060JH)
文摘Breeze/architecture description language（ADL）, is an eX tensible markup language（XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net（GSPN） and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions： Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN（Breeze/ADL reliability analysis modelling tool）, and combine it with platform independent petri net editor 2（PIPE2） to carry out a reliability assessment.Abstract： Breeze/architecture description language （ADL）, is an eXtensible markup language （XML） based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net （GSPN） and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions： Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the syst
