中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
自然約束語言 版權信息
- ISBN：9787030249739
- 條形碼：9787030249739 ; 978-7-03-024973-9
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
自然約束語言 內容簡介
本書介紹自然約束語言ncl及其開發平臺poem。全書共6章，其中第1章簡要介紹ncl語言與求解系統；第2章和第3章介紹ncl語言的基本體系和原理方法，內容包括ncl的詞法、語法及語義等；第4章介紹ncl語言的開發平臺poem的使用方法；第5章介紹如何用ncl語言進行建模及求解；第6章介紹ncl語言在工業優化中的部分應用。
本書可作為高等院校及科研院所研究運籌學、物流優化、人工智能和軟件方向的教師和研究生的科研參考書。針對如何用ncl語言及其開發平臺poem求解運籌學組合優化問題，本書可作為企事業單位中從事生產制造、物流信息化、人力資源優化等工作的it人員研究計劃、排程與優化的指導書，也可以作為poem軟件平臺配套的參考手冊。
自然約束語言 目錄
前言
第1章 ncl與求解系統
1.1 求解系統
解算器（solver）
語法分析器（parser）
規則（rules）
1.2 ncl語言簡介
自然建模（natural modeling）
混合集合規劃（mixed set programming）
求解規則（search rules）
ncl是聯合求解系統
1.3 基于ncl的poem平臺
第2章 ncl的詞法
2.1 常規詞法
字符
標識符
特殊標識符
常量
未確定值
注釋
2.2數學編碼
數學符號一覽表
函數一覽表
tex聚合符
2.3 數據類型
廣義數據類型
邏輯推理的數據精度
集合類型
日期/時間類型
缺省值
數據示例
第3章 ncl的語法及語義
3.1 ncl的常規邏輯
語句（statement）
量詞（quantification）
索引（index）
條件句（conditional）
約束（constraint）
表達式（expression）
浮點數表達式（float expression）
整數表達式（integer expression）
字符串（string）
邏輯指針（reference）
集合表達式（set expression）
布爾表達式（boolean expression）
聚合式（aggregation）
常量（constant）
輸入/輸出的格式（inputand output format）
日期/時間格式（date/time format）
日期/時間的屬性函數（date/time attribute）
變量（variable）
匿名變量（anonymous variable）
連綴（concatenation）
個性化消（custom message）
軟約束（soft constraint）
數據源（data pool）
輸入/輸出的指定（i/o specification）
輸出（print）
宏調用（include）
3.2 ncl的時態邏輯
系統變量（system variable）
抽取（extraction）
賦值（assignment）
跳轉（goto）
子模型（sub model）
sql語言接口
操作系統的os命令（os command）
期待約束（expectation constraint）
3.3 ncl的求解邏輯
切削與搜索（cutand search）
查詢與搜索（queryand search）
枚舉方式（enumeration mode）
查詢準則（query criteria）
優化目標（optimization objective）
求解過程的示范
對求解的系統控制
3.4 消息與跟蹤管理
ncl消息（ncl message）
終止狀態（termination status）
可編程的暫停（programmed break）
可編程的調試（programmed debugging）
消息處理器（message handler）
3.5 ncl的語法范例
布爾邏輯（boolean logic）
無窮大（infinity）
數值約束（numeric constraints）
集合推理（set reasoning）
量詞（quantification）
混合集合規劃示例（mixed set program）
分支（switch）
規則（rule）
優化目標（optimization objective）
輸入，輸出機制（i/o facilities）
查詢及搜索（query and search）
跳轉（goto）
聚合（aggregation）
用作下標的指針（reference subscripts）
被引用的運算式（referenced operators）
連綴（concatenation）
日期/時間的管理（date/time management）
抽取及時態邏輯（extraction and temporallogic）
賦值（assignment）
子字符串及集合的元素（substring and elements from set）
獲取集合的分段區間（obtaining piecewise intervals froma set）
個性化消息（custom message）
內存緩沖區數據源（buffer pool）
存儲于文件的子模型（sub model in a file）
存儲于內存緩沖區的子模型（sub model in a buffer pool）
子模型的返回值（return values ofa sub model）
嵌套調用（nested call）
子模型調用溢出（overflow ina sub model call）
數據庫連接及sql查詢（databaseconnectionand sql qltery）
操作系統os命令（os command）
匿名變量及缺省值（anonymous varlables and default values）
系統變量（system variable）
軟約束（sofit constraint）
用期待約束進行程序調試（programmed debligging with expec tation constraintt
第4章 ncl語言的開發平臺poem@
4.1 poem的主界面
工具欄（tool bar）
tex符號欄
工作區（workspace）
編輯窗（edit window）
跟蹤窗（trace window）
4.2 項目配置
ncl的數據源
ncl的參數配置
項目配置窗
4.3 模型夾及模型庫
模型夾（model folder）
ncl模型庫（modellibrary）
4.4 信息表
現行模型表（running models）
常量表（constants）
變量表（variables）
約束表（constraints）
4.5 視圖及調試
快捷查視（quick watch）
瀏覽器（browser）
約束調試器（constraint debtigger）
可視化調試器（visual debugger）
結果可視化窗（solution viewer）
4.6 跟蹤窗與工作模式
調試模式（debug mode）
計時模式（timer mode）
跟蹤級別（trace level）
診斷信息的選項窗
統計信息的選項窗
推薦的模型診斷模式
推薦的正常工作模式
4.7 在線幫助
第5章 建模及求解
5.1 工程化建模
建模步驟
變量的命名公約
主動式模型改進
被動式模型改進
5.2 ncl的模型抽象
兩兩不等的整數（distinct integers）
兩兩不交的集合（disjoint sets）
排序（sorting）
集合的覆蓋與劃分（set covering and partitioning）
拼排（packing）
有限能力（finite capacity）
第1章 ncl與求解系統
1.1 求解系統
解算器（solver）
語法分析器（parser）
規則（rules）
1.2 ncl語言簡介
自然建模（natural modeling）
混合集合規劃（mixed set programming）
求解規則（search rules）
ncl是聯合求解系統
1.3 基于ncl的poem平臺
第2章 ncl的詞法
2.1 常規詞法
字符
標識符
特殊標識符
常量
未確定值
注釋
2.2數學編碼
數學符號一覽表
函數一覽表
tex聚合符
2.3 數據類型
廣義數據類型
邏輯推理的數據精度
集合類型
日期/時間類型
缺省值
數據示例
第3章 ncl的語法及語義
3.1 ncl的常規邏輯
語句（statement）
量詞（quantification）
索引（index）
條件句（conditional）
約束（constraint）
表達式（expression）
浮點數表達式（float expression）
整數表達式（integer expression）
字符串（string）
邏輯指針（reference）
集合表達式（set expression）
布爾表達式（boolean expression）
聚合式（aggregation）
常量（constant）
輸入/輸出的格式（inputand output format）
日期/時間格式（date/time format）
日期/時間的屬性函數（date/time attribute）
變量（variable）
匿名變量（anonymous variable）
連綴（concatenation）
個性化消（custom message）
軟約束（soft constraint）
數據源（data pool）
輸入/輸出的指定（i/o specification）
輸出（print）
宏調用（include）
3.2 ncl的時態邏輯
系統變量（system variable）
抽取（extraction）
賦值（assignment）
跳轉（goto）
子模型（sub model）
sql語言接口
操作系統的os命令（os command）
期待約束（expectation constraint）
3.3 ncl的求解邏輯
切削與搜索（cutand search）
查詢與搜索（queryand search）
枚舉方式（enumeration mode）
查詢準則（query criteria）
優化目標（optimization objective）
求解過程的示范
對求解的系統控制
3.4 消息與跟蹤管理
ncl消息（ncl message）
終止狀態（termination status）
可編程的暫停（programmed break）
可編程的調試（programmed debugging）
消息處理器（message handler）
3.5 ncl的語法范例
布爾邏輯（boolean logic）
無窮大（infinity）
數值約束（numeric constraints）
集合推理（set reasoning）
量詞（quantification）
混合集合規劃示例（mixed set program）
分支（switch）
規則（rule）
優化目標（optimization objective）
輸入，輸出機制（i/o facilities）
查詢及搜索（query and search）
跳轉（goto）
聚合（aggregation）
用作下標的指針（reference subscripts）
被引用的運算式（referenced operators）
連綴（concatenation）
日期/時間的管理（date/time management）
抽取及時態邏輯（extraction and temporallogic）
賦值（assignment）
子字符串及集合的元素（substring and elements from set）
獲取集合的分段區間（obtaining piecewise intervals froma set）
個性化消息（custom message）
內存緩沖區數據源（buffer pool）
存儲于文件的子模型（sub model in a file）
存儲于內存緩沖區的子模型（sub model in a buffer pool）
子模型的返回值（return values ofa sub model）
嵌套調用（nested call）
子模型調用溢出（overflow ina sub model call）
數據庫連接及sql查詢（databaseconnectionand sql qltery）
操作系統os命令（os command）
匿名變量及缺省值（anonymous varlables and default values）
系統變量（system variable）
軟約束（sofit constraint）
用期待約束進行程序調試（programmed debligging with expec tation constraintt
第4章 ncl語言的開發平臺poem@
4.1 poem的主界面
工具欄（tool bar）
tex符號欄
工作區（workspace）
編輯窗（edit window）
跟蹤窗（trace window）
4.2 項目配置
ncl的數據源
ncl的參數配置
項目配置窗
4.3 模型夾及模型庫
模型夾（model folder）
ncl模型庫（modellibrary）
4.4 信息表
現行模型表（running models）
常量表（constants）
變量表（variables）
約束表（constraints）
4.5 視圖及調試
快捷查視（quick watch）
瀏覽器（browser）
約束調試器（constraint debtigger）
可視化調試器（visual debugger）
結果可視化窗（solution viewer）
4.6 跟蹤窗與工作模式
調試模式（debug mode）
計時模式（timer mode）
跟蹤級別（trace level）
診斷信息的選項窗
統計信息的選項窗
推薦的模型診斷模式
推薦的正常工作模式
4.7 在線幫助
第5章 建模及求解
5.1 工程化建模
建模步驟
變量的命名公約
主動式模型改進
被動式模型改進
5.2 ncl的模型抽象
兩兩不等的整數（distinct integers）
兩兩不交的集合（disjoint sets）
排序（sorting）
集合的覆蓋與劃分（set covering and partitioning）
拼排（packing）
有限能力（finite capacity）
展開全部
自然約束語言 節選
《自然約束語言》介紹自然約束語言NCL及其開發平臺POEM。全書共6章，其中第1章簡要介紹NCL語言與求解系統；第2章和第3章介紹NCL語言的基本體系和原理方法，內容包括NCL的詞法、語法及語義等；第4章介紹NCL語言的開發平臺POEM的使用方法；第5章介紹如何用NCL語言進行建模及求解；第6章介紹NCL語言在工業優化中的部分應用。《自然約束語言》可作為高等院校及科研院所研究運籌學、物流優化、人工智能和軟件方向的教師和研究生的科研參考書。針對如何用NCL語言及其開發平臺POEM求解運籌學組合優化問題，《自然約束語言》可作為企事業單位中從事生產制造、物流信息化、人力資源優化等工作的IT人員研究計劃、排程與優化的指導書，也可以作為POEM軟件平臺配套的參考手冊。
書友推薦
- >
月亮虎
- >
巴金－再思錄
- >
煙與鏡
- >
朝聞道
- >
伯納黛特,你要去哪(2021新版)
- >
隨園食單
- >
羅曼·羅蘭讀書隨筆-精裝
- >
山海經
本類暢銷
