| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第8-11页 |
| ·国内外研究发展现状 | 第8-10页 |
| ·论文的研究目的 | 第10-11页 |
| ·论文的研究内容和组织 | 第11页 |
| ·小结 | 第11-13页 |
| 第二章 卡箱式高速公路联网收费通行IC卡管理系统体系结构 | 第13-21页 |
| ·高速公路联网收费通行IC卡管理 | 第13-15页 |
| ·高速公路联网收费通行IC卡 | 第13页 |
| ·通行IC卡管理的层次与结构 | 第13-15页 |
| ·卡箱式通行IC卡管理系统 | 第15-17页 |
| ·卡箱式通行IC卡管理的概念 | 第15-16页 |
| ·卡箱式通行IC卡管理系统的特点 | 第16-17页 |
| ·卡箱式通行IC卡管理系统框架 | 第17-19页 |
| ·卡箱式通行IC卡管理系统逻辑与功能结构 | 第17-18页 |
| ·卡箱式通行IC卡管理系统物理结构 | 第18-19页 |
| ·卡箱式通行IC卡管理系统各子系统功能 | 第19页 |
| ·小结 | 第19-21页 |
| 第三章 通行卡管理子系统的形式化设计与实现 | 第21-48页 |
| ·软件设计方法研究 | 第21-28页 |
| ·软件设计方法介绍 | 第21-25页 |
| ·形式化的软件设计 | 第25-28页 |
| ·Petri网 | 第28-30页 |
| ·Petri网的定义 | 第28-29页 |
| ·Petri网的性质 | 第29-30页 |
| ·基于Petri网的通行卡管理子系统建模 | 第30-39页 |
| ·通行卡调动Petri网模型设计 | 第30-34页 |
| ·通行卡调动Petri网模型分析 | 第34-35页 |
| ·卡箱领用、上交登记Petri网模型设计 | 第35-38页 |
| ·卡箱领用、上交登记Petri网模型分析 | 第38-39页 |
| ·通行卡管理子系统的实现 | 第39-48页 |
| ·主要数据结构 | 第39-42页 |
| ·系统主界面模块 | 第42-43页 |
| ·通行卡调动模块 | 第43-45页 |
| ·通行卡领用、上交登记模块 | 第45-48页 |
| 第四章 通行卡系统的发行与密钥管理 | 第48-58页 |
| ·通行卡系统的发行 | 第48-49页 |
| ·通行卡系统的发行 | 第48页 |
| ·关键任务 | 第48-49页 |
| ·密钥及其管理模式 | 第49-52页 |
| ·通行卡密钥的安全机制 | 第49页 |
| ·发行系统密钥存储介质 | 第49-50页 |
| ·发行系统密钥及密钥卡 | 第50-51页 |
| ·密钥系统卡发行管理模式 | 第51-52页 |
| ·通行卡发行子系统的设计与实现 | 第52-57页 |
| ·通行卡发行子系统总体结构 | 第52页 |
| ·卡片信息及存储结构 | 第52-54页 |
| ·关键模块程序设计 | 第54-56页 |
| ·部分功能模块界面 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第五章 结束语 | 第58-60页 |
| ·问题与不足 | 第58页 |
| ·发展和展望 | 第58-60页 |
| 致谢 | 第60-62页 |
| 参考文献 | 第62-64页 |
| 研究成果 | 第64-66页 |
| 附录A | 第66-75页 |