基于计算模型的系统建模与验证

摘要	第1-5页
ABSTRACT	第5-8页
1 绪论	第8-16页
·研究背景和意义	第8-12页
·国内外研究现状	第12-15页
·本文的主要研究内容	第15-16页
2 自动机理论的基本知识	第16-40页
·有穷自动机	第16-19页
·下推自动机	第19-20页
·图灵机	第20-30页
·图灵机的基本知识	第20-22页
·图灵机与其它模型的等价性	第22页
·图灵机的模拟能力	第22-25页
·图灵机的分析技术	第25-30页
·Petri 网	第30-37页
·Petri 网的基本知识	第30-34页
·Petri 网的模拟能力	第34-35页
·Petri 网的分析技术	第35-37页
·图灵机与 Petri 网的对比	第37-40页
3 基于图灵机的递归技术的实现	第40-46页
·图灵机的调用技术	第40-43页
·图灵机的递归调用	第43-45页
·图灵机模拟递归调用的实例分析	第45-46页
4 B/S 体系架构的在线评测系统建模与验证	第46-58页
·本节的基本概念	第46-47页
·模型的建立	第47-54页
·系统架构	第47-48页
·表示层的建立	第48-49页
·系统的通信	第49-50页
·逻辑处理层的建立	第50-51页
·数据处理层的建立	第51-54页
·模型的验证	第54-58页
5 信道复用的发送-接收问题的建模与应用	第58-67页
·本节的基本概念	第58-59页
·模型的建立	第59-60页
·模型的验证	第60-62页
·在交换网络中的应用	第62-67页
结论	第67-69页
参考文献	第69-72页
攻读硕士学位期间发表学术论文情况	第72-73页
致谢	第73-74页