新款产品发布：POEM 3

2012年3月5日：营智优化发布新款产品POEM 3。POEM是以 NCL语言为核心的优化计算平台。

NCL语言是一门基于常规数理逻辑、求解约束满足问题的描述型语言。与其它声明型语言不同，NCL基于一阶逻辑（量词、布尔逻辑、数值约束、集合运算和逻辑函数）自然地对问题建模；它在实数、整数、布尔值、日期/时间、指针及集合的混合域上以混合集合规划（mixed set programming）算法对问题进行求解。

除加强了算法，POEM 3具以下新特征：
- “逻辑函数”允许编程者像定义cosine 和sum 等常规函数一样自定义用户函数。其重要性在于可支持递归定义及对输入、输出、查询乃至对一个完整解算器的逻辑封装。逻辑函数支持模块化编程及高效的迭代优化；
- 丰富的消息系统（信息、警告、建议、异常；约束失败）更有助程序员建模；
- 强化的调试方法（变量浏览器及约束调试器、期望约束、程序断点、自定义消息）使建模与模型诊断更方便、更有助编程者进行模型调试。

NCL英文专著已由Springer出版（http://www.springer.com/computer/swe/book/978-3-642-23844-4）。

POEM平台并提供ComView（可视化组件），支持基础图形、甘特图（日期/时间的管理）、Map（ 地理信息的管理）, Histogram（统计信息的管理）, Data（数据库的管理）及Script （交互的管理）。

POEM平台还包含ComPoem（POEM组件）和PoemServer（POEM应用服务器），用于优化方案的应用部署。

POEM用户对象包括：
- 物流（供应链）、制造业、民航、航空、航天、人力资源、电子、铁道、电信等行业的专业人员；
- 软件工程、运筹学、逻辑编程、约束编程，人工智能等领域的研发人员；
- 进行科研及教学的相关院校（数理逻辑、编程语言、编译理论、组合优化、逻辑编程、约束编程、运筹学、工业工程等）。