5、智能工厂与分布式主题模型技术解析

智能工厂与分布式主题模型技术解析

智能工厂系统分析

在智能工厂的产品制造系统中，对各个单元的运行情况有着概率性的设定。以Cell A为例，它有4%的概率无法执行制造任务，而有96%的概率能够完成任务。SA表示Cell A与AGV之间的通道，Cell A的2个时间单位被指定为[; 0;;2;] ，Cells B、C和D也以同样的方式指定。

对于智能工厂系统（SFS），有如下基本要求：
- （R1）在第一个产品制造过程中，错误不能发生3次。
- （R2）第一个过程将在38个时间单位内完成。
- （R3）根据第一个过程中要求的满足情况，类型可分类如下：
- 类型A：所有要求都得到满足。
- 类型B：R1得到满足，但R2未得到满足。
- 类型C：R1未得到满足。

通过SAVE工具，可以从概率规范中计算系统行为的实际发生概率。进行了1,000,000次模拟来计算每个行为的概率，结果如下表所示：
| Path | Probability | Time unit | Path | Probability | Time unit |
| — | — | — | — | — | — |
| Path 1 | 0.0001 | 43 | Path 9 | 0.0014 | 38 |
| Path 2 | 0.0023 | 41 | Path 10 | 0.0744 | 36 |
| Path 3 | 0.0011 | 40 | Path 11 | 0.0374 | 35 |
| Path 4 | 0.0540 | 38 | Path 12 | 1.8353 | 33 |