为贯彻落实学校“三个三”发展战略部署，提升教师科研能力，增强整体科研实力，推动学校科研水平迈上新台阶，近日起，学校科研处牵头，各学院（部）相继组织承办学术交流系列活动。官微特开设专栏，连续刊载2025年度科研能力提升系列活动，为教师们搭建学习平台，也为学校教育教学创新注入新活力。第三十四期由电气信息学院承办。近日，电气信息学院邀请东北师范大学李宏博教授作“智能离散优化与约束程序设计”专题学术讲座。学院无课教师及计算机2501班全体学生参加。
讲座伊始，李宏博教授以“鸡兔同笼”等生活化场景切入，用通俗易懂的案例为听众搭建起对约束优化问题的初步认知，巧妙化解了专业概念的理解门槛。随后，教授系统讲解了通用问题描述方式的核心逻辑，阐明如何通过数学与逻辑建模精准界定离散变量的约束关系 。在“传播与搜索”环节，他深入剖析了启发式搜索、分支定界等核心算法的工作原理，结合解空间剪枝技术，展现了高效求解约束满足问题的关键思路。为让理论落地，李宏博教授聚焦实际工业问题，分享了约束程序设计在物流优化、生产调度、资源分配等领域的应用案例，揭示了技术如何为产业降本增效提供支撑。讲座最后，教授通过MiniZinc建模实例展开实操演示，详细介绍了这一开源约束编程建模语言的使用逻辑，展示了如何通过简洁直观的代码构建约束模型并调用求解器完成优化求解 ，让在场师生直观感受理论建模到实际应用的完整流程。
整场讲座脉络清晰、深入浅出，既有理论高度又具实践指导意义。互动环节中，师生围绕工业场景建模难点、MiniZinc与不同求解器的适配等问题积极提问，李宏博教授逐一细致解答，现场学术氛围浓厚。此次讲座不仅拓宽了师生的学术视野，为电气信息学院相关学科建设与科研工作提供了宝贵参考，也为后续校企合作、跨校学术交流奠定了良好基础。
撰稿：电气信息学院、科研处 编辑：曹印