学位论文 > 优秀研究生学位论文题录展示
航班计划编排规则的句法检查技术研究
作 者: 严雯雯
导 师: 夏洪山
学 校: 南京航空航天大学
专 业: 交通信息工程及控制
关键词: 航班计划 编排规则 词法分析 语法分析 不确定有限自动机 语法树 LR分析
分类号: TP399-C7
类 型: 硕士论文
年 份: 2008年
下 载: 72次
引 用: 0次
阅 读: 论文下载
内容摘要
随着中国民航的迅速发展,在航班量不断增大的情况下,保证航班计划编排正确性的难度越来越高。因此以航班计划编排规则为依据对航班计划编排结果进行自动检查的方法研究是十分必要的。本文在分析航班计划编排规则的基础上,阐述了根据航班信息句法检查规则实现航班句法检查的技术,包括词法分析和语法分析。详细探讨了词法分析和语法分析技术在航班句法检查中的运用。分析了航班计划基本要素的正规式和航班计划上下文无关文法,构造了对应的不确定有限自动机和语法分析树,并研究了LR分析的应用。本文给出了航班计划基本元素的符号表构建方法和航班计划中关键词的检查方法,对检出错误的校正方法也给予了阐述。文章最后论述了航班计划编排句法检查技术在“航班优化与航线经济分析”系统(FORMAX)中的应用。
|
全文目录
摘要 4-5 Abstract 5-10 第一章 绪论 10-12 1.1 课题研究背景及意义 10-11 1.2 课题研究目的 11 1.3 论文主要研究内容及结构 11-12 第二章 航班计划编排及其基本规则 12-14 2.1 航班计划编排 12 2.2 航班计划编排基本规则 12-14 第三章 航班计划句法检查 14-40 3.1 句法检查技术 14-15 3.1.1 词法分析 14-15 3.1.2 语法分析 15 3.2 使用词法分析检查航班计划基本要素 15-24 3.2.1 字符串预处理 16 3.2.2 正规式和不确定有限自动机 16-24 3.3 使用语法分析检查航班计划编排要求 24-32 3.3.1 航班计划文法编写 25-26 3.3.2 语法分析树 26-27 3.3.3 采用LR 语法分析器归约 27-32 3.4 构造符号表 32-38 3.5 检出错误的校正 38-40 3.5.1 词法错误的校正 38-39 3.5.2 自底向上分析中的错误纠正 39-40 第四章 航班计划规则检查技术在FORMAX 系统中的应用 40-49 4.1 “航班计划规则检查”子系统需求分析 40-41 4.2 “航班计划规则检查”子系统设计 41-49 4.2.1 数据设计 41-43 4.2.2 数据库连接设计 43-44 4.2.3 流程设计 44-45 4.2.4 客户端程序设计 45-49 第五章 总结与展望 49-50 致谢 50-51 在校期间学术成果 51-52 参考文献 52-53
|
相似论文
- C++静态代码检测语法树构建方法研究,TP311.53
- 中学化学虚拟实验操作诊断方法研究,TP311.52
- Agent在建筑工程量计算系统中应用的研究,TU723.3
- 紫外/臭氧去除水中微囊藻毒素的效能及氧化产物研究,TU991.25
- 飞行签派运行系统(FOC)的设计与实现,F562
- 数学表达式结构分析的后处理研究,TP391.4
- 基于空域容量的航班计划评估策略研究,F562
- 现代汉语短语理论的嬗变,H146
- 基于SQL语义的安全过滤系统研究与实现,TP391.1
- 基于数据库的自然语言查询技术研究与实现,TP391.1
- 软件安全检查工具前端的设计与实现,TP311.53
- 基于依存树库的英语名词句法研究,H314.3
- 领域词典的构建及其在语法分析中的应用,TP391.1
- 源代码抄袭检测系统的研究和实现,TP311.52
- 融合统计与规则技术的蒙古语词法分析研究,TP391.1
- 基于TTCN-3抽象语法树的可执行测试套的生成研究,TP314
- 研究生入学英语考试语料库建设,H319
- 日语词法分析及在跨语言信息检索中的应用研究,TP391.1
- 基于有限自动机的航班计划编排技术研究,V352
- GCC抽象语法树的解析及控制依赖子图的建立方法研究,TP311.11
- 基于GCC抽象语法树文本的C源程序语义分析方法研究,TP311.11
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 在其他方面的应用
© 2012 www.xueweilunwen.com
|