主要内容gydF4y2Ba

粉和摩尔机器的概述gydF4y2Ba

在有限状态机中,gydF4y2Ba状态gydF4y2Ba是一个本地数据和图表的组合活动。“计算”是指更新本地数据,并从目前活跃状态过渡到一个新的国家。在状态机模型,下一个状态是一个函数的当前状态和它的输入:gydF4y2Ba

XgydF4y2Ba (gydF4y2Ba ngydF4y2Ba +gydF4y2Ba 1gydF4y2Ba )gydF4y2Ba =gydF4y2Ba fgydF4y2Ba (gydF4y2Ba XgydF4y2Ba (gydF4y2Ba ngydF4y2Ba )gydF4y2Ba ,gydF4y2Ba ugydF4y2Ba )gydF4y2Ba

在这个方程:gydF4y2Ba

  • X (n)gydF4y2Ba代表国家在时间步gydF4y2BangydF4y2Ba。gydF4y2Ba

  • X (n + 1)gydF4y2Ba表示下一个时间步的状态gydF4y2Ban + 1gydF4y2Ba。gydF4y2Ba

  • ugydF4y2Ba代表输入。gydF4y2Ba

从一个时间步状态持续到下一个时间步。gydF4y2Ba

粉的语义和摩尔的机器gydF4y2Ba

粉和摩尔机器通常被认为是基本的,行业标准对有限状态机建模的范例。您可以创建图表,实现纯粉或摩尔语义Stateflow的一个子集gydF4y2Ba®gydF4y2Ba图的语义。您可以使用粉和摩尔在仿真图和嵌入式编码和代码生成gydF4y2Ba®gydF4y2Ba,gydF4y2Ba金宝app®gydF4y2Ba编码器™gydF4y2Ba,高密度脂蛋白编码器™软件。粉和摩尔语义不支持在MATLAB的独立Stateflow图表金宝appgydF4y2Ba®gydF4y2Ba。gydF4y2Ba

语义的粉状的图表gydF4y2Ba

粉机是有限状态机的转换发生在时钟边沿。粉状的图的输出是一个函数的输入和状态:gydF4y2Ba

ygydF4y2Ba =gydF4y2Ba ggydF4y2Ba (gydF4y2Ba XgydF4y2Ba ,gydF4y2Ba ugydF4y2Ba )gydF4y2Ba

在每一个时间步,粉图醒来,评估其输入,然后转换到一个新的配置的活跃状态,也叫它gydF4y2Ba下一个状态gydF4y2Ba。图表计算其输出转换到下一个状态。gydF4y2Ba

确保是一个函数的输入和输出状态,粉状的状态机执行这些语义:gydF4y2Ba

  • 输出不依赖于下一个状态。gydF4y2Ba

  • 图表计算输出只有在转换,而不是国家。gydF4y2Ba

  • 图表定期醒来基于一个系统时钟。gydF4y2Ba

粉机计算其输出转换。因此,粉状的图表可以计算他们的第一个输出时的默认路径表执行。如果你启用表属性gydF4y2Ba(输入)表初始化执行gydF4y2Ba粉状的图,这个计算发生在gydF4y2BatgydF4y2Ba= 0(起步)。否则,它发生在gydF4y2BatgydF4y2Ba= 1(下一个时间步)。有关更多信息,请参见gydF4y2Ba(输入)表初始化执行gydF4y2Ba。gydF4y2Ba

摩尔的语义图gydF4y2Ba

摩尔机器有限状态机的输出在时钟边沿被修改。摩尔图的输出是一个函数的状态:gydF4y2Ba

ygydF4y2Ba =gydF4y2Ba ggydF4y2Ba (gydF4y2Ba XgydF4y2Ba )gydF4y2Ba

在每一个时间步,摩尔图醒来,计算其输出,然后计算其输入为下一个时间步重新配置本身。例如,评估其输入后,图表可以过渡到一个新的配置的活跃状态。图表计算其输出之前评估其输入和更新它的状态。gydF4y2Ba

确保输出是一个函数的当前状态,摩尔状态机执行这些语义:gydF4y2Ba

  • 输出不依赖于输入。gydF4y2Ba

  • 输出不依赖于之前的输出。gydF4y2Ba

  • 输出不依赖于时序逻辑。gydF4y2Ba

摩尔机器计算它们的输出状态。因此,摩尔机器只能计算输出gydF4y2Ba后gydF4y2Ba默认路径执行。在那之前,输出带默认值。gydF4y2Ba

创建粉和摩尔图表gydF4y2Ba

当您创建一个Stateflow图,默认的类型被称为是一个混合的状态机模型gydF4y2Ba经典gydF4y2Ba图表。经典的图结合粉和摩尔的语义图扩展Stateflow图的语义。gydF4y2Ba

创建一个粉图表,在MATLAB命令提示符,输入:gydF4y2Ba

sfnewgydF4y2Ba粉状的gydF4y2Ba

块图标粉状的图表。gydF4y2Ba

创建一个摩尔图表,在MATLAB命令提示符,输入:gydF4y2Ba

sfnewgydF4y2Ba摩尔gydF4y2Ba

块图标摩尔图表。gydF4y2Ba

另外,添加Stateflow图块之后一个仿真软件模型,你可以选择的语义类型图表通过设置金宝appgydF4y2Ba状态机类型gydF4y2Ba图表属性。有关更多信息,请参见gydF4y2Ba状态机类型gydF4y2Ba。gydF4y2Ba

粉和摩尔图表的优点gydF4y2Ba

粉和摩尔图表提供这些优势经典Stateflow图表:gydF4y2Ba

  • 你可以验证粉和摩尔图表创建符合他们的正式定义和语义规则。错误信息出现在编译时(而不是在设计时)。gydF4y2Ba

  • 摩尔比经典图图表提供更有效的实现对C / c++和高密度脂蛋白的目标。gydF4y2Ba

  • 您可以使用一个摩尔图表模型反馈回路。在摩尔图表、输入没有直接的引线。你可以设计一个循环反馈输出端口输入端口不引入一个代数循环。粉和经典图表直接引线并产生一个错误的一个代数循环。gydF4y2Ba

    金宝app仿真软件模型包含一个摩尔在一个反馈回路图。gydF4y2Ba

另请参阅gydF4y2Ba

相关的话题gydF4y2Ba