基于一种免疫遗传算法的自由飞行冲突解脱

自由飞行是解决航线拥挤的有效方法,但同时增加了空中交通管理的难度.免疫遗传算法是根据生物免疫原理提出的改进遗传算法,该算法主要体现了生物免疫机制中的免疫操作,与遗传算法相比,能较好地防治"早熟"和减少参数选取对结果的影响,优化效率高.将一种免疫遗传算法应用于自由飞行的冲突解脱问题,与标准遗传算法进行比较,取得了较好的优化效果.     

交叉航路碰撞风险研究

航路上航班的碰撞风险问题是目前空域规划的主要研究问题之一,就交叉航线的碰撞风险问题进行了研究.首先推导出交叉航路碰撞概率计算公式,然后结合概率论和划设保护区的方法对交叉航线的碰撞风险问题进行了研究,最后用自主开发的"空域安全评估方法的研究与应用"软件对上海区域内的某交叉航线的碰撞风险进行了仿真计算.为交叉航路的碰撞风险计算提供了简单易行的方法.     

基于DSP的中断冲突避免机制的研究与实现*

针对基于DSP芯片TMS320C6701的嵌入式软件系统设计过程中常见的中断冲突问题,提出相应的解决方法和简单有效的避免机制。通过将周期性中断改为主循环查询模式、将DSP系统计时由定时器中断改为FPGA同步计时等方式,使系统中多个中断设计简化为一个中断,避免中断间的冲突。针对中断和主程序间的访问冲突,通过在主程序中关中断等方式,避免共享资源访问冲突。针对DSP系统和外部总线的访问冲突,通过约定接口的通信协议,避免时序冲突。通过静态分析和动态长周期测试验证,方法有效避免了中断冲突,实现简单;针对不同冲突机制,措施灵活。设计已应用于星载相关设备,也可推广至其他嵌入式软件系统使用。     

通用ATE开关资源测试路径模型及应用

针对自动测试设备(ATE)测试程序开发中的开关资源测试路径搜索复杂、冲突判断困难、管理难度大等问题,提出了通用ATE开关资源测试路径模型,给出了模型的构造方法和多开关资源级联的级联算法,介绍了模型的具体应用.模型实现了ATE测试过程中开关资源测试路径冲突判断、最佳测试路径自动搜索、测试路径故障隔离、测试程序与具体测试路径硬件资源无关.提高了测试程序(TP)的通用性和可移植性,降低了TP开发的工作量.      

自由飞行下基于冲突区域的最小安全间距研究

自由飞行是解决空域拥挤、节省飞行时间的有效方式,为保障飞行安全,对自由飞行下的最小安全间距进行研究.针对自由飞行空域中处于不同高度且有垂直运动的航空器,构建了一种圆柱形的冲突区域,从而建立了基于冲突区域的碰撞风险模型.对于给定的安全目标水平,利用爬山法对最小安全间距进行求解.算例验证了模型的可行性.     

自由飞行下基于转盘式立交桥的冲突解脱算法

自由飞行的实施能够增加空中飞行的流量,但增大了飞行冲突发生的可能性.为此,三维空间中考虑了CNS性能、速度分布、防撞系统及人为因素对碰撞风险的影响,建立碰撞风险模型来计算最小安全间距.当飞机之间接近最小安全间距时,为确保航空器的飞行安全,必须对飞机进行解脱,提出了空中转盘式立交桥的构想,用于自由飞行下的冲突解脱.     

一种适用于机动转弯飞行的中期冲突探测方法

为了能在复杂的交通环境下提高冲突探测的精确度,保障空中飞行安全,基于解析算法提出了一种适用于机动转弯飞行的冲突探测算法,在此基础上给出改进的中期冲突探测的方法。对该算法进行了算例分析,结果表明：该算法能很好地适用于机动转弯飞行时的冲突概率计算,并且具有实时性和有效性。     

基于冲突避免的滑行路径动态分配问题研究

在保证地面飞行安全的前提下,为解决机场容量不足,减少航班延误,本文提出基于冲突避免的滑行道分配问题研究。在改进的Dijkstra算法的基础之上,结合机场场面运行规则、滑行冲突以及优先级限制等因素构建滑行道动态网络模型,给出不同冲突类型下的滑行时间求解方法。仿真实验表明,与未考虑滑行冲突的固定路径相比,动态滑行路径计算方法计算出的滑行路径可避免滑行冲突,一定程度上可缓解机场地面繁忙状态。     

平行航路安全评估新方法(英文)

首先提出了一种平行航路安全评估新方法,即从空中交通管制的安全防护体系入手,将潜在飞行冲突看作空中相撞事故的初因事件,提炼出管制员指挥、短期冲突告警、飞行员目视避让及机载防撞系统告警四层安全防护,进而将平行航路碰撞风险问题分解为潜在飞行冲突计算和各防护层的失效概率分析.然后,推导了管制员干预次数计算模型,采用CREAM方法解决了管制员调配飞行冲突失误概率计算问题,建立了STCA防护失效和TCAS防护失效故障树模型.最后,以京沪平行航路为例进行计算,得出了雷达管制环境下的京沪平行航路碰撞风险.结果表明该航路满足安全要求.     

协同维修过程的合成Petri网建模与分析

针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.