Mealy图的设计考虑

Mealy语义

为了确保输出是输入和状态的函数，Mealy状态机强制执行以下语义：
输出从不依赖于以前的输出。
输出从不依赖于下一个状态。
Chart根据系统时钟定期唤醒。图表为输入和时钟提供了一个时基。
只要输入端口发生变化，Chart就必须计算输出。
图表必须只计算转换中的输出，而不是状态中的输出。

Mealy图设计规则

为了符合Mealy对状态机的定义，你必须确保Mealy图表在每次输入端口发生变化时都会计算输出。因此，必须遵循Mealy图表的一组设计规则。

仅计算条件动作中的输出

您只能在外部和内部转换的条件操作中计算输出。Mealy机器的一种常见建模风格是在条件下测试输入，并在相关动作中计算输出。
如下所示，只有条件动作data==1才是合法的。

如果你在a图表内部加入其他的内容，那么就会报错，因为这就不是一个mealy图了。所以应该保证state内部的空白。

不使用状态操作或转换操作

您不能在Mealy图表中使用状态操作或转换操作。此限制通过以下方式强制执行Mealy语义：
防止你在不考虑输入端口更改的情况下计算输出 。
确保输出取决于当前状态，而不是下一个状态。

限制数据的使用

您可以在Mealy图表中定义输入、输出、本地数据、参数和常量，但其他数据限制也适用：

限制机器父数据。

机器父数据是您为Stateflow机定义的数据，它是Simulink模型中所有Stateflow块的集合。Stateflow机是Stateflow层次结构的最高级别。当你在此级别定义数据时，机器中的每个图表都可以读取和修改数据。为确保Mealy图表不会访问图表外可能被不可预测地修改的数据，请不要使用机器父级数据。

不要定义数据存储内存。

您无法在Mealy图表中定义数据存储内存（DSM），因为DSM对象可以被图表外部的对象修改。状态流程图使用数据存储内存与Simulink模型共享数据。数据存储内存充当全局数据，可以由包含图表的Simulink层次结构中的其他块和模型修改。Mealy图表不应访问可能发生不可预测变化的数据。

限制事件的使用

限制Mealy图表中事件的使用，如下所示：

可以做	不可以做
使用输入事件触发图表	广播任何类型的事件
使用基于事件的时态逻辑来保护转换。 你可以在Mealy图表中使用基于事件的时态逻辑，因为它的行为是同步的。将时序逻辑条件值的变化视为图表内部调度的事件。因此，在每个时间步，图表都保留了状态的概念，因为它知道在时间事件执行之前还有多少ticks 。在Mealy图表中，时态逻辑运算符的基本事件必须是预定义的事件，如ticks或唤醒	使用本地事件来保护转换。您不能在Mealy图表中使用本地事件，因为它们不是确定性的。这些事件可能在图表计算输出时发生，因此违反了Mealy语义，该语义要求图表在输入发生变化时计算输出。使用隐式事件，如chg（data_name）、en（state_name）或ex（state_name”）。

使用一个时基计算输出和状态

你可以使用一个时基作为时钟和输入，由Simulink解算器确定。Simulink解算器将时钟速率设置得足够快，以捕获输入变化。因此，Mealy图表通常在同一时间步长内计算输出并改变状态。