18、基于检查的组合式评估方法

基于检查的组合式评估方法

在制造业中，准确评估装配线的性能对于优化生产流程、降低成本和提高效率至关重要。本文将介绍一种基于运行时观察的新型评估方法，用于评估类似系统集合中的瞬态性能指标。

1. 核心指标评估与节能应用

求解方程 3 需要对前后工作站进行评估，分别计算 $TTD(n - 1, ω)$ 和 $TTI(n, ω)$。从应用角度来看，将 $TTSN(n, ω)$ 与 $TTD(n, ω)$ 进行比较，可以评估工作站 $WSn$ 不处理产品的时间间隔。此外，$TTSN(n, ω)$ 可用于临时关闭近期不太可能处理新产品的工作站，从而减少装配线的能源浪费。对于 $TTD(k, ω)$、$TTI(k, ω)$ 和 $TTSN(k, ω)$，我们分别评估其累积分布函数（CDF）$F_{TTD(k,ω)}(t)$、$F_{TTI(k,ω)}(t)$ 和 $F_{TTSN(k,ω)}(t)$。

2. 部分可观测随机时间 Petri 网

• 语法定义 ：Petri 网常用于指定工作流模型，为了对具有随机执行时间的部分可观测装配线进行建模，我们对随机时间 Petri 网（STPNs）进行扩展，引入观察符号。部分可观测随机时间 Petri 网（PO - STPN）是一个元组 $\langle P, T, A^-, A^+, m_0, F, W, O, H\rangle$，各元素含义如下：
  • $P$ 和 $T$ 分别是不相交的库所和变迁集合。
  • $A^- \subseteq P \times T$ 和 $A^+ \subseteq T \times P$ 分别是前置