UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题，采用基于UML的实时系统软件测试程序设计方法，使测试程序模拟的环境和数据更逼真、可靠，以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例，分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点，利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型，并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

一次雷达气象数据处理研究

随着雷达技术的不断发展，目前越来越多的航管一次雷达在提供飞机运动学参数(位置、速度、加速度等)的同时，还提供了相应的气象信息．气象信息是为飞行服务的，气象条件与飞行安全的关系是极其重要的．在国际、国内的飞行事故原因中，有很大一部分跟天气或气象保障原因有关，也有不少飞行事故完全是由于天气原因造成的．因此，为飞机的飞行提供相应的气象数据，有着极其重要的意义．     

数字医疗图像的显示技术及实现

本文介绍了医学数字图像及通信标准(DICOM),并对标准中的显示部分做了相关研究.在医疗图像存档和传输系统(PACS)中,应用该标准实现了数字化医疗图像的读取及显示技术.     

一种连续型野值的识别与修正滤波算法

通过对量测数据新息的统计数学特性的分析,借助于主成分分析法的思想,根据矩阵的最大特征值反映矩阵的主要信息这一特点,提出了一种检测量测数据中是否含有野值的判别方法.此基础上,修正了Kalman滤波器的状态估计算法.使该算法在出现连续型野值时,能明显地降低误差,提高滤波精度.仿真结果证明了该方法的有效性.     

一种连续型野值的识别与修正滤波算法

通过对量测数据新息序列的统计数学特性的分析,利用服从wishart分布的AA^U(k)=(N-1)·AS^U(k)随机矩阵的最大特征值提出了一种检测量测数据中是否含有野值的判别方法.此基础上,修正了Kalman滤波器的状态估计算法.使该算法在出现连续型野值时,能明显地降低误差,提高滤波精度.仿真结果证明了该方法的有效性.     

空管系统中侵入区域告警及预警检测算法研究

在统一地心坐标系下，结合球面方位投影变换及逆变换，定义了目标坐标系以及在目标坐标系下的顶点象限标号和边标号，提出了特殊边标号处理算法及侵入区域的告警检测算法．根据飞行器的速度矢量，对飞行器是否有侵入区域的趋势进行了预警检测．经验证，此算法能准确地对飞行器侵入区域进行预警、告警。     

基于RMA的雷达数据处理任务可调度性判定

实时系统中任务的可调度性是系统正确的关键.单调速率调度算法RMA是任务调度的重要算法，通过对雷达数据处理任务的时间需求模型的分析，使用RMA对该任务进行了可调度性判定.在分析任务两种不同的实现方法及相应时间开销的基础上，给出了这两种实现方法在RMA下可调度性判定的充分必要条件.     

基于柱体空间的短期冲突告警算法

为了预防航空器在飞行中发生碰撞事故,提出了一种基于三维柱体空间模型的短期冲突告警算法.该算法分别在垂直方向和水平方向进行冲突检测.通过选择合理安全间隔并采用冲突证实,从而使航空器对的冲突预警,告警达到尽可能低的漏检概率和虚警率.经实验证明该算法具有很好的性能.     

一种简化的交互多模式算法

通过对交互多模式(IMM)算法在机动目标跟踪中的分析,发现该算法在实现过程中滤波模式的确定和模式间转移概率的确定,要求具有一定的经验知识,对不能获得准确先验知识的研究带来了一定的困难。针对这种情况,研究了一种简化的IMM算法跟踪模型,该模型通过检测目标是否发生机动,自适应调整Kalman滤波(KF)的部分参数,从而实现不受IMM算法中有限模式集合限制的机动目标跟踪。通过仿真实验,证明了该算法在机动目标跟踪性能方面与IMM算法具有相似的效果,而在计算复杂度和对先验知识的要求方面有所降低