反物质武器

反物质武器是利用物质与其反物质发生相互作用所释放的能量,产生杀伤破坏作用的武器。本文综述了物质与反物质的概念以及两者之间的湮没反应,分析了反物质武器的军事应用前景     

引入测频信息进行无源被动定位的方法研究

无源被动定位技术中一个重要问题，是如何使定位的约束条件尽可能地少，即尽可能地提高方法的可操作性。只利用测角信息（ＤＯＡ）的定位方法，由于可观测性的要求，在单观测平台对运动目标定位时，常常需要观测平台作特殊的机动运动，这种约束给实际操作带来很大不便。本文提出了一种引入测频信息对运动目标进行定位的定位方法，并给出了可观测性分析。运用该定位法定位，观测平台的运动形式可以任意，特别有意义的是，在满足某些条件情况下观测平台还可以完全静止不动。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。     

论防空导弹体系级综合电子对抗基本配置

鉴于空袭与防空已明显地向着体系与体系综合对抗方向发展的现实,简要阐明了新一代防空导弹体系的电子战对策研究应分为体系级、武器系统级和分系统级３个层次展开的原则和内容,重点论述了为提高防空导弹体系的综合电子对抗能力,应在体系级配备相关的专用电子对抗的基本设备和系统,并提出了其主要的技术要求、功能及实现的技术途径。     

被动定位算法研究

对几种被动定位方法的定位精度进行了计算比较,选择了可行的定位方法,分析了影响定位精度的有关因素,并对其加以说明。     

基于模拟退火算法的多目标数据关联

本文对多目标定位和跟踪(MTLT)中的最优数据关联(ODA)问题,采用模拟退火算法求解。这种算法可以避免局部极小,渐近达到全局最优。     

综合全球定位导航／火控系统性能模拟

描述综合全球定位导航／火控系统。在此基础上描述这种系统的模拟方法、模拟中采用的误差、卡尔曼滤波技术。简要总结了模拟的条件,并给出了两个示例的结果。