中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
The NCL Natural Constraint Language-(自然約束語言) 版權信息
- ISBN：9787030317841
- 條形碼：9787030317841 ; 978-7-03-031784-1
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
The NCL Natural Constraint Language-(自然約束語言) 本書特色
the ncl natural constraint language presents the ncl language which is a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems．ncl differs from other declarative languages：it models problems naturally in a simplified form of first—order logic with quantifiers boolean logic，numeric constraints，set operations and logical functions；it solves problems by mixed set programming over the mixed domain of real numbers integers，booleans，dates／times，references，and in particular sets．the book uses plenty of examples and tutorials to illustrate ncl and its applications．it is intended for researchers and developers in the fields of logic programmin9，constraint programmin9，optimization，modelin9，operations research and artificial intelligence．who will learn from a new programming language and theoretical foundations for industrial applications．
The NCL Natural Constraint Language-(自然約束語言) 內容簡介
《自然約束語言NCL--簡明教程》可為在高等學校和科研院所中學習研究運籌學、應用數學、人工智能、工業工程、物流優化和計算機科學等的老師和學生提供指導教材。一方面，本書著重介紹自然約束語言NCL(NaturalConstraintLanguage)的理論基礎--混合集合規劃與自然建模；另一方面，本書詳細介紹使用NCL語言的開發平臺--POEM(ProgramminginOperationalandExpressiveModels)對組合優化問題的求解方法。組合優化問題在我們日常生活和工作中廣泛存在，而且因為往往是NP-hard的，所以一般來說難以求解。設計POEM的目的就是為程序師提供一個建模和求解大規模組合優化問題的編程環境。作為POEM內核的NCL語言，是一門以標準的數理邏輯為語法的運籌學的自然語言。在此意義上，NCL是新一代的計算機語言：與一些經典的聲明型語言和腳本型建模語言不同，NCL是上下文相關的智能描述型語言，可以自動對上下文進行語法與語義分析，將標準的數理邏輯表達式智能地匹配到NCL的運籌學算法庫中相應的算法。亦即，NCL可以根據程序的上下文智能的推理和求解。本書結構共分四章，**章對運籌學軟件POEM進行概要介紹；第二章也是本書的核心，介紹了計算機自然約束語言NCL設計的基本體系和掌握的原理方法，內容包括詞匯、數據類型、語法及參數配置等；第三章對運籌學軟件POEM平臺的使用方法做了指導性說明；*后一章闡述了運用NCL語言進行數學建模與求解的方法，其中還包含了基礎建模方法和難題建模的方法，*后配有難題求解案例和解答。
The NCL Natural Constraint Language-(自然約束語言) 目錄
preface
introductlon．
modeling and solving
programming framework and algorithm
formal grdmmar and parser
the ncl language
natural modeling m mathematical logic
cooperative solving
comparison with some othcr systems
the poem platform
development toolkit
component and server
references
data types and lexical conventions
data types
introductlon．
modeling and solving
programming framework and algorithm
formal grdmmar and parser
the ncl language
natural modeling m mathematical logic
cooperative solving
comparison with some othcr systems
the poem platform
development toolkit
component and server
references
data types and lexical conventions
data types
展開全部
書友推薦
- >
唐代進士錄
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
中國歷史的瞬間
- >
名家帶你讀魯迅:朝花夕拾
- >
月亮與六便士
- >
苦雨齋序跋文-周作人自編集
- >
史學評論
- >
巴金－再思錄
本類暢銷
