论文部分内容阅读
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用.分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应用的合理性等问题,提出相应解决方法.应用结果表明,该方法具有可行性.
人工走查数据在软件可靠性度量中的应用
【摘 要】
：
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用.分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应
【机 构】
：
北京控制工程研究所
【出 处】
：
计算机工程
【发表日期】
：
2004年期
其他文献
在Vlasov导出的一般薄壁杆件扭转屈曲微分方程式的基础上,利用迦辽金法导出计算扭转屈曲临界应力的广义特征值问题.研究了侧向应力为定值、轴向压力为活载荷的情况,探讨了侧
原有标准图限于计算手段,一般将中小跨径桥梁的空间问题转化为平面杆系来计算,因而不能很好地体现T形梁桥横隔板的作用和弯、斜桥的受力特征,只有依靠偏保守的构造措施来确保
武汉城市圈"两型社会"建设提出了地方立法生态化要求,地方立法生态化是武汉城市圈"两型社会"建设的必由之路.实现地方立法生态化,要求坚持科学发展观的指导,坚持生态主义立法
根据天河机场吞吐量、机场中转比例、轨道交通分流比例,车辆运载特征,预测武汉天河机场扩建对周边道路的交通需求,判断现有道路是否满足交通需求,在不满足交通需求前提下提出
介绍美国依利诺伊州典型整体式无缝桥梁的设计方法,在此类桥梁的设计理论和方法尚不成熟的情况下,为国内开展整体式无缝桥梁设计提供一种设计思路和方法。笔者根据过去几年在
采用悬浮聚合方法,使甲基丙烯酸缩水甘油酯(GMA)、苯乙烯(St)和丙烯腈(AN)单体发生自由基聚合,获得数均摩尔质量M_n=7×10~4g/mol,分散度D=2.36,外观无色透明的三元共聚物珠
贵州省公路地质灾害非常发育,对公路、桥梁或隧道等工程建设和运营以及人民的生命和财产安全构成极大的威胁。在现场调查资料和已有研究的基础上,对贵州省公路地质灾害类型、基本特征、形成条件和防治对策进行了探讨,对减少路基病害的发生和延长公路的使用寿命等方面具有重要的现实意义。
阐述市场机制的优劣性与政府职能的特点以及对市场机制的监督作用,根据农村饮水安全工作的特点,论述了市场机制与政府职能结合的必要性,并提出了市场机制与政府职能结合,保障
2007年12月14日,国务院正式批准武汉城市圈为全国资源节约型和环境友好型社会(简称"两型社会")建设综合配套改革试验区,随后,2008年11月,省委、省政府适时地作出了建设鄂西生
干线公路主要提供机动性功能,承担着较多交通负荷,通过提高干线公路路口的协调控制能力,可以提高通行能力、减少交通延误和停车次数,对改善相关路网的交通状况具有十分重要的