利用自动机理论对收费站收费系统进行设计并实现

摘要

利用有穷自动机理论研究了高速公路收费站的收费系统.首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计--记账式收费自动机的模型及相应的自动机状态转移图,进而给出了详细的分析和应用软件,并画出了相应的系统模块图.由于新的系统避免了大量弊端与不足,管理控制能力有效提高;同时该系统不要求OBU的普及以及全球卫星定位系统的使用,故易于推广,从而大大提高了高速公路收费的安全性、准确性、适用性及有效性.