Skip to main content

Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques

  • Conference paper
Principles and Practice of Constraint Programming – CP 2007 (CP 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4741))

Abstract

In this paper, the embodiment design of an air conditioning system (ACS) in an aircraft is investigated using interval constraint satisfaction techniques. The detailed ACS model is quite complex to solve, since it contains many coupled variables and many constraints corresponding to complex physics phenomena. Some new heuristics and notions based on embodiment design knowledge, are briefly introduced to undertake some embodiment design concepts and to obtain a more relevant and more efficient solving process than classical algorithms.

The benefits of using constraint programming in embodiment design are discussed and some difficulties for designers using CP tools are shortly detailed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: International Conference on Logic Programming, pp. 230–244. MIT Press, Cambridge (1999)

    Google Scholar 

  2. Bliek, C., Neveu, B., Trombettoni, G.: Using Graph Decomposition for Solving Continuous CSPs. In: Maher, M.J., Puget, J.-F. (eds.) Principles and Practice of Constraint Programming - CP 1998. LNCS, vol. 1520, Springer, Heidelberg (1998)

    Google Scholar 

  3. Fischer, X., Sebastian, P., Nadeau, J.-P., Zimmer, L.: Constraint based Approach Combined with Metamodeling Techniques to Support Embodiment Design. In: SCI 2004, Orlando, USA (2004)

    Google Scholar 

  4. Gelle, E., Faltings, B.: Solving Mixed and Conditional Constraint Satisfaction Problems. Constraints 8, 107–141 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  5. Kays, W.M., London, A.L.: Compact Heat Exchangers. Mc Graw-Hill, New York (1984)

    Google Scholar 

  6. Lhomme, O.: Consistency Techniques for Numeric CSPs. In: IJCAI 1993, Chambéry, France (1993)

    Google Scholar 

  7. Moore, R.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)

    MATH  Google Scholar 

  8. Neveu, B., Chabert, G., Trombettoni, G.: When Interval Analysis Helps Interblock Backtracking. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. O’Sullivan, B.: Constraint-Aided Conceptual Design. Professional Engineering Publishing (2001)

    Google Scholar 

  10. Pahl, G., Beitz, W.: Engineering Design: A Systematic Approach. Springer, Heidelberg (1996)

    Google Scholar 

  11. Reddy, S.Y., Fertig, K.W., Smith, D.E.: Constraint Management Methodology for Conceptual Design Tradeoff Studies. In: Design Theory and Methodology Conference, Irvine, CA (1996)

    Google Scholar 

  12. Refalo, P.: Tight Cooperation and Its Application in Piecewise Linear Optimization. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming – CP 1999. LNCS, vol. 1713, pp. 375–389. Springer, Heidelberg (1999)

    Google Scholar 

  13. Scaravetti, D., Nadeau, J.P., Sébastian, P., Pailhès, J.: Aided Decision-Making for an Embodiment Design Problem. In: International IDMME, Bath, UK (2004)

    Google Scholar 

  14. Sébastian, P., Chenouard, R., Nadeau, J.P., Fischer, X.: The Embodiment Design Constraint Satisfaction Problem of the BOOTSTRAP facing interval analysis and Genetic Algorithm based decision support tools. International Journal on Interactive Design and Manufacturing (2007), ISSN: 1955-2513.

    Google Scholar 

  15. Szykman, S., Racz, J.W., Sriram, R.D.: The Representation of Function in Computer-based Design. In: Proceedings of the 1999 ASME Design Engineering Technical Conferences (11th International Conference on Design Theory and Methodology) (1999), DETC99/DTM-8742.

    Google Scholar 

  16. Van-Hentenryck, P., Mc Allester, D., Kapur, D.: Solving Polynomial Systems Using Branch and Prune Approach. SIAM Journal on Numerical Analysis 34(2), 797–827 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  17. Vu, X.-H.: Rigorous Solution Techniques for Numerical Constraint Satisfaction Problems. PhD thesis, Swiss Federal Institute of Technology in Lausanne (EPFL) (2005)

    Google Scholar 

  18. Yannou, B., Simpson, T.W., Barton, R.R.: Towards a Conceptual Design Explorer using Metamodeling Approaches and Constraint Programming. In: ASME DETC 2003, Chicago, USA (2003)

    Google Scholar 

  19. Zimmer, L., Zablit, P.: Global Aircraft Predesign based on Constraint Propagation and Interval Analysis. In: CEAS-MADO 2001, Koln, Germany (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Christian Bessière

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chenouard, R., Sébastian, P., Granvilliers, L. (2007). Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. In: Bessière, C. (eds) Principles and Practice of Constraint Programming – CP 2007. CP 2007. Lecture Notes in Computer Science, vol 4741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74970-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74970-7_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74969-1

  • Online ISBN: 978-3-540-74970-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics