词汇
decomposition分解 exclusion(OR)排斥 Parallel(And)
语法
事件条件动作：
条件一般是“input”变量；动作一般是“output”变量
状态en进入动作（状态由不活动进入活动状态）：
状态du维持动作（状态由活动状态，仍然到活动状态时）
语法训练
1，开关
如，输入为电源，输出为开关信号
2，风扇开关：
在打开电源后，需要根据室温开启风扇
多重条件判断
回答：
switch_on , device_on是input、output还是local？
3，加入双风扇。
双风扇的目的：加大功率；主副风扇。
回答：
switch_on , device_on, Temp_env, V_fan, fan_mode是input、output还是local？
怎么样把ControlLogic和FanLogic联系起来呢？
1）FanLogic和ControlLogic状态是并行关系，可以同时运行；
2）变量fan_mode同时在2个大状态中使用，在ControlLogic状态中，控制变量fan_mode的变化；在FanLogic状态中，用fan_mode作为条件控制其它状态切换；
回答：
1）du的作用；
2）{fan_mode = 0} 与ex：fan_mode = 0;有无区别？
4，变频风扇：根据温度的变化，调节风扇的转速
用真值表，根据环境温度，调节风速变化
du：在DeviceOn状态下，持续监测环境温度，并查找真值表确定fan_mode。
在仿真过程中，FanLo和FanHi2个状态会不停的切换
加入延时，可以避免频繁操作风扇，进而保护风扇。
kl
