自主创新：转型升级的必然路径选择

破除国防科技工业发展的初始路径依赖,为转型升级提供新的路径选择。     

连续动态贝叶斯网络实现多传感器融合跟踪

利用多传感器数据进行目标跟踪,关键是怎样将多传感器的数据合理应用来对系统的状态做出最佳估计。提出应用连续动态贝叶斯网络的方法,结合卡尔曼滤波器模型,实现用多传感器数据进行目标跟踪的方法,并对算法进行了推导和验证。仿真结果证明了提出的多传感器数据互相修正融合滤波方法具有良好的滤波效果,并能够弥补传感器数据缺失和抑制脉冲噪声。     

《微分中值定理》教学设计

微分学中值定理包括费马定理、罗尔中值定理、拉格朗日中值定理和柯西中值定理。用发现法讲授这组定理,可以使学生体验发现真理的乐趣,学习解决问题的策略。提高发现问题、分析问题、解决问题的能力。文给出了用发现法讲授微分中值定理的一种教学设计．本文给出用发现法讲授微分中值定理的另一种教学设计。     

周期介质栅频率选择特性的时域有限差分法分析

利用时域有限差分法分析了具有周期结构的介质栅在毫米波段作为频率选择表面应用的可能性。文中给出了ＴＥ波垂直入射时几种结构周期介质栅的频率选择特性,得出一些与频域分析结果不同的结论。尚存的问题是平面波对介质栅斜入射的问题没有得到圆满的解决。     

集值条件期望收敛定理

在给出了Hausdorff收敛的等价条件的基础上,得到了集值条件期望在Haus-dorff收敛意义下的单调收敛定理及在Kuratowski收敛意义下的控制收敛定理.     

二次群CPFSK信号的位同步提取与实现

本文讨论了几种常用的位同步提取方法及衡量位同步的性能指标,分析了ＣＰＦＳＫ基带信号的特点,提出了一种获取ＣＰＦＳＫ信号的位同步方法,并设计了相应的具体电路。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

关于广义KKM定理的几点注记

本文在 H-空间中引入伪紧闭集的概念,得到一个广义 KKM 定理,从而获得了 KyFan 匹配定理以及极大极小不等式的一些新结果.     

基于选择准则的参数模型评价方法

为评价参数模型的优劣,分析了模型信息量与数据被模型拟合后的残差信息量之间的关系,提出了综合考虑模型拟合残差大小、残差信息量与参数数目的一种模型选择的新方法RIA。结合RIA方法,定义了时序模型评价的一种准则,并以航天测量数据处理为例,说明了不同模型在工程实际中的不同表现和本质区别的意义所在。