作 者:周建陽 著
定 價:48
出 版 社:科學出版社
出版日期:2009年09月01日
頁 數:236
裝 幀:平裝
ISBN:9787030249739
《自然約束語言》可作為高等院校及科研院所研究運籌學、物流優化、人工智能和軟件方向的教師和研究生的科研參考書。針對如何用NCL語言及其開發平臺POEM求解運籌學組合優化問題,《自然約束語言》可作為企事業單位中從事生產制造、物流信息化、人力資源優化等工作的IT人員研究計劃、排程與優化的指導書,也可以作為POEM軟件平臺配套的參考手冊。
●前言
第1章NCL與求解繫統
1.1求解繫統
解算器(SOLVER)
語法分析器(PARSER)
規則(RULES)
1.2NCL語言簡介
自然建模(NATURALMODELING)
混合集合規劃(MIXEDSETPROGRAMMING)
求解規則(SEARCHRULES)
NCL是聯合求解繫統
1.3基於NCL的POEM平臺
第2章NCL的詞法
2.1常規詞法
字符
標識符
特殊標識符
常量
未確定值
注釋
2.2數學編碼
數學符號一覽表
函數一覽表
TEX聚合符
2.3數據類型
廣義數據類型
邏輯推理的數據精度
集合類型
日期/時間類型
缺省值
數據示例
第3章NCL的語法及語義
3.1NCL的常規邏輯
語句(STATEMENT)
量詞(QUANTIFICATION)
索引(INDEX)
條件句(CONDITIONAL)
約束(CONSTRAINT)
表達式(EXPRESSION)
浮點數表達式(FLOATEXPRESSION)
整數表達式(INTEGEREXPRESSION)
字符串(STRING)
邏輯指針(REFERENCE)
集合表達式(SETEXPRESSION)
布爾表達式(BOOLEANEXPRESSION)
聚合式(AGGREGATION)
常量(CONSTANT)
輸入/輸出的格式(INPUTANDOUTPUTFORMAT)
日期/時間格式(DATE/TIMEFORMAT)
日期/時間的屬性函數(DATE/TIMEATTRIBUTE)
變量(VARIABLE)
匿名變量(ANONYMOUSVARIABLE)
連綴(CONCATENATION)
個性化消(CUSTOMMESSAGE)
軟約束(SOFTCONSTRAINT)
數據源(DATAPOOL)
輸入/輸出的指定(I/OSPECIFICATION)
輸出(PRINT)
宏調用(INCLUDE)
3.2NCL的時態邏輯
繫統變量(SYSTEMVARIABLE)
抽取(EXTRACTION)
賦值(ASSIGNMENT)
跳轉(GOTO)
子模型(SUBMODEL)
SQL語言接口
操作繫統的OS命令(OSCOMMAND)
期待約束(EXPECTATIONCONSTRAINT)
3.3NCL的求解邏輯
切削與搜索(CUTANDSEARCH)
查詢與搜索(QUERYANDSEARCH)
枚舉方式(ENUMERATIONMODE)
查詢準則(QUERYCRITERIA)
優化目標(OPTIMIZATIONOBJECTIVE)
求解過程的示範
對求解的繫統控制
3.4消息與跟蹤管理
NCL消息(NCLMESSAGE)
終止狀態(TERMINATIONSTATUS)
可編程的暫停(PROGRAMMEDBREAK)
可編程的調試(PROGRAMMEDDEBUGGING)
消息處理器(MESSAGEHANDLER)
3.5NCL的語法範例
布爾邏輯(BOOLEANLOGIC)
無窮大(INFINITY)
數值約束(NUMERICCONSTRAINTS)
集合推理(SETREASONING)
量詞(QUANTIFICATION)
混合集合規劃示例(MIXEDSETPROGRAM)
分支(SWITCH)
規則(RULE)
優化目標(OPTIMIZATIONOBJECTIVE)
輸入,輸出機制(I/OFACILITIES)
查詢及搜索(QUERYANDSEARCH)
跳轉(GOTO)
聚合(AGGREGATION)
用作下標的指針(REFERENCESUBSCRIPTS)
被引用的運算式(REFERENCEDOPERATORS)
連綴(CONCATENATION)
日期/時間的管理(DATE/TIMEMANAGEMENT)
抽取及時態邏輯(EXTRACTIONANDTEMPORALLOGIC)
賦值(ASSIGNMENT)
子字符串及素(SUBSTRINGANDELEMENTSFROMSET)
獲取集合的分段區間(OBTAININGPIECEWISEINTERVALSFROMASET)
個性化消息(CUSTOMMESSAGE)
內存緩衝區數據源(BUFFERPOOL)
存儲於文件的子模型(SUBMODELINAFILE)
存儲於內存緩衝區的子模型(SUBMODELINABUFFERPooL)
子模型的返回值(RETURNVALUESoFASUBMODEL)
嵌套調用(NESTEDCALL)
子模型調用溢出(OvERFLoWINASUBMODELCALL)
數據庫連接及SQL查詢(DATABASECONNECTIONANDSQLQLTERY)
操作繫統OS命令(OSCOMMAND)
匿名變量及缺省值(ANONYMOUSVARlABLESANDDEFAULTVALUES)
繫統變量(SYSTEMVARIABLE)
軟約束(SOFITCONSTRAINT)
用期待約束進行程序調試(PROGRAMMEDDEBLIGGINGWITHEXPECTATIONCONSTRAINTT
第4章NCL語言的開發平臺POEM@
4.1POEM的主界面
工具欄(TooLBAR)
TEX符號欄
工作區(WORKSPACE)
編輯窗(EDITWINDOW)
跟蹤窗(TRACEWINDOW)
4.2項目配置
NCL的數據源
NCL的參數配置
項目配置窗
4.3模型夾及模型庫
模型夾(MODELFoLDER)
NCL模型庫(MODELLIBRARY)
4.4信息表
現行模型表(RUNNINGMODELS)
常量表(CONSTANTS)
變量表(VARIABLES)
約束表(CONSTRAINTS)
4.5視圖及調試
快捷查視(QUICKWATCH)
瀏覽器(BROWSER)
約束調試器(CONSTRAINTDEBtIGGER)
可視化調試器(VISUALDEBUGGER)
結果可視化窗(SoLUTIONVIEWER)
4.6跟蹤窗與工作模式
調試模式(DEBUGMODE)
計時模式(TIMERMODE)
跟蹤級別(TRACELEVEL)
診斷信息的選項窗
統計信息的選項窗
推薦的模型診斷模式
推薦的正常工作模式
4.7在線幫助
第5章建模及求解
5.1工程化建模
建模步驟
變量的命名公約
主動式模型改進
被動式模型改進
5.2NCL的模型抽像
兩兩不等的整數(DISTINCTINTEGERS)
兩兩不交的集合(DISJOINTSETS)
排序(SORTING)
集合的覆蓋與劃分(SETCOVERINGANDPARTITIONING)
拼排(PACKING)
有限能力(FINITECAPACITY)
求和(SUM)
二維累積(CUMULATION)
5.3智力遊戲(PIJZZlLES)
字謎(SENDMOREMONEY)
素數問題(PRIMES)
整數排序(INTEGERSORTING)
皇後問題(QUEENS)
神奇的方塊(MAGICSQUARE)
數獨(SUDOKU)
神奇的序列(MAGICSEQUENCE)
愛因斯坦的遊戲題(EINSTEIN'SQUIz)
數謎(CALCULSD'ENFER)
方塊拼排(SQUIAREPACKING)
騎士問題(KNIGHT)
5.4求解復雜問題
集合劃分(SETPARTITIONING)
高爾夫球對抗賽(GOLFTOURNAMENT)
賽舟會(PROGRESSIVEPARTY)
貨船裝載(SHIPLOADING)
車間排序(JoB-SHOPSCHEDULING)
最小化熱能轉換器的能耗(MINIMIZINGTHECOSTOFAHEATEXCHANGER)
帶時間窗的取貨與送貨(PICKUPANDDEIJIVERYWITHTIMEWINDOWS)
練習題
5.5松弛邏輯與二次優化
交互邏輯(INTERACTIONLOGIC)
迭代優化(ITERATIVEOPTIMIZATION)
旅行商問題的迭代優化方法(ITERATIVEOPTIMIZATIONFORTSP)
TSP的練習題
第6章NCL的工業應用
6.1生產排程
問題定義
數據邏輯
簡化的優化模型
時間的可視化工具:甘特圖(GANTTCHART)
練習題
6.2人員排班計劃
問題定義
數據邏輯
簡化的優化模型
統計信息的可視化工具:直方圖(HISTOGRAM)
練習題
6.3多式聯運優化
問題定義
數據邏輯
簡化的優化模型
地理信息的可視化工具:地圖(MAP)
練習題
參考文獻
附錄1NCL語法的TEX編碼
附錄2ComPoemACtiveX組件
英文索引
中文索引
《自然約束語言》介紹自然約束語言NCL及其開發平臺POEM。全書共6章,其中第1章簡要介紹NCL語言與求解繫統;第2章和第3章介紹NCL語言的基本體繫和原理方法,內容包括NCL的詞法、語法及語義等;第4章介紹NCL語言的開發平臺POEM的使用方法;第5章介紹如何用NCL語言進行建模及求解;第6章介紹NCL語言在工業優化中的部分應用。