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

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

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

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