题目：自然约束语言与面向对象建模
主讲人：周建阳（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）算法对问题进行求解。建模应用的技术关键、案例分析及发展展望。