本網(wǎng)訊:(程學(xué)勤 圖文報(bào)道)6月13日下午,我院本學(xué)期第12講至14講學(xué)術(shù)報(bào)告會在志學(xué)樓506順利進(jìn)行。本次報(bào)告會邀請了曾駿哲博士、王亞洲博士和成戍博士為學(xué)院師生開展學(xué)術(shù)講座,學(xué)院教師、研究生及本科生100余人參加。
曾駿哲博士以“CMOS圖像傳感器輻射效應(yīng)研究”為題,系統(tǒng)解析了該器件在太空輻射、核工業(yè)等特殊環(huán)境下的失效機(jī)理。通過衛(wèi)星載荷、核設(shè)施監(jiān)測等實(shí)際案例,詳細(xì)闡述了輻射損傷的量化分析方法及防護(hù)設(shè)計(jì)策略,為相關(guān)領(lǐng)域的設(shè)備可靠性提升提供了理論支持。

王亞洲博士圍繞“邊緣智能技術(shù)發(fā)展與應(yīng)用”展開論述,剖析了傳統(tǒng)云計(jì)算在萬物智聯(lián)時代的局限性,重點(diǎn)講解了邊緣智能在實(shí)時響應(yīng)、數(shù)據(jù)隱私保護(hù)等方面的突破性進(jìn)展,為師生勾勒出新一代智聯(lián)技術(shù)的演進(jìn)藍(lán)圖。

成戍博士帶來“從Hoare邏輯到統(tǒng)一編程理論”的學(xué)術(shù)報(bào)告,通過梳理形式化方法的發(fā)展脈絡(luò),深入闡釋了如何運(yùn)用統(tǒng)一數(shù)學(xué)語言實(shí)現(xiàn)復(fù)雜程序驗(yàn)證,為保障軟件系統(tǒng)正確性提供了創(chuàng)新解決方案。

學(xué)術(shù)交流激發(fā)創(chuàng)新活力在互動環(huán)節(jié),師生們就技術(shù)細(xì)節(jié)、行業(yè)應(yīng)用等議題與三位博士展開深入探討。本次報(bào)告會通過多學(xué)科交叉的前沿視角,有效拓寬了師生的學(xué)術(shù)視野,為學(xué)院科研創(chuàng)新注入新動能。活動充分展現(xiàn)了我院在促進(jìn)學(xué)術(shù)交流、推動科研攻關(guān)方面的積極成效。
一審:劉文江
二審:譚 健
三審:詹 偉