Constraint-based functional design verification for conceptual design

被引:70
作者
Deng, YM [1 ]
Britton, GA [1 ]
Tor, SB [1 ]
机构
[1] Nanyang Technol Univ, Sch Mech & Prod Engn, Singapore 639798, Singapore
关键词
conceptual design; design verification; functionality constraints; constraint propagation; graphs;
D O I
10.1016/S0010-4485(00)00077-4
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In the early stages of mechanical product design, designers not only need to determine the physical structure of the design, but also need to verify that the design functions properly with the allowable values or ranges of values of the relevant design attributes. Existing work on design verification is either aimed at specific design problems, which are generally carried out at the downstream design stages, or aimed at deriving design behavior using a behavioral simulation approach. Functional design verification has largely been neglected by the research society. To tackle this problem, we propose a generic constraint-based approach that is based on a comprehensive functional design model. A number of strategies are proposed for the approach, including strategies for design variables reduction, variable dependency graph development, constraint propagation, and dynamic verification of a design over an assigned set of attributes (variables). The approach is implemented as part of a functional modeling design environment. A simple design verification case is presented to illustrate our approach. (C) 2000 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码:889 / 899
页数:11
相关论文
共 13 条
  • [1] BOBROW DG, 1984, QUALITATIVE REASONIN, P1
  • [2] Functional descriptions used in computer support for qualitative scheme generation - ''Schemebuilder''
    Bracewell, RH
    Sharpe, JEE
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1996, 10 (04): : 333 - 345
  • [3] Chakrabarti A., 1999, P 12 INT C ENG DES M, V2, P661
  • [4] CHANDRASEKARAN B, 1990, AI MAG, V11, P59
  • [5] Cross N, 1994, ENG DESIGN METHODS S
  • [6] A design perspective of mechanical function and its object-oriented representation scheme
    Deng, YM
    Britton, GA
    Tor, SB
    [J]. ENGINEERING WITH COMPUTERS, 1998, 14 (04) : 309 - 320
  • [7] DENG YM, 1999, P 5 ACM S SOL MOD AP, P1
  • [8] IWASAKI Y, 1992, ARTIFICIAL INTELLIGENCE IN DESIGN 92, P597
  • [9] Mudge A., 1989, VALUE ENG SYSTEMATIC
  • [10] TOR SB, 1998, INTEGRATED PRODUCT P, P29