北京营智优化科技有限公司

邮 编:100085

电 话:010-60609840

邮 箱:info@enginest.cn


南京营智优化科技有限公司

邮 编:210004

邮 箱:info@enginest.cn

NCL数学编程语言
首页 > 产品 > NCL数学编程语言

营智公司致力于数据处理、人工智能、运筹学、逻辑编程及计算机语言等领域的科技研发。自然约束语言NCL即此诸多技术之结晶。设计NCL语言的目的是为用户提供一个易于操作、求解约束满足问题的语言工具。


    

 

NCL语言简介

 NCL语言(Natural Constraint Language)是一门图灵完备、求解约束满足问题的数学编程语言。与其它声明型语言不同,NCL支持自然建模,其数学识别器可理解基于量词、布尔逻辑、数值约束、集合运算及逻辑函数的常规数学逻辑;NCL的解算器支持简化的一阶逻辑及集合编程,以混合集合规划(Mixed Set Programming)算法求解混合域(实数、整数、布尔值、日期/时间、字符串、指针及集合等)的问题。

       NCL 语言原型最早出现在1997年12月召开的第三届国际系统科学和系统工程会议上,并于1998年5月提交逻辑规划协会的正式期刊"The Journal of Logic Programming”。

      在实际中,NCL 能应用于数据处理,还可广泛应用于物流、民航、电子、能源、电力、高铁、航天等诸多领域的逻辑及优化问题。

 

与国际市场产品相比,NCL的科技创新包括:

数学识别器:基于AI的模式识别技术广泛应用于NCL的语法分析及语义识别;支持数学编程; 

混合集合规划系统:囊括数值、布尔值、量词、集合、逻辑函数运算,世界上最为精密的数学算法系统之一。


学术专著

J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978-3-642-23844-4  (2012).
周建阳:《自然约束语言》,科学出版社, ISBN 978-7-03-024973-9 (2009).

 

部分论文
J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45 (1-3): 71-103(2000).
J. Zhou: A Note on Mixed Set Programming. Proc. of The 7th International Symposium on Operations Research and Its  Applications, 131-140 (2008).
J. Zhou: Routing By Mixed Set Programming. Proc. of The 8th International Symposium on Operations Research and Its Applications, 157-166 (2009).
J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of ICSSSE: 205-210 (1998).  

 

教科书

李向文(大连海事大学):《物流系统优化建模与求解》,北京大学出版社,ISBN 978-7-301-22115-0(2013).

左秀峰(北京理工大学): 《NCL语言与POEM优化计算平台简明教程》,清华大学出版社,ISBN 978-7-302-33671-6 (2013).

地址:北京市顺义区临空经济核心区融慧园6号楼8层营智优化    电话: 010-60609840   邮箱: info@enginest.cn

版权所有 北京营智优化科技有限公司 ©2020   京ICP备07040754号 法律条款