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

卡箱式高速公路联网收费通行IC卡管理系统的设计与实现

作　者: 白明
导　师: 方敏；左松梅
学　校: 西安电子科技大学
专　业: 计算机技术
关键词: 高速公路 IC卡 形式化方法 Petri网
分类号: TP311.52
类　型: 硕士论文
年　份: 2008年
下　载: 10次
引　用: 0次
阅　读: 论文下载
 

内容摘要


随着国家经济的快速发展,社会的交通需求愈加旺盛,高速公路在多种运输方式中发挥着重要作用。我国绝大部分高速公路是利用“贷款修路、收费还贷”的方式建设和运营的。高速公路联网收费能有效提高高速公路服务和管理水平,并以成为主导的收费方式。通行IC卡做为路网内车辆运行信息的载体,其管理成为高速公路联网收费运行的关键工作。设计和开发高效、可靠的高速公路联网收费通行IC卡管理系统更成为研究的热点。本文目的在于根据国内外发展现状,结合当今的技术发展,研究出适合高速公路联网收费的通行IC卡管理系统。本文首先介绍国内外高速公路收费及其支付介质的现状和发展,对高速公路联网收费通行IC卡管理进行了系统的分析。与现有主要软件设计方法进行了分析比较,应用Petri网设计出通行卡管理子系统的业务模型并给出了实现。最后,就通行卡系统发行中的密钥管理机制和通行卡发行子系统流程控制等关键技术进行了分析研究,并给出了通行卡发行子系统的具体实现。

全文目录


摘要  3-4
Abstract  4-7
第一章 绪论  7-13
  1.1 研究背景  8-11
    1.1.1 国内外研究发展现状  8-10
    1.1.2 论文的研究目的  10-11
  1.2 论文的研究内容和组织  11
  1.3 小结  11-13
第二章 卡箱式高速公路联网收费通行IC卡管理系统体系结构  13-21
  2.1 高速公路联网收费通行IC卡管理  13-15
    2.1.1 高速公路联网收费通行IC卡  13
    2.1.2 通行IC卡管理的层次与结构  13-15
  2.2 卡箱式通行IC卡管理系统  15-17
    2.2.1 卡箱式通行IC卡管理的概念  15-16
    2.2.2 卡箱式通行IC卡管理系统的特点  16-17
  2.3 卡箱式通行IC卡管理系统框架  17-19
    2.3.1 卡箱式通行IC卡管理系统逻辑与功能结构  17-18
    2.3.2 卡箱式通行IC卡管理系统物理结构  18-19
    2.3.3 卡箱式通行IC卡管理系统各子系统功能  19
  2.4 小结  19-21
第三章 通行卡管理子系统的形式化设计与实现  21-48
  3.1 软件设计方法研究  21-28
    3.1.1 软件设计方法介绍  21-25
    3.1.2 形式化的软件设计  25-28
  3.2 Petri网  28-30
    3.2.1 Petri网的定义  28-29
    3.2.2 Petri网的性质  29-30
  3.3 基于Petri网的通行卡管理子系统建模  30-39
    3.3.1 通行卡调动Petri网模型设计  30-34
    3.3.2 通行卡调动Petri网模型分析  34-35
    3.3.3 卡箱领用、上交登记Petri网模型设计  35-38
    3.3.4 卡箱领用、上交登记Petri网模型分析  38-39
  3.4 通行卡管理子系统的实现  39-48
    3.4.1 主要数据结构  39-42
    3.4.2 系统主界面模块  42-43
    3.4.3 通行卡调动模块  43-45
    3.4.4 通行卡领用、上交登记模块  45-48
第四章 通行卡系统的发行与密钥管理  48-58
  4.1 通行卡系统的发行  48-49
    4.1.1 通行卡系统的发行  48
    4.1.2 关键任务  48-49
  4.2 密钥及其管理模式  49-52
    4.2.1 通行卡密钥的安全机制  49
    4.2.2 发行系统密钥存储介质  49-50
    4.2.3 发行系统密钥及密钥卡  50-51
    4.2.4 密钥系统卡发行管理模式  51-52
  4.3 通行卡发行子系统的设计与实现  52-57
    4.3.1 通行卡发行子系统总体结构  52
    4.3.2 卡片信息及存储结构  52-54
    4.3.3 关键模块程序设计  54-56
    4.3.4 部分功能模块界面  56-57
  4.4 小结  57-58
第五章 结束语  58-60
  5.1 问题与不足  58
  5.2 发展和展望  58-60
致谢  60-62
参考文献  62-64
研究成果  64-66
附录A  66-75

相似论文

  1. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  2. 高速公路运营管理单位全面预算管理研究,F540.58
  3. 高速公路建设项目投资内部控制问题研究,F540.34
  4. 高速公路拆迁民众生存系统评价研究,D523
  5. 高速公路项目代建制管理模式研究,F283
  6. 基于逻辑Petri网的Web服务组合建模与分析,TP393.09
  7. 高速公路建设项目工程可行性研究,F542
  8. 高速公路服务区综合服务建筑标准化设计研究,TU248
  9. 基于Petri网的信息管理软件服务建模方法研究,TP311.52
  10. 党员卡管理系统的设计与实现,TP311.52
  11. 佛开高速公路改扩建工程施工成本管理研究,U415.13;TU723.3
  12. 内蒙古自治区高速公路运营管理的问题及对策研究,F542
  13. 超薄磨耗层NovaChip在广深高速公路的应用研究,U418.6
  14. 物联网业务模型描述语言的研究与实现,TN929.5
  15. 基于J2EE的高速公路电子收费系统的设计与实现,TP311.52
  16. 工作流动态变更处理技术,TP311.52
  17. HBLQ公司薪酬体系再设计研究,F272.92
  18. 中原高速薪酬评价研究,F272.92
  19. 电子科技大学中山学院停车场信息管理系统的设计与实现,TP311.52
  20. 河北省高速公路融资方式研究,F542
  21. 电石灰改良盐渍土底基层试验研究,U412.22

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com