分布式环境下高速公路收费系统的形式化设计与实现

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:shangju0
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
高速公路收费系统的开发是智能交通的重要研究课题。随着我国高等级公路的建设和发展,高速公路采用联网收费的方式成为发展的趋势。设计和开发适合面向区域联网的高速公路收费系统更成为研究的热点。本文的目的就在于根据国内外的发展现状,结合当今的技术发展趋势,研究出适合用于高速公路区域联网收费的收费系统。本文首先概要介绍了国内外高速公路收费的研究和发展现状,结合国内高速公路收费发展的要求和趋势,对面向区域联网的高速公路收费系统进行了系统的分析。其次在对现有设计方法进行比较后,以形式化的方法设计出车道收费子系统的Petri网模型并给出具体实现。对于系统中数据传输的两大关键问题异构数据转储和数据转发,在研究和分析其功能需求后,分别给出了结合OCX控件技术和windows转发服务的解决方案。最后分析了本系统中IC卡管理和数据管理的方式和逻辑结构并给出了具体实现。本文在结束部分简述了本人工作及研究中尚需解决的问题,对其中一些问题给出了进一步改进的意见,并展望了我国高速公路收费的研究和发展方向。
其他文献
通过调查发现,目前广州九成以上的家庭有亲子阅读活动,超过五成的家长在与幼儿共同阅读时感到"非常愉快或比较愉快",但也有近四成的家长感到"有时愉快,有时麻烦";八成以上家
戴叔伦诗杂考熊飞唐戴叔伦诗,《全唐诗》收录了两卷共二百八十一题二百九十九首又两首诗的五个零句。这近三百首诗,窜伪情况极为严重。此种情况,明胡震亨便已注意到,胡氏《唐音统
笔者与学校多名电工电子专业教师,进行了《电气控制技术与PLC》校本化研究。在研究过程中,编成了《电气控制技术与PLC》校本教材、布置好了电气实验室和PLC实验室、制作好了
近几年来,部分企业因各种各样的问题申请破产,有一部分企业破产的原因是内部控制审计出了问题,其中最出名的当属美国的安然公司。随着我国市场经济的不断发展,内部控制审计已
清末十年,民族革命论者大力宣传其反满理论,或追述明清易代痛史,或强调夷夏之辨传统。与此同时,西方关于人种分类和民族判别的知识与方法已经传入中国,并为人接受,发生影响,
茶文化历史悠久,是中国乃至世界文化瑰宝。茶文化有着深刻的精髓内涵,对英语语言文学产生了一定影响。本文基于大量的文献资料首先分析了茶文化的特征与精髓内涵,然后探讨了
本文论述了绩效管理的概念,阐述了沟通对绩效管理成败的影响,提出了为做好绩效管理 需要沟通的 方面和需要采取的方法。
由于参与罗什的译经活动,僧肇在思维方法上完成了从玄向佛的转变,即从玄学的本体思维转向了具有非本体论特征的中观般若思维,包括中道思想、无分别观念、二谛理论、遮诠法和
在激烈的市场竞争环境下,企业为保证自身利益获取目标的实现以及风险问题的有效控制,需引入相关的投资估算管理工作。以当前大多建设工程为例,其能否保证投资估算的合理性,将
当前,我国进入全面建设小康社会,为加快社会主义现代化建设的进程,适合新时期、新形势、新任务的要求,推动我国公路事业发展,公路交通信息化建设已提到议事日程。而公路交通