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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Мова алгебраїчного моделювання, МАМ (англ. 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 (1990) С. 519–554–83.