《表3 实体间作用关系相关谓词》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《面向流水型设备的组件行为协同自动化》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

PredEF为相关谓词集合，如表3所示.其中，命题Is Enabled（se）表示作用轨道节se使能；命题Is WithEffectToByO（eff，dir，pn，o，o&apos；）表示存在轨道节s1和s2，令命题VarOAt（o&apos；，s1）、VarOAt（o，s2）和DefEffect（s1，eff，dir，pn，s2）成立，即o&apos；对o施加类型为eff、方向为dir、效应为pn的作用；命题IsWithEffectToByE（eff，dir，pn，o，se）表示命题IsEnabled（se）成立，而且存在s2∈SEC_O，使得VarOat（o，s2）和DefEffect（se，eff，dir，pn，s2）成立，即作用轨道节对实体施加作用.