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

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

人武干部要强化“六个意识”

人武部既是军队编制序列的一级军事指挥机关,又是同级地方党委的军事部和政府的兵役机关,是人民群众认识了解解放军的“窗口”和密切军政军民关系的“桥梁”。人武部的职能、地位、作用和面临的社会环境,决定了人武干部必须强化“六个意识”。(一)强化军人意识。人武部虽然接受双重领导,担负双重工作任务,但它毕竟是军队编制内的一个团级军事机关,干部都是现役军人,特别是在没有其他驻军的地区,人武部的形象就是群众心目中的军队形象,人武干部的形象就是群众心目中的军人形象。因此,每一名人武干部都要有很强的军人意识,牢记我军的性质、宗…     

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

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

改进相空间重构方法在混沌识别中的应用研究

讨论了传统非线性时间序列相空间重构方法的特点,提出了一种改进的相空间重构方法.为了揭示非线性时间序列中的非线性相关性,采用了一种基于关联积分的统计量,并研究了不同参数对它的影响.研究了延迟时间和嵌入维数之间的关系,并采用时间窗口描述这2个参数的变化规律.同时,应用改进方法计算了混沌时间序列的重构参数,重构了混沌信号的吸引子.研究结果表明,该方法能够从时间序列有效地重构原系统的相空间,为混沌信号识别提供了新的途径.     

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

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

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

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

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

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

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

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

关系数据库自动生成器

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

载荷识别及其精度改善

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