This paper deals with an extension of General Design Theory. Some theorems are deduced from a hypothesis that states compactification of the entity concept space by topology of physical laws, and this entity concept space is called real knowledge. In the real knowledge, design solutions are obtained as cluster points, and it is possible to get a partial sequence that converges to one of the cluster points. But this result does not necessarily guarantee the convergence of the design specifications to the design solution. In order to discuss convergence policies in the real knowledge, metamodel concept space is defined as a subset of the attribute concept space. Detailization of a metamodel gives an entity which is considered to be an approximation of the design solution. This design process is called evolution model of metamodels. If the design specifications are written in terms of physical laws, it is possible to get the design solution by detailing the metamodel which is defined as the finite coverings for the design specifications. This study is necessary to establish the concept of future intelligent and integrated CAD systems.

抄録全体を表示