【摘 要】
：
评估是保证高可信软件中高可靠性的重要手段。传统的评估方法要么不适应高可靠性的特点,要么不符合真正意义上的评估。基于现状,提出了一种基于先验贝叶斯推断验证的评估方法
【基金项目】
：
国家高技术研究发展计划(863)No.2007AA010302~~
论文部分内容阅读
评估是保证高可信软件中高可靠性的重要手段。传统的评估方法要么不适应高可靠性的特点,要么不符合真正意义上的评估。基于现状,提出了一种基于先验贝叶斯推断验证的评估方法,该方法不仅利用了先验贝叶斯推断验证法的优势,而且结合了二分查找算法的迭代理论,二者结合起来实现了真正意义上有效的高可靠性评估。实例应用证明,这种评估方法比较客观、可行,具有较高的实用价值。
其他文献
线辣椒一代杂交种B96由天水市农科所蔬菜站育成.该品种从定植到红果采收期109 d,果实成熟后深红色,辣味强,果长21.2 cm,果径1.67 cm,果肉厚0.10 cm,单果重9.33 g,单株结果数3
随着海上船舶大型化的发展．船舶结构的优化设计应尽可能考虑降低空船重量，达到最大化装我的目的。如何在上述极限设计的情况下保证船舶的结构安全是船级社所要解决的重要问题。
目的介绍对清醒小鼠脑部进行急性在体细胞外电生理记录的方法及一些基本的数据处理方法。方法采用多通道硅电极及清醒小鼠头部固定系统在小鼠清醒状态下对其脑部神经元做急性
红外场景仿真器是红外制导武器半实物仿真系统中的核心设备。该文章以某型号反坦克导弹导引头半实物仿真试验为应用对象,以微反射镜阵列（DMD）为基础,采用Vega Prime软件及其红
目的通过在纤维支气管检查（bronchofiberscopy BFS）术中应用背景音乐,有效地稳定患者术中的心率、血压,使检查顺利地完成,提高患者的满意度。方法选择BFS术患者100例,随机分音
【正】改革开放的大潮,冲击着一切传统的堤壩,它迅猛地荡涤着污泥浊水,也使积淀的沉渣重新泛起。 作为遭受几千年传统思想文化束缚的中国锁闭式的家庭教育,在惊涛的轰鸣下,已
20世纪80年代曾占我国太阳能热水器统治地位的平板太阳能集热器、热水器在近十多年内，已逐渐被全玻璃真空管太阳能热水器替代。市场份额逐年下降，现已降至15％左右。然而同期国外
在社会科技飞速发展带动下,诸多新兴科学取得了不小的发展成果,尤其是电工电子技术方面。经过不断的探索与实践,电工电子技术虽然在科技创新发展中发挥积极的推动作用,相关技
用公共关系理念和公关人员应具备的心理素质教育大学生,帮助大学生建立自信心。选择405名选修公共关系学的大学生为研究对象,采用理论教学与课堂讨论,自制调查问卷等反馈教学
合成了一种新的含硫席夫碱 2 ,6-吡啶基二甲醛双缩 (β-巯基乙胺 ) (H2 L)及其 Cu( )、Cd( )和 Hg( )的配合物 ,并经元素分析、摩尔电导、IR和 1 HNMR谱表征 ,确定了它们的组