共查询到19条相似文献,搜索用时 109 毫秒
1.
基于GSPN的网络系统动态可靠性建模方法 总被引:1,自引:0,他引:1
针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。 相似文献
2.
3.
潘峰 《计算机应用与软件》2015,(3):7-10,30
针对软件动态行为复杂难以建模,且可靠性难以评估的问题,提出一种基于随机有色Petri网SCPN(Stochastic Colored Petri Net)的软件可靠性建模与分析方法。在建立软件可靠性分析的元结构模型的基础上,分别建立软件可靠性分析的串联结构模型和并联结构模型,有效地描述了软件的静态结构和动态行为。以某工厂采购系统为目标系统,以Time NET4.0为平台,建立其基于SCPN的软件可靠性分析模型,仿真验证了所提方法的正确性和有效性。该方法可以为软件可靠性的早期评估提供理论指导。 相似文献
4.
基于着色Petri网的多Agent系统交互协议建模 总被引:1,自引:0,他引:1
多Agent系统(Multi—AgentSystems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。 相似文献
5.
基于Petri网的动态建模技术的研究 总被引:1,自引:0,他引:1
Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。 相似文献
6.
提出一种广义Petri网,改进原有线性连续时不变SISO系统的状态方程,并用它为一类混杂系统建模。同时提出一种混合状态,研究了该状态的演变规则、运行轨迹和状态方程。 相似文献
7.
应用双模型混合Petri网描述与分析容错计算机系统。在分析容错系统的可靠性时,把复杂的混合Petri网模型简化为GSPN模型,并利用GSPN与马尔可夫链同构的性质,来计算系统的可靠性。 相似文献
8.
9.
排队系统的着色Petri网建模与分析 总被引:1,自引:0,他引:1
着色Petri网(CPN)是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。 相似文献
10.
多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。 相似文献
11.
12.
13.
如何对工程项目的成本、进度、质量情况进行控制和跟踪是发电企业的重要问题,应用工作流可通过对业务流程的整合及资源的合理分配解决这一问题。本文基于分层着色Petri网(HCPN),将工作流过程模型的逻辑结构和语义与HCPN中的网结构进行映射,进而利用CPN-TOOLS定义基于HCPN的项目管理工作流过程模型,并利用化简原则对工作流模型进行畅通性验证。 相似文献
14.
15.
16.
17.
18.
结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。 相似文献