南华大学参与国家能源核电软件重点实验室2024年学术交流会
暨学术年会
2024年10月30至31日，国家能源核电软件重点实验室2024年学术交流会暨学术年会在陕西西安召开，会议由国家能源核电软件重点实验室和国家环境保护核与辐射安全评审模拟分析与验证重点实验室主办，国家电投集团科学技术研究院有限公司承办，西安交通大学等单位协办。
01
参会单位有生态环境部核与辐射安全中心、国家电投集团科学技术研究院有限公司、中广核研究院有限公司、中国原子能科学研究院、中国核动力研究设计院等。同时，清华大学、浙江大学、华中科技大学、西安交通大学、重庆大学、南华大学等高校也积极参与，为会议带来丰富学术资源和创新思维。我校阳小华教授团队李萌、闫仕宇老师以及研究生赵胤参加了本次会议。
01
背景
国家能源核电软件重点实验室于2011年9月由国家能源局批准成立，致力于推动我国核电软件发展。学术年会为核能行业科研成果与经验交流搭建了重要平台，至今已成功举办10届。
02
内容
开幕式特邀陶文铨院士作主旨报告《西安交大NHT的课程建设及学-研-产道路的探索》。领域专家从不同角度全方位介绍我国核电软件领域的最新动态和成果，指明产业未来方向，展现了高校与产业在科学研究、人才培养及技术服务协同发展新思路。
31日，共设立了八个学术分会场，其中第八分会场主题聚焦核电数字化、人工智能技术研究及应用，这一主题紧扣当下科技发展趋势，对于核电行业的智能化发展有着深远意义，李萌老师担任分会场主席之一。赵胤汇报《蜕变测试在高温堆多尺度耦合程序验证中的应用》，针对华能集团球床式高温气冷堆热工安全设计软件面临的Oracle问题等挑战，他采用蜕变测试方法，深入分析程序特性并识别出14条蜕变关系，设计87对测试用例，最终成功发现两个深层次缺陷，深入剖析了缺陷根因、与传统验证技术对比优势、蜕变关系及测试用例有效性等内容。
03
总结
此次报告充分展现了南华大学在核电软件测试领域的科研实力，彰显了我校计算机学院积极围绕国家核电软件自主化重大需求，团结拼搏，致力于解决工程实际问题。
聚力同行 勇往直前
02
南华大学参与此次年会，不仅体现了核电软件测试领域的科研实力，更加强了与其他单位的交流与合作。
南华大学计算机学院融媒体中心
文/赵胤 谭艳娇
图/李萌
编/吴宇洁
