設計における思考支援システムの研究 : 知識を用いた制約コンパイラ

概要

論文の詳細を見る
This paper describes a method of constraint compiler from functional constraints expressed by linguistic terms to mathematical constraints in order to get a model of physical behavior and rough values of design variables. The functional constraints are composed of two types of knowledge. One is functional knowledge which represents functional relations among design objects. The other is mathematical knowledge which represents physical formula to give relations between function and behavior. The method derives relations of physical behavior from functional knowledge by making reference to mathematical knowledge, and makes mathematical constraints consistent in all design objects. The mathematical constraints are compiled to constraint networks, which are data to Network Specification Solver (NeSS) using the first order approximation. NeSS is developed by the author, and infers values of design variables from the networks gives some specifications. The method is applied to the design simulation of Laser Graphic Device. As a result, the validity of this method is certified.
公益社団法人精密工学会の論文
1992-06-05