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

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

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

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

面对称旋转导弹刚体弹道模型

为了计算面对称旋转导弹的刚体弹道,根据面对称旋转导弹的特点,建立了其刚体弹道模型,定义了模型中的坐标系并给出了各个坐标系之间的转换关系,在此基础上得出了角度的计算公式,分析了风对旋转导弹运动的影响,在弹体坐标系下计算了气动力和气动力矩,解决了面对称旋转导弹弹道精确计算问题。     

关于亚纯函数微分多项式的值分布

运用Nevanlinna的亚纯函数理论方法,研究了亚纯函数微分多项式的值的分布理论,获得了若f(z)是超越亚纯函数,ψ是关于f的微分多项式,满足条件N(r,f) N(r,1/f)=S(r,f),关于ψ零点的几个结果,改进并推广了Yang C C和仪洪勋等人的有关结果.     

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

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

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

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

弹道 FFT频谱分析器研究

文中基于频域测速的基本原理,研究一种弹道FFT分析器系统。在给出该系统基本结构后,研究了在强地物杂波干扰环境中保证测频精度、分辨率和动态范围的基本方法。文中还着重介绍了用于这种频谱分析系统的可编程高速A/D数据采集系统和以TMS32010为主体的高速FFT协处理器系统。它们与IBM/PC和加权ZFFT分析软件共同构成了一个完整的频谱分析系统。     

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

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

关系数据库自动生成器

本文论述了使用函数依赖(FD)的概念进行关系数据库的设计。对于给定一组函数依赖,确定全部最小覆盖的传统综合算法进行了改进,给出了一个改进的新算法。并且开发了称为“关系数据库自动生成器”的关系数据库自动设计工具,该工具使用编译dBASEⅢ语言编写,在长城0520机上运行,它支持需求分析阶段的信息收集,关系数据库设计阶段的概念性和逻辑性设计。     

风对旋转弹丸弹道轨迹的交叉影响

本文解释了风对旋转弹丸弹道轨迹交叉影响的物理本质,分析了风对直射弹道和曲射弹道的影响。指出横风对于直射弹道的交叉影响引起的射程偏差较大;而纵风对于曲射弹道的交叉影响所引起的方向偏差在大射角时也较为明显。