Petri网及ExSpect在任务可靠性仿真中的应用

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:usrijl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。
其他文献
日前,从中国工程机械工业协会掘进机械分会成立大会暨"中国掘进机械发展论坛"上获悉,随着我国城市轨道交通、铁路、水利等建设事业的高速发展,作为隧道以及非开挖施工主要装备
针对某镀铜钢带表面镀层厚度不均匀问题,将镀层厚度均匀化装置和镀铜钢带防氧化装置引入连续镀铜工艺中,并表征了所得钢带镀铜层的厚度、结合力、耐蚀性等性能。结果表明,采用该
<正>背景徐汇滨江地区位于黄浦江核心区南延伸段,土地面积9.4km~2,岸线长度约11.4km,是上海市中心城区内唯一可大规模成片开发的滨水区域。这里曾是上海重要的交通运输、物流
目的:本课题以清热导滞颗粒治疗符合燥热内结证的儿童功能性便秘患儿,以期在理论及临床中对此疗效施行综合观察与探究,进而对本设计方案治疗儿童功能性便秘(燥热内结证)的显
随着BIM技术的快速发展,其在建筑施工领域的应用越来越广泛,本文以某中学教学楼为例,分析BIM技术在施工过程中的应用,主要从模型构建、碰撞检查、施工模拟、质量控制等方面展
<正>有建议称在母猪225~250日龄,达到150~160㎏时进行初配,但是在实际生产中,部分母猪难以在8月龄左右达到此体重,该如何解决此问题?在母猪225~250日龄,体重达到150~160kg时进行
期刊
基于生物学学科核心素养的高三模考原创题的命题者需具有五点意识:遵循原创命题程序,科学规划生物学学科核心素养的测试蓝图;收集科学素材,创设真实情境;构建概念图,寻找核心
宋代金银器多出土于窖藏,德阳窖藏银器是其中一次重要的发现。四川博物院所藏德阳出土的宋代银器总体呈现简约平易的特征,意趣含蓄内敛,生动地反映出宋人雅致的生活情趣以及
为满足工业零件尺寸测量的复杂要求 ,对结构光三维扫描法的基本工作原理进行了全面分析。并在此基础上实现了一种新的三维拼接技术 ,其核心是利用一个步进电机驱动的旋转工作
目的:观察超声引导经皮穿刺聚桂醇注射治疗甲状腺囊肿的临床效果。方法:选取甲状腺囊肿患者50例作为研究对象,采用超声引导经皮穿刺聚桂醇注射治疗,统计治疗有效率、治疗前后囊