-
>
宇宙、量子和人类心灵
-
>
(精)BBC地球故事系列-星际旅行
-
>
从一到无穷大
-
>
图说相对论(32开平装)
-
>
一本有趣又有料的化学书
-
>
刘薰宇的数学三书:原来数学可以这样学全3册
-
>
光学零件制造工艺学
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-(自然约束语言) 目录
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
- >
巴金-再思录
巴金-再思录
¥33.1¥46.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
我与地坛
我与地坛
¥16.8¥28.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
山海经
山海经
¥21.8¥68.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.0¥45.8
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158 -
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过?
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条?
¥42.3¥158