基于有限自动机的航班计划句法检查技术研究.pdf

基于有限 自动机的航班计划句法检查技术研究—— 阚海建 夏洪 山 23 基于有限自动机的航班计划句法检查技术研究 阚海建 夏洪山 (南京航空航天大学 南京 210016) 摘 要 为 了提高航班计划正确性和完整性的 自动检查和分析能力 ，在分析航班计划编排特点的基 础上 ，给出了基于有限 自动机的航班计划句法检查技术 ，进行航班计划句法检查 中的词法分析、语法 分析和规则检查，并进行了例证分析 ，验证 了运用不确定有限 自动机进行航班计划句法检查的可行 性 。 关键词 有限 自动机 ；词法分析 ；语法分析 ；航班计划 ；规则检查 中图分类号 ：V8 文献标志码 ：A 航班计划编排是航空公司生产计划 中的一项 间、起止地点、机型、机组等基本信息看作是该 “语 控制性工作 ，其质量不仅决定着运输生产能否安 言”中的关键字 ，通过构造相应的不确定有限 自动 全、正点的运行 ，而且还关系到航空公司的运作成 机检查航班号 、机场三字码等关键字是否符合其 本 。航班的编排是一系统工程 ，必须考虑各方面 组成规则 ；采用语法分析对编排 的计划进行语义 的问题和因素。在实际工作中由于航班计划编排 上的分析 ，检查其是否按照规定 的词序及格式编 错误造成的延误情况时有发生，同时因航班编排 排，是否表达了正确 的涵义。从而实现航班计划 的不合理而使得一线生产部 门无法提供及时有效 编排规则的句法检查 。 保障的现象 同样存在。针对这种情况 ，笔者提 出 下面以具体 的航班计划为例 ，论证编译技术 了基于有限 自动机的航班计划句法检查技术，这 应用于航班计划句法检查中的可行性 。 一 技术的应用有助于提高航班计划编排过程的系 航班计划的基本 内容包含航线 、班期和班次 、 统性 、全面性和高效性。 机型、机号等，各个航空公司的航班计划格式有所 不同，但基本 内容一致 ，为了便于讨论 ，本文假设 l 航班计划编排过程 航班计划格式统一为表 1所列。一条航班计划就 航空公司在航班生产 的计划阶段 ，无论是旅 是规则检查的一个基本单元 。 客航班运输还是货 邮航班运输 ，从航班计划编排 表 1 航 班计 划格式 到具体的飞机及机组人员安排 ，都需要将飞行人 员和飞机落实到具体的航班飞行计划中。这就是 机号航班号起始站到达站 机型篓篆班期 B1001CA3501 PEK SHA 08：3010：20 320 FJY 1234567 航班计划编排的过程 ，包括航班计划编排 、勤务编 排、飞机排班、机组配对 、机组排班等流程 。每一 2．1 字符串预处理 过程的编排结果都必须满足航班编排规则要求。 在计算机实现的过程 中，将表 1中所列 的一 条航班计划定义为字符 串：“B1001CA3501PEK 2 航班计划句法检查 SHA08301020320FJY 1234567”，以空格符为 在 民航生产经营的过程 中，首先要保证航班 界，换行符 ＼n结束 ，视为包含 9个单词 的语句。 计划表示形式的正确性 ，必须时刻对航班计划进