期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
浅析空管自动化系统的软件质量保证 被引量:1
1
作者 王可平 杨宗 《数据采集与处理》 CSCD 北大核心 2009年第B10期319-322,共4页
从软件开发、质量控制过程的角度分析和探讨了国产空管自动化系统在研制过程中软件的质量形成过程,包括过程控制和软件测试流程,同时分析了影响空管软件质量的因素。
关键词 空管自动化系统 软件质量 软件测试
在线阅读 下载PDF
飞机着陆调度优化——带移动时间窗的隐枚举算法 被引量:9
2
作者 余江 蒲云 《系统工程理论方法应用》 2004年第2期182-186,共5页
以深度优先搜索的隐枚举算法为基础,结合MPS约束、位置冻结限制、移动时间窗限制和其他多项约束,使用复杂的软件编码实现了特定于飞机着陆调度问题的优化排序算法。对比研究了全局优化、带移动时间窗的局部优化以及一种启发式算法。结... 以深度优先搜索的隐枚举算法为基础,结合MPS约束、位置冻结限制、移动时间窗限制和其他多项约束,使用复杂的软件编码实现了特定于飞机着陆调度问题的优化排序算法。对比研究了全局优化、带移动时间窗的局部优化以及一种启发式算法。结果表明,后两种算法可以很好地达到现实空管应用中的实时性要求。可应用于多种目标函数的动态实时ATC自动化系统中,能有效地减小交通延误和提高着陆容量。 展开更多
关键词 隐枚举算法 空中交通流量管理 移动时间窗 飞机着陆 空中调度
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部