有限自动机（FA）在测控程序自动生成中的应用研究
| 中文摘要 | 第1页 |
| 英文摘要 | 第2-5页 |
| 第一章 引言 | 第5-9页 |
| ·选题背景 | 第5-6页 |
| ·当前国内外软件自动化的研究现状 | 第6-8页 |
| ·本文的主要工作 | 第8-9页 |
| 第二章 实时计算机测控系统 | 第9-15页 |
| ·实时计算机测控系统 | 第9-12页 |
| ·监测控制计算机 | 第9-11页 |
| ·实时计算机测控系统 | 第11-12页 |
| ·计算机测控系统的特点 | 第12-14页 |
| ·计算机测控系统的设计原则 | 第14-15页 |
| 第三章 程序自动生成 | 第15-21页 |
| ·软件自动化 | 第15-17页 |
| ·基本含义 | 第15-16页 |
| ·主要内容 | 第16-17页 |
| ·程序自动生成 | 第17-21页 |
| 第四章 有限自动机 | 第21-27页 |
| ·语言及文法 | 第21-23页 |
| ·语言的定义 | 第21页 |
| ·文法 | 第21-22页 |
| ·文法的分类 | 第22-23页 |
| ·有限自动机 | 第23-27页 |
| ·有限自动机 | 第23-24页 |
| ·不确定的有限自动机 | 第24-25页 |
| ·DFA与NFA的等效 | 第25页 |
| ·右线性语言与有限自动机 | 第25页 |
| ·有限自动机的化简 | 第25-26页 |
| ·双向和有输出的有限自动机 | 第26-27页 |
| 第五章 软件总体设计 | 第27-31页 |
| ·软件总体需求 | 第27页 |
| ·软件总体方案 | 第27-29页 |
| ·软件总体结构 | 第27-29页 |
| ·软件总体层次 | 第29页 |
| ·系统设计 | 第29-31页 |
| 第六章 测控程序自动生成的技术路线 | 第31-36页 |
| ·测控程序规格说明-状态转换图 | 第31-32页 |
| ·测控程序自动生成规则-状态矩阵 | 第32-34页 |
| ·测控程序自动生成实现-过程实现方法 | 第34页 |
| ·采用的编程语言和用到的主要技术 | 第34-36页 |
| ·Visual C++6.0功能简介 | 第34-35页 |
| ·ODBC数据库访问 | 第35-36页 |
| 第七章 测控程序自动生成软件设计与实现 | 第36-53页 |
| ·系统结构 | 第36-37页 |
| ·人机接口和信息存储模块设计 | 第37-40页 |
| ·FA化简模块 | 第40-42页 |
| ·代码和状态转换图生成模块 | 第42-50页 |
| ·生成代码 | 第42-48页 |
| ·生成状态转换图 | 第48-50页 |
| ·例程库模块 | 第50-53页 |
| 第八章 结束语 | 第53-55页 |
| ·论文的结论总结 | 第53页 |
| ·对进一步研究的展望 | 第53-55页 |
| 参考文献 | 第55-57页 |
| 致 谢 | 第57-58页 |
| 在学期间发表的学术论文和参加科研情况 | 第58页 |
