信息系统的可生存性建模与分析研究

• 作者: 高昀
• 来源期刊: 甘肃科技
• 学科: 工学
• 关键词: 可生存性 Petri net 模型检测 可生存性分析
• 年，卷（期）: 2010,（21）
• 页码范围: 34-38
• 分类号: TP393
• 字数: 5071字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0952.2010.21.012

摘要

首先对可生存性的定义以及其相关概念进行了描述与比较,接着针对目前可生存性的大多数定义不能判断一个系统的可生存性状况,对可生存性的建模与分析方法进行了深入的研究,把模型检测与函数分析的方法相结合提出了基于Petri net的网络可生存性的建模与分析方法,最后对可生存性分析进行了总结与展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高昀		1	0	0.0	0.0