收缩管道装置层流热边界层理论及应用研究

研究了收缩管道装置层流热边界层理论及其应用。对于速度边界层提出了相似性解的解析结果,给出了速度分布、边界层厚度、摩擦阻力和水头损失的解析计算表达式。对于温度边界层利用管道热边界层方程,推出了温度分布、温度边界层厚度和热流量的计算关系式,并给出了设计应用实例。     

舰炮对空射击指挥控制数学模型的优化与仿真

新型作战舰艇舰炮武器系统火控台内配置了舰炮射击指挥软件,实现了射击指挥自动化,使得舰炮射击更加科学化,同时也大大地减轻了射击指挥员的负担.但是,对空射击指挥软件确立的数学模型存在一些缺陷.分析了该数学模型的缺陷,提出了改进方法,给出改进后的数学模型,并对改进前后模型分别进行仿真计算.计算结果表明,改进后的数学模型解算出来的射击方式能提高舰炮武器系统对空作战效能.     

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网的系统软件安全性分析的特点。     

软件测试方法综述

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

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

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

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

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

管道金属磁记忆检测技术现状分析及发展研究

针对管道无损检测问题,阐述了金属磁记忆效应的基本原理,与传统无损检测方式比较,归纳了磁记忆检测的基本特性。在磁记忆检测仪器研发现状的基础上,设计了新型管道磁记忆／漏磁综合检测仪。从检测机理、信号处理和缺陷识别3个方面对检测技术研究现状进行分析和总结。探讨了检测机理的局限性,提出管道磁记忆检测技术的研究新方向。     

机动输油管线泵机组仿真模型构建

受经费、人力、装备等因素的制约,机动型输油管线的实装训练往往难以开展,而开展仿真训练则是提高训练水平和效益的重要手段。构建机动输油管线泵机组仿真模型是模拟器研制和管线系统仿真的基础。建立了机动输油管线泵机组柴油机、增速器、离心泵的数学模型,给出了泵机组仿真计算的基本流程,建立了基于统一建模语言（UML）的泵机组仿真模型类图。所提出的建模方法同样适用于滑片泵泵机组。     

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

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