读书月福利
欢迎光临中图网 请 | 注册
> >>
The NCL Natural Constraint Language-(自然约束语言)

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

作者:Jianyang Zhou
出版社:科学出版社出版时间:2012-01-01
开本: 32开 页数: 311
本类榜单:自然科学销量榜
中 图 价:¥61.6(7.0折) 定价  ¥88.0 登录后可看到会员价
暂时缺货 收藏
运费6元,满69元免运费
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
本类五星书更多>

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
展开全部
商品评论(0条)
暂无评论……
书友推荐
编辑推荐
返回顶部
中图网
在线客服