区域连接演算（Region Connection Calculus，RCC）是一种用于空间定性表示和推理的形式化模型，如RCC5，RCC8等，其一致性检查被证明是一个NP......

针对产品概念设计阶段获取的用户需求功能,利用空间定性推理方法,在功能范畴下以基本功能集为组成单元,以包含运动、能量、控制、......