论文部分内容阅读
软件可靠性工程不仅是软件模型的应用，同时也是通过软件生命周期进行费效比分析等工程手段来开发可靠性软件基本原理的应用。净室软件工程法可用来开发高可靠性软件。该文讨论了对净室软件工程方法的扩充，强调了高级设计技术及相关方法在软件可靠性确认中的应用。
可靠软件的开发及认证方法
【摘 要】
：
软件可靠性工程不仅是软件模型的应用，同时也是通过软件生命周期进行费效比分析等工程手段来开发可靠性软件基本原理的应用。净室软件工程法可用来开发高可靠性软件。该文讨论
【机 构】
：
工程大学计算机系总医院计算机室
【出 处】
：
1999年全国理论计算机科学学术年会
【发表日期】
：
1999年10期
其他文献
该文对海军靶场的使命和任务作了论述；对时间与频率技术在海军靶场中的应用做了直观的阐述和简要介绍；分析了目前海军靶场时间同步精度和今后十年内所希望达到的理相精度值；对时
该文简要介绍了国际国内车用柴油机排放法规、排放控制手段以及中国车用柴油机排放现状。根据中国车用柴油机排放强制性技术标准的要求，东风汽车公司针对其主力柴油机－－康明斯６ＢＴ柴
浮法玻璃进行离子交换前后，Ｓｎ〈’４＋〉和Ｃａ〈’２＋〉的深度分布曲线发生改变，表面大量的Ｃａ〈’２＋〉存在阻碍Ｋ〈’＋〉（熔）＜＞Ｎａ〈’＋〉（玻）交换反应，离子交换层很薄。离子交换后，测试玻璃热 稳定性时，玻璃上
该文探讨了移动Ａｇｅｎｔ计算模式的定义和框架模型，描述了Ａｇｅｎｔ的三种移动Ａｇｅｎｔ计算模式的优缺点，最后简要介绍了移动Ａｇｅｎｔ的发展概况。
该文简要介绍了在快中临界装置上实现计算机故障诊断、增殖和反应性在线测量的技术途径和实验控制方法，描述了系统硬件组成及编写相关软件的依据。实验表明：计算机系统的建立可
环氧树脂胶粘剂作为一类重要的雷达吸波涂层（ＲＡＣ）胶粘剂，其柔韧性不能完全满足飞行器的使用要球，需要对其进行改性。合成端胺基聚氨酯，将其作为固化剂与双酚Ａ环氧树脂制成胶粘剂。此胶
受生物进化的间断平衡现象启发，该文提出一种基于生物进生控制论的适应性遗传算法。通过监测进化成熟度对选择压力、变异率和终止条件等参数实施适应性调控，以期尽可能地开发探