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