-
题名一种基于Petri网模型的系统动态安全性分析方法
被引量:2
- 1
-
-
作者
赵俊阁
刘玲艳
吴晓平
-
机构
海军工程大学电子工程学院
-
出处
《海军工程大学学报》
CAS
北大核心
2008年第6期9-12,共4页
-
基金
国家自然科学基金资助项目(60774029)
-
文摘
针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率。最后,以实例验证了该方法的可靠性和有效性。
-
关键词
动态安全性
petri网
可达树
失效序列
-
Keywords
dynamic safety
petri nets
reachability tree
failure sequence
-
分类号
U698.6
[交通运输工程—港口、海岸及近海工程]
-
-
题名基于联合事件概率定义的序列失效分析
- 2
-
-
作者
周经伦
董豆豆
-
机构
国防科技大学信息系统与管理学院
-
出处
《微计算机信息》
北大核心
2007年第27期207-208,272,共3页
-
基金
国家863计划(2004AA845023)
-
文摘
基于Petri网的失效序列分析能较好拓展序列失效分析的应用范围。针对一种基于Petri网序列失效分析方法,通过仿真手段对其有效性进行检验,检验表明该方法对系统运行时间不敏感。对此,提出了一种基于联合事件概率定义的序列失效分析方法,给出了计算失效序列发生概率的精确解。从中也可得出启示:对于近似计算方法,为严谨周密起见,需对其有效性检验。
-
关键词
petri网
序列失效
安全性
失效率
-
Keywords
petri nets, sequential failure, safety, failure ratio
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-