11、自动化软件生成与布尔网络模型研究

自动化软件生成与布尔网络模型研究

1. 选择自动机的功能块实现方法

在工业排序系统中，选择自动机的实现是一个重要的研究方向。基于国际标准 IEC 61499 的功能块（FB）来实现选择自动机是一种可行的方法。

• 自动机谓词表示 ：使用了一些谓词来描述自动机的状态和转换。例如， state 是一元谓词，用于表示自动机的状态； transition 是六元谓词，用于表示自动机的转换，其参数分别为转换标识符、源状态标识符、目标状态标识符、工件颜色、允许的最大工件数量（用于自循环）和转换类型（普通或最终）； initial_state 是一元谓词，表示初始状态。示例代码如下：

transition(t4,s1,s0,black,_,final).
initial_state(s0).

• SDFA 与 SNDFA 的实现 ：确定性选择有限自动机（SDFA）可以直接使用基本 FB 的执行控制图（ECC）来实现。而非确定性选择有限自动机（SNDFA）的实现则需要更复杂的方法。可以将非确定性自动机（NDA）视为一个独立的并行模型，其功能可以表示为实时确定非确定性有限自动机的模拟步骤。实现 SNDFA 基于 FB 有两种方法：将转换或状态表示为 FB。这两种方法本质上是等价的，但以转换为导向更便于表示循环，并且可以减少实现中基本 FB 类型的数量。
• 冲突问题