基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

网络图的自动生成算法及其系统实现

研究了网络自动生成的实现算法和系统实现技术。该算法按路线来画结点 ,将其区分为不同的层 ,再绘制路径。先画出所有关键路 ,确定关键节点的坐标 ;然后对于未确定坐标的结点 ,寻找其由关键结点出发再回到关键结点的最短路径 ,将该路径上的结点画为一层 ,按不同的路线分为不同的层次进行绘制 ,直到所有结点均确定坐标。然后确定路线的层次 ,最后统一协调规整。以此算法开发的软件系统可节省时间 ,并可保证生成规范的网络图。     

多机实时通信系统及其程序自动生成器的设计

介绍了多机实时通信系统的设计方法,并在此基础上介绍了多机实时通信系统自动生成器的设计原理和方法。     

基于副翼效率C3辨识的导弹自动驾驶仪设计

在无法得知导弹飞行高度和速度的情况下,所设计的导弹自动驾驶仪增益难以满足全空域飞行的需要。本文采用一种基于横滚通道副翼效率C3辨识的自动驾驶仪增益设计方法,利用此方法设计的自动驾驶仪增益能够满足导弹全空域飞行的需要。     

多国部队未来水雷对抗作战研究

1992年冷战结束后,大西洋盟军最高司令(SACLANT)启动了一项长期科学研究,代号MO2015,其目的是为长远计划打下新的基础,以便满足多国海上部队未来的作战需求。该研究分两个阶段实施,计划2000年完成。本文简要介绍并反映了完成此项研究的作者的观点及其研究成果。     

火灾自动报警系统应用技术的现状

介绍当前我国火灾自动报警系统应用技术的现状,分析存在的主要问题和缺陷,展望我国火灾自动报警系统未来的发展方向.     

一种基于虚拟阵元的超波束形成方法

针对超波束形成方法(Hyper Beam-forming,HBF)在实际应用中的不稳定问题,依据阵元间协方差矩阵同一斜对角线上不同元素具有相同相位差的特点,提出了一种基于虚拟阵元的超波束形成方法(Hyper Beam-forming Based on Virtual Array Element,VAEHBF)。该方法按互相关法对接收阵进行虚拟扩展;按HBF思想分子阵分裂波束形成;对分裂波束形成结果进行合成,得到改善的超波束形成结果。数值仿真和实测数据处理结果表明,相比HBF方法,该方法通过对接收阵进行虚拟扩展,在保持分辨力不变的情况下,可进一步提高合成波束增益,对信噪比的适应能力得到了3 dB提高,提高了HBF的目标检测性能及方位估计能力。     

激光成像雷达自动目标识别技术综述

现代战争复杂战场环境对精确制导武器的性能提出了越来越高的要求,激光成像雷达逐渐成为一种很有发展潜力的新型制导方式.介绍了激光成像雷达自动目标识别技术的研究现状,分析了激光成像雷达自动目标识别存在的问题,对激光成像雷达自动目标识别的技术途径进行了详细的综述.     

纯方位TMA的变增益扩展卡尔曼滤波算法

通过对水下纯方位目标运动分析中的扩展卡尔曼滤波(EKF)算法的分析,利用方位新息,构成了一条反馈回路,从而将EKF算法改进为变增益扩展卡尔曼滤波(VGEKF)算法.对比仿真分析表明,VGEKF较之EKF滤波效果有所改善,增强了稳定性,提高了精度,为水下纯方位目标运动分析的实现提供新的途径.