基于价格时间自动机的飞机着陆最优成本研究

• 作者: 姬莉霞 李学相 马建红
• 来源期刊: 济南大学学报（自然科学版）
• 学科: 工学
• 关键词: 价格时间自动机 最优成本 可达性 飞机着陆
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 信息与控制
• 页码范围: 150-153
• 分类号: TP301.1
• 语种: 中文

摘要

针对目前航空运输系统中对飞机着陆调度成本效益研究的不足,提出采用价格时间自动机作为形式化描述方法,将飞机着陆过程建模为其相关实体的交互行为,引入时间和价格因素描述各实体的属性和行为,从而将飞机着陆形式化为时间价格的动态交互协作,并分别为相关实体和服务建模,形成彼此独立又相互协作的价格时间自动机网络,将飞机着陆调度成本表示为价格时间自动机网络上的状态转换路径.最后提出一组系统模型需要满足的性质,使用价格时间自动机模拟验证工具UPPAAL CORA仿真并验证其正确性,使用最优成本标准分支算法分析求解飞机着陆调度最优成本的可达性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姬莉霞	郑州大学软件技术学院	26	272	9.0	15.0
2	马建红	郑州大学软件技术学院	30	152	7.0	11.0
3	李学相	郑州大学软件技术学院	30	134	6.0	10.0