学位论文 > 优秀研究生学位论文题录展示

基于有限自动机的航班计划编排技术研究

作　者: 阚海建
导　师: 夏洪山
学　校: 南京航空航天大学
专　业: 交通运输规划与管理
关键词: 有限自动机词法分析语法分析航班计划规则检查
分类号: V352
类　型: 硕士论文
年　份: 2009年
下　载: 38次
引　用: 0次
阅　读: 论文下载

内容摘要

本文以航班优化与航线经济效益分析系统(FORMAX)为应用背景,对航班计划编排正确性保障技术中的句法编译技术进行讨论。重点分析研究了基于有限自动机的航班计划句法编译技术,并采用多线程技术,提高了航班计划编排规则自动检测的执行效率。随着航空公司航班计划规模的不断扩大,航班计划的正确性和完整性难以得到保障。为了提高航班计划正确性和完整性的自动检查和分析能力,以保证航班计划编排后继工作的顺利进行。本文对航班计划编排的特点和有限自动机理论进行了分析和研究,给出了航班计划编排的基本规则。在此基础上,重点研究了基于有限自动机的航班计划句法编译技术,设计了航班计划的有限自动机,进行了航班计划句法编译中的词法分析、语法分析,并进行了例证分析,验证了运用有限自动机进行航班计划句法编译的可行性,同时采用了多线程技术,提高了系统的处理速度,增强了航班计划正确性和完整性检查的自动化程度,改善了程序的质量。论文最后对航班计划规则检查的实现技术进行了论述,并对实现效果进行了评价。

全文目录

摘要  4-5
ABSTRACT  5-11
第一章绪论  11-14
  1.1 研究背景及意义  11
  1.2 国内外研究现状  11-12
  1.3 主要研究内容  12
  1.4 文章组织结构  12-14
第二章有限自动机研究  14-23
  2.1 状态转换图  14
  2.2 有限自动机的基本概念  14-16
    2.2.1 确定有限自动机  15
    2.2.2 不确定有限自动机  15-16
  2.3 正规表达式构造不确定有限自动机  16-18
  2.4 不确定有限自动机的确定化  18-21
  2.5 确定有限自动机状态数的最小化  21-23
第三章航班计划规则检查算法设计  23-38
  3.1 航班计划编排规则  23
  3.2 规则检查句法编译技术  23-25
    3.2.1 词法分析技术  24
    3.2.2 语法分析技术  24-25
  3.3 航班计划词法分析  25-31
    3.3.1 字符串预处理  25
    3.3.2 正规式和不确定有限自动机  25-31
  3.4 航班计划语法分析  31-38
    3.4.1 文法分析  31-32
    3.4.2 语法分析树  32-33
    3.4.3 采用LR 语法分析器规约  33-38
第四章航班计划规则检查系统设计  38-49
  4.1 航班计划句法编译设计  38-43
    4.1.1 航班计划句法编译模型设计  38-39
    4.1.2 航班计划句法编译程序设计  39-43
  4.2 航班计划规则检查多线程设计  43-46
    4.2.1 多线程技术  43
    4.2.2 航班计划编排规则检查模型设计  43-44
    4.2.3 多线程的程序设计  44-46
  4.3 客户端程序设计  46-47
  4.4 检查效果和性能分析  47-49
第五章总结与展望  49-50
参考文献  50-52
致谢  52-53
在学期间的研究成果及发表的学术论文  53

相似论文

中学化学虚拟实验操作诊断方法研究,TP311.52
基于有限自动机的软件行为模型评价方法研究,TP311.5
基于有限自动机的软件行为建模方法的研究,TP301.1
光刻可行性测试的实现及其优化方法,TN407
Agent在建筑工程量计算系统中应用的研究,TU723.3
飞行签派运行系统（FOC）的设计与实现,F562
面向存储的正则表达式匹配算法研究,TP393.08
数学表达式结构分析的后处理研究,TP391.4
保险索赔系统的协同容错层次模型研究,TP302.8
印刷电路板的贴装仿真及设计检错研究,TN41
基于空域容量的航班计划评估策略研究,F562
现代汉语短语理论的嬗变,H146
基于SQL语义的安全过滤系统研究与实现,TP391.1
基于数据库的自然语言查询技术研究与实现,TP391.1
IEM（Integrated Enterprise Modeling）企业建模模型正确性检测,TP311.52
基于依存树库的英语名词句法研究,H314.3
XML文档过滤系统的模型构建与优化,TP391.1
领域词典的构建及其在语法分析中的应用,TP391.1
量子有限自动机等价性判定研究,O413
基于FPGA的正则匹配引擎自动生成方法的研究,TN791
融合统计与规则技术的蒙古语词法分析研究,TP391.1