Skip to main content
Top

2020 | OriginalPaper | Chapter

Xpress Mosel: Modeling and Programming Features for Optimization Projects

Authors : Susanne Heipcke, Yves Colombani

Published in: Operations Research Proceedings 2019

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Important current trends influencing the development of modeling environments include expectations on interconnection between optimization and analytics tools, easy and secure deployment in a web-based, distributed setting and not least, the continuously increasing average and peak sizes of data instances and complexity of problems to be solved. After a short discussion of the history of modeling languages and the contributions made by FICO Xpress Mosel to this evolution, we point to a number of implementation variants for the classical travelling salesman problem (TSP) using different MIP-based solution algorithms as an example of employing Mosel in the context of parallel or distributed computing, for interacting with a MIP solver, and for the graphical visualisation of results. We then highlight some newly introduced features and improvements to the Mosel language that are of particular interest for the development of large-scale optimization applications.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
mp-model was initially designed to fit data and program into a CP/M’s 64 Kb limit.
 
2
By 1992 an Intel 486 based PC had as much power as an IBM 3090 mainframe for the numerical work required by mathematical programming.
 
Literature
1.
go back to reference Colombani, Y., Daniel, B., Heipcke, S.: Mosel: a modular environment for modeling and solving problems. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 211–238. Kluwer Academic Publishers, Norwell (2004) Colombani, Y., Daniel, B., Heipcke, S.: Mosel: a modular environment for modeling and solving problems. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 211–238. Kluwer Academic Publishers, Norwell (2004)
3.
go back to reference Bussieck, M.R., Meeraus, A.: General algebraic modeling system (GAMS). In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 137–157. Kluwer Academic Publishers, Norwell (2004) Bussieck, M.R., Meeraus, A.: General algebraic modeling system (GAMS). In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 137–157. Kluwer Academic Publishers, Norwell (2004)
4.
go back to reference Fourer, R., Gay, D., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco (1993) Fourer, R., Gay, D., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco (1993)
5.
go back to reference Ashford, R.W., Daniel, R.C.: LP-MODEL: XPRESS-LP’s model builder. IMA J. Math. Manag. 1, 163–176 (1987) Ashford, R.W., Daniel, R.C.: LP-MODEL: XPRESS-LP’s model builder. IMA J. Math. Manag. 1, 163–176 (1987)
6.
go back to reference Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1998) Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1998)
7.
go back to reference Bisshop, J., Roelofs, M.: The modeling language AIMMS. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 71–104. Kluwer Academic Publishers, Norwell (2004) Bisshop, J., Roelofs, M.: The modeling language AIMMS. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 71–104. Kluwer Academic Publishers, Norwell (2004)
8.
go back to reference Kristjansson, B., Lee, D.: The MPL modeling system. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 239–265. Kluwer Academic Publishers, Norwell (2004) Kristjansson, B., Lee, D.: The MPL modeling system. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 239–265. Kluwer Academic Publishers, Norwell (2004)
9.
go back to reference Heipcke, S.: Comparing constraint programming and mathematical programming approaches to discrete optimisation. J. Oper. Res. Soc. 50(6), 581–595 (1999) Heipcke, S.: Comparing constraint programming and mathematical programming approaches to discrete optimisation. J. Oper. Res. Soc. 50(6), 581–595 (1999)
10.
go back to reference Ciriani, T.A., Colombani, Y., Heipcke, S.: Embedding optimisation algorithms with Mosel. 4OR-Q. J. Oper. Res. 1(2), 155–168 (2003) Ciriani, T.A., Colombani, Y., Heipcke, S.: Embedding optimisation algorithms with Mosel. 4OR-Q. J. Oper. Res. 1(2), 155–168 (2003)
12.
go back to reference Lawler, E.L.: The Travelling Salesman Problem: A Guided Tour of Combinatorial Optimization. Wiley, Hoboken (1985) Lawler, E.L.: The Travelling Salesman Problem: A Guided Tour of Combinatorial Optimization. Wiley, Hoboken (1985)
14.
go back to reference Guéret, C., Heipcke, S., Prins, C., Sevaux, M.: Applications of Optimization with Xpress-MP. Dash Optimization, Blisworth (2002) Guéret, C., Heipcke, S., Prins, C., Sevaux, M.: Applications of Optimization with Xpress-MP. Dash Optimization, Blisworth (2002)
17.
go back to reference Heipcke, S.: Xpress-Mosel: Implementing decomposition approaches for concurrent and distributed solving. In: Presentation at the 89th Meeting of GOR WG Praxis der Mathematischen Optimierung, Bad Honnef (2012) Heipcke, S.: Xpress-Mosel: Implementing decomposition approaches for concurrent and distributed solving. In: Presentation at the 89th Meeting of GOR WG Praxis der Mathematischen Optimierung, Bad Honnef (2012)
18.
go back to reference Heipcke, S.: Xpress-Mosel: Multi-Solver, Multi-Problem, Multi-Model, Multi-Node Modeling and Problem Solving. In: Kallrath, J. (ed.) Algebraic Modeling Systems: Modeling and Solving Real World Optimization Problems, pp. 81–114. Springer, Heidelberg (2012) Heipcke, S.: Xpress-Mosel: Multi-Solver, Multi-Problem, Multi-Model, Multi-Node Modeling and Problem Solving. In: Kallrath, J. (ed.) Algebraic Modeling Systems: Modeling and Solving Real World Optimization Problems, pp. 81–114. Springer, Heidelberg (2012)
Metadata
Title
Xpress Mosel: Modeling and Programming Features for Optimization Projects
Authors
Susanne Heipcke
Yves Colombani
Copyright Year
2020
DOI
https://doi.org/10.1007/978-3-030-48439-2_82

Premium Partner