摘要
因果定性推理是一种通过分析、描述物理系统行为和关系的约束、找出系统内部各个成分之间的因果结构的推理方法，本文提出了一种基于整数规划的几何因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可以较好地解决参数化设计中的几何推理问题，还可以用作概念设计的工具，用于完成复杂系统设计任务的划分以及定序、设计变量之间相互依赖关系分析等工作．算法具有约束处理能力强、应用范围广、求解效率和稳定性好以及支持欠约束和多解问题等优点．
Causal qualitative reasoning is aimed to explore the causalities between components in a system by analyzing the descriptions for physical behaviors and relationships of the system. This paper presents a model and algorithms of causal qualitative reasoning based on integer programming. The result can be widely applied to many aspects of product design systems,such as parametric design by geometric reasoning,decornposition of complex design tasks and dependency analysis of design parameters. The algorithms have advantages in applicability, efficiency, robustness and ability to deal with under-constrained conditions in a constraint system.
出处
《计算机学报》
EI
CSCD
北大核心
1997年第12期1095-1104,共10页
Chinese Journal of Computers
基金
国家自然科学基金
关键词
因果推理
几何推理
整数规划
建模
CAD
Computer-aided design
parametric design
causal reasoning
geometric reasoning
integer programming.
