检索结果-维普期刊中文期刊服务平台

基于基准题的中子扩散程序蜕变测试验证方法被引量：4: 1; 作者阳小华闫仕宇 +4 位作者李萌于涛谢金森刘朝晖刘华《原子能科学技术》 EI CAS CSCD 北大核心 2017年第7期1239-1243,共5页; 基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行... 展开更多; 关键词核电设计软件中子扩散程序验证蜕变测试; 在线阅读下载PDF 职称材料

放射性物质个体自主安全智能被引量：4: 2; 作者阳小华曾铁军 +3 位作者万亚平刘征海毛宇胡杰《核安全》 2019年第2期43-48,共6页; 当前放射性物质主要依靠入侵报警系统、视频监控系统和出入口控制系统等外部手段来保障安全。当面临低空、水下等安全威胁或系统故障导致外部安保系统失效时,放射性物质将失去安全保障,致使放射性物质发生丢失或被盗等核安全事件。本文... 展开更多; 关键词放射性物质安保自主安全智能安保级别; 在线阅读下载PDF 职称材料

放射性物质群体自主安全智能被引量：2: 3; 作者阳小华胡杰 +3 位作者毛宇万亚平曾铁军刘征海《核安全》 2019年第6期1-5,11,共6页; 防丢是放射性物质安保的基本要求,主要通过基于GPS定位等功能的外部安保系统实现。本文提出群体自主安全智能概念,这是一种基于放射性物质之间相互联系的内在安保能力,不仅能有效增强现有安保系统的防丢功能,还具有比个体自主安全智能... 展开更多; 关键词放射性物质自主安全智能群体自主安全智能安保级别; 在线阅读下载PDF 职称材料

基于蜕变测试的点燃耗程序验证研究: 4; 作者王丽君李萌《核科学与工程》 CAS CSCD 北大核心 2021年第5期891-898,共8页; 由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,... 展开更多; 关键词点燃耗程序蜕变关系蜕变测试; 在线阅读下载PDF 职称材料

基于自主安全智能的放射性物质信息物理融合安防系统: 5; 作者阳小华刘征海 +3 位作者曾铁军万亚平毛宇蒋盼盼《核安全》 2021年第5期43-48,共6页; 放射性物质的内在安全智能本质上就是一个信息物理融合单元。本文在CPS视角下对内在安全智能进行CPS基本单元映射;从物理层、网络层和系统层分析了放射性物质的内在安全智能与外在安防系统融合的体系结构。使得新型CPS融合安防系统具有... 展开更多; 关键词放射性物质自主安全智能信息物理融合安防系统; 在线阅读下载PDF 职称材料

基于长短时记忆神经网络的能谱核素识别方法被引量：12: 6; 作者王瑶刘志明 +1 位作者万亚平欧阳纯萍《强激光与粒子束》 EI CAS CSCD 北大核心 2020年第10期149-156,共8页; 针对新兴的能谱核素识别方法在混合放射性核素的噪声环境中存在识别速度慢、准确率较低等问题,提出了基于长短时记忆神经网络(LSTM)的能谱核素识别方法。实验使用溴化镧(LaBr3)晶体探测器,分别对环境中60Co、137Cs放射性源分组测量得到... 展开更多; 关键词能谱数据长短时记忆核素识别数据平滑归一化; 在线阅读下载PDF 职称材料

一种似然蜕变关系动态发现工具设计被引量：3: 7; 作者范超阳小华 +2 位作者闫仕宇吴取劲李萌《南华大学学报（自然科学版）》 2018年第2期81-86,共6页; 蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,... 展开更多; 关键词蜕变测试蜕变关系似然蜕变关系算法实现; 在线阅读下载PDF 职称材料

新型放射性物品运输安保系统及其非法移动感知方法: 8; 作者曾铁军阳小华 +3 位作者万亚平蒋盼盼刘征海毛宇《核安全》 2022年第4期19-25,共7页; 放射性物品运输过程的安保相对于固定场合较为薄弱。为了提高放射性物品运输过程的安保水平,本文基于项目团队提出的个体自主安全智能技术,构建了一种新型放射性物品运输安保系统。为了区分丢失与被盗导致的放射性物品非法移动与运输车... 展开更多; 关键词放射性物品自主安全智能运输安保系统非法移动; 在线阅读下载PDF 职称材料

题名基于基准题的中子扩散程序蜕变测试验证方法被引量：4: 1; 作者阳小华闫仕宇李萌于涛谢金森刘朝晖刘华; 机构南华大学计算机科学与技术学院中核集团高可信计算重点学科实验室; 出处《原子能科学技术》 EI CAS CSCD 北大核心 2017年第7期1239-1243,共5页; 基金国家自然科学基金重大研究计划资助项目(11575079); 文摘基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。; 关键词核电设计软件中子扩散程序验证蜕变测试; Keywords nuclear power design software neutron diffusion program verification metamorphic test; 分类号 TL339 [核科学技术—核技术及应用]; 在线阅读下载PDF 职称材料

题名放射性物质个体自主安全智能被引量：4: 2; 作者阳小华曾铁军万亚平刘征海毛宇胡杰; 机构南华大学计算机学院南华大学核科学技术学院中核集团高可信计算重点学科实验室; 出处《核安全》 2019年第2期43-48,共6页; 基金中央军委科技委国防科技创新特区项目项目编号:17-163-15-XJ-002-002-04; 文摘当前放射性物质主要依靠入侵报警系统、视频监控系统和出入口控制系统等外部手段来保障安全。当面临低空、水下等安全威胁或系统故障导致外部安保系统失效时,放射性物质将失去安全保障,致使放射性物质发生丢失或被盗等核安全事件。本文提出放射性物质个体自主安全智能的概念,赋予放射性物质感知和应对自身所面临危险的能力;提出内在安全智能与外在安保能力相结合的安保级别划分,为满足不同类型的放射性物质安全性需求提供新的实现方式。; 关键词放射性物质安保自主安全智能安保级别; Keywords radioactive substance security self-security intelligence security level; 分类号 TL362.1 [核科学技术—核技术及应用]; 在线阅读下载PDF 职称材料

题名放射性物质群体自主安全智能被引量：2: 3; 作者阳小华胡杰毛宇万亚平曾铁军刘征海; 机构南华大学计算机学院南华大学核科学技术学院中核集团高可信计算重点学科实验室; 出处《核安全》 2019年第6期1-5,11,共6页; 基金中央军委科技委国防科技创新特区项目，项目编号：18-163-15-LZ-001-002-09; 文摘防丢是放射性物质安保的基本要求,主要通过基于GPS定位等功能的外部安保系统实现。本文提出群体自主安全智能概念,这是一种基于放射性物质之间相互联系的内在安保能力,不仅能有效增强现有安保系统的防丢功能,还具有比个体自主安全智能更强的防盗、防抢能力和鲁棒性。此外,通过个体、群体安全智能与外在安保系统的组合,可以为满足放射性物质的安全性需求提供更多的实现方式。; 关键词放射性物质自主安全智能群体自主安全智能安保级别; Keywords radioactive substances self-security intelligence swarm self-security intelligence security leve; 分类号 TL93 [核科学技术—辐射防护及环境保护]; 在线阅读下载PDF 职称材料

题名基于蜕变测试的点燃耗程序验证研究: 4; 作者王丽君李萌; 机构南华大学创新创业训练中心南华大学计算机学院中核集团高可信计算重点学科实验室湖南省智能装备软件评测工程技术研究中心; 出处《核科学与工程》 CAS CSCD 北大核心 2021年第5期891-898,共8页; 基金国家科技重大专项(2019ZX06005001) 湖南省教育厅科研项目(16C1362和19C1608) +1 种基金衡阳市科学计划发展计划项目(2015KG59)。; 文摘由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。; 关键词点燃耗程序蜕变关系蜕变测试; Keywords Point depletion program Metamorphic relation Metamorphic testing; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于自主安全智能的放射性物质信息物理融合安防系统: 5; 作者阳小华刘征海曾铁军万亚平毛宇蒋盼盼; 机构南华大学计算机学院南华大学核科学技术学院中核集团高可信计算重点学科实验室; 出处《核安全》 2021年第5期43-48,共6页; 基金中央军委科技委国防科技创新特区项目,项目编号:17-163-15-XJ-002-002-04。; 文摘放射性物质的内在安全智能本质上就是一个信息物理融合单元。本文在CPS视角下对内在安全智能进行CPS基本单元映射;从物理层、网络层和系统层分析了放射性物质的内在安全智能与外在安防系统融合的体系结构。使得新型CPS融合安防系统具有全时空感知、全要素联动、纵深防御的特点,具有主动应对、点线面结合、齐心协力的优势。通过内外融合,充分发挥各自的优势,相互协作,能提高放射性物质的安全性。; 关键词放射性物质自主安全智能信息物理融合安防系统; Keywords radioactive material self-security intelligence CPS security systems; 分类号 TL93 [核科学技术—辐射防护及环境保护]; 在线阅读下载PDF 职称材料

题名基于长短时记忆神经网络的能谱核素识别方法被引量：12: 6; 作者王瑶刘志明万亚平欧阳纯萍; 机构南华大学计算机学院中核集团高可信计算重点学科实验室(南华大学); 出处《强激光与粒子束》 EI CAS CSCD 北大核心 2020年第10期149-156,共8页; 基金中央军委科技委创新特区项目(17-163-15-XJ-002-002-04) 湖南省教育厅重点项目(17A185) +1 种基金 2020年度创新型省份建设专项抗击新冠肺炎疫情应急专题项目(2020SK3010)。; 文摘针对新兴的能谱核素识别方法在混合放射性核素的噪声环境中存在识别速度慢、准确率较低等问题,提出了基于长短时记忆神经网络(LSTM)的能谱核素识别方法。实验使用溴化镧(LaBr3)晶体探测器,分别对环境中60Co、137Cs放射性源分组测量得到能谱数据集,首先使用数据平滑方法和归一化方法进行数据预处理,然后将能谱数据按时间序列分组以获得可用的输入序列数组,最后训练LSTM模型得到预测结果。通过基于BP神经网络和卷积神经网络(CNN)的两个能谱识别模型进行对比,得到在测试集中平均识别率分别为83.45%和86.21%,而LSTM能谱识别模型平均识别率为93.04%,实验结果表明,该能谱模型在核素识别效果中表现较好,可用于快速的能谱核素识别设备上。; 关键词能谱数据长短时记忆核素识别数据平滑归一化; Keywords energy spectrum data long short-term memory nuclide identification data smoothing normalization; 分类号 O657.62 [理学—分析化学]; 在线阅读下载PDF 职称材料

题名一种似然蜕变关系动态发现工具设计被引量：3: 7; 作者范超阳小华闫仕宇吴取劲李萌; 机构南华大学计算机学院中核集团高可信计算重点学科实验室; 出处《南华大学学报（自然科学版）》 2018年第2期81-86,共6页; 基金湖南省教育厅科学研究项目(16C1379) 衡阳市科技计划项目(2017KJ273); 文摘蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.; 关键词蜕变测试蜕变关系似然蜕变关系算法实现; Keywords metamorphic testing metamorphic relation likely metamorphic relations algorithm implementation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名新型放射性物品运输安保系统及其非法移动感知方法: 8; 作者曾铁军阳小华万亚平蒋盼盼刘征海毛宇; 机构南华大学核科学技术学院南华大学电气工程学院南华大学计算机学院中核集团高可信计算重点学科实验室; 出处《核安全》 2022年第4期19-25,共7页; 基金中央军委科技委国防科技创新特区项目,项目编号:18-163-15-LZ-001-002-09 博士基金项目:放射性物品运输安保非授权移动探测技术研究,项目编号:220XQD046。; 文摘放射性物品运输过程的安保相对于固定场合较为薄弱。为了提高放射性物品运输过程的安保水平,本文基于项目团队提出的个体自主安全智能技术,构建了一种新型放射性物品运输安保系统。为了区分丢失与被盗导致的放射性物品非法移动与运输车辆颠簸导致的移动,本文提出了基于面积比较的非法移动检测方法。在运输车厢内4个顶部角度处布置的锚节点轮流广播无线信号,安装在放射性物品上的个体自主安保智能装置提取相应的无线信号强度,经滤波后转换为空间距离。基于距离数据构建出放射性物品自主智能装置与4个锚节点之间的三角形。计算出这些三角形面积之和,将它与代表车厢内部面积的锚节点组成四边形面积进行比较。若结果大于一定阈值则认为发生了非法移动。仿真研究表明,本文提出的方案是可行的。; 关键词放射性物品自主安全智能运输安保系统非法移动; Keywords radioactive material self-security intelligence transportation security system illegal movement; 分类号 TL93 [核科学技术—辐射防护及环境保护]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于基准题的中子扩散程序蜕变测试验证方法	阳小华闫仕宇李萌于涛谢金森刘朝晖刘华	《原子能科学技术》 EI CAS CSCD 北大核心	2017	4	在线阅读下载PDF 职称材料
2	放射性物质个体自主安全智能	阳小华曾铁军万亚平刘征海毛宇胡杰	《核安全》	2019	4	在线阅读下载PDF 职称材料
3	放射性物质群体自主安全智能	阳小华胡杰毛宇万亚平曾铁军刘征海	《核安全》	2019	2	在线阅读下载PDF 职称材料
4	基于蜕变测试的点燃耗程序验证研究	王丽君李萌	《核科学与工程》 CAS CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
5	基于自主安全智能的放射性物质信息物理融合安防系统	阳小华刘征海曾铁军万亚平毛宇蒋盼盼	《核安全》	2021	0	在线阅读下载PDF 职称材料
6	基于长短时记忆神经网络的能谱核素识别方法	王瑶刘志明万亚平欧阳纯萍	《强激光与粒子束》 EI CAS CSCD 北大核心	2020	12	在线阅读下载PDF 职称材料
7	一种似然蜕变关系动态发现工具设计	范超阳小华闫仕宇吴取劲李萌	《南华大学学报（自然科学版）》	2018	3	在线阅读下载PDF 职称材料
8	新型放射性物品运输安保系统及其非法移动感知方法	曾铁军阳小华万亚平蒋盼盼刘征海毛宇	《核安全》	2022	0	在线阅读下载PDF 职称材料