自然约束语言 内容简介

本书介绍自然约束语言ncl及其开发平台poem。全书共6章，其中第1章简要介绍ncl语言与求解系统；第2章和第3章介绍ncl语言的基本体系和原理方法，内容包括ncl的词法、语法及语义等；第4章介绍ncl语言的开发平台poem的使用方法；第5章介绍如何用ncl语言进行建模及求解；第6章介绍ncl语言在工业优化中的部分应用。
本书可作为高等院校及科研院所研究运筹学、物流优化、人工智能和软件方向的教师和研究生的科研参考书。针对如何用ncl语言及其开发平台poem求解运筹学组合优化问题，本书可作为企事业单位中从事生产制造、物流信息化、人力资源优化等工作的it人员研究计划、排程与优化的指导书，也可以作为poem软件平台配套的参考手册。

自然约束语言 目录

前言
第1章 ncl与求解系统
1.1 求解系统
解算器（solver）
语法分析器（parser）
规则（rules）
1.2 ncl语言简介
自然建模（natural modeling）
混合集合规划（mixed set programming）
求解规则（search rules）
ncl是联合求解系统
1.3 基于ncl的poem平台
第2章 ncl的词法
2.1 常规词法
字符
标识符
特殊标识符
常量
未确定值
注释
2.2数学编码
数学符号一览表
函数一览表
tex聚合符
2.3 数据类型
广义数据类型
逻辑推理的数据精度
集合类型
日期/时间类型
缺省值
数据示例
第3章 ncl的语法及语义
3.1 ncl的常规逻辑
语句（statement）
量词（quantification）
索引（index）
条件句（conditional）
约束（constraint）
表达式（expression）
浮点数表达式（float expression）
整数表达式（integer expression）
字符串（string）
逻辑指针（reference）
集合表达式（set expression）
布尔表达式（boolean expression）
聚合式（aggregation）
常量（constant）
输入/输出的格式（inputand output format）
日期/时间格式（date/time format）
日期/时间的属性函数（date/time attribute）
变量（variable）
匿名变量（anonymous variable）
连缀（concatenation）
个性化消（custom message）
软约束（soft constraint）
数据源（data pool）
输入/输出的指定（i/o specification）
输出（print）
宏调用（include）
3.2 ncl的时态逻辑
系统变量（system variable）
抽取（extraction）
赋值（assignment）
跳转（goto）
子模型（sub model）
sql语言接口
操作系统的os命令（os command）
期待约束（expectation constraint）
3.3 ncl的求解逻辑
切削与搜索（cutand search）
查询与搜索（queryand search）
枚举方式（enumeration mode）
查询准则（query criteria）
优化目标（optimization objective）
求解过程的示范
对求解的系统控制
3.4 消息与跟踪管理
ncl消息（ncl message）
终止状态（termination status）
可编程的暂停（programmed break）
可编程的调试（programmed debugging）
消息处理器（message handler）
3.5 ncl的语法范例
布尔逻辑（boolean logic）
无穷大（infinity）
数值约束（numeric constraints）
集合推理（set reasoning）
量词（quantification）
混合集合规划示例（mixed set program）
分支（switch）
规则（rule）
优化目标（optimization objective）
输入，输出机制（i/o facilities）
查询及搜索（query and search）
跳转（goto）
聚合（aggregation）
用作下标的指针（reference subscripts）
被引用的运算式（referenced operators）
连缀（concatenation）
日期/时间的管理（date/time management）
抽取及时态逻辑（extraction and temporallogic）
赋值（assignment）
子字符串及集合的元素（substring and elements from set）
获取集合的分段区间（obtaining piecewise intervals froma set）
个性化消息（custom message）
内存缓冲区数据源（buffer pool）
存储于文件的子模型（sub model in a file）
存储于内存缓冲区的子模型（sub model in a buffer pool）
子模型的返回值（return values ofa sub model）
嵌套调用（nested call）
子模型调用溢出（overflow ina sub model call）
数据库连接及sql查询（databaseconnectionand sql qltery）
操作系统os命令（os command）
匿名变量及缺省值（anonymous varlables and default values）
系统变量（system variable）
软约束（sofit constraint）
用期待约束进行程序调试（programmed debligging with expec tation constraintt

 1/2    1 2 下一页 尾页

自然科学 数学 运筹学

在线阅读