我院本學(xué)期“學(xué)苑論壇”落下帷幕

陜西師范大學(xué)計算機(jī)科學(xué)學(xué)院院長李永明來我院作報告

6月21日，陜西師范大學(xué)計算機(jī)科學(xué)學(xué)院院長、博士生導(dǎo)師李永明教授應(yīng)邀為計算機(jī)科學(xué)系師生作了題為《計算機(jī)模型檢測與量化》的學(xué)術(shù)報告。至此，我院2010——2011學(xué)年第二學(xué)期“學(xué)苑論壇”系列報告落下了帷幕。

報告會上，李永明教授從近年來國內(nèi)外因計算機(jī)軟、硬件系統(tǒng)錯誤導(dǎo)致的事故入手，通過經(jīng)典案例分析，深入講解了計算機(jī)軟、硬件系統(tǒng)的驗證方法，比較了現(xiàn)代形式化驗證較傳統(tǒng)驗證的優(yōu)勢所在。他通過大量的數(shù)學(xué)計算公式進(jìn)行演變推論，總結(jié)出形式化驗證是保證系統(tǒng)設(shè)計正確性的一條正確途徑，是一種通過數(shù)學(xué)證明的手段來驗證系統(tǒng)可靠性的方法。針對計算機(jī)系統(tǒng)驗證存在的問題，李永明教授為自己的科研團(tuán)隊定下了繼續(xù)深入研究形式化數(shù)學(xué)模型檢測、向多值模型檢測進(jìn)軍的目標(biāo)。整場報告精彩熱烈，贏得了在座師生的贊譽(yù)。

本場報告是我院“學(xué)苑論壇”在本學(xué)期的最后一講。自解放軍西安政治學(xué)院李廣義教授來我院作的首場報告以來，院黨委宣傳部、科研處、學(xué)生處和各系（部）相繼邀請院內(nèi)外專家、學(xué)者為師生作了形勢報告、學(xué)術(shù)報告等近20場。內(nèi)容豐富、形式多樣，受到了師生們的一致好評，營造了良好的校園學(xué)術(shù)文化氛圍。

（圖/文  張昊）