有限状态机基础知识及练习.pptVIP

有限状态机基础知识及练习

有限状态机根底知识及练习

辅导讲座

2

2021/2/21

状态机一般定义

〔FiniteStateMachine，FSM〕

◆状态机——一个离散数学模型。给定

一个输入集合，根据对输入的承受次序

来决定一个输出集合。〔摩尔状态机〕

◆状态——系统的根本数学特征。

◆有限状态机——输入集合和输出集合

都是有限的，并只有有限数目的状态。

3

2021/2/21

输入集合A

输出集合

X

状态记忆

输出形成

状态迁移

状态机一般构造

CLK

组合逻辑

时序逻辑

同步

当前状态

后续状态

4

2021/2/21

S

a1,a2,…,an

x1,x2,…,xn

状态位置

状态名称

转移方向

输入集合

〔触发事件〕

输出集合

〔执行动作〕

状态等待

状态迁移图

5

2021/2/21

nn

a1,a2,…,an

x1,x2,…,xn

状态位置

状态名称

转移方向

输入集合

〔触发事件〕

输出集合

〔执行动作〕

状态等待

状态迁移图

S

状态编码

6

2021/2/21

状态机实例——自动门

有一自动门，它可以被锁上，也可以开锁。当门锁上时，某人可以在它的槽中塞进一枚硬币。这样，门就会自动开锁，转变到开锁的状态；人通过后，门就会自动锁上。

我们希望把自动门交给一个简单的FSM管理。通过对这个简单FSM的分析，理解FSM的设计过程。

7

2021/2/21

自动门的根本状态

加锁

开锁

投币/开锁

通过/加锁

初始状态

Φ/加锁

状态机实例

8

2021/2/21

自动门的构造简图

状态机实例

控制器

9

2021/2/21

自动门实例的VHDL描绘

状态机实例

10

2021/2/21

自动门实例的方真〔一〕

状态机实例

11

2021/2/21

自动门实例的方真〔二〕

状态机实例

12

2021/2/21

回忆自动门的根本状态

加锁

开锁

投币/开锁

通过/加锁

初始状态

Φ/加锁

状态机实例

13

2021/2/21

小结〔概念〕

◆无论对连续系统还是离散系统，状态概念无所不在。FSM提供了一种描绘和控制应用逻辑的非常强大的方法，具有规则简单、可读性和可验证性强等特点。

◆FSM也是个不错的工具。很多复杂的逻辑都可以用一张图表来表述。

◆对一个复杂离散系统而言，使用FSM方案几乎无所不能。FSM在通信协议、图形界面控制和其他很多工程应用中均有其足迹。

14

2021/2/21

◆明确对象要求，确定输入和输出集合，合

理分配状态。

小结〔方法〕

◆确定状态迁移方向和迁移触发条件，确定

符合要求的输出集合。

◆充分预计各种异常情况，确定异常处理策

略及出口。

◆按照实际需求，制定合理的诊断形式。

◆完成系统综合。

◆系统评价，设计验证。

15

2021/2/21

练习〔1〕：交通信号机

◆绿信比1:1

◆路型十字穿插

◆相变周期20(s)

◆黄(红黄)灯时间2(s)

◆绿闪周期0.5(s)

◆绿闪时间5(s)

◆定时输入100Hz,TTL

16

2021/2/21

练习〔2〕：升降电梯

◆平层信号开关每层

◆楼层数4层

◆楼层数显1位十进制

◆顶层呼叫按钮向下

◆底层呼叫按钮向上

◆中间层呼叫按钮向上、向下

◆运行方向指示2LED

17

2021/2/21