總線式車身控制系統的規則化建模方法
采用Backus Naur范式語法表示方法,給出因子的形式化定義如下。
定義2(因子)
因子::=(因子名=因子值)
因子是邏輯規則表達式的基本組成單元,因子由因子名和因子值兩部分組成,分別代表部件/接口和其狀態值。
車身控制系統中的控制行為和各部件之間的邏輯控制關系可方便地用邏輯規則表達式描述。
例如:對于下面的邏輯控制關系
如果 變光開關位于“近光”擋
燈光開關位于“大燈”擋
點火開關處于“ON”狀態
那么汽車前照燈點亮近光燈
該邏輯控制關系可以形式化地表示為規則式
(變光開關=近光)(燈光開關=大燈)(點火開關=ON)→(前照燈=近光燈)

圖2 規則化描述方法的規則處理過程
采用規則化描述方法對車身控制系統進行建模,關鍵就是采用近似自然語言的邏輯規則表達式來描述系統各組成部分之間的邏輯控制關系,形成規則庫;規則庫經過編碼以后由系統的控制單元解釋執行;最終系統的控制過程就是事件觸發、規則匹配、規則執行以及消息傳遞的過程,如圖2所示。要修改系統的控制邏輯,只要修改規則庫中的邏輯規則表達式即可實現。
規則化描述方法的特點可以概括為以下幾點。
1、自然性 與人的思維相似,直觀、自然,容易理解和解釋,便于人機交換信息。
2、模塊性 規則式是規則庫中最基本的單元,規則之間相互獨立,不互相調用、修改,增刪方便,容易擴充和完善。
3、清晰性 規則式有固定的格式,每條規則式都由條件和操作兩部分組成,這種統一的格式既易于設計、控制,又易于進行一致性、完整性檢測。
4、獨立性 表示系統邏輯控制關系的規則庫與執行規則的推理機相對獨立,便于規則庫的管理與維護,也便于推理機的設計與實現。
六、結論
1、基于CAN總線技術并采用規則化描述方法的車身控制系統的建模方法,構建相應的試驗環境和仿真、調試、測試工具,并成功應用于試驗車中。
2、使用規則化描述方法大大簡化不同車型、不同功能的車身控制軟硬件的開發和維護。
3、當汽車車型發生變化或汽車需要增加新的功能時,只需對由邏輯規則表達式等組成的用戶描述文件進行修改,無需花費大量時間重新編制系統軟件,提高了可重用性,縮短新型汽車的開發周期,降低開發成本。
評論