【摘 要】
：
本文基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法。该方法利用重要抽样技术在保证可靠性估计无偏性条件下,采用交叉熵度量操作剖面与零方差抽
【机 构】
：
东南大学计算机科学与工程学院 南京 210096 南京航空航天大学理学院 南京 210016
论文部分内容阅读
本文基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法。该方法利用重要抽样技术在保证可靠性估计无偏性条件下,采用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间转移概率来修正测试剖面。
从理论上证明了利用修正测试剖面测试估计的可靠性是方差为零的无偏估计。最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法,仿真结果表明该方法较模拟退火算法能明显降低估计的方差,在提高估计精度的同时加快统计测试速度。
其他文献
三值逻辑光学运算器结构设计的随意性给硬件实现带来了诸多困难,阻碍了三值光计算机的研制进程,而注重于物理实现的降值设计理论以及相应的降值设计规范从理论上彻底地解决了
本文将流水线结构和可重构技术相结合来实现AES算法的IP核,达到了速度和面积折中实现。本文提出一种混合流水线结构实现AES算法的加懈密IP核,提高了数据吞吐量; 并根据有
本文主要论述在作文教学的各个环节中如何进行指导,加强指导,让学生掌握写作方法,注重素材积累,激发创作兴趣,督促学生培养自主观察的好习惯,通过评价引导学生扩展思路等四个
软件可靠性是衡量软件质量的重要指标,软件可靠性建模提供了一种对可靠性进行定量评估的方法。软件开发设计方法的演变对软件可靠性度量也带来的新的问题。本文首先综述了软
我科对孕1．4周前要求终止妊娠的425例孕妇术前15分钟用鲁米那钠0．1g+阿托品0．5mg肌肉注射，在术中效果满意，现介绍如下。1资料分析1．1病例选择：本组425例为1986年3月～1996年3月要求终
构建业务模型有助于理解企业的现有业务,促进商业模式创新。然而,业务模型通常建立在特定的业务场景之上,这导致诸如业务参与者、业务活动、资源等模型元素在不同的企业之间
“以人为本”是各行各业发展的要求,时代进步的人文体现.“以人为本”强调的是“发展为了人,发展依靠人”,它要求我们工作一切都要从人民的需用出发,促进人的全面发展,实现人
压力蒸气灭菌器是医院消毒灭菌的主要设备，目前虽然大医院已多采用新型的预真空或脉动真空式设备，但多数中心医院仍在使用下排气式灭菌柜，由于下排气式灭菌柜使用中影响因素较多
该怎样去描绘上个世纪的八十年代呢?记忆尚未褪色,激情仍有余温。不论是共和国,还是所有经历了那个时代的个人,都在那十年的时间里,成功地跨越了一个巨大的历史分水岭。那是
信息技术是小学阶段一门基础工具课,随着科技的发展,信息技术课对于小学生而言也显得尤为重要.小学阶段是学生学习的关键时期,也是学生培养良好学习习惯与学习兴趣的关键时期