一個(gè)緊湊的語(yǔ)言來(lái)表示優(yōu)化問(wèn)題。靈活定義參數(shù)和決策變量的指數(shù)集。指定約束、資金和其他數(shù)學(xué)運(yùn)算指數(shù)集。利用邏輯約束,允許寫更高層次,更強(qiáng)大的使用等運(yùn)營(yíng)商限制,或者,不,如果……分鐘,MAX和值。指定分段線性函數(shù),成本或約束聲明作為一組范圍。使用指標(biāo)約束消除低效的必要性和人工“Big-m”上界配方。
先進(jìn)的數(shù)據(jù)組織類型。定義范圍、數(shù)組和字符串和數(shù)字。集合操作適用于構(gòu)造復(fù)雜的指數(shù)集。定義元組、數(shù)據(jù)結(jié)構(gòu)組成的異構(gòu)數(shù)據(jù)元素和組元組,可選的主鍵和外鍵。使用元組切片(類似于SQL SELECT操作)來(lái)定義稀疏模型,減少問(wèn)題的大小和數(shù)據(jù)需求。
支持?jǐn)?shù)學(xué)和約束編程模型。定義決策變量和表達(dá)式?jīng)Q定指數(shù)集代表選擇和關(guān)鍵性能指標(biāo)的影響?；蛐』瘺Q策的目標(biāo)函數(shù)表達(dá)式。之間切換正確使用數(shù)學(xué)規(guī)劃和約束編程解決制定模型僅僅通過(guò)改變單個(gè)開關(guān)。利用專門的數(shù)據(jù)結(jié)構(gòu)和語(yǔ)法使用約束編程制定詳細(xì)的調(diào)度模型。
真正的或整數(shù)變量。代表決策涉及使用實(shí)數(shù)決策變量數(shù)量或金額。使用二進(jìn)制或整數(shù)代表離散選擇或不可分割的數(shù)量決策變量。利用IBM ILOG CPLEX優(yōu)化優(yōu)化的混合整數(shù)解算器解決困難與復(fù)雜的branch-and-cut搜索離散優(yōu)化問(wèn)題或使用IBM ILOG CPLEX優(yōu)化CP優(yōu)化器努力解決組合問(wèn)題并不適合混合整數(shù)優(yōu)化算法。
代表詳細(xì)的調(diào)度問(wèn)題。利用OPL獨(dú)特的語(yǔ)法和數(shù)據(jù)結(jié)構(gòu)定義問(wèn)題的時(shí)機(jī)是基本的決定。用區(qū)間變量表示活動(dòng)、操作或任務(wù)完成,這可能是可選的或強(qiáng)制性的。指定時(shí)間限制,開始和結(jié)束時(shí)間的間隔之間的關(guān)系,來(lái)表示活動(dòng)之間的優(yōu)先級(jí)。強(qiáng)度和累積函數(shù)來(lái)表示資源使用定義為一個(gè)函數(shù)的時(shí)間和指定的間隔之間的資源約束。使用新特性來(lái)表示約束和成本之間的轉(zhuǎn)換活動(dòng)資源上執(zhí)行。
連接到關(guān)系數(shù)據(jù)庫(kù)和Excel電子表格。導(dǎo)入數(shù)據(jù)和導(dǎo)出方案,數(shù)據(jù)庫(kù)和Microsoft Excel電子表格。對(duì)于Excel電子表格,使用指定的單元格引用或指定范圍。對(duì)于較大的數(shù)據(jù)源,通過(guò)SQL命令訪問(wèn)大型關(guān)系數(shù)據(jù)庫(kù)在OPL數(shù)據(jù)源。清潔的分離模型和數(shù)據(jù)值很容易數(shù)據(jù)源之間切換,從測(cè)試數(shù)據(jù)遷移到生產(chǎn)數(shù)據(jù)庫(kù)。
CPLEX優(yōu)化優(yōu)化工作室很容易從Microsoft Excel快速訪問(wèn)數(shù)據(jù)以及企業(yè)數(shù)據(jù)庫(kù),或兩者的結(jié)合。
OPL腳本,用于數(shù)據(jù)處理和迭代求解
OPL腳本,建立在OPL建模語(yǔ)言,提供了一個(gè)功能齊全的,JavaScript-compatible語(yǔ)言數(shù)據(jù)預(yù)處理、后處理和模型流量控制解決方案。OPL腳本可以用來(lái)解決復(fù)雜的問(wèn)題通過(guò)結(jié)合或鏈接模型,從初的優(yōu)化模型作為輸入數(shù)據(jù),建議后續(xù)模型。腳本可以利用IBM ILOG CPLEX優(yōu)化優(yōu)化器溫暖開始有效地修改系數(shù)在IBM ILOG CPLEX優(yōu)化優(yōu)化矩陣迭代求解模型。
驗(yàn)證和優(yōu)化
一旦初始模型,使用模型開發(fā)服務(wù)。
使用集成開發(fā)環(huán)境(IDE)來(lái)編輯OPL模型;解決問(wèn)題,顯示結(jié)果,并組織模型、數(shù)據(jù)和設(shè)置配置。
使用IDE中的分析器跟蹤執(zhí)行和跟蹤內(nèi)存和時(shí)間用于建模和求解。
在IDE中顯示結(jié)果在表格或圖形形式進(jìn)行業(yè)務(wù)用戶模型的開發(fā)過(guò)程。
診斷和修復(fù)不可行模式。
調(diào)整參數(shù)設(shè)置來(lái)識(shí)別那些提供性能。
從Microsoft®Excel®加載輸入數(shù)據(jù),數(shù)據(jù)庫(kù)或預(yù)測(cè)分析流從IBM SPSS Modeler®模型開發(fā)與IBM ILOG CPLEX優(yōu)化優(yōu)化Studio IDE 全面的工具包開發(fā)optimization-based分析決策支持應(yīng)用程序
開發(fā)過(guò)程。
這個(gè)圖表顯示了完整的模型和應(yīng)用程序開發(fā)過(guò)程由IBM支持ILOG CPLEX優(yōu)化優(yōu)化工作室。每個(gè)箱子對(duì)應(yīng)于所支持的功能的詳細(xì)描述如下。
業(yè)務(wù)分析
與大多數(shù)優(yōu)化項(xiàng)目,關(guān)鍵是要確定相關(guān)數(shù)據(jù)需求,資源約束、成本、客戶偏好、目標(biāo)和解決方案在過(guò)程的早期指標(biāo)。IBM ILOG CPLEX優(yōu)化優(yōu)化Studio幫助使這個(gè)過(guò)程更簡(jiǎn)單。
一個(gè)模型庫(kù)提供快速起點(diǎn)提供廣泛的例子。容易理解和可能啟動(dòng)模型開發(fā),集分類的例子從四個(gè)不同的觀點(diǎn)(復(fù)雜性、模型特性、行業(yè)、技術(shù)),可以導(dǎo)入集成開發(fā)環(huán)境(IDE)。
IBM ILOG CPLEX優(yōu)化優(yōu)化工作室是一個(gè)全功能的集成開發(fā)環(huán)境(IDE)項(xiàng)目管理和查看模型的廣泛支持。OPL建模語(yǔ)言敘述地代表數(shù)學(xué)問(wèn)題,生產(chǎn)比通用編程語(yǔ)言更簡(jiǎn)單和更短的代碼。其強(qiáng)大的語(yǔ)法支持所有表達(dá)式需要使用數(shù)學(xué)規(guī)劃模型,解決問(wèn)題,和約束programming-based方法。
OPL建模語(yǔ)言允許緊湊的配方和IDE提供了編輯功能,如:代碼完成和重新格式化,容易導(dǎo)航,和執(zhí)行模型。點(diǎn)擊放大圖片。
IBM ILOG CPLEX優(yōu)化優(yōu)化Studio是有效的方式利用IBM ILOG CPLEX優(yōu)化的全功率優(yōu)化器和IBM ILOG CPLEX優(yōu)化CP的優(yōu)化器。
現(xiàn)實(shí)世界的應(yīng)用程序通常需要算法方法超出了大多數(shù)或教科書的單模視圖。OPL腳本,建立在OPL建模語(yǔ)言,可以用來(lái)解決復(fù)雜的問(wèn)題通過(guò)結(jié)合或鏈接模型,建議從初始優(yōu)化模型作為后續(xù)的輸入數(shù)據(jù)模型。
檢測(cè)和顯示內(nèi)容。
約束可以分組有或沒(méi)有放松的優(yōu)先事項(xiàng)。當(dāng)遇到不可行性在解決過(guò)程中,IBM ILOG CPLEX優(yōu)化優(yōu)化Studio自動(dòng)調(diào)用ILOG CPLEX優(yōu)化優(yōu)化器沖突的煉油企業(yè)尋找和顯示約束,群約束或變量邊界造成的不可行性。
運(yùn)行配置。
這個(gè)特性允許您將多個(gè)模型、數(shù)據(jù)集和執(zhí)行,優(yōu)化器設(shè)置為測(cè)試提供一個(gè)方便的方法在數(shù)據(jù)實(shí)例模型的行為,或測(cè)試不同的模型在同一數(shù)據(jù)集,或測(cè)試不同的設(shè)置模型/數(shù)據(jù)組合,而不必訴諸寫作OPL腳本或代碼。如果一個(gè)特定的模型和數(shù)據(jù)組合提供了意想不到的結(jié)果,可以使用瀏覽器的問(wèn)題進(jìn)一步深入,煉油企業(yè)的沖突,或者推薦的放松方式的特性。
模型優(yōu)化
實(shí)現(xiàn)合理的解決性能模型有時(shí)可以是一個(gè)挑戰(zhàn)性的任務(wù),即使在世界上快的幫助下優(yōu)化引擎。IBM ILOG CPLEX優(yōu)化優(yōu)化Studio使模型性能調(diào)優(yōu)容易。
管理數(shù)據(jù)集、參數(shù)設(shè)置和模型。性能調(diào)優(yōu)的步是創(chuàng)建一組場(chǎng)景,結(jié)合特定的替代模型公式,數(shù)據(jù)實(shí)例和發(fā)動(dòng)機(jī)參數(shù)。IBM ILOG CPLEX優(yōu)化優(yōu)化工作室的運(yùn)行配置功能是專門設(shè)計(jì)來(lái)支持系統(tǒng)的隔離性能問(wèn)題。
當(dāng)一個(gè)IBM ILOG CPLEX優(yōu)化優(yōu)化Studio項(xiàng)目包含多個(gè)模型與多個(gè)引擎設(shè)置和多個(gè)數(shù)據(jù)文件,運(yùn)行配置引用要執(zhí)行的特定組合。容易通過(guò)拖放、可配置的一個(gè)基準(zhǔn)套件很容易管理,從IBM ILOG CPLEX優(yōu)化優(yōu)化Studio集成開發(fā)環(huán)境(IDE)。
分析器
在IBM ILOG CPLEX優(yōu)化優(yōu)化工作室?guī)椭阕R(shí)別模型的精確的瓶頸,包括展示內(nèi)存和時(shí)間,在模型生成和執(zhí)行模型。
分析器細(xì)節(jié)MILP模型時(shí)間和內(nèi)存消耗。
