題目：自然約束語言與面向對象建模
主講人：周建陽（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）算法對問題進行求解。建模應用的技術關鍵、案例分析及發展展望。
