Engee 文档

有限自动机课程

说明

有限自动机 "课程旨在学习 Engee 平台的 "有限自动机 "库的功能。有限自动机是一个事件驱动系统的模型,当满足特定条件时,系统会从一种运行模式过渡到另一种运行模式。有限自动机允许构建两种类型的模型:状态图和流程图。

每一节都包含理论部分、实际示例和独立完成的任务。

知识要求:已完成课程欢迎来到恩吉视觉建模

总课时:~3 小时。

课程计划

有限自动机简介。

以交通灯模型为例,让您初步了解在*Engee*中使用有限自动机的原理。

状态图

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

状态图中的变量和数据。

研究状态图中的输入和输出信号以及局部变量。

状态图上的动作。

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

状态图的执行。

该示例详细介绍了状态图的逐步执行过程:条件、操作和状态之间的转换是如何进行的。

项目:机器人锄地机。

要求学生构建一个状态图,以模拟机器人锄地机的运行,机器人锄地机可以处于四种状态之一:关闭、清洁、停放和充电。

流程图。

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

图的层次结构。

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