用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

C4ISR领域本体研究初探

如何实现C4ISR系统的跨越式发展,是当前的研究重点。本体论作为最新的知识工程化技术,信息系统建设是其研究、应用的重要领域。通过分析C4ISR系统特点及未来军事发展趋势,结合C4ISR系统建设的实际情况,阐述了军事领域开展本体研究的广阔前景,并探求建立C4ISR领域本体库,对本体库的作用及发展过程提出了初步设想,在C4ISR系统建设和本体应用两方面做出了有益的探索。     

定常态不可逆卡诺热机面积特性

对定常态不可逆卡诺热机进行了有限时间热力学分析.定义了功率、效率和面积比系数,并导出三者的关系式,由此对热机最佳功率、效率和面积特性进行了分析和讨论,给出了一些有益的结论.     

基于RS近似算法的医疗诊断知识挖掘

针对医学领域诊断规则挖掘算法中时间和空间复杂性问题,提出一种基于邻域系统的决策表近似算法,用于医疗诊断数据挖掘预处理阶段的数据压缩.该方法以代表元素代替若干相近元素,有效地压缩了原始决策表的对象个数,同时保证决策表本身的判断能力基本不变.实例仿真表明,该算法具有比传统聚类算法更优的性能.     

马克思主义哲学的民族特色与中国传统哲学的时代性

新的历史时期,如何不断赋予当代马克思主义哲学的民族性特色,更好地体现中国传统哲学的时代性,正确处理马克思主义哲学和中国传统哲学的关系问题,形成新时期凝聚中华民族力量的精神信仰和价值追求,成为社会主义文化建设的一项重要内容。     

反导作战指控系统信息流时延模型研究与应用

在现代反导作战中,如何规划反导作战指控系统从而缩短目标、指挥信息传输时间和提高指挥精度是很重要的问题。基于此展开讨论,首先设计规划了3种反导作战指控系统信息流时延模型并提出了应用原则,其次分别以一典型3 500 km TBM和不同射程TBM为例进行了时延模型仿真计算和分析,最后通过分析计算结果给出反导作战指控系统建设性结论。     

防区外多导弹协同突防复合制导研究

针对防区外多导弹协同突防要求导弹能够成功突破敌防御系统并击中目标的问题,提出了一种基于虚拟目标的复合制导规律。首先,在敌雷达探测范围的边缘设置虚拟目标,将导弹制导过程分为制导段Ⅰ和制导段Ⅱ。然后,研究了一种基于攻击时间和攻击角度控制的制导规律,使导弹在制导段Ⅰ按指定时间和角度追踪到虚拟目标,导弹转入制导段Ⅱ后在以攻击时间最短为指标函数的最优制导规律导引下攻击真实目标。仿真结果表明该复合制导规律大大提高了多导弹的整体突防能力。     

外辐射源雷达系统中时延估计算法及仿真

时延估计的方法有经典的广义相关法、自适应法、循环平稳法、高阶累积量法、时频分析法等,重点分析了外辐射源雷达系统中用于时延估计的循环平稳法和相关法,并给出了循环平稳法和相关法用于时延估计的仿真,得出了仿真结果。仿真结果表明,对QPSK信号无法用循环平稳的方法来进行时差的获取,用相关法在极低信噪比条件下检测出目标信号,长时间的信号积累是必需的。     

基于空时内插的机载双基地雷达杂波抑制方法

针对机载双基地雷达下视环境下非均匀地杂波的抑制问题,首先论述了抑制双基地机载雷达非均匀杂波的内插变换类空时自适应处理(space time adaptive processing,STAP)方法。然后在此基础上,提出了一种改进的空时二维内插变换方法(improved space time interpolation transfor-mation,ImSTINT)。该方法将训练样本的杂波子空间映射到单基地地基雷达的杂波子空间中,减少了变换后杂波子空间的自由度。仿真表明该方法比传统的内插变换类方法的杂波抑制性能好,且具有较强的稳健性和较少的样本量需求。     

超空泡航行体双层壳结构动力稳定性分析

针对超空泡航行体轴向受力特点,建立超空泡航行体双层壳结构有限元模型,对结构动力稳定性进行分析.数值计算表明,当壳间实肋板厚度增大或环向肋骨数量和尺寸增加时,动力失稳区域整体下移,不稳定激发频率下降,失稳区域宽度减小幅度较小;当壳间间距减小或纵向肋骨数量和尺寸增加时,双层壳结构动力不稳定激发频率上升,动力失稳区域宽度较大...