包邮The NCL Natural Constraint Language-(自然约束语言)

1星价 ¥55.6 (6.3折)

2星价￥55.6 定价￥88.0

作者：Jianyang Zhou

出版社：科学出版社

本类榜单：自然科学

分类：自然科学 > 数学 > 运筹学

暂无评论

图文详情

ISBN：9787030317841
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：32开
页数：311
出版时间：2012-01-01
条形码：9787030317841 ; 978-7-03-031784-1

本书特色

　　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．

内容简介

《自然约束语言NCL--简明教程》可为在高等学校和科研院所中学习研究运筹学、应用数学、人工智能、工业工程、物流优化和计算机科学等的老师和学生提供指导教材。一方面，本书着重介绍自然约束语言NCL(NaturalConstraintLanguage)的理论基础--混合集合规划与自然建模；另一方面，本书详细介绍使用NCL语言的开发平台--POEM(ProgramminginOperationalandExpressiveModels)对组合优化问题的求解方法。组合优化问题在我们日常生活和工作中广泛存在，而且因为往往是NP-hard的，所以一般来说难以求解。设计POEM的目的就是为程序师提供一个建模和求解大规模组合优化问题的编程环境。作为POEM内核的NCL语言，是一门以标准的数理逻辑为语法的运筹学的自然语言。在此意义上，NCL是新一代的计算机语言：与一些经典的声明型语言和脚本型建模语言不同，NCL是上下文相关的智能描述型语言，可以自动对上下文进行语法与语义分析，将标准的数理逻辑表达式智能地匹配到NCL的运筹学算法库中相应的算法。亦即，NCL可以根据程序的上下文智能的推理和求解。本书结构共分四章，**章对运筹学软件POEM进行概要介绍；第二章也是本书的核心，介绍了计算机自然约束语言NCL设计的基本体系和掌握的原理方法，内容包括词汇、数据类型、语法及参数配置等；第三章对运筹学软件POEM平台的使用方法做了指导性说明；*后一章阐述了运用NCL语言进行数学建模与求解的方法，其中还包含了基础建模方法和难题建模的方法，*后配有难题求解案例和解答。

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

展开全部

本类五星书

更多>>

浏览历史

本类畅销

×

包邮The NCL Natural Constraint Language-(自然约束语言)

本书特色

内容简介

目录

预估到手价 ×