Engee 文档

有限自动机

资料描述

*有限自动机*课程旨在探索*Engee*平台的"有限自动机"库的功能。 有限状态机是事件驱动系统的模型,当满足某些条件时,它会从一种操作模式切换到另一种操作模式。 有限自动机允许您构建两种类型的模型:状态图和流程图。

每个部分都包含一个理论部分,实践示例和自学任务。

知识要求:完成课程 欢迎来到英吉利视觉建模.

总课程时间:~3小时。

课程计划

有限自动机简介。

以红绿灯模型为例,初步了解了*Engee*中有限自动机的工作原理。

状态图。

研究了状态图的构建、状态图编辑器、时间逻辑和默认转换.

状态图上的变量和数据。

研究了状态图上的输入输出信号和局部变量。

状态图上的操作。

研究了具有进入、期间和退出状态的操作以及具有条件的操作。

态图的执行。

该示例详细显示了状态图的分步执行:状态之间的条件、操作和转换的工作方式。

项目:机器人吸尘器。

使用状态图,要求学生建立机器人真空吸尘器操作的模型,该模型可以处于四种状态之一:关闭,清洁,停车和充电。

流程图。

正在研究构建流程图的基础知识。 作为一项实际任务,建议构建一个迭代器模型,当索引达到最大值时返回到一个。

图的层次结构。

正在研究状态分层图的构建。 作为一项实际任务,建议构建描述交通信号灯操作的状态分层图。