自然约束语言 英文版PDF电子书下载

图书介绍：《自然约束语言NCL : 简明教程》可为在高等学校和科研院所中学习研究运筹学、应用数学、人工智能、工业工程、物流优化和计算机科学等的老师和学生提供指导教材。一方面，本书着重介绍自然约束语言NCL(Natural Constraint Language)的理论基础--混合集合规划与自然建模；另一方面，本书详细介绍使用NCL语言的开发平台——POEM(Programmingin Operational and Expressive Models)对组合优化问题的求解方法。组合优化问题在我们日常生活和工作中广泛存在，而且因为往往是NP-hard的，所以一般来说难以求解。设计POEM的目的就是为程序师提供一个建模和求解大规模组合优化问题的编程环境。作为POEM内核的NCL语言，是一门以标准的数理逻辑为语法的运筹学的自然语言。在此意义上，NCL是新一代的计算机语言：与一些经典的声明型语言和脚本型建模语言不同，NCL是上下文相关的智能描述型语言，可以自动对上下文进行语法与语义分析，将标准的数理逻辑表达式智能地匹配到NCL的运筹学算法库中相应的算法。亦即，NCL可以根据程序的上下文智能的推理和求解。