论文部分内容阅读
提出了一种基于组件的软件可靠性的计算方法.该方法首先利用各现成商用组件的说明信息,对组件的输入域进行划分,然后构建马尔可夫链,最终根据各组件之间的关系求出整个系统的软件可靠性.这种方法对基于组件的软件的可靠性进行了定量计算,是一种可行的方法.
基于组件的软件可靠性计算方法
【摘 要】
：
提出了一种基于组件的软件可靠性的计算方法.该方法首先利用各现成商用组件的说明信息,对组件的输入域进行划分,然后构建马尔可夫链,最终根据各组件之间的关系求出整个系统的
【机 构】
：
上海师范大学数理信息学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2004年5期
【基金项目】
：
教育部高校骨干教师资助计划，上海市教委"曙光计划"，上海市高等学校科技发展基金
其他文献
本文介绍了排渗系统的室内试验结果、挡灰坝渗流、地震液化与动力稳定计算分析方法及结果,为这种挡灰坝的设计提供了充实基础.研究结果表明:应该考虑排渗系统在受压条件下的
随着中国经济发展方式的转变,城镇化建设步伐的加快,公共基础设施建设的需求日益扩大,仅靠政府的财政支出难以满足城镇公共基础设施的建设。政府需要通过引入社会资金参与公
<正>随着我国经济和社会的日益发展,产生了大量的档案信息,各类档案信息在人们的工作和生活中发挥着越来越重要的作用。近年来,我国档案信息化建设取得了较好的成效,信息化档
<正> 一、叶轮裂纹检测技术的进展英国亨克利角“A”(Hinkley point“A”)核电站5号机(8.7万 kW)低压叶轮飞裂事故(1962年9月),以及随后在欧美一些国家和我国郑州电厂4号机的
消除污染、保护环境是我国的一项基本国策,是造福子孙后代的事业。近些年来,电力工业的环境保护工作取得了很多成绩,污染防治收到了较明显的效果,但还存在不少问题。由能源部
简述了机载雷达记录信息的特点,提出了信息搜索及目标再现的优化算法,给出了对于多目标动态雷达信息的计算机分析与再现方法.利用ActiveX控件技术,实现了软件系统的可移植性,
【正】鹿心社主持会议5月4日,省长鹿心社主持召开第42次省政府常务会议。会议传达学习了李克强总理关于应对经济下行压力做好当前经济工作的讲话精神。会议要求,要认真贯彻李
<正> 一、概述核安全法规 HAF300《核电厂运行安全规定》中明确指出,核电厂作为营运单位对核电厂安全运行负有全面责任。为贯彻执行“安全第一、预防为主”的方针,集中力量加
目的提高氨氮的分析速度并扩大方法的线性范围。方法使用空气浴加快显色速度,改用5 mm比色皿比色,使用酒石酸钾钠作为掩蔽剂。结果最大吸收波长为700nm,空气浴显色条件为40℃
本文以实测数据为基础,对钢制椭圆管空冷散热器设计中普遍遇到的传热学问题,诸如椭圆管的气动特性、管簇排列、鳍片密度、进风角度等等,作了较系统的介绍,供有关同志参考。