【摘 要】
：
可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述.首先针对基于Petri网的可靠性分析与研究,根据研究的基本方法
【机 构】
：
安徽理工大学理学院淮南232001
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
论文部分内容阅读
可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述.首先针对基于Petri网的可靠性分析与研究,根据研究的基本方法进行分类.其次,着重分析了利用随机Petri网求解系统可靠性的基本方法和步骤,针对等价于Markov过程和非Markov过程的两类系统,重点讨论了基于随机Petri网的系统可靠性分析方法,并指出各类分析研究方法的优缺点.进一步,分析和比较了其他各种类型Petri网在可靠性分析中的应用方法及其优缺点.最后,总结了一些常见的Petri网计算机仿真软件,并针对基于Petri网的可靠性研究展望了几个有价值的研究方向.
其他文献
隐喻是一种重要的认知模式,动物词语文化意义的产生源自人类的认知机制。在与动物的频繁接触中,人类认知了动物的不同种属特性,这些特性因为与其他事物或概念有关联性或相似
人类对颜色的概念虽然有共同的参照,但是世界上没有任何两种语言中表颜色的词可以一一对应。对于颜色的翻译,不同语言受到了不同文化的影响。本文旨在将中英文化对颜色词翻译
国有企业如何坚持党的领导，坚持把加强党的建设全面融入企业生产、经营等工作，是值得认真探讨和研究的重要问题。南海现代渔业集团有限公司党委始终坚持党对国有企业的领导，党委
植被指数已经广泛应用于地表植被覆盖监测,但是地形对植被指数的影响难以避免,却经常在大尺度遥感应用时被忽略。本文利用山区森林的Landsat TM数据计算SR、NDVI、RSR、MNDVI
本实验以南京地区四种叶菜为试材，研究了1-MCP处理对叶菜采后衰老生理、贮藏品质及活性氧代谢的影响。研究结果如下：1．研究了不同浓度1-MCP（0-2μl／L）处理12h对茼蒿20℃贮藏期间生
在公路工程的组成体系中,路基施工是整体工程中的基本组成部分,同时也是会对施工效果形成直接影响的环节。在路基施工的过程中,施工人员们不仅要注重对施工材料进行检查,同时
随着健康服务业市场的开放,人民对美好生活的向往以及日益增长的健康和美丽的需求,现代民营医院作为人类生命科学和价值革命之间的联动,正面临着日益激烈的国内和国际市场竞争,医院之间竞争归根到底仍然是人才的竞争和管理的竞争。近年来民营医院数量逐步增加,同时国家对于民营医院的开设和运营也提出了更高的要求。在以人为本的医院发展主旋律下,医疗服务人才是医院的核心竞争力,而通过绩效考核体系的构建与设计,运用考核体
在国家相关政策的大力支持下,高校与企业之间的合作越来越多,取得了显著成效。然而,高校与企业之间合作出发点不同、利益诉求不同,在资源优化与配置等方面还存在一些问题,制
德育常规是指人们习惯上认同的或法令条文上规定的有关德育方面的政策、规则和程序的总和，是学校德育工作中的基本规范要求。马卡连柯说过，“没有要求就没有教育”。学校的德育
麦长管蚜Sitobion avenae(Fabricius)是同翅目昆虫，麦长管蚜种群不仅危害小麦、大麦、燕麦、荞麦、甘蔗、水稻、高粱、玉米、鹅冠草、荻草、芒草、鸡腿草、荠菜等，在国外还危