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