Мова алгебраїчного моделювання

Мова алгебраїчного моделювання, МАМ (англ. Algebraic Modeling Languages, AML) — високорівнева комп'ютерна мова програмування для опису та розв'язання задач високої складності для великомасштабних математичних обчислень (наприклад, великомасштабних задач оптимізаційного типу).[1]

Сутність

Однією особливою перевагою деяких алгебраїчних мов моделювання, таких як AIMMS[1], AMPL[2] або GAMS[1] є подібність їхнього синтаксису до математичного запису задач оптимізації. Це забезпечує дуже коротке і легке для читання визначення задач в галузі оптимізації, яке підтримують певні елементи мови, такі як множини, індекси, алгебраїчні вирази, потужна індексація розріджених матриць й змінні обробки даних, обмеження з довільними іменами. Алгебраїчне формулювання моделі не містить жодних вказівок, як її обробляти.

МАМ не розв'язує ці задачі безпосередньо, замість цього вона викликає відповідні зовнішні алгоритми для одержання рішення. Ці алгоритми називаються розв'язувачами і можуть працювати з певного роду математичними задачами, такими, як:

  • лінійні задачі
  • цілочисельні задачі
  • (змішані цілочисельні) квадратичні задачі
  • змішані задачі взаємодоповнюваності
  • математичні програми з обмеженнями балансу
  • нелінійні системи з обмеженнями
  • загальні нелінійні задачі
  • нелінійні програми з розривними похідними
  • нелінійні цілочисельні задачі
  • задачі глобальної оптимізації
  • задачі стохастичної оптимізації

Основні елементи

Основні елементи МАМ такі:

Принципи проектування

Більшість МАМ дотримуються певних принципів проектування:

  • збалансоване поєднання декларативних і процедурних елементів
  • відкрита архітектура та інтерфейси до інших систем
  • різні шари з виділенням:

Див. також

  • AIMMS
  • AMPL — популярна мова моделювання для великомасштабної лінійної, змішано-цілочисельної і нелінійної оптимізації
  • Мова моделювання
  • APMonitor
  • ASCEND
  • GAMS
  • OptimJ — Java-орієнтована мова моделювання

Примітки

  1. Kallrath, Joseph (2004). Modeling Languages in Mathematical Optimization. Kluwer Academic Publishing. ISBN 9781402075476.
  2. A Modeling Language for Mathematical Programming. Management Science 36: 519–554–83. 1990.

Джерела

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.