用于软件可靠性分析的分解方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:lc813
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随机Petri网(SPN)是一种有力的系统建模和分析工具。但SPN在应用中经常碰到状态空间爆炸问题。分解压缩技术是解决随机网状态空间指数性增长的有效方法之一。介绍了一种获得SPN可靠性模型瞬时状态的分解方法。该方法在保证评价和预测可靠性精确度的基础上,不仅能有效地降低可靠性描述与分析的复杂度,还扩大了分解压缩技术的适用范围。
其他文献
在许多数字通信系统、处理系统调试阶段,需要高速、实时的信号源来提供前端信号。以串行传输为例,介绍了基于PCI总线的高速信号源设计方法。信号源数据由通用计算机产生,通过PCI
随着当前法律的趋同化趋势进一步加强,法律的进步和发展需要博采众长已是不争的事实,因此,中国法治对域外法律制度、法学理论的借鉴很有必要。具有丰富成熟的法律理论与教义的德
面对21世纪的知识经济时代,我国电力工业要实现快速、持续、健康地发展,电力科学技术创新能力和管理水平都必须有较大的提高,而这一切都离不开人的综合能力、素质的提高.本文
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
会议
根据一年八点试验结果,运用多因素综合评判法对19个近年来国家和河南省审定的玉米品种进行了评价分析。结果表明,登海602、蠡玉35、蠡玉16、金裕6号、安玉12、张玉9号、郑单9
雪里蕻又称雪菜,属十字花科蔬菜类作物,主食茎叶,具有茎叶脆嫩,风味鲜美,营养丰富,既可鲜食,也可腌制,具有特殊的香辣味,属冬春蔬菜,是贵阳老干妈公司香辣菜系列的主要原料之一,市场需求
期刊
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技