建築設計支援システムにおける小規模な組合せ選択問題のためのプログラミング手法 : 設計計算手順の定式化から生成検証法によるプログラム作成までの実際

概要

論文の詳細を見る
If a designer can use a computer language which can directly represent a data flow diagram, some design solutions can be systematically generated and easily tested. We arranged such a computer language and discussed the programming technique using the language from a standpoint of an architectural designer. Our discussions are summarized as follows: (1) Because the procedure of generate-and-test can be directly expressed by the data flow formulation, the designer can easily describe the calculation procedure. (2) Programming the generate-and-test procedure using a procedural computer language such as FORTRAN cannot make good use of the above advantages (1), because the programming re-quires to translate the data flow formulation into a control flow diagram. (3) The above defect is overcome by the use of a computer language which is able to correspond to the data flow formulation directly. We arranged such a computer language and called it DSP in this paper. The design calculation system is easily constructed and maintained the designer himself using such a computer language. , (4) DSP has some debugging aids such as a data flow analysis and a data type checking, and these are helpful to formalize the design calculation procedure.
社団法人日本建築学会の論文
1990-11-30