為貫徹落實學校“三個三”發展戰略部署，提升教師科研能力，增強整體科研實力，推動學校科研水平邁上新臺階，近日起，學校科研處牽頭，各學院（部）相繼組織承辦學術交流系列活動。官微特開設專欄，連續刊載2025年度科研能力提升系列活動，為教師們搭建學習平臺，也為學校教育教學創新注入新活力。第三十四期由電氣信息學院承辦。近日，電氣信息學院邀請東北師范大學李宏博教授作“智能離散優化與約束程序設計”專題學術講座。學院無課教師及計算機2501班全體學生參加。

講座伊始，李宏博教授以“雞兔同籠”等生活化場景切入，用通俗易懂的案例為聽眾搭建起對約束優化問題的初步認知，巧妙化解了專業概念的理解門檻。隨后，教授系統講解了通用問題描述方式的核心邏輯，闡明如何通過數學與邏輯建模精準界定離散變量的約束關系 。在“傳播與搜索”環節，他深入剖析了啟發式搜索、分支定界等核心算法的工作原理，結合解空間剪枝技術，展現了高效求解約束滿足問題的關鍵思路。為讓理論落地，李宏博教授聚焦實際工業問題，分享了約束程序設計在物流優化、生產調度、資源分配等領域的應用案例，揭示了技術如何為產業降本增效提供支撐。講座最后，教授通過MiniZinc建模實例展開實操演示，詳細介紹了這一開源約束編程建模語言的使用邏輯，展示了如何通過簡潔直觀的代碼構建約束模型并調用求解器完成優化求解 ，讓在場師生直觀感受理論建模到實際應用的完整流程。

整場講座脈絡清晰、深入淺出，既有理論高度又具實踐指導意義。互動環節中，師生圍繞工業場景建模難點、MiniZinc與不同求解器的適配等問題積極提問，李宏博教授逐一細致解答，現場學術氛圍濃厚。此次講座不僅拓寬了師生的學術視野，為電氣信息學院相關學科建設與科研工作提供了寶貴參考，也為后續校企合作、跨校學術交流奠定了良好基礎。

撰稿：電氣信息學院、科研處    編輯：曹印