Generating sample looks for geometric objects in a visual design language

被引:1
作者
Banyasad, Omid [2 ]
Cox, Philip T. [1 ]
机构
[1] Dalhousie Univ, Fac Comp Sci, Halifax, NS, Canada
[2] IBM Software Grp, Ottawa Lab, Ottawa, ON, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
Design language; Logic programming; Computer-aided design; Solid modelling; Sample look; Design space;
D O I
10.1016/j.jvlc.2010.07.002
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A major application of visualisation is to the design of structured objects such as buildings, machinery and electronic circuits, as in computer-aided design (CAD) systems. Complex designs are frequently parameterised so that they represent families of objects rather than single artifacts, and building them requires design environments that support both the concrete visualisation and manipulation of components, and the abstract specification of how they are related. CAD systems usually separate these two aspects, providing the abstract programming capability via a textual programming language grafted on to a 3D object editor and solid modeller. A recently proposed design language merges these two activities by embedding representations of solid objects in a visual logic programming language. A practical issue that arises is how to automatically generate a "sample look, a reasonable representation for a parameterised object which can be displayed during execution (assembly) of a design. We present a solution to this problem based on "factoring", which separates the constraints on a solid object from its geometric properties. (C) 2010 Elsevier Ltd. All rights reserved.
引用
收藏
页码:107 / 119
页数:13
相关论文
共 22 条
[1]  
*AUT INC, AUT INV
[2]   Integrating design synthesis and assembly of structured objects in a visual design language [J].
Banyasad, O ;
Cox, PT .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 :601-621
[3]  
BANYASAD O, 2006, THESIS DALHOUSIE U
[4]  
*BENTL SYST INC, 2004, MICROSTATION V8
[5]  
Bezier P, 1998, IEEE ANN HIST COMPUT, V20, P37
[6]  
BOUSFIELD T, 1998, PRACTICAL GUIDE AUTO
[7]   Grammatical design [J].
Brown, K .
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1997, 12 (02) :27-33
[8]  
Chau HH, 2004, DESIGN COMPUTING AND COGNITION '04, P357
[9]  
CORNEY J, 1997, 3D MODELLING ACIS KE
[10]   INCORPORATING EQUALITY INTO LOGIC PROGRAMMING VIA SURFACE DEDUCTION [J].
COX, PT ;
PIETRZYKOWSKI, T .
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) :177-189