为什么是 CAE-SDB?
CAE-SDB 是 TPCA / PCN 中用于目标状态入口前复杂状态判定的核心结构化分析方法。
制造和自动化系统中的一次状态迁移,通常会同时受到设备状态、安全许可、视觉结果、任务状态、下游承接和上位系统状态等多个因素影响。
这些状态来自不同设备和系统。放到一次明确的状态迁移中,需要分别确认两件事:
- 这个状态在本次状态迁移中承担什么工程作用;
- 当前需要从什么性质对这个状态进行判定。
CAE-SDB 将第一类问题整理为 C / A / E,将第二类问题整理为 S / D / B。
C = Condition 条件状态
A = Authority 许可状态
E = Execution Chain 执行链状态
S = Structure 结构完整性
D = Dynamics 动态时序有效性
B = Boundary 控制边界
两条轴组合后形成 C / A / E × S / D / B 的结构化判定关系,用于明确哪个状态变量域需要接受哪一种性质的工程判定。
CAE-SDB 判定结果随后进入控制仲裁,并继续连接多路径控制、执行结果和 PCN 状态迁移判定履历。
1. 为什么需要两条轴
TPCA / PCN 将系统从当前状态准备进入目标状态的工程入口定义为目标状态入口。
以机器人进入抓取阶段为例,现场可能同时存在:
视觉识别结果 = 成立
安全许可 = 成立
机器人准备状态 = 成立
下游接收状态 = 可接收
这些状态都与当前目标状态入口有关,但工程作用不同。
视觉识别结果与抓取条件有关;安全许可决定当前是否允许进入;机器人准备状态和下游接收状态参与判断进入抓取阶段以后执行链能否继续。
状态已经存在,还要确认其当前是否能够作为本次判定依据。例如:
- 相关信号、接口和映射关系是否已经建立;
- 状态是否仍属于当前对象和当前周期;
- 状态是否仍在有效时间内;
- 相关数值是否仍处于允许范围。
因此,“状态在本次迁移中的作用”和“当前需要进行什么性质的判定”是两个独立维度。
CAE-SDB 用 C / A / E 表示前者,用 S / D / B 表示后者。
2. C / A / E:状态迁移功能角色
C / A / E 按照状态在当前目标状态入口中承担的工程作用进行划分。
| 条件角色 | 许可角色 | 执行链接续角色 |
|---|---|---|
| C = Condition | A = Authority | E = Execution Chain |
| 条件状态 | 许可状态 | 执行链状态 |
| 进入目标状态所需条件 | 进入目标状态所需许可 | 与当前目标状态入口相关的执行链接续状态 |
| 条件是否成立? | 是否允许进入? | 进入以后必要执行链能否继续? |
C / A / E 均在目标状态入口之前由 PCN 获取和判定,其区别在于相关状态在本次状态迁移中承担的工程作用。
C / A / E 的划分用于区分一次状态迁移中三种不同的工程问题:
C:进入所需条件是否成立?
A:当前是否允许进入?
E:进入后的执行链是否能够继续接续?
三者都与同一个目标状态入口有关,但承担的工程作用不同。
2.1 为什么 C / A / E 需要分开
如果不区分条件、许可和执行链接续状态,不同性质的问题容易被压缩成同一个“未满足”或“不可进入”结果。
这种压缩会使现场无法直接判断问题究竟发生在哪一种工程关系上。
C 与 A:条件成立,不代表允许进入
例如,某自动化执行单元准备将工件送入下一加工阶段:
工件存在 = 成立
工件位置 = 合格
前序检测 = 完成
目标工位资源锁 = 未取得
上位系统放行 = 未成立
工件本身已经具备进入下一阶段所需的条件,但系统尚未取得当前目标状态入口所要求的许可。
按照 C / A / E 划分:
C = 成立
A = 不成立
如果 C 与 A 不加区分,资源锁或上位系统放行问题可能被统一表示为“条件不满足”。现场看到设备不能继续后,仍可能检查工件、位置和检测结果,而真正限制本次状态迁移的是许可状态。
因此:
条件成立,不代表当前已经获得进入许可。
A 可以来自安全系统、上位系统、区域控制、资源管理、对方设备、人工确认或权限管理等不同来源。关键 A 可以构成独立必要约束。即使 C 与 E 均满足,只要关键许可未成立,本次目标状态入口仍不得放行。
A 与 E:允许进入,不代表进入后的执行链能够继续接续
仍以该自动化执行单元为例:
目标工位资源锁 = 已取得
上位系统放行 = 成立
下游承接 = 不可用
必要结果回写链 = 不可用
此时,系统已经取得进入目标状态所需的许可,但与当前目标状态入口绑定的必要执行链仍无法继续接续。
按照 C / A / E 划分:
A = 成立
E = 不成立
如果 A 与 E 不加区分,容易把“已经获得进入许可”进一步理解为“进入以后可以继续执行”。这样可能在入口已经放行、相关动作已经发生以后,才发现必要的下游承接或结果回写无法继续。
因此:
允许进入,不代表进入后的执行链能够继续接续。
A 关注当前是否获得进入目标状态所需的许可,E 关注与当前目标状态入口绑定的执行链是否具备继续接续的状态。
C 与 E:进入条件成立,不代表执行链已经具备接续条件
例如:
工件存在 = 成立
工件位置 = 合格
前序检测 = 完成
下游工位 = 满载
缓存空间 = 不足
后续处理设备 = 无法承接
此时,进入目标状态所需要的工件和前序条件已经成立,但与当前目标状态入口相关的后续执行链无法继续接续。
按照 C / A / E 划分:
C = 成立
E = 不成立
如果 C 与 E 不加区分,容易把“当前已经具备进入条件”理解为“进入以后整个执行链也能够继续”。
因此:
进入所需条件成立,不代表进入后的执行链能够继续接续。
C 关注进入目标状态所需要的条件,E 关注与当前目标状态入口绑定的执行链接续状态。两者描述的是不同工程关系。
2.2 C / A / E 分开以后保留了什么信息
通过上述区分,同一个“不能进入目标状态”可以进一步展开为不同的工程状态:
C 不成立:
进入目标状态所需条件尚未成立
A 不成立:
条件可能已经成立,但当前没有进入许可
E 不成立:
条件和许可可能已经成立,但进入后的执行链无法继续接续
因此,C / A / E 的分离保留了状态迁移中三种不同的工程语义:
进入所需条件
↓
C:条件是否成立?
进入许可
↓
A:是否允许进入?
进入后的执行链接续要求
↓
E:能否继续接续?
三类状态均在目标状态入口之前由 PCN 获取和判定。这里的区别来自它们在本次状态迁移中承担的工程作用,与判定发生时间的先后顺序无关。
随后,C / A / E 三类状态分别接受 S / D / B 判定:
| S = Structure | D = Dynamics | B = Boundary |
|---|---|---|
| 结构完整性 | 动态时序有效性 | 控制边界 |
这样,CAE-SDB 的第一条轴回答:
这个状态在本次状态迁移中承担什么工程作用?
第二条轴进一步回答:
当前需要从什么性质对这个状态进行判定?
当前状态、目标状态、时间信息、状态标识、判定结果和控制结果具有各自独立的工程作用,不属于 C / A / E 状态变量域。
2.3 C:Condition|条件状态
C 表示进入目标状态之前需要成立的条件状态。
在自动化执行单元中,工件是否存在、对象位置与姿态是否满足要求、视觉或检测结果是否已经取得、前序工序是否完成,都可能属于当前目标状态入口的 C。
对于数字系统,请求参数和必要数据是否完整,也属于同类条件。
C 回答的是:
当前是否具备进入这个目标状态的条件?
2.4 A:Authority|许可状态
A 表示系统当前是否允许进入目标状态。
安全许可、区域许可、上位系统许可、对方设备许可、资源锁、用户权限和人工确认等,都可能属于 A。
关键 A 可以构成独立必要约束。关键许可未成立时,即使 C 与 E 均满足,本次目标状态入口仍不得放行。
A 回答的是:
当前是否允许进入这个目标状态?
2.5 E:Execution Chain|执行链状态
E 表示与当前目标状态入口绑定的、进入目标状态以后所需执行链是否能够继续接续。
例如机器人准备进入抓取阶段时,机器人本体执行能力、末端执行机构状态、当前抓取任务所需的下游承接以及必要的结果传递或回写链路,都可能作为 E 的相关状态。
回流、异常排出或替代路径如果不属于当前目标状态所需执行链,则不用于证明当前入口的 E 成立。这些路径可以作为后续多路径控制的候选方向;实际准备进入相应目标状态时,再按照对应的目标状态入口进行判定。
机器人准备状态可以作为 E 的一个输入,E 关注的是与当前目标状态入口绑定的执行链整体是否能够继续接续。
E 回答的是:
进入当前目标状态以后,与该入口绑定的必要执行链是否能够继续?
3. S / D / B:状态判定性质
完成 C / A / E 状态映射后,PCN 根据当前目标状态入口已定义的判定规则,对相关状态执行 S / D / B 判定。
三类判定分别处理结构完整性、动态时序有效性和控制边界。
| 判定性质 | 基本问题 |
|---|---|
| S:Structure | 判定所需结构是否已经定义、接入并可观测 |
| D:Dynamics | 当前状态是否仍可作为本次迁移的有效判定依据 |
| B:Boundary | 当前状态是否仍处于预先定义的允许边界内 |
3.1 S:Structure|结构完整性
S 用于确认本次状态迁移判定所依赖的工程结构是否已经建立。
这里的结构包括必要信号和接口、对象与状态之间的映射关系、许可来源、相关路径、执行链边界以及必要状态的可观测性。
一个状态即使在现场真实存在,如果判定系统没有定义相应信号、没有接入接口,或者无法确认它与当前对象和目标状态入口的关系,本次判定所需要的结构仍然不完整。
S 回答的是:
本次判定所依赖的结构是否已经定义、接入并可观测?
3.2 D:Dynamics|动态时序有效性
D 用于确认已经存在的状态,在当前时点是否仍能够作为本次目标状态入口的有效判定依据。
工程状态具有时间和运行周期属性。一个已经取得的状态,可能因为超时、未刷新、通信延迟、系统间不同步、许可撤销或状态切换而失去当前判定价值。
例如:
视觉识别结果 = 成立
如果这个结果对应上一件工件,状态值虽然仍然存在,但已经不能用于当前抓取入口。
D 回答的是:
这个状态现在还能否作为本次目标状态入口的有效判定依据?
3.3 B:Boundary|控制边界
B 用于确认相关状态是否仍处于当前目标状态入口预先定义的允许范围或控制边界内。
工程边界可以表现为数值范围、阈值、容差、容量、等待时长上限、工艺允许持续时间、次数上限或其他预先定义的控制参数。
例如某一尺寸的允许范围为:
19.90 mm ~ 20.10 mm
20.06 mm 仍在允许范围内,20.18 mm 则已经超出当前控制边界。
B 回答的是:
状态是否处于这个目标状态入口预先定义的控制边界内?
D 与 B 处理的是不同问题:
| 判定 | 关注点 |
|---|---|
| D | 状态在当前时点是否仍然有效 |
| B | 有效状态或过程量是否仍处于预先定义的允许边界内 |
例如,视觉结果属于上一件工件,属于 D;视觉结果属于当前工件,但位置偏差超过允许范围,则属于 B。
时间相关信息既可能参与 D,也可能参与 B,区别取决于其工程作用。状态更新时间、数据新鲜度、有效期和系统间同步性等用于判断当前状态是否仍可作为判定依据时,属于 D;等待时长上限、工艺允许持续时间、重试时间范围等作为预先定义的控制边界时,属于 B。
例如:
视觉结果距采集时间超过数据有效期
→ D:当前结果已失去本次判定的时序有效性
等待持续时间超过允许等待上限
→ B:当前等待过程已超出预先定义的控制边界
4. C / A / E 与 S / D / B 如何组合
两条轴组合后形成 CAE-SDB 双轴判定结构。
| 状态变量域 | S:结构完整性 | D:动态时序有效性 | B:控制边界 |
|---|---|---|---|
| C:条件状态 | C-S | C-D | C-B |
| A:许可状态 | A-S | A-D | A-B |
| E:执行链状态 | E-S | E-D | E-B |
每个坐标表示一个结构化判定位置,用于表达某一状态变量域需要接受哪一种性质的判定。只有相应规则已经定义、当前输入具备判定依据并完成实际判定后,才形成对应的 CAE-SDB 判定结果。
例如:
- C-D:对条件状态的动态时序有效性进行判定;
- A-D:对许可状态的动态时序有效性进行判定;
- E-B:对执行链状态的控制边界进行判定;
- C-S:对条件状态所需结构的完整性进行判定。
同一个状态变量域可以接受多种判定。
以映射到 C 的视觉识别结果为例,可以分别检查:
- C-S:识别结果接口和对象映射是否已经建立;
- C-D:识别结果是否仍属于当前工件并处于有效时间内;
- C-B:置信度、位置偏差等是否处于允许范围。
同一种判定性质也可以作用于不同变量域。例如:
C-D:视觉结果过期
A-D:许可已经撤销
E-D:下游状态长时间未刷新
CAE-SDB 判定结果只有在相应规则已经定义、当前输入具备判定依据,并完成实际判定后才能形成。
时间信息(T) 与相关状态和判定结果一起保留。T 用于记录和关联状态迁移判定中的时间信息,不构成 CAE-SDB 的第三条分析轴。
5. CAE-SDB 判定结果的位置
CAE-SDB 负责把与当前目标状态入口有关的状态按照 C / A / E 与 S / D / B 两条轴进行结构化,并形成一个或多个判定结果。
一次目标状态入口中,可以同时形成 C-D、A-B、E-D 等多个结果。
这些结果与时间信息(T)一起进入控制仲裁。控制仲裁根据完整判定结果、关键许可和既定控制约束确定控制方向,再形成相应的多路径控制。
具体控制路径、执行结果以及履历记录由后续控制和 PCN 状态迁移判定履历处理。
CAE-SDB 判定结果与具体控制动作之间不采用固定的一一对应关系。
6. 适用范围与工程边界
CAE-SDB 的直接适用对象,是具有明确状态迁移关系的工程系统。
实际应用时,需要先明确:
- 系统当前处于什么状态或阶段;
- 准备进入什么目标状态或阶段;
- 目标状态入口位于哪里;
- 哪些状态与本次迁移直接相关。
随后,根据这些状态在当前目标状态入口中的工程作用进行 C / A / E 状态映射,再根据实际工程要求执行必要的 S / D / B 判定。
设备类型、控制平台、行业和具体信号名称可以不同。状态映射、判定规则和控制边界需要结合实际工程对象确定。
CAE-SDB 提供的是围绕目标状态入口组织状态迁移判定的双轴分析结构。
参考文献与外部资料
以下资料用于说明与 CAE-SDB 相关的状态迁移、状态信息有效性和时间顺序等既有工程基础。
HAREL D.
Statecharts: A Visual Formalism for Complex Systems.
Science of Computer Programming, 1987, 8(3): 231–274.
DOI: 10.1016/0167-6423(87)90035-9
https://www.sciencedirect.com/science/article/pii/0167642387900359参照理由:
该研究是复杂系统状态与状态迁移结构化表达的代表性研究,用于说明状态迁移建模的既有理论背景。OPC Foundation.
OPC Unified Architecture — Part 4: Services.
https://reference.opcfoundation.org/specs/OPC-10000-4/full参照理由:
OPC UA 将状态值、状态质量和时间信息关联处理,可作为理解“状态存在”与“状态是否仍可作为当前判定依据”之间差异的工业通信参考。LAMPORT L.
Time, Clocks, and the Ordering of Events in a Distributed System.
Communications of the ACM, 1978, 21(7): 558–565.
DOI: 10.1145/359545.359563
https://www.microsoft.com/en-us/research/publication/time-clocks-ordering-events-distributed-system/参照理由:
该研究讨论分布式系统中的事件顺序与时间关系,可用于理解多个系统状态共同参与同一目标状态入口判定时的时序问题。
这些资料用于说明 CAE-SDB 所涉及问题的既有工程基础。CAE-SDB 的双轴结构是 TPCA / PCN 围绕目标状态入口形成的结构化分析方法。
文档信息
题目:为什么是 CAE-SDB?——目标状态入口前的双轴结构化分析方法
文档类型:技术札记
版本:Public Note Version 1.3
首次发布日期:2026-08-25
最后更新:2026-09-30
作者:全野南政 / Nansei Zenno
当前 URL:https://zennns.com/zh/notes/why-cae-sdb/
本文属于 TPCA / PCN 状态迁移前置控制体系的公开说明内容。