ネットワークによる仕様充足問題解決の一方法

概要

論文の詳細を見る
This paper describes a method of specification satisfaction, which is a kind of inverse problem solving, aiming to reason values of design variables of a hydraulic robot arm from given specifications of work area variables. Information representation for the aim is based on a network composed of nodes, which mean terms of each mathematical expression included in constraints to satisfy specifications, and arcs which connect terms with their mathematical expressions. Therefore, nodes and arcs make a bidirectional structure of constraints network between work area variables and design variables. The solution process has two phases. One is modification propagation employing linear approximation. It gradually modifies values of design variables in inverse from specifications of work area variables on the network. The other calculates values of work area variables regularly using the modified values of design variables. The two are repeated by turns till all the values of work area variables reach their specifications within given errors. A system by this method is programmed in Prolog and applied to real problems. As a result, the validity of the method is confirmed.
公益社団法人精密工学会の論文
1991-04-05