论文部分内容阅读
阐述了软件开发过程中可靠性定量指标的分配原则和方法,对定量指标的验证进行了分析和探讨,研究了基于不同模型的验证方法,最后给出了一个控制软件可靠性分配和验证的例子.
软件可靠性定量指标的分配与验证
【摘 要】
：
阐述了软件开发过程中可靠性定量指标的分配原则和方法,对定量指标的验证进行了分析和探讨,研究了基于不同模型的验证方法,最后给出了一个控制软件可靠性分配和验证的例子.
【机 构】
：
郑州市713研究所
【出 处】
：
航空计算技术
【发表日期】
：
2002年2期
其他文献
函授教育的课堂教学环节既有与普通高等院校全日制在校学生的教学方式相一致的方面，又有特殊性。其教学质量的高低受多种因素的制约，既受高校教学管理层面的影响，又受教师层面的
从改革教学内容和创新教育的目标出发，重点介绍了在工程实践教学中，改革和优化金工教学内容，增加金工实验和先进制造内容，其目的是学习工艺知识，强化工程实践训练，培养创新意识和创
前列腺疾病是老年男性多发病,常并发心、脑、肺、肾等疾病。由于老年患者的耐受性较差,术后硬膜外镇痛是目前术后镇痛的常用方法。本研究探讨布托啡诺联合罗哌卡因应用于前列
论述推行统一的CFD数据交换标准的必要性；报告在研制通用航空气动力数值模拟系统ANSS2000中，建立内部数据接口文件规范的尝试；推荐国际上主流的空气动力学和CFD数据库标准－CGNS；讨
<正> 山东泰安市辖6个县(市、区),有13个国有林场,在职职工2065人,离退休职工469人,总经营面积43.5万亩。1998年,泰安市被国家林业局确定为国有林场分类经营试点。 山东省泰
新农村建设需要加强教育支持，对教育发展也提出了新的需求。电大教育在服务基层，培养当地实用人力资源方面有一定的先发优势和能力基础。新农村建设赋予远程教育新的使命，对电大
一、建立、举办县级（农村）自考大学的重要意义1．解决农村考生的实际困难，为参加自学考试的农村人员提供学习场所和服务场所建立、举办农村自考大学就是为农村考生提供一个参加自
<正> 家庭养花己成为许多人特别是城里人追求的一种时尚,但在养花过程中,由于缺乏栽培管理技术,再加上家庭居室特殊的环境条件,有可能导致一些花卉病虫害的发生。下面介绍一
目的探讨经尿道前列腺电切术中电切综合征（TURS）的特点及防治方法。方法回顾性分析TURP治疗BPH患者850例,对术中出现16例电切综合征（TURS）进行总结,分析。结果本组共16例TURS症状
<正> 随着计算机的发展,计算机技术的开发和应用已渗透到社会各个领域,计算机应用于教育领域,对教育思想、教育内容、教学方法、教学模式等的改革,对教师整体素质的提高以及