题目:自然约束语言与面向对象建模
主讲人:周建阳(ENGINEST公司和北京营智优化科技有限公司、总裁、总经理)
时间:2014年6月24日(星期二)上午8:00
地点:主楼240会议室
主讲人简介:
周建阳博士,法国ENGINEST公司总裁,北京营智优化科技有限公司、南京营智优化信息科技有限公司总经理,北京市特聘专家,中国运筹学会企业运筹学分会副理事长,北京运筹学会副理事长,并担任企业工作委员会主任。周建阳博士1991年6月毕业于北京大学,获计算机软件学士学位;之后,师从Prolog之父Alain Colmerauer攻读博士,1997年3月毕业于法国马赛大学,获计算机科学及数学博士学位;1997年7月至2000年5月,在法国国家信息与自动化研究院INRIA从事博士后研究。2000年6月在法国创办ENGINEST公司。2006年11月在北京创办北京营智优化科技有限公司。2013年5月在南京创办南京营智优化信息科技有限公司。周建阳博士是NCL语言(Natural Constraint Language)的创建者,出版英文学术专著:J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978-3-642-23844-4 (2012). Science Press Beijing, ISBN 978-7-03-031784-1(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 Permutation-Based Approach for Solving the Job-Shop Problem. Constraints 2(2):185-213 (1997);- J. Zhou: A Constraint Program for Solving the Job-Shop Problem. CP 1996: 510-524 (1996)。周建阳博士2000年获法国科技企业创新奖;2007年,ENGINEST公司获“CHINICT Top Innovator法国参议院奖,同时被聘为“北京市特聘专家”;2010年3月被评为“2009年中关村高端领军人才”;2012年12月入选南京领军型科技创业人才“321”引进计划。
内容简介:
NCL语言(Natural Constraint Language)是一门基于常规数理逻辑、求解约束满足问题的描述型语言。与其它声明型语言及求解系统不同,NCL基于一阶逻辑(量词、布尔逻辑、数值约束、集合运算和逻辑函数)对问题面向对象建模(Object-Oriented Modeling);它在实数、整数、布尔值、字符串、日期/时间、指针及集合的混合域上以混合集合规划(Mixed Set Programming)算法对问题进行求解。建模应用的技术关键、案例分析及发展展望。