Combining Mathematical Programming and SysML for Automated Component Sizing of Hydraulic Systems

In this paper, we present a framework for automated component sizing to extend a designer's ability to evaluate a particular configuration during the architecture exploration phase of a design process. Component sizing is a hard problem to solve, both from a computational and modeling aspect. This is because of competing objectives, requirements from multiple disciplines, and the need to find a good solution quickly for the architecture being considered. In current approaches, designers rely on heuristics and iterate over the multiple objectives and requirements until a satisfactory solution is found. To improve on this state of practice, we introduce advances in the following two areas: (a) solving the problem efficiently so that all of the imposed requirements are satisfied simultaneously and the solution obtained is mathematically optimal and (b) modeling a component sizing problem in a manner that is convenient to designers. An acausal, algebraic, equation-based, declarative modeling approach using mathematical programming (GAMS) is taken to solve these problems more efficiently. The object management group systems modeling language (OMG SysML™) is used to model component sizing problems in order to facilitate problem formulation, model reuse and automatic generation of low-level code that can be solved using GAMS and its solvers. This framework is demonstrated by applying it to an example of a hydraulic log splitter. Based on this initial example, we discuss two advantages of this framework—total time taken in solving multiple scenarios for a given configuration and the graphical representation of a problem in SysML.

[1]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.

[2]  Ricardo Soto,et al.  Model-driven constraint programming , 2008, PPDP.

[3]  Andy Schürr,et al.  Tool Integration with Triple Graph Grammars - A Survey , 2006, FoVMT.

[4]  Nikolaos V. Sahinidis,et al.  Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach , 2002, COCOS.

[5]  Christiaan J. J. Paredis,et al.  COMPOSING TRADEOFF MODELS FOR MULTI-ATTRIBUTE SYSTEM-LEVEL DECISION MAKING , 2008 .

[6]  John S. Gero,et al.  Knowledge-Based Design Systems , 1989 .

[7]  Luciano Baresi,et al.  Tutorial Introduction to Graph Transformation: A Software Engineering Perspective , 2002, ICGT.

[8]  Michael R. Bussieck,et al.  General Algebraic Modeling System (GAMS) , 2004 .

[9]  Achim D. Brucker,et al.  Metamodel-based UML Notations for Domain-specific Languages , 2007 .

[10]  A. E. Eiben,et al.  Constraint-satisfaction problems. , 2000 .

[11]  D G Tilley,et al.  Development of a design support tool for fluid power system design , 2001 .

[12]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[13]  Peter J. Stuckey,et al.  MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.

[14]  G. R. Dunlop,et al.  An expert design assistant for hydraulic systems , 1993, Proceedings 1993 The First New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems.

[15]  Andy Schürr,et al.  A Comparison of Standard Compliant Ways to Define Domain Specific Languages , 2008, MoDELS.

[16]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[17]  Laurent Granvilliers,et al.  Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques , 2007, CP.

[18]  Eugene C. Freuder,et al.  Constraint Satisfaction: An Emerging Paradigm , 2006, Handbook of Constraint Programming.

[19]  Barry O'Sullivan,et al.  Constraint-Aided Conceptual Design , 2002, Engineering research series.

[20]  Christiaan J. J. Paredis,et al.  Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering , 2009 .

[21]  Andrew P. Sage,et al.  Introduction to systems engineering , 2000 .

[22]  Nikolaos V. Sahinidis,et al.  BARON: A general purpose global optimization software package , 1996, J. Glob. Optim..

[23]  Nelson Back,et al.  Shaping the Process of Fluid Power System Design Applying an Expert System , 2000 .

[24]  Raymond E. Levitt Knowledge-based systems in engineering , 1991 .

[25]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[26]  Mark D. Gross,et al.  Design as exploring constraints , 1985 .