機械系CADのための設計変数・制約ネットワークにおける制約充足の一方式

概要

論文の詳細を見る
We describe a design process by using constraint networks which consist of constraint nodes and attribute nodes. The constraint nodes contain design formulae, and the attribute nodes represent design variables. The constraint representation allows the system to describe an object declaratively. However, as the constraint programming doesn't give a structural description of the design process, it is difficult to apply the constraint programming to a bigger system. In order to improve this difficulty, we present a new method that divides a complex constraint network into several constraint modules in which every module is composed of a simpler and smaller constraint network. Moreover, we present a new method to solve the constraint network problems with closed loops. The usefulness of these methods is illustrated by application to the design of a gear system.
社団法人日本機械学会の論文
1993-12-25