Set based robust design of mechanical systems using the quantifier constraint satisfaction algorithm

被引:17
|
作者
Qureshi, Ahmed Jawad [1 ,2 ]
Dantan, Jean-Yves [1 ]
Bruyere, Jerome [3 ]
Bigot, Regis [1 ]
机构
[1] Arts & Metiers ParisTech Metz, LCFC, F-57078 Metz 3, France
[2] Higher Educ Commiss, Islamabad, Pakistan
[3] Univ Lyon, CNRS, INSA Lyon, LaMCoS UMR5259, F-69621 Villeurbanne, France
关键词
Set based design; Robust design; Quantified constraint satisfaction problem; Quantifiers; Tolerance integration; Variation integration; Interval arithmetic; Domain splitting search method;
D O I
10.1016/j.engappai.2010.02.003
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Embodiment design is an important phase of the design process where the initial design parameters and their feasible solution spaces with design configurations are decided for the design problem. This article presents a new approach of embodiment design space exploration of the product based on set based design with integration of robustness for the mechanical systems. The approach presented addresses the initial design phase of the mechanical systems design and provides a three step approach based on a formal expression syntax, transformation and evaluation engine and a computational algorithm for performing a domain search for sets of robust solutions for the product designs by taking into the account the variations and uncertainties related to the manufacturing process and material. The approach is based on the design domain exploration and reduction techniques. This is achieved by the utilization and integration of existential and universal quantifiers from the quantifier constraint satisfaction problem (QCSP) for the expression of the parameters and variables related to the product design and robustness. The quantifier notion has been used to develop the consistency check for the existence of a design solution and existence of a robust design solution. In order to compute the developed quantifier approach, an algorithm based on the transformation of the quantifier with interval arithmetic has also been developed. In order to demonstrate the capability of the developed approach, this article includes three examples of mechanical systems from earlier research works that apply the quantifier model and the resolution algorithm to successfully explore the design domain for robust solutions while taking into account different types of variations such as variations in mechanical/material properties, manufacturing variations or variations in geometric dimensions which may be of continuous or discrete type. (C) 2010 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1173 / 1186
页数:14
相关论文
共 50 条
  • [1] Using constraint satisfaction for designing mechanical systems
    Yvars, Pierre-Alain
    [J]. INTERNATIONAL JOURNAL OF INTERACTIVE DESIGN AND MANUFACTURING - IJIDEM, 2008, 2 (03): : 161 - 167
  • [2] Robust fault detection of non-linear systems using set-membership state estimation based on constraint satisfaction
    Tornil-Sin, Sebastian
    Ocampo-Martinez, Carlos
    Puig, Vicenc
    Escobet, Teresa
    [J]. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2012, 25 (01) : 1 - 10
  • [3] Parametric and Robust Design Using the Quantifier Notion
    Qureshi, Ahmed Jawad
    Dantan, Jean-Yves
    Bruyere, Jerome
    Bigot, Regis
    [J]. CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2009, : 1359 - +
  • [4] Solving set constraint satisfaction problems using ROBDDS
    Hawkins, P
    Lagoon, V
    Stuckey, PJ
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2005, 24 : 109 - 156
  • [5] Robust Point-to-Set Control of Hybrid Systems with Uncertainties Using Constraint Tightening
    Liu, Zonglin
    Stursberg, Olaf
    [J]. IFAC PAPERSONLINE, 2020, 53 (02): : 6806 - 6812
  • [6] Robust Constraint Satisfaction for Continuous-Time Nonlinear Systems
    Buerger, Mathias
    Guay, Martin
    [J]. 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 7 - 12
  • [7] Robust design based on constraint networks
    Xiong, GG
    Li, T
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2002, 32 (05): : 596 - 604
  • [8] QFT prefilter design for multivariable systems using interval constraint satisfaction technique
    Patil M.D.
    Nataraj P.S.V.
    [J]. Journal of Control Theory and Applications, 2013, 11 (4): : 529 - 537
  • [9] Using Constraint Satisfaction and Optimization for Pattern-Based Software Design
    Vathsavayi, Sriharsha
    Sievi-Korte, Outi
    Koskimies, Kai
    Systa, Kari
    [J]. 2014 23RD AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2013, : 29 - 37
  • [10] QFT preflter design for multivariable systems using interval constraint satisfaction technique
    Mukesh D.PATIL
    P.S.V.NATARAJ
    [J]. Control Theory and Technology, 2013, 11 (04) : 529 - 537