我院本學期“學苑論壇”落下帷幕

陜西師范大學計算機科學學院院長李永明來我院作報告

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

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

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

（圖/文  張昊）