本網(wǎng)訊：（程學(xué)勤  圖文報道）10月25日下午，我院本學(xué)期第22講至24講學(xué)術(shù)報告會在志學(xué)樓506順利進(jìn)行。本次報告會邀請了馮仁艷博士、劉鑫博士和李開菊博士為學(xué)院師生開展學(xué)術(shù)講座，學(xué)院教師、研究生及本科生100余人參加。

馮仁艷博士以“分支時序邏輯模型檢測”為主題進(jìn)行報告，系統(tǒng)地介紹了分支時序邏輯（Branching Time Temporal Logic, CTL）的基本概念及其在形式化驗證領(lǐng)域的應(yīng)用。馮仁艷博士通過對CTL的詳細(xì)介紹，幫助同學(xué)們更好地理解了其在系統(tǒng)驗證中的作用。

劉鑫博士以“基于響應(yīng)面的可靠性設(shè)計優(yōu)化”為主題，詳細(xì)介紹了如何通過響應(yīng)面方法進(jìn)行產(chǎn)品設(shè)計的優(yōu)化，并結(jié)合實際案例展示了該方法的應(yīng)用效果。劉鑫博士長期從事智能控制、機器視覺及計算機視覺等方面的研究工作，在智能制造領(lǐng)域有著豐富的經(jīng)驗，通過此次講座，為同學(xué)們的學(xué)術(shù)探索和職業(yè)規(guī)劃提供了寶貴的建議和方向。

李開菊博士以“聯(lián)邦學(xué)習(xí)通信優(yōu)化問題研究”為主題，從聯(lián)邦學(xué)習(xí)的基本原理出發(fā)，分析了當(dāng)前聯(lián)邦學(xué)習(xí)中面臨的通信效率問題，并提出了相應(yīng)的解決方案。她的研究成果對于提升聯(lián)邦學(xué)習(xí)系統(tǒng)的性能具有重要意義。

馮仁艷博士、劉鑫博士和李開菊博士與現(xiàn)場師生針對講座內(nèi)容開展了交流與互動，現(xiàn)場氣氛熱烈，三位博士所作報告富有啟發(fā)性，以此次活動為契機幫助在場師生了解研究新動態(tài)、學(xué)習(xí)新知識，提升自身的科研能力和水平，同時也科學(xué)地指導(dǎo)了學(xué)生，對學(xué)院的學(xué)科交流和學(xué)科發(fā)展起到了積極的推動作用。

一審：付  吉
二審：譚  健
三審：詹  偉