摘要：为解决高超声速滑翔目标机动给探测防御造成的困难,研究基于意图推断的贝叶斯轨迹预测方法。首先对目标进行动力学建模,利用气动参数设计机动模式集。假定高超声速滑翔目标必定攻击某目标,结合飞行意图合理构造意图代价函数,借鉴贝叶斯理论迭代推导机动模式和运动状态递推公式。通过蒙特卡洛采样实现轨迹预测算法。仿真结果表明,算法能有效提高目标机动不确定条件下轨迹预测的精度,当多目标可能被打击时,通过对预测轨迹进行在线重新规划,降低目标误判给轨迹预测造成的不利影响。

摘要：为了描述知识信息处理系统,人们提出了许多新的程序设计风格,如逻辑程序设计风格、函数程序设计风格、面向规则程序设计风格、面向对象的程序设计风格。但是,没有一种程序设计风格能够完全满足知识信息处理的要求。于是,人们着手探讨合成许多风格的语言。本文论述了合成面向对象与逻辑程序设计两种风格的必要性与可能性以及有关的技术难题,并且简单地介绍了我们研制的合成面向对象与逻辑程序设计两种风格的知识程序设计语言POOPL。它继承了面向对象程序设计对知识库的组织能力和逻辑程序设计对知识的表达能力,并且严格地区别面向对象与逻辑程序设计的语义,以求最大限度地挖掘面向对象程序设计与逻辑程序设计的全部优越性。

摘要：介绍了船舶工况记录仪的设计与实现方法。该记录仪已经在多种旅游轮船上推广使用,用于监视船舶的航行状况,可大大提高船舶行驶的安全性和可靠性;特别是在意外情况发生时,它可以真实、完整、准确地记录船舶当时的工作状况,从而为分析解决问题提供科学的数据依据。

摘要：提出一种改进的双通道交互多模型(IMM)算法,使用x和y维残差的边缘分布独立表征预测误差的似然函数,使滤波模型在不同维度与目标运动中分别匹配.首先分析了残差-似然函数-模型概率更新之间的映射关系,证明算法的可行性和有效性,然后引入图形处理器(GPU)并行运算平台,设计了通道级-模型级嵌入式并行方案,提高算法的实时性.仿真表明:相比于传统基于CPU平台下的IMM算法,该算法预测误差与真实噪声似然分布契合度更高、实时性更强、跟踪误差更小.

摘要：以作者自行研制的一种航空机载容错计算机系统为背景,论述了系统的设计原理及实现技术。系统采用基于硬件冗余的双通道热跟随体系结构。其冗余管理主要包括:故障检测、故障隔离、通道切换、故障报警等功能。

摘要：在充分理解动态链接库的设计与实现技术的基础之上,针对C3I系统设计训练平台中设计课程对雷达情报处理自动化系统中各功能模块的渐进式训练要求,运用动态链接库技术实现了雷达情报处理系统(RIPS)设计训练平台中功能模块能被任意替换的训练思想.

摘要：为了实现对某型飞机综合控制计算机系统的自动测试,必须仿真该系统的操纵显控台.在分析了操纵显控台的组成及功能后,给出了操纵显控台仿真系统的硬件和软件设计思想及实现技术.验证结果表明,仿真系统能够完成操纵显控台的全部功能,为设计全自动测试平台奠定了基础.

摘要：入侵检测系统评估研究中面临缺乏测试数据集的困境。一个理想的IDS基准评估应该提供一个全面的测试数据集用于更好的分析。在分析林肯实验室流量产生模型的基础上,对流量产生模型的系统配置、系统维护、流量调节、可扩展性等方面进行了改进,提出了一个分布式流量产生系统。

摘要：文章介绍了作者自行研制的一种航空机载容错计算机系统的设计与实现,系统采用双通道热跟随体系结构。重点分析了基于硬件冗余的冗余管理技术。其冗余主要包括:故障检测、故障隔离、通道切换与故障报警等。

摘要：针对临近空间高超声速滑翔飞行器机动模式复杂,单一运动学模型难以完成三维跟踪的问题,提出一种三维跟踪方法。将飞行器机动弹道分为纵向和横向弹道,根据飞行器机动特性,在纵向上将加速度建模为零均值的二阶时间自相关随机过程,在横向上采用Singer模型和匀加速模型进行交互多模型(interactive multiple model,IMM)滤波,引入无偏量测转换将球坐标系下的雷达观测模型转换为笛卡尔坐标系,避免了模型的非线性滤波。最后,在现有卡尔曼滤波基础上设计了一种基于多重渐消因子的自适应卡尔曼滤波方法,增强了模型对强机动的自适应跟踪能力。仿真实验表明,该算法在对高超声速滑翔飞行器进行三维跟踪时,能保持较好的稳定性和较高的跟踪精度。