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

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

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

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

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

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

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

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

汽车扭杆悬架及扭杆弹簧的最优化设计

本文建立汽车扭杆悬架及扭杆弹簧最优化设计的目标函数,约束条件和数学模型,并给出了最优化设计程序框图。     

连接弧与两已知弧公切点坐标的通用算法

本文介绍一种计算机弧相公切点通用程序的算法。这种算法适用于给定半径的圆弧和两已知圆相切的各种情况。该算法全部采用简单的代数运算,避免了三角函数运算,提高了运算速度,并且由于采用符号函数和较合理的分类,使得程序简洁明了。     

泛函在射表逼近中的应用

运用泛函理论,对方差最小原则下射表逼近进行分析,给出了在给定基函数形式条件下的统一计算公式,并对最小二乘方法作了改进,消除系数矩阵的原理误差,给出了提高精度的方法。最后,提出了一个选择基函数的有效方法。     

维修优化中的专家判断

本文提出了一种利用专家意见的综合方法,用来获得维修最优化中所需要的寿命分布函数。该方法的步骤包括:从若干位专家那里导出各自的寿命分布函数,再把这些专家意见组合成一致的分布函数;然后,利用故障及维修数据,对综合成的一致分布函数进行修正。这种方法受到了实际应用的推动。尤其受到了时间宝贵却又缺乏统计知识的专家们的欢迎。采用各自的寿命分布的方法,具有较大的灵活性,使得在寿命分布导出阶段更易于被有关专家所领悟,且使得组合及修改阶段的计算量大大减少。这里我们采用的是Bayes方法,把Dirichlet分布函数用作引入的单个寿命分布函数的先验分布函数。本文还给出了把有关专家的经验知识的信息溶合在分析中的方法。     

光学传递函数的视频信号傅里叶变换测量法

基于传统的光学传递函数测试方法的缺陷,提出视频信号傅里叶变换测量法,给出了该测量法的理论依据和测试系统模型.该方法利用计算机技术,将常规的用硬件完成的傅式变换,改用计算机软件完成.