期刊介绍
《中国航班 》杂志，由中国民用航空局主管,由中国民航科普基金会;中国民用航空局空中交通管理局主办,国内统一刊号：11-5817/Z,国际标准刊号：1005-0825,杂志编辑部地址：北京市朝阳区机场辅路200号民航博物馆办公楼二层,以促进民航,发展为办刊宗旨欢迎民航,单位及其相关的作者踊跃投稿。【详细查看】
期刊导读
- 12/16确诊新冠肺炎旅客33例，民航局对4个入境航班发
- 12/15【警惕】加急核酸检测、特效药、航班改签……
- 12/15南航海口进出港航班将转场至美兰机场T2航站楼运
- 12/15勇士前往纽约的航班已起飞，到酒店后5-6小时比
- 12/15全国首辆航空集装货物整板转运车“卡车航班”
航空航天科学与工程论文_基于SMT的机组排班问
【作 者】：网站采编
【关键词】：
【摘 要】：文章摘要:机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.由于机组排班过程涉及大量的复杂约束
文章摘要:机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.由于机组排班过程涉及大量的复杂约束,属于NP难问题,因此优化求解困难.本文提出了一种基于可满足性模理论（Satisfiability Modulo Theories, SMT）的航空公司机组排班问题的优化求解方法,将机组排班过程中的各种约束转化为一阶逻辑公式,设立求解目标为最小化成本和最大化机组利用率,将问题转化为求在给定逻辑公式可满足情况下的最优解,并利用SMT求解器Z3进行求解.实验表明,本文的算法能有效的求解一定规模航班计划的机组排班问题,给航空公司带来一定的收益.
文章关键词:
论文DOI:10.15888/j.cnki.csa.008181
论文分类号:TP18;V35
文章来源：《中国航班 》 网址: http://www.zghbzz.cn/qikandaodu/2021/1216/2252.html