《表1 CSP中动作约束的互斥关系判定》
若两个动作约束的前提条件不发生冲突,则需要根据冲突判定2和3进一步考察。根据之前对约束表特征的研究,表头中变量可分为可变量与不变量,分别反映在相邻层之间该变量的变化情况。本文根据驱动变量的变化情况分类讨论,可分为表1中的4种情况。
图表编号 | XD00137314600 严禁用于非法目的 |
---|---|
绘制时间 | 2019.12.01 |
作者 | 姜啸、徐瑞、陈俐均 |
绘制单位 | 北京航天控制仪器研究所、北京理工大学深空探测技术研究所、深空自主导航与控制工业和信息化部重点实验室、北京航天控制仪器研究所 |
更多格式 | 高清、无水印(增值服务) |