期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
浅析空管自动化系统的软件质量保证
被引量:
1
1
作者
王可平
杨宗
《数据采集与处理》
CSCD
北大核心
2009年第B10期319-322,共4页
从软件开发、质量控制过程的角度分析和探讨了国产空管自动化系统在研制过程中软件的质量形成过程,包括过程控制和软件测试流程,同时分析了影响空管软件质量的因素。
关键词
空管自动化系统
软件质量
软件测试
在线阅读
下载PDF
职称材料
飞机着陆调度优化——带移动时间窗的隐枚举算法
被引量:
9
2
作者
余江
蒲云
《系统工程理论方法应用》
2004年第2期182-186,共5页
以深度优先搜索的隐枚举算法为基础,结合MPS约束、位置冻结限制、移动时间窗限制和其他多项约束,使用复杂的软件编码实现了特定于飞机着陆调度问题的优化排序算法。对比研究了全局优化、带移动时间窗的局部优化以及一种启发式算法。结...
以深度优先搜索的隐枚举算法为基础,结合MPS约束、位置冻结限制、移动时间窗限制和其他多项约束,使用复杂的软件编码实现了特定于飞机着陆调度问题的优化排序算法。对比研究了全局优化、带移动时间窗的局部优化以及一种启发式算法。结果表明,后两种算法可以很好地达到现实空管应用中的实时性要求。可应用于多种目标函数的动态实时ATC自动化系统中,能有效地减小交通延误和提高着陆容量。
展开更多
关键词
隐枚举算法
空中交通流量管理
移动时间窗
飞机着陆
空中调度
原文传递
题名
浅析空管自动化系统的软件质量保证
被引量:
1
1
作者
王可平
杨宗
机构
中国电子科技集团公司第二十八研究所
出处
《数据采集与处理》
CSCD
北大核心
2009年第B10期319-322,共4页
文摘
从软件开发、质量控制过程的角度分析和探讨了国产空管自动化系统在研制过程中软件的质量形成过程,包括过程控制和软件测试流程,同时分析了影响空管软件质量的因素。
关键词
空管自动化系统
软件质量
软件测试
Keywords
air traffic eontrol(atc) automation system
software quality
sofware test
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
飞机着陆调度优化——带移动时间窗的隐枚举算法
被引量:
9
2
作者
余江
蒲云
机构
西南交通大学交通运输学院
出处
《系统工程理论方法应用》
2004年第2期182-186,共5页
基金
民航总局科研项目(2002-6)
文摘
以深度优先搜索的隐枚举算法为基础,结合MPS约束、位置冻结限制、移动时间窗限制和其他多项约束,使用复杂的软件编码实现了特定于飞机着陆调度问题的优化排序算法。对比研究了全局优化、带移动时间窗的局部优化以及一种启发式算法。结果表明,后两种算法可以很好地达到现实空管应用中的实时性要求。可应用于多种目标函数的动态实时ATC自动化系统中,能有效地减小交通延误和提高着陆容量。
关键词
隐枚举算法
空中交通流量管理
移动时间窗
飞机着陆
空中调度
Keywords
implicit emumeration algorithm
air
traffic
flow management
travelling sales man problem
atc
automation
system
分类号
V355.2 [航空宇航科学与技术—人机与环境工程]
原文传递
题名
作者
出处
发文年
被引量
操作
1
浅析空管自动化系统的软件质量保证
王可平
杨宗
《数据采集与处理》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
2
飞机着陆调度优化——带移动时间窗的隐枚举算法
余江
蒲云
《系统工程理论方法应用》
2004
9
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部