分布式環(huán)境下高速公路收費系統的形式化設計與實現.pdf

1、高速公路收費系統的開發(fā)是智能交通的重要研究課題。隨著我國高等級公路的建設和發(fā)展，高速公路采用聯網收費的方式成為發(fā)展的趨勢。設計和開發(fā)適合面向區(qū)域聯網的高速公路收費系統更成為研究的熱點。 本文的目的就在于根據國內外的發(fā)展現狀，結合當今的技術發(fā)展趨勢，研究出適合用于高速公路區(qū)域聯網收費的收費系統。 本文首先概要介紹了國內外高速公路收費的研究和發(fā)展現狀，結合國內高速公路收費發(fā)展的要求和趨勢，對面向區(qū)域聯網的高速公路收費系統進行

2、了系統的分析。其次在對現有設計方法進行比較后，以形式化的方法設計出車道收費子系統的Petri網模型并給出具體實現。對于系統中數據傳輸的兩大關鍵問題異構數據轉儲和數據轉發(fā)，在研究和分析其功能需求后，分別給出了結合OCX控件技術和windows轉發(fā)服務的解決方案。最后分析了本系統中IC卡管理和數據管理的方式和邏輯結構并給出了具體實現。 本文在結束部分簡述了本人工作及研究中尚需解決的問題，對其中一些問題給出了進一步改進的意見，并展望了