不同故障模式下的可靠性优化问题

以阀门流体系统为例 ,通过理论分析与数值计算 ,讨论了组成单元具有多个故障模式情形的系统可靠性优化问题 ,对传统的冗余技术作了进一步的发展 ,确立了考虑不同故障模式时可靠性优化的一般模型 ,最后得到了必须根据不同故障模式比率确定配置方式的结论     

Optimal stopping in software testing

In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non‐Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one‐stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点,将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题,合理构建了嵌入式软件测试用例自动生成系统,给出了系统流程图,改进了部分算子,使搜索效果得以加强,并分析了交叉率、变异率等参数的取值范围,通过改变不同的参数值得到对比图,以确定适合该系统的最佳参数值,并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试,从理论和实践上证明了该思路的正确性和可行性。     

软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。     

喷涂层接触疲劳失效信号响应试验研究

采用超音速等离子喷涂设备制备了铁基自熔剂合金涂层,通过球盘式接触疲劳试验机考察了喷涂层的疲劳行为,使用扫描电子显微镜对涂层的截面和失效形貌进行了表征,研究了不同信号响应对涂层接触疲劳失效形式的指示作用。结果表明：在该应力水平下,喷涂层的接触疲劳失效形式为点蚀和分层失效。振动和扭矩信号的响应可以反馈不同的失效过程,点蚀失效过程中信号呈现渐变的特征,而分层失效过程中信号则发生明显的阶跃。     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

基于超导软件无线电的抗同址干扰技术

适应现代战争发展要求,军事通信装备集成度不断提高,通信系统同址干扰日益成为一个迫切需要解决的问题.详细分析了同址干扰的原理,对常用抗干扰技术进行深入讨论.研究超导软件无线电的最新发展,针对同址干扰的特点和软件无线电在抗干扰中的优势.重点介绍和分析超导软件无线电在抗同址干扰的应用原理,最后探讨其关键技术.     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.