均匀圆阵主特征矢量分析解相干算法

为解决均匀圆阵的相干信源波达方向估计问题,提出一种适用于均匀圆阵的虚拟均匀线阵主特征矢量分析算法.采用模式空间变换将均匀圆阵转换为虚拟均匀线阵,对其数据协方差矩阵进行处理以构造主特征矢量矩阵;引入加权最小二乘法,通过重复迭代得到子空间各元素之间的线性预测系数,从而求得相干信源的波达方向估计值.理论分析和仿真结果表明,该...     

武器装备技术优势转换模式分析

文章提出了武器装备技术势的概念并阐述了其与技术优势的关系,在此基础上分析了武器装备技术优势转换的历史过程,总结归纳了武器装备技术优势转换的模式。指出,武器装备技术势较低的国家要追赶技术势较高国家的武器装备技术状态,保持技术均势的态势,必须采取两种方式:一是加快现有先进技术的扩散,提高技术扩散度;二是加快新技术的开发和扩散。     

弹道目标跟踪滤波方法研究

主要对弹道目标的跟踪滤波方法进行了综述,对扩展卡尔曼滤波（extended Kalman filter,EKF）、转换测量卡尔曼滤波（conversion measurement Kalman filter, CMKF）、基于弹道运动方程的扩展卡尔曼滤波（ballistic extended Kalman filter, BEKF）、基于弹道运动方程的无敏卡尔曼滤波（ballistic unscented Kalman filter, BUKF）4种滤波算法的关键点、优缺点进行了剖析。进一步利用仿真的弹道数据对4种滤波方法的效能进行了验证,对比了不同滤波器的滤波精度和再入目标的跟踪性能,分析了质阻比对滤波性能的影响,提出了选择和设计目标跟踪滤波方法时需要考虑的几个问题,为雷达滤波方法的选择和设计提供参考和依据。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

转换桥与不相容问题

本文概述了可拓学的基本思想及其重要分支———解决不相容问题的转换桥理论和方法。     

MS SQL Server与异种数据库数据的相互转换

异种数据库之间的数据转换是实现数据共享、继承已开发资源的重要措施。论述了解决MS SQL Server与异种数据库之间数据转换问题的思路,并结合实例给出了具体解决方法。     

经济体制转换过程中的军费动员机制研究

军事部门提供的国家安全安定是一种“公共消费品”,无法标价出售以补偿其成本,只能通过特定的“技术装置”获得其补偿价值,我们称这种“技术装置”为军费动员机制。从理论上讲,无论在计划经济还是市场经济体制下,军事部门运作所耗费资源的价值均应由政府财政动员供给。然而在经济体制转换中,则因国民收入分配关系没有理顺,财政发生困难,还需军事部门自补一部分,形成了军费动员的双重机制即财政动员机制和自补机制并存。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

单片机控制的指挥仪航路产生系统

本文首先介绍单片机控制的指挥仪航路产生系统的原理及组成,重点讨论了目标现在点坐标由数字量到指挥仪所需要的模拟信号的转换方法,最后对该系统的误差结果进行了分析。