Simulation of design process

被引：0

作者：

Jelínek, I ^{[1
]}

机构：

[1] Czech Tech Univ, Dept Comp Sci & Engn, CZ-12135 Prague 2, Czech Republic

来源：

MODELLING AND SIMULATION 2001 | 2001年

关键词：

computer aided design; design theory; design process; formal methods; modal logic;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The main problem of the theory of design is to find an appropriate means for design process description. The paper presents a brief overview of formal methods used for the description of design process or its fundamental parts. In the next part of the paper there is presented a new method for design process description by the formal means of modal logic. In the conclusion of the paper the idea of using of modal logic as a tool for the description of the analytical part of design process is documented by simple examples.

引用

页码：394 / 398

页数：5

共 14 条

[1] AKMAN V, 1990, COMPUTER AIDES DESIG, V22
[2] [Anonymous], 1980, Modal Logic: An Introduction, DOI DOI 10.1017/CBO9780511621192
[3] [Anonymous], 1990, PRINCIPLES DESIGN
[4] Jelínek I, 2000, PROCEEDINGS OF THE 6TH INTERNATIONAL DESIGN CONFERENCE: DESIGN 2000, P107
[5] JELINEK I, 1997, 197 CTU
[6] Pavkovic N, 2000, PROCEEDINGS OF THE 6TH INTERNATIONAL DESIGN CONFERENCE: DESIGN 2000, P29
[7] A CRITICAL-REVIEW OF GENERAL DESIGN THEORY
REICH, Y
[J]. RESEARCH IN ENGINEERING DESIGN-THEORY APPLICATIONS AND CONCURRENT ENGINEERING, 1995, 7 (01): : 1 - 18
[8] Smets P., 1988, Non-standard logics for automated reasoning
[9] TAKEDA H, 1994, P IFIP TC5 WG5 2 WOR, P221
[10] Tomiyama T, 1998, UNIVERSAL DESIGN THE, P25

← 1 2 →