MITE
发表于 2025-3-28 15:15:32
Discussion Session: Design ProcessTreur’ s presentation on a Logical Framework for Design Processes took us deep into logical abstraction, focusing on formal expressions of requirements and inferencing processes that can generate solutions. A key interest was the formal treatment of partial requirements and the use of unsatisfactory
Evocative
发表于 2025-3-28 20:31:41
An Experience in Adding Persistence to Intelligent CAD Environmentshe paper focuses on persistency and concurrency. The specific nature of the implementation of persistency mechanisms depends strongly on the structure of the objects. Thus, requirements concerning the object structure are examined. Several previous solutions for persistency are described. We then pr
defuse
发表于 2025-3-29 00:29:13
Application of History Mechanism in Architectural Designially about causal dependencies) between design objects is stored and employed. Based on its history mechanism, containing all steps of the design process, MetaViews facilitates flexible interactive experimentation and variation of geometric forms. A case study about designing small houses with the
ACRID
发表于 2025-3-29 03:47:14
http://reply.papertrans.cn/47/4694/469392/469392_44.png
Grasping
发表于 2025-3-29 08:55:52
http://reply.papertrans.cn/47/4694/469392/469392_45.png
Apraxia
发表于 2025-3-29 12:53:09
An Experience with Developing a Design Knowledge Representation Languagee object-oriented language Smalltalk-80.. IDDL is the kernel language of the IIICAD (Intelligent Integrated Interactive CAD) system and is developed to represent design knowledge about both design processes and design objects. First, the IDDL language specifications are reviewed. Following a brief n
GROWL
发表于 2025-3-29 15:46:13
Design Process Representation in ADDL a special purpose programming language which conceived at the Centre for Mathematics and Computer Science (CWI). It is now being further developed both at the University of Tokyo and at CWI. ADDL is designed for implementing systems which assist a designer in performing a design task. It allows dyn
费解
发表于 2025-3-29 23:24:09
http://reply.papertrans.cn/47/4694/469392/469392_48.png
NUL
发表于 2025-3-30 01:05:31
GARE: Geometric Analysis and Reasoning Enginecation. Geometric modeling and geometric reasoning are crucial components of the design and operation phases of the modern automated systems. Intelligent Computer Aided Design (ICAD) systems should not only allow for geometric modeling but also provide capabilities for reasoning with the geometry. M
Outwit
发表于 2025-3-30 04:46:26
Constraint Satisfaction Techniques for Spatial Planningplans, arrangement of equipment in rooms, and site planning. Space planning is a search process characterized by very large search spaces. Constraint directed search provides a basic problem solving methodology for intelligent CAD by providing a formal method for representing domain knowledge unifor