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

作者：Jianyang Zhou

页数：311

出版社：科学出版社

出版日期：2012

ISBN：9787030317841

电子书格式：pdf/epub/txt

内容简介

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

本书特色

　　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．

目录