面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

基于高斯白噪声加入的EMD在旋转机械故障诊断中的应用研究

为了避免经验模式分解(EMD)过程中不同时间尺度函数间的模式混叠,采用基于高斯白噪声加入的经验模式分解方法,并将之应用于旋转机械故障诊断中。该方法主要是对同一信号重复若干次加入相互独立的高斯白噪声序列,并分别筛选固有模式函数,而后把各个对应的固有模式函数进行平均计算,消除白噪声对分解结果的影响。最后,通过对固有模式函数进行包络解调,从中提取故障特征。对实际旋转机械故障振动信号的分析结果表明,该方法能有效避免固有模式函数间模式混叠,提高故障诊断效果。     

连续波金属探测器电磁场模型的理论分析

介绍了连续波金属探测器的工作原理,提出一种新的连续波金属探测器电磁场模型,采用基于电磁场和电路的混合方法对该模型进行了详细的理论分析,推导出在空气及海水中金属探测器接收感应电压的计算公式,并给出了简要的设计实例.文中理论分析结果对于连续波金属探测器设计与分析具有指导意义,对其它类型的金属探测器设计也有参考价值.     

RPPM模式在军用烟幕扩散数值模拟中的应用

阐述了随机游走粒子一烟团模式（RPPM）的基本思想,并结合野外试验验证了该模式在烟幕扩散数值模拟中的应用效果。     

一类二阶椭圆型边值问题正解的唯一性

文中讨论了一类二阶椭圆型边值问题正解的唯一性。削弱了文献[1]中主要定理的条件,并将其推广到一般光滑区域,所用方法主要是对格林函数的精细估计。     

样条函数康特诺维奇法在复合材料板和圆柱曲板弯曲及线性稳定性分析中的应用

样条函数康特诺维奇法是作者首先提出的一种结构数值计算方法。它实质上是一种离散形式的康特诺维奇法,将二维问题化为一维问题,使问题的自由度数大幅度减少。在本文中,基于Mindlin假设,将样条函数康特诺维奇法应用于金属、复合材料单层板及圆柱曲板的弯曲及线性稳定性分析。     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

多态关联系统结构特性分析

可靠性分析中，系统的结构函数有两方面的作用，一方面是结合部件可靠度求得系统的可靠度，另一方面是由结构函数分析系统的结构特性。本文通过构造结构函数的差分运算，从系统的结构稳定性、状态吸收能力和结构重要度三个方面对后者进行了讨论。     

载荷识别及其精度改善

本文系统地建立了载荷识别方法,详细探讨了提高载荷识别精度的途径,得到了载荷识别过程中信号处理加窗原则和试验的一般技术要求,使识别精度明显提高。     

舰载分布式火控系统功能备份、重组和恢复的一种设计与实现方法

以一个舰载分布式火控模拟系统为背景,给出一种系统功能备份、重组和恢复的设计与实现方法。主要介绍设计要求、备份策略、检测机制和分级实现。实验表明,系统在损失近５０％设备时仍能维持原功能工作,在损失７０％以上时尚能继续运行,从而证明了该方法的正确、可行和有效