原文传递
分布式环境下高速公路收费系统的形式化设计与实现
| 论文题名： | 分布式环境下高速公路收费系统的形式化设计与实现 |
| 关键词： | 高速公路;收费系统;智能交通;联网收费;形式化 |
| 摘要： | 高速公路收费系统的开发是智能交通的重要研究课题。随着我国高等级公路的建设和发展，高速公路采用联网收费的方式成为发展的趋势。设计和开发适合面向区域联网的高速公路收费系统更成为研究的热点。 本文的目的就在于根据国内外的发展现状，结合当今的技术发展趋势，研究出适合用于高速公路区域联网收费的收费系统。 本文首先概要介绍了国内外高速公路收费的研究和发展现状，结合国内高速公路收费发展的要求和趋势，对面向区域联网的高速公路收费系统进行了系统的分析。其次在对现有设计方法进行比较后，以形式化的方法设计出车道收费子系统的Petri网模型并给出具体实现。对于系统中数据传输的两大关键问题异构数据转储和数据转发，在研究和分析其功能需求后，分别给出了结合OCX控件技术和windows转发服务的解决方案。最后分析了本系统中IC卡管理和数据管理的方式和逻辑结构并给出了具体实现。 本文在结束部分简述了本人工作及研究中尚需解决的问题，对其中一些问题给出了进一步改进的意见，并展望了我国高速公路收费的研究和发展方向。 |
| 作者： | 党岗 |
| 专业： | 计算机应用技术 |
| 导师： | 方敏 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西安电子科技大学 |
| 学位年度： | 2007 |
| 正文语种： | 中文 |
检索历史
应用推荐
