基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

一种改进的静态程序切片算法

提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。     

一种针对CCSDS-IDC的小波系数图像目标区域提取技术

在卫星上提取图像目标区域是降低传输数据量、提高空间传输链路利用率的重要一环。本文从小波系数相关性的角度,提出一种针对空间图像压缩算法(CCSDS-IDC)的目标区域提取方法,是以图像小波系数LL3子带为起点,以四叉树分解为基础的自适应非均匀矩形分割与合并(ANURSM),将对应背景区域的小波系数与对应目标区域分离。经试验表明,算法能够准确、有效地提取出图像目标区域对应的小波系数,与改进的 CCSDS-IDC 相结合能够有效降低传输数据量并提高图像目标区域质量。     

工业串联系统的多反馈预测控制

本文针对由一系列环节串联而成的工业对象,提出一种利用过程中间信息多重反馈的预测控制算法。其结构清晰直观,物理意义明确,设计简单规范。仿真结果表明,该算法具有较强的抗干扰性和鲁棒性。     

航路规划中数字地图单元格代价计算模型研究

为了解决航路规划中使用的原始数字地图信息量不够全面的问题,结合反舰导弹航路规划的实际作战背景,建立了数字地图单元格代价计算的数学模型.该模型包含了地形高程代价、威胁危险代价、战略回避代价和搜索区目标存在代价等基本模型.通过该模型可以将原始数字地图转化为包含各种相关航路规划主客观信息的综合数字地图.     

基于自由行走的沉浸式漫游装置

针对现有漫游装置结构过于复杂、功能单一等缺点,设计一种沉浸式漫游装置。该装置采用跑步机和回转台实现操作者在漫游装置上的自由行走,用头盔显示器和位置跟踪器构成沉浸式系统,实现全景显示和视点的自由移动,能满足军事训练、文物保护等领域的应用要求。     

红外制导炸弹A TR算法测试与演示系统设计

针对红外制导炸弹ATR（Automatic Target Recognition）算法,设计了一种算法测试与演示系统。该系统采用红外视景仿真技术提供算法测试图像序列,通过通信协议实现图像处理系统和评估软件的通信,使用一套较为完善的指标体系评估算法效果。该系统为实现红外制导炸弹 ATR算法测试与评估提供了一种设计思路。     

机载无源干扰虚拟仿真系统研究

针对某型飞机电子对抗实装训练的困难,采用视景仿真技术进行了某型飞机机载电子对抗训练系统的开发。对虚拟座舱的构建方法、GL Studio开发的虚拟仪表与VP场景的交互问题和战场环境中基于粒子系统的无源干扰仿真方法进行了研究。系统虚拟训练部分以突防攻击任务为战术背景,包含了某型飞机机载电子对抗主要科目的仿真训练,可单科目训练也可进行综合训练,逐步提高飞行员对机载电子对抗设备的操作能力、在复杂战场环境中的敌情判断和战术选择能力。     

Infrared target tracking based on multi-feature fusion under motion platform

In order to realize infi＇ared target tracking accurately under motion platform, and make up for the shortcoming of the nuclear density estimation based on gradation feature, an adaptive kalman-mean shift algorithm based on multi-feature fusion is proposed. The target model based on edge-gradation feature fusion is applied in the mean shift algorithm. The starting position at present of an infrared target is predicted by a kaiman filter, and then a scale updating item of tracking window is appended based on the relationship between mutual information and the object scale. Then the moving object, especially the object with a variable scale, is adaptively tracked under motion platform. Experimental results demonstrate that the adaptability of mean shift algorithm is enhanced by the improved scheme, which can be applied in the process of long time tracking for the object with a variable scale.