摘要：工程设计问题本质上是一个约束满足问题,以往的研究集中在约束的求解上,忽略了对约束的检测和约束信息的可视化,随着工程规模的扩大和领域专家的需要,现代CAD系统与其约束自适应,不如把问题检测出来并以可视的方式告知系统设计者,于是探讨工程设计中的约束分类,合理组织约束信息的数据结构,研究约束可视化形式方法具有重要的理论意义和实际应用价值.在基于模板思想的基础上,这里给出了以模板为载体,多种知识表述方法相结合的约束信息表示形式,将层次细节模型运用于工程约束,提出了一种约束信息层次可视化模型,针对冷冲模设计和反应堆概念设计,给出了一个约束可视化原型系统CCVS.
