Мова алгебраїчного моделювання, МАМ (англ. Algebraic Modeling Languages, AML) — високорівнева комп'ютерна мова програмування для опису та розв'язання задач високої складності для великомасштабних математичних обчислень (наприклад, великомасштабних задач оптимізаційного типу).
Сутність
Однією особливою перевагою деяких алгебраїчних мов моделювання, таких як AIMMS, AMPL або GAMS є подібність їхнього синтаксису до математичного запису задач оптимізації. Це забезпечує дуже коротке і легке для читання визначення задач в галузі оптимізації, яке підтримують певні елементи мови, такі як множини, індекси, алгебраїчні вирази, потужна індексація розріджених матриць й змінні обробки даних, обмеження з довільними іменами. Алгебраїчне формулювання моделі не містить жодних вказівок, як її обробляти.
МАМ не розв'язує ці задачі безпосередньо, замість цього вона викликає відповідні зовнішні алгоритми для одержання рішення. Ці алгоритми називаються розв'язувачами і можуть працювати з певного роду математичними задачами, такими, як:
- лінійні задачі
- цілочисельні задачі
- (змішані цілочисельні) квадратичні задачі
- нелінійні системи з обмеженнями
- загальні нелінійні задачі
- нелінійні програми з розривними похідними
- нелінійні цілочисельні задачі
- задачі глобальної оптимізації
- задачі стохастичної оптимізації
Основні елементи
Основні елементи МАМ такі:
- інтерпретатор мови моделювання (самої МАМ)
- розв'язувач посилань
- інтерфейси користувача
- послуги обміну даними
Принципи проектування
Більшість МАМ дотримуються певних принципів проектування:
- збалансоване поєднання декларативних і процедурних елементів
- відкрита архітектура та інтерфейси до інших систем
- різні шари з виділенням:
- моделі і даних
- моделі і методів розв'язання
- моделі та операційної системи
- моделі та інтерфейсу
Див. також
- AIMMS
- AMPL — популярна мова моделювання для великомасштабної лінійної, змішано-цілочисельної і нелінійної оптимізації
- Мова моделювання
- GAMS
- — Java-орієнтована мова моделювання
Примітки
- Kallrath, Joseph (2004). Modeling Languages in Mathematical Optimization. Kluwer Academic Publishing. ISBN .
- A Modeling Language for Mathematical Programming. Management Science. 36: 519–554–83. 1990.
Джерела
- “Алгебраїчне моделювання та його застосування” [ 17 травня 2021 у Wayback Machine.]// Сайт НАН України, 29.3.2021
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Mova algebrayichnogo modelyuvannya MAM angl Algebraic Modeling Languages AML visokorivneva komp yuterna mova programuvannya dlya opisu ta rozv yazannya zadach visokoyi skladnosti dlya velikomasshtabnih matematichnih obchislen napriklad velikomasshtabnih zadach optimizacijnogo tipu SutnistOdniyeyu osoblivoyu perevagoyu deyakih algebrayichnih mov modelyuvannya takih yak AIMMS AMPL abo GAMS ye podibnist yihnogo sintaksisu do matematichnogo zapisu zadach optimizaciyi Ce zabezpechuye duzhe korotke i legke dlya chitannya viznachennya zadach v galuzi optimizaciyi yake pidtrimuyut pevni elementi movi taki yak mnozhini indeksi algebrayichni virazi potuzhna indeksaciya rozridzhenih matric j zminni obrobki danih obmezhennya z dovilnimi imenami Algebrayichne formulyuvannya modeli ne mistit zhodnih vkazivok yak yiyi obroblyati MAM ne rozv yazuye ci zadachi bezposeredno zamist cogo vona viklikaye vidpovidni zovnishni algoritmi dlya oderzhannya rishennya Ci algoritmi nazivayutsya rozv yazuvachami i mozhut pracyuvati z pevnogo rodu matematichnimi zadachami takimi yak linijni zadachi cilochiselni zadachi zmishani cilochiselni kvadratichni zadachi nelinijni sistemi z obmezhennyami zagalni nelinijni zadachi nelinijni programi z rozrivnimi pohidnimi nelinijni cilochiselni zadachi zadachi globalnoyi optimizaciyi zadachi stohastichnoyi optimizaciyiOsnovni elementiOsnovni elementi MAM taki interpretator movi modelyuvannya samoyi MAM rozv yazuvach posilan interfejsi koristuvacha poslugi obminu danimiPrincipi proektuvannyaBilshist MAM dotrimuyutsya pevnih principiv proektuvannya zbalansovane poyednannya deklarativnih i procedurnih elementiv vidkrita arhitektura ta interfejsi do inshih sistem rizni shari z vidilennyam modeli i danih modeli i metodiv rozv yazannya modeli ta operacijnoyi sistemi modeli ta interfejsuDiv takozhAIMMS AMPL populyarna mova modelyuvannya dlya velikomasshtabnoyi linijnoyi zmishano cilochiselnoyi i nelinijnoyi optimizaciyi Mova modelyuvannya GAMS Java oriyentovana mova modelyuvannyaPrimitkiKallrath Joseph 2004 Modeling Languages in Mathematical Optimization Kluwer Academic Publishing ISBN 9781402075476 A Modeling Language for Mathematical Programming Management Science 36 519 554 83 1990 Dzherela Algebrayichne modelyuvannya ta jogo zastosuvannya 17 travnya 2021 u Wayback Machine Sajt NAN Ukrayini 29 3 2021