分布式環(huán)境下高速公路收費(fèi)系統(tǒng)的形式化設(shè)計(jì)與實(shí)現(xiàn).pdf

1、高速公路收費(fèi)系統(tǒng)的開(kāi)發(fā)是智能交通的重要研究課題。隨著我國(guó)高等級(jí)公路的建設(shè)和發(fā)展，高速公路采用聯(lián)網(wǎng)收費(fèi)的方式成為發(fā)展的趨勢(shì)。設(shè)計(jì)和開(kāi)發(fā)適合面向區(qū)域聯(lián)網(wǎng)的高速公路收費(fèi)系統(tǒng)更成為研究的熱點(diǎn)。 本文的目的就在于根據(jù)國(guó)內(nèi)外的發(fā)展現(xiàn)狀，結(jié)合當(dāng)今的技術(shù)發(fā)展趨勢(shì)，研究出適合用于高速公路區(qū)域聯(lián)網(wǎng)收費(fèi)的收費(fèi)系統(tǒng)。 本文首先概要介紹了國(guó)內(nèi)外高速公路收費(fèi)的研究和發(fā)展現(xiàn)狀，結(jié)合國(guó)內(nèi)高速公路收費(fèi)發(fā)展的要求和趨勢(shì)，對(duì)面向區(qū)域聯(lián)網(wǎng)的高速公路收費(fèi)系統(tǒng)進(jìn)行

2、了系統(tǒng)的分析。其次在對(duì)現(xiàn)有設(shè)計(jì)方法進(jìn)行比較后，以形式化的方法設(shè)計(jì)出車(chē)道收費(fèi)子系統(tǒng)的Petri網(wǎng)模型并給出具體實(shí)現(xiàn)。對(duì)于系統(tǒng)中數(shù)據(jù)傳輸?shù)膬纱箨P(guān)鍵問(wèn)題異構(gòu)數(shù)據(jù)轉(zhuǎn)儲(chǔ)和數(shù)據(jù)轉(zhuǎn)發(fā)，在研究和分析其功能需求后，分別給出了結(jié)合OCX控件技術(shù)和windows轉(zhuǎn)發(fā)服務(wù)的解決方案。最后分析了本系統(tǒng)中IC卡管理和數(shù)據(jù)管理的方式和邏輯結(jié)構(gòu)并給出了具體實(shí)現(xiàn)。 本文在結(jié)束部分簡(jiǎn)述了本人工作及研究中尚需解決的問(wèn)題，對(duì)其中一些問(wèn)題給出了進(jìn)一步改進(jìn)的意見(jiàn)，并展望了