攻击活动目标的一种最优弹道估计

 为分析活动目标的随机飞行状态和减小导弹的脱靶量,提出了数学模拟打靶的一种新方法。其中包括卡尔曼滤波理论结合最大似然法的应用,以及建立相对运动的离散化模型和灵敏度矩阵。为改善飞行状态的估计精度,论述了确立飞行弹道修正协方差矩阵的概念。除此之外,还讨论了导引敏感器静态误差影响脱靶量的估计问题。     

UKF方法及其在方位跟踪问题中的应用

采用UKF(Unscented Kalman Filter)方法处理了平面内地面站对目标的方位跟踪的估计问题。目标的位置和速度由选定的高斯分布采样点来近似，在每个更新过程中，采样点随着状态方程传播并随着非线性测量方程变换，由此不但得到目标位置和速度的均值及较高的计算精度，而且避免了对非线性方程的线性化过程。仿真结果表明，UKF方法比传统的扩展卡尔曼滤波(EKF)算法有更高的估计精度，并能有效地克服非线性严重时，方位跟踪问题中很容易出现的滤波发散问题。     

防火墙与网络入侵检测联动系统研究

针对目前防火墙和网络入侵检测系统在网络安全体系中存在的不足 ,提出了一个基于防火墙和网络入侵检测联动系统的框架模型 ,它有效克服了传统入侵检测系统不能实现主动控制的缺陷和防火墙规则配置的复杂性等问题。最后 ,从实现的角度 ,给出了整个联动系统的详细解决方案———采用基于连接检测的包过滤防火墙和基于状态转换分析的网络入侵检测系统相结合。其提高了系统的检测速度和检测的精确性并有效的降低了虚警率     

一种低噪声和高精度的频率合成技术

介绍了锁相环(PLL)技术和直接数字式频率合成(DDS)技术的基本工作原理,给出了一种提高DDS输出频率精度及减小其相位截断误差的方法。     

三轴稳定卫星无陀螺姿态确定算法研究

针对三轴稳定卫星进行了正常飞行模式下无陀螺姿态确定算法研究，采用磁强计、地球敏感器和太阳敏感器组合获得姿态数据，利用四元数法和高斯－马尔可夫过程建立了姿态确定估计器算法模型。通过数学仿真证明，此姿态确定算法能够对星体姿态进行较精确的估计或校正，满足卫星控制精度要求。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

变速恒频电源系统的数字仿真研究

建立了脉宽调制型交直交变速恒频电源系统的数学模型，研制了仿真软件，并给出了仿真实例。研究表明，本文的方法和软件可以进行变速恒频电源系统部件级和系统级的仿真分析，为设计和分析该系统提供了有力的工具。文中的方法和软件也可以用于分析恒速恒频和高压直流电源系统，为开发一套完整的飞机电源系统仿真软件奠定了基础。     

速度型切削颤振系统的数字仿真研究

本文采用数字仿真技术分析研究了速度型切削颤振系统的非稳定状态与颤振状态,内容包括起振阈与消振阈的分离、有限振幅不稳定性、系统参数对稳态颤振状态的影响。结果表明,起振阈与消振阈的分离现象是由切削宽度的连续变化引起的;有限振幅不稳定性与动态切削力中的三次项阻尼系数有关;动态切削力系数与机床结构系统参数对稳态颤振状态均有影响。     

基于数字滤波的B-样条插值法在图像旋转中的应用

提出一种基于无限脉冲响应和有限脉冲响应数字滤波技术的快速 B-样条插值法 ,并将其应用于实时图像旋转处理中。为了优化旋转后的图像质量 ,本文采用 3次 B-样条对图像旋转后的像素点灰度值进行插值运算。另外 ,通过对传统图像旋转矩阵的分解 ,将图像在二维空间中的旋转运算分解成为三步在一维空间内平移运算 ,使插值运算在一维空间中完成 ,从而简化了图像旋转数据处理中的插值运算。最后 ,还提出了一种以硬件方法完成高阶图像插值运算实现图像旋转的新方法 ,并针对 2 5 6灰度级 ,2 5 6× 2 5 6像素的图像 ,设计出一个以 FPGA为核心的实时、高质量的硬件图像旋转系统。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。