优化数字自动机(FSM)

帖子是关于什么的?

该材料简要介绍了数字自动机理论中的问题,并解释了解决此问题的方法之一,这种方法是在尝试使数字自动机的构建过程自动化时发现的。

介绍

自动机器是由机械,设备组成的系统,在该系统中,接收,转换,转移能量,物料,信息的过程是完全自动化的。

术语“自动机”主要用于两个方面:

  • 技术;

  • 数学的。

在数学方法中,自动机被理解为数学模型,它必须具有输入,内部状态和输出。没有考虑或考虑设备的结构细节。

在技​​术方案中,自动机被理解为完全真实的设备,例如电话机,自动售货机等。在这种情况下,当然,该设备的内部结构的细节是已知的。

从信号的角度来看,数字自动机(DA)是一种系统,它可以接收输入信号,在它们的影响下,从一种状态转移到另一种状态,保存它直到下一个输入信号到达,然后发出输出信号。

本文处理基于逻辑元素的数字信号和二进制逻辑。

数字状态机的结构和功能图
-

. , , , , .

— .

(). , , , , . .

-- . :

1) , .

2) -- .

3) . :

n =细胞(log_2(S))

, S -- , ceil -- , .

4) . . , .

5) -.

6) . -, .

7) .

8) .

-- , .

. . (, , ). . -- . <<>>, <<>>. .

(M) (S).

:

C = 2 ^ M;

(V) (S) (C), :

V = \ frac {C!} {(CS)! \ cdot S!};

(A) :

A = S! \ cdot V = \ frac {C!} {(CS)!};

, . .

.

遗传算法图

6720. .

( ), 0( ) 1( ).

描述蜜蜂行为的自动机图
,

:

  • : 5

  • : ceil(log2(5)) = 3

  • : 1

  • :

    C = 2 ^ M = 2 ^ 3 = 8;

    V = \ frac {C!} {(CS)! \ cdot S!} = \ frac {8!} {(8-5)! \ cdot 5!} = 56;

    A = S! \ cdot V = 5! \ cdot 56 = 6720;

    (V) X(X<S!) . -- . c S! .

    , -- 0 1 .

    对于枚举需要大量时间的复杂自动机,一种有效的解决方案是应用遗传算法,它不一定能找到最佳结果,但可以让您快速找到与其接近的解决方案。




    All Articles