电子产品世界

采用Backus Naur范式语法表示方法，给出因子的形式化定义如下。

定义2（因子）

因子：：=（因子名=因子值）

因子是逻辑规则表达式的基本组成单元，因子由因子名和因子值两部分组成，分别代表部件/接口和其状态值。

车身控制系统中的控制行为和各部件之间的逻辑控制关系可方便地用逻辑规则表达式描述。

例如：对于下面的逻辑控制关系

如果 变光开关位于“近光”挡

灯光开关位于“大灯”挡

点火开关处于“ON”状态

那么汽车前照灯点亮近光灯

该逻辑控制关系可以形式化地表示为规则式

（变光开关=近光）（灯光开关=大灯）（点火开关=ON）→（前照灯=近光灯）

图2 规则化描述方法的规则处理过程
采用规则化描述方法对车身控制系统进行建模，关键就是采用近似自然语言的逻辑规则表达式来描述系统各组成部分之间的逻辑控制关系，形成规则库；规则库经过编码以后由系统的控制单元解释执行；最终系统的控制过程就是事件触发、规则匹配、规则执行以及消息传递的过程，如图2所示。要修改系统的控制逻辑，只要修改规则库中的逻辑规则表达式即可实现。

规则化描述方法的特点可以概括为以下几点。

1、自然性 与人的思维相似，直观、自然，容易理解和解释，便于人机交换信息。
2、模块性 规则式是规则库中最基本的单元，规则之间相互独立，不互相调用、修改，增删方便，容易扩充和完善。
3、清晰性 规则式有固定的格式，每条规则式都由条件和操作两部分组成，这种统一的格式既易于设计、控制，又易于进行一致性、完整性检测。

4、独立性 表示系统逻辑控制关系的规则库与执行规则的推理机相对独立，便于规则库的管理与维护，也便于推理机的设计与实现。

六、结论

1、基于CAN总线技术并采用规则化描述方法的车身控制系统的建模方法，构建相应的试验环境和仿真、调试、测试工具，并成功应用于试验车中。

2、使用规则化描述方法大大简化不同车型、不同功能的车身控制软硬件的开发和维护。

3、当汽车车型发生变化或汽车需要增加新的功能时，只需对由逻辑规则表达式等组成的用户描述文件进行修改，无需花费大量时间重新编制系统软件，提高了可重用性，缩短新型汽车的开发周期，降低开发成本。

1 2 3

关键词：总线式车身控制系统规则化建模