通用代數(shù)建模系統(tǒng)(GAMS)是用于數(shù)學(xué)規(guī)劃和優(yōu)化的高級(jí)建模系統(tǒng)。它由一個(gè)語(yǔ)言編譯器和一個(gè)穩(wěn)定的集成高性能求解器組成。

GAMS專門用于建模線性、非線性和混合整數(shù)優(yōu)化問(wèn)題。對(duì)大型復(fù)雜問(wèn)題有幫助。GAMS通過(guò)簡(jiǎn)單的操作模式消除了許多技術(shù)問(wèn)題，使用戶可以專注于構(gòu)建模塊。新版GAMS目前是33.1。

前沿建模

這樣，GAMS允許用戶專注于建模。GAMS鼓勵(lì)良好的建模習(xí)慣，要求簡(jiǎn)潔準(zhǔn)確的實(shí)體和關(guān)系規(guī)范。GAMS語(yǔ)言在形式上類似于通用編程語(yǔ)言。所以，任何有編程經(jīng)驗(yàn)的人都熟悉他。然而，因?yàn)槟Ｐ褪且灶愃朴谄鋽?shù)學(xué)描述的方式表述的，所以它不僅可以被程序員理解和維護(hù)，而且可以被實(shí)際的領(lǐng)域?qū)＜依斫夂途S護(hù)。GAMS專注于建模者，允許他自己做所有相關(guān)的事情。聲明性和過(guò)程性元素的平衡組合允許構(gòu)造復(fù)雜的算法，甚至在GAMS實(shí)現(xiàn)分解方法，這對(duì)于解決通常伴隨性能問(wèn)題的異常問(wèn)題特別重要。

與眾不同的設(shè)計(jì)原則

GAMS專注于其核心競(jìng)爭(zhēng)力:使用戶能夠構(gòu)建可讀和可維護(hù)的模型，并通過(guò)隨時(shí)隨地提供最佳解決方案來(lái)解決這些問(wèn)題。我們的開放式睡眠架構(gòu)和眾多數(shù)據(jù)接口可以與外部系統(tǒng)無(wú)縫通信。模型、求解器、數(shù)據(jù)、平臺(tái)和用戶界面在獨(dú)立的層中分開。切換求解器、使用多個(gè)數(shù)據(jù)集、在多個(gè)平臺(tái)上運(yùn)行以及將GAMS集成到現(xiàn)有的應(yīng)用程序、結(jié)構(gòu)和工作流都很容易。

模型和求解器的獨(dú)立性

我們提供超過(guò)25種解決方案的極其廣泛和多樣的產(chǎn)品組合，包括所有預(yù)期的商業(yè)解決方案。

LP / MIP /QCP / MIQCP ：CPLEX , GUROBI , MOSEK , XPRESSNLP : CONOPT , IPOPTH , KNITRO ,MINOS , SNOPTMINLP : ALPHAECP , ANTIGONE , BARON , DICOPT , OQNLP ,SBB混合互補(bǔ)問(wèn)題（MCP），具有平衡約束的數(shù)學(xué)程序（MPEC）和約束非線性系統(tǒng)（CNS）的求解器每個(gè)GAMS系統(tǒng)捆綁的免費(fèi)替代品，例如BONMIN（MINLP）, CBC（LP , MIP）, COUENNE（MINLP）, IPOPT（NLP）；學(xué)術(shù)許可證也包括SCIP和 SOPLEX

模型和數(shù)據(jù)的獨(dú)立性

您可以獨(dú)立于數(shù)據(jù)編寫模型，并包括來(lái)自許多不同來(lái)源的數(shù)據(jù)，從ASCII到Excel或Access，以及許多其他來(lái)源，如使用GDX(GAMS數(shù)據(jù)交換)文件格式。GDX文件是一個(gè)存儲(chǔ)一個(gè)或多個(gè)GAMS符號(hào)(如集合、參數(shù)變量和方程)值的二進(jìn)制文件。GDX文件可用于為GAMS模型準(zhǔn)備數(shù)據(jù)，GDX文件可在不同平臺(tái)間移植。

模型和平臺(tái)的獨(dú)立性

該模型在平臺(tái)之間完全可移植——一次編寫，隨處運(yùn)行

GAMS可以在Windows、Linux、MAC OS x、Solaris、SPARC Solaris和IBM Power AIX上運(yùn)行

模型和用戶界面的獨(dú)立性

GAMS面向?qū)ο蟮腁PI允許GAMS通過(guò)提供與GAMS交互的適當(dāng)類無(wú)縫集成到應(yīng)用程序中。面向?qū)ο蟮腉AMS應(yīng)用編程接口的三個(gè)版本:。. NET、Java、python都與。NET Framework 4 (Visual Studio 2010)、Java SE 5及更高版本、python 3.4、2.7和2.6。

GAMS允許用戶通過(guò)簡(jiǎn)單的設(shè)置專注于建模問(wèn)題。至于具體機(jī)器和系統(tǒng)的耗時(shí)的軟件執(zhí)行細(xì)節(jié)，GAMS系統(tǒng)會(huì)處理。

GAMS特別有助于處理大型和復(fù)雜的問(wèn)題，這些問(wèn)題需要多次修改才能確定確切的模型。該系統(tǒng)以高度簡(jiǎn)潔和自然的方式對(duì)問(wèn)題進(jìn)行建模。用戶可以快速方便地更改公式，并可以從一個(gè)解算器切換到另一個(gè)解算器，甚至可以稍微小心地從線性切換到非線性。

GAMS允許用戶專注于建模，通過(guò)消除對(duì)機(jī)器特定技術(shù)問(wèn)題的需求，如地址計(jì)算、存儲(chǔ)分配、子程序鏈接、輸入/輸出和過(guò)程控制，GAMS增加了概念化和運(yùn)行模型以及分析結(jié)果的時(shí)間。GAMS自己通過(guò)要求實(shí)體和關(guān)系的簡(jiǎn)潔和精確的規(guī)范來(lái)建立良好的建模習(xí)慣。GAMS語(yǔ)言在形式上類似于常用的編程語(yǔ)言。所以對(duì)于有編程驗(yàn)證的人來(lái)說(shuō)會(huì)很熟悉。

在GAMS，數(shù)據(jù)只能在熟悉的列表和表格中輸入一次。模型用簡(jiǎn)潔的代數(shù)聲明來(lái)描述，人和機(jī)器都容易理解，將一整套相關(guān)約束輸入到一個(gè)聲明中。GAMS自動(dòng)生成每個(gè)約束方程，并讓用戶處理異常，如果它們通常是不必要的。當(dāng)其他實(shí)例相同或存在相關(guān)問(wèn)題時(shí)，模型中的聲明可以在不改變代數(shù)表達(dá)式的情況下重用。在嘗試解決方案之前，會(huì)找出錯(cuò)誤的位置和類型。GAMS處理動(dòng)態(tài)模型，包括時(shí)間序列、滯后和臨時(shí)終點(diǎn)的及時(shí)處理。

GAMS靈活而強(qiáng)大。模型可以很容易地從一個(gè)計(jì)算機(jī)平臺(tái)移動(dòng)到另一個(gè)。只要每個(gè)平臺(tái)上都安裝了GAMS。GAMS使敏感性分析變得容易。用戶可以很容易地規(guī)劃模型來(lái)求解一個(gè)組件的不同值，然后生成一個(gè)輸出報(bào)告。列出了每種情況的解決方案特征。該模型可以同時(shí)被記錄下來(lái)，因?yàn)镚AMS允許用戶將解釋性文本作為任意符號(hào)和方程的定義和解釋。

GAMS支持的平臺(tái)

GAMS將支持的平臺(tái)集分為所謂的核心平臺(tái)和外圍平臺(tái)，以識(shí)別和更好地描述這兩組平臺(tái)的演變過(guò)程。核心平臺(tái)的用戶群體大，活躍，認(rèn)可度好，但對(duì)于外圍平臺(tái)則不然。對(duì)于核心平臺(tái)，GAMS將繼續(xù)直接下載每個(gè)新版本的GAMS，而外圍平臺(tái)將僅根據(jù)要求提供。最后，核心平臺(tái)的可用性變化會(huì)在時(shí)間發(fā)生之前宣布，而支持外圍平臺(tái)的變化可能很少或根本沒(méi)有通知。

核心平臺(tái)如下:

注:與大多數(shù)GAMS系統(tǒng)相比，GAMS工作室有一些額外的系統(tǒng)要求。

外圍平臺(tái)如下:

雖然GAMS執(zhí)行系統(tǒng)本身可以在所有支持的平臺(tái)上使用，但不同的可用性可以應(yīng)用于一些解算器、工具和應(yīng)用編程接口。

瑞馳科技提供手冊(cè)和中文書籍