Skip to main content

Why Our Company Uses Programming Languages for Mathematical Modeling and Optimization

  • Chapter
  • First Online:
Algebraic Modeling Systems

Part of the book series: Applied Optimization ((APOP,volume 104))

Abstract

In this article the main reasons why Infineon Technologies uses programming languages for optimization in its semiconductor manufacturing facilities are presented. Experiences from the past with optimization techniques for logistical problems in our fabs are discussed and our choice of programming languages for optimization is explained as a strategic decision. A closer look at the scheduling and routing problems as they appear in our semiconductor fabs shows that this choice was also practically enforced, since we encountered certain specific and severe difficulties when we tried to work with a commercial Algebraic Modeling Language (AML) and the accompanying solver suite at one of our basic optimzation problems, namely a specific routing problem requiring load minimization, load homogeneity and fair queueing. The possible gain of new developments in AMLs for modeling transparancy in our company is disputed and we conclude that the incorporation of Brownian network formulations into AMLs could possibly relieve our optimization programmers’ work.

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 EPUB and 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
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  1. Beisiegel, B.: Modeling Languages: What I liked in the Past and what I hope for the Future, 85th Meeting of the GOR Working Real World Optimization, Physikzentrum Bad Honnef (2010)

    Google Scholar 

  2. Bertsekas, D., Gallager, R.: Data Networks. Prentice Hall, Englewood Cliffs, NJ (1987)

    Google Scholar 

  3. Chen, H., Yao, D.D.: Fundamentals of Queueing Networks. Springer, New York (2001)

    Book  Google Scholar 

  4. Dai, J.G., Hasenbein, J.J., Kim, B.: Stability of join-the-shortest-queue-networks. Queueing syst. 57, 129–145 (2007)

    Article  Google Scholar 

  5. Fujimoto, R.M.: Parallel discrete event simulation: will the field survive? ORSA J. Comput. 5(3), 213–230 (1993)

    Article  Google Scholar 

  6. Gold, H.: Dynamic Optimization of Routing in a Semiconductor Manufacturing Plant. Operations Research Proceedings 2004. Springer, Heidelberg (2004)

    Google Scholar 

  7. Gold, H., Frötschl, B.: Performance Analysis of a Batch Service System. In: Labetoulle, J., Roberts, J.W. (eds.), The Fundamental Role of Teletraffic in the Evolution of Telecommunications Networks. Vol. I, pp. 155–168. Elsevier, Amsterdam (1994)

    Google Scholar 

  8. Gold, H.: A markovian single server with upstream job and downstream demand arrival stream. Queueing Syst. 30(4), 435–455 (1998)

    Article  Google Scholar 

  9. Gross, D., Harris, C.M.: Fundamentals of Queueing Theory. Wiley, New York (1988)

    Google Scholar 

  10. Harrison, J.M.: The BIGSTEP approach to flow management in stochastic processing networks. In: Kelly, F., Zachary, S., Ziendins, I. (eds.), Stochastic Networks: Theory and Applications Oxford University Press, Oxford, 57–90 (1996)

    Google Scholar 

  11. Kallrath, J. (ed.): Modeling Languages in Mathematical Optimization. Kluwer Academic Publishers, Norwell, MA, USA (2004)

    Google Scholar 

  12. Kallrath, J.: Polylithic Modeling and Solution Approaches Using Algebraic Modeling Systems. Optimization Lett. 5(3), 453–466 (2011)

    Article  Google Scholar 

  13. Kelly, F.P., Laws, C.N.: Dynamic routing in open queueing networks: Brownian models, cut constraints and resource pooling. Queueing Syst. 13(4), 47–86 (1993)

    Article  Google Scholar 

  14. Neumaier, A.: FMathL—Formal Mathematical Language, 85th Meeting of the GOR Working Group Real World Optimization, Physikzentrum Bad Honnef (2010)

    Google Scholar 

  15. Rawls, J.: A Theory of Justice, Belknap Press (1971)

    Google Scholar 

  16. Romauch, M., Gold, H., Laure, W., Seidel, G.: Advanced Equipment Capacity Planning based on Mathematical Modeling. Semiconductor Conference Dresden (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gold, H. (2012). Why Our Company Uses Programming Languages for Mathematical Modeling and Optimization. In: Kallrath, J. (eds) Algebraic Modeling Systems. Applied Optimization, vol 104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23592-4_8

Download citation

Publish with us

Policies and ethics