Мова алгебраїчного моделювання, МАМ (англ. Algebraic Modeling Languages, AML) — високорівнева комп'ютерна мова програмування для опису та розв'язання задач високої складності для великомасштабних математичних обчислень (наприклад, великомасштабних задач оптимізаційного типу).[1]
Сутність
Однією особливою перевагою деяких алгебраїчних мов моделювання, таких як AIMMS[1],
AMPL[2] або GAMS[1] є подібність їхнього синтаксису до математичного запису задач оптимізації. Це забезпечує дуже коротке і легке для читання визначення задач в галузі оптимізації, яке підтримують певні елементи мови, такі як множини, індекси, алгебраїчні вирази, потужна індексація розріджених матриць й змінні обробки даних, обмеження з довільними іменами. Алгебраїчне формулювання моделі не містить жодних вказівок, як її обробляти.
МАМ не розв'язує ці задачі безпосередньо, замість цього вона викликає відповідні зовнішні алгоритми для одержання рішення. Ці алгоритми називаються розв'язувачами і можуть працювати з певного роду математичними задачами, такими, як:
Основні елементи
Основні елементи МАМ такі:
Принципи проектування
Більшість МАМ дотримуються певних принципів проектування:
- збалансоване поєднання декларативних і процедурних елементів
- відкрита архітектура та інтерфейси до інших систем
- різні шари з виділенням:
Див. також
Примітки
Джерела
