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

陜西師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院院長(zhǎng)李永明來(lái)我院作報(bào)告

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

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

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

（圖/文  張昊）