航班计划编排规则的句法检查技术研究

论文摘要

随着中国民航的迅速发展,在航班量不断增大的情况下,保证航班计划编排正确性的难度越来越高。因此以航班计划编排规则为依据对航班计划编排结果进行自动检查的方法研究是十分必要的。本文在分析航班计划编排规则的基础上,阐述了根据航班信息句法检查规则实现航班句法检查的技术,包括词法分析和语法分析。详细探讨了词法分析和语法分析技术在航班句法检查中的运用。分析了航班计划基本要素的正规式和航班计划上下文无关文法,构造了对应的不确定有限自动机和语法分析树,并研究了LR分析的应用。本文给出了航班计划基本元素的符号表构建方法和航班计划中关键词的检查方法,对检出错误的校正方法也给予了阐述。文章最后论述了航班计划编排句法检查技术在“航班优化与航线经济分析”系统(FORMAX)中的应用。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 课题研究背景及意义
• 1.2 课题研究目的
• 1.3 论文主要研究内容及结构
• 第二章 航班计划编排及其基本规则
• 2.1 航班计划编排
• 2.2 航班计划编排基本规则
• 第三章 航班计划句法检查
• 3.1 句法检查技术
• 3.1.1 词法分析
• 3.1.2 语法分析
• 3.2 使用词法分析检查航班计划基本要素
• 3.2.1 字符串预处理
• 3.2.2 正规式和不确定有限自动机
• 3.3 使用语法分析检查航班计划编排要求
• 3.3.1 航班计划文法编写
• 3.3.2 语法分析树
• 3.3.3 采用LR 语法分析器归约
• 3.4 构造符号表
• 3.5 检出错误的校正
• 3.5.1 词法错误的校正
• 3.5.2 自底向上分析中的错误纠正
• 第四章 航班计划规则检查技术在FORMAX 系统中的应用
• 4.1 “航班计划规则检查”子系统需求分析
• 4.2 “航班计划规则检查”子系统设计
• 4.2.1 数据设计
• 4.2.2 数据库连接设计
• 4.2.3 流程设计
• 4.2.4 客户端程序设计
• 第五章 总结与展望
• 致谢
• 在校期间学术成果
• 参考文献