新湖南客戶端 2024-11-13 15:11:50
近日,國家能源核電軟件重點實驗室2024年學(xué)術(shù)交流會暨學(xué)術(shù)年會在陜西西安召開,會議由國家能源核電軟件重點實驗室和國家環(huán)境保護(hù)核與輻射安全評審模擬分析與驗證重點實驗室主辦,國家電投集團(tuán)科學(xué)技術(shù)研究院有限公司承辦,西安交通大學(xué)等單位協(xié)辦。南華大學(xué)陽小華教授團(tuán)隊李萌、閆仕宇老師以及研究生趙胤參加了本次會議。
開幕式上,陶文銓院士作主旨報告《西安交大NHT的課程建設(shè)及學(xué)-研-產(chǎn)道路的探索》。領(lǐng)域?qū)<覐牟煌嵌热轿唤榻B我國核電軟件領(lǐng)域的最新動態(tài)和成果,指明產(chǎn)業(yè)未來方向,展現(xiàn)了高校與產(chǎn)業(yè)在科學(xué)研究、人才培養(yǎng)及技術(shù)服務(wù)協(xié)同發(fā)展新思路。
年會共設(shè)立了八個學(xué)術(shù)分會場,其中第八分會場主題聚焦核電數(shù)字化、人工智能技術(shù)研究及應(yīng)用,這一主題緊扣當(dāng)下科技發(fā)展趨勢,對于核電行業(yè)的智能化發(fā)展有著深遠(yuǎn)意義,李萌老師擔(dān)任分會場主席之一。趙胤匯報《蛻變測試在高溫堆多尺度耦合程序驗證中的應(yīng)用》,針對華能集團(tuán)球床式高溫氣冷堆熱工安全設(shè)計軟件面臨的Oracle問題等挑戰(zhàn),他采用蛻變測試方法,深入分析程序特性并識別出14條蛻變關(guān)系,設(shè)計87對測試用例,最終成功發(fā)現(xiàn)兩個深層次缺陷,深入剖析了缺陷根因、與傳統(tǒng)驗證技術(shù)對比優(yōu)勢、蛻變關(guān)系及測試用例有效性等內(nèi)容。(趙胤 譚艷嬌 李萌)
責(zé)編:張芷瑜
一審:張芷瑜
二審:張馬良
三審:熊佳斌
來源:新湖南客戶端
我要問