5月23日下午2點(diǎn)，在南校區(qū)信息樓三樓會(huì)議室，開展了一場(chǎng)關(guān)于“知識(shí)處理與可信軟件”的研討會(huì),。此次研討會(huì)由知識(shí)處理與網(wǎng)絡(luò)化制造湖南省普通高校重點(diǎn)實(shí)驗(yàn)室,，計(jì)算機(jī)科學(xué)與工程學(xué)院主辦,。學(xué)院劉建勛副院長(zhǎng)主持了此次研討會(huì),。
此次研討會(huì)上，針對(duì)教授做的四個(gè)報(bào)告,，展開了熱烈的討論,。報(bào)告一，由北京航空航天大學(xué)計(jì)算機(jī)學(xué)院李舟軍教授進(jìn)行“協(xié)議與軟件安全漏洞的分析和驗(yàn)證”,。他介紹了安全協(xié)議的背景與意義,、安全協(xié)議的類型、性質(zhì),，剖析了某些安全協(xié)議失敗的原因,，并提出了安全協(xié)議的精確建模與高效驗(yàn)證方法,；報(bào)告二由美國(guó)Georgia大學(xué)計(jì)算機(jī)系助理教授劉天明講述“關(guān)于老年癡呆癥的科學(xué)知識(shí)”,他說(shuō)明可利用計(jì)算機(jī)技術(shù)完成預(yù)測(cè),，結(jié)合腦科學(xué)及以往的經(jīng)驗(yàn)，治療老年癡呆癥,，建立知識(shí)模塊,，也可運(yùn)用到其他領(lǐng)域中；報(bào)告三由中南大學(xué)王國(guó)軍教授闡述自己在“可信網(wǎng)絡(luò)計(jì)算環(huán)境中的信任模型及信任傳遞機(jī)制的研究”,，對(duì)時(shí)間相關(guān)的信任模型,，小世界網(wǎng)絡(luò)的形成等研究成果進(jìn)行了展示；報(bào)告四由澳大利亞Swinbarne科技大學(xué)助理教授陳金俊博士講述了科學(xué)工作與其他工作的不同,，及工作中的自動(dòng)化等內(nèi)容,。
報(bào)告后，教授,、老師們對(duì)報(bào)告內(nèi)容進(jìn)行了熱烈的討論,，現(xiàn)場(chǎng)氣氛高漲,。經(jīng)過(guò)了四個(gè)小時(shí)的討論，此次研討會(huì)圓滿結(jié)束,。
