期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
16
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于因果推断肺癌患者生存时间预测方法
被引量:
1
1
作者
马真真
万亚平
+1 位作者
刘纯
周琦
《计算机应用与软件》
北大核心
2023年第4期47-53,共7页
医学上常用回归的方法评估肿瘤患者的生存时间,但有一定的局限性。为了提高回归结果,提出一种基于因果推断的患者生存时间预测方法(MRCI-DNN)。采用因果推断算法构建病理因素与患者生存时间的因果网络结构图,从因果网络结构图中筛选主...
医学上常用回归的方法评估肿瘤患者的生存时间,但有一定的局限性。为了提高回归结果,提出一种基于因果推断的患者生存时间预测方法(MRCI-DNN)。采用因果推断算法构建病理因素与患者生存时间的因果网络结构图,从因果网络结构图中筛选主要因素,并结合深度神经网络模型预测生存时间。实验表明,肺癌分期、放化疗、吸烟、PLR、肺癌类型及NLR是影响肺癌患者生存时间的主要因素。通过实验对比,基于因果推断方法筛选主要因素应用在深度神经网络预测上要优于其他选择特征方法。
展开更多
关键词
因果推断
机器学习
生存时间
因果网络结构图
深度神经网络
下载PDF
职称材料
基于基准题的中子扩散程序蜕变测试验证方法
被引量:
4
2
作者
阳小华
闫仕宇
+4 位作者
李萌
于涛
谢金森
刘朝晖
刘华
《原子能科学技术》
EI
CAS
CSCD
北大核心
2017年第7期1239-1243,共5页
基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行...
基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。
展开更多
关键词
核电设计软件
中子扩散程序
验证
蜕变测试
下载PDF
职称材料
面向翻转课堂的微视频教学设计研究
被引量:
4
3
作者
王丽君
李萌
阳小华
《中国现代教育装备》
2016年第21期77-79,共3页
为提升学生的学习主动性,将身份由"旁观者"转变为"主角",教师职责由"教学"转变为"助学、导学",设计出由"课前—课中—课后"组成的翻转课堂教学活动图。微视频在翻转课堂教学中既是...
为提升学生的学习主动性,将身份由"旁观者"转变为"主角",教师职责由"教学"转变为"助学、导学",设计出由"课前—课中—课后"组成的翻转课堂教学活动图。微视频在翻转课堂教学中既是重要教学手段,也是主要学习资源。为充分发挥微视频的效果,提出包括视频长度、知识点容量、内容、构图、转场过渡到字幕等10条设计原则,经过在EDA实验课2学年的教学运用,获得学生肯定。
展开更多
关键词
翻转课堂
微视频教学
微视频设计原则
下载PDF
职称材料
放射性物质个体自主安全智能
被引量:
4
4
作者
阳小华
曾铁军
+3 位作者
万亚平
刘征海
毛宇
胡杰
《核安全》
2019年第2期43-48,共6页
当前放射性物质主要依靠入侵报警系统、视频监控系统和出入口控制系统等外部手段来保障安全。当面临低空、水下等安全威胁或系统故障导致外部安保系统失效时,放射性物质将失去安全保障,致使放射性物质发生丢失或被盗等核安全事件。本文...
当前放射性物质主要依靠入侵报警系统、视频监控系统和出入口控制系统等外部手段来保障安全。当面临低空、水下等安全威胁或系统故障导致外部安保系统失效时,放射性物质将失去安全保障,致使放射性物质发生丢失或被盗等核安全事件。本文提出放射性物质个体自主安全智能的概念,赋予放射性物质感知和应对自身所面临危险的能力;提出内在安全智能与外在安保能力相结合的安保级别划分,为满足不同类型的放射性物质安全性需求提供新的实现方式。
展开更多
关键词
放射性物质
安保
自主安全智能
安保级别
下载PDF
职称材料
一种似然蜕变关系动态发现工具设计
被引量:
3
5
作者
范超
阳小华
+2 位作者
闫仕宇
吴取劲
李萌
《南华大学学报(自然科学版)》
2018年第2期81-86,共6页
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,...
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.
展开更多
关键词
蜕变测试
蜕变关系
似然蜕变关系
算法实现
下载PDF
职称材料
放射性物质群体自主安全智能
被引量:
2
6
作者
阳小华
胡杰
+3 位作者
毛宇
万亚平
曾铁军
刘征海
《核安全》
2019年第6期1-5,11,共6页
防丢是放射性物质安保的基本要求,主要通过基于GPS定位等功能的外部安保系统实现。本文提出群体自主安全智能概念,这是一种基于放射性物质之间相互联系的内在安保能力,不仅能有效增强现有安保系统的防丢功能,还具有比个体自主安全智能...
防丢是放射性物质安保的基本要求,主要通过基于GPS定位等功能的外部安保系统实现。本文提出群体自主安全智能概念,这是一种基于放射性物质之间相互联系的内在安保能力,不仅能有效增强现有安保系统的防丢功能,还具有比个体自主安全智能更强的防盗、防抢能力和鲁棒性。此外,通过个体、群体安全智能与外在安保系统的组合,可以为满足放射性物质的安全性需求提供更多的实现方式。
展开更多
关键词
放射性物质
自主安全智能
群体自主安全智能
安保级别
下载PDF
职称材料
科学计算程序蜕变关系层次分类模型
被引量:
2
7
作者
阳小华
闫仕宇
+1 位作者
刘杰
李萌
《计算机科学》
CSCD
北大核心
2020年第S02期557-561,共5页
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的...
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。
展开更多
关键词
科学计算程序
蜕变测试
蜕变关系
分类模型
下载PDF
职称材料
工学交替的弹性企业实习体系
被引量:
1
8
作者
王丽君
李萌
阳小华
《计算机教育》
2016年第11期144-148,共5页
从卓越教育培养计划入手,分析国内外实践教学和校企合作的研究状况,以南华大学为例,提出一种工学交替的弹性实习体系,目的是实现"课程—环境—制度—研发"对接,提高学生的工程能力。
关键词
工学交替
卓越计划
顶岗实习
弹性企业实习
下载PDF
职称材料
新型放射性物品运输安保系统及其非法移动感知方法
9
作者
曾铁军
阳小华
+3 位作者
万亚平
蒋盼盼
刘征海
毛宇
《核安全》
2022年第4期19-25,共7页
放射性物品运输过程的安保相对于固定场合较为薄弱。为了提高放射性物品运输过程的安保水平,本文基于项目团队提出的个体自主安全智能技术,构建了一种新型放射性物品运输安保系统。为了区分丢失与被盗导致的放射性物品非法移动与运输车...
放射性物品运输过程的安保相对于固定场合较为薄弱。为了提高放射性物品运输过程的安保水平,本文基于项目团队提出的个体自主安全智能技术,构建了一种新型放射性物品运输安保系统。为了区分丢失与被盗导致的放射性物品非法移动与运输车辆颠簸导致的移动,本文提出了基于面积比较的非法移动检测方法。在运输车厢内4个顶部角度处布置的锚节点轮流广播无线信号,安装在放射性物品上的个体自主安保智能装置提取相应的无线信号强度,经滤波后转换为空间距离。基于距离数据构建出放射性物品自主智能装置与4个锚节点之间的三角形。计算出这些三角形面积之和,将它与代表车厢内部面积的锚节点组成四边形面积进行比较。若结果大于一定阈值则认为发生了非法移动。仿真研究表明,本文提出的方案是可行的。
展开更多
关键词
放射性物品
自主安全智能
运输安保系统
非法移动
下载PDF
职称材料
基于神经网络的混合数据的因果发现
10
作者
耿家兴
万亚平
李洪飞
《计算机技术与发展》
2020年第5期26-31,共6页
因果推理正在成为机器学习领域一个越来越受关注的研究热点,现阶段的因果发现主要是在研究某一种假设条件下,基于纯粹的观测数据推断变量之间的因果方向。然而在现实世界中观察到的数据往往是由一些假设生成,使得传统因果推断方法的识...
因果推理正在成为机器学习领域一个越来越受关注的研究热点,现阶段的因果发现主要是在研究某一种假设条件下,基于纯粹的观测数据推断变量之间的因果方向。然而在现实世界中观察到的数据往往是由一些假设生成,使得传统因果推断方法的识别率不高、稳定性较差。针对当前的问题,提出了一种基于神经网络来解决混合数据因果推断的方法。该方法在混合加性噪声模型(ANM-MM)的假设下,使用梯度下降法最优化改进的损失函数得到混合数据的抽象因果分布参数,然后将分布参数看作是原因变量和结果变量之间的隐变量,通过比较原因变量和分布参数之间的HilberSchmidt独立性来确定二元变量的因果方向。在理论上证明了该方法的可行性,并通过实验表明该算法在人工数据和真实数据的表现较传统的IGCI,ANM,PNL,LiNGAM,SLOPE方法具有较好的准确率和稳定性。
展开更多
关键词
神经网络
混合加性噪声
因果推断
梯度下降
HilberSchmidt独立性
下载PDF
职称材料
“卓越计划”背景下企业实习机制改革
11
作者
王丽君
李萌
阳小华
《中国现代教育装备》
2016年第19期64-66,共3页
为破解非中心城市地方本科院校卓越计划企业实习难题,南华大学发挥核行业背景优势,服务国家重大专项,承担我国首套核电软件包NESTOR的软件测试工作,将企业项目与卓越人才培养相结合,建立弹性企业实习制,健全实习管理制度,学生先在校内实...
为破解非中心城市地方本科院校卓越计划企业实习难题,南华大学发挥核行业背景优势,服务国家重大专项,承担我国首套核电软件包NESTOR的软件测试工作,将企业项目与卓越人才培养相结合,建立弹性企业实习制,健全实习管理制度,学生先在校内实训,后进入企业实习,工学结合收效显著。
展开更多
关键词
“卓越工程师教育培养计划”
工学结合
弹性实习制
下载PDF
职称材料
基于自主安全智能的放射性物质信息物理融合安防系统
12
作者
阳小华
刘征海
+3 位作者
曾铁军
万亚平
毛宇
蒋盼盼
《核安全》
2021年第5期43-48,共6页
放射性物质的内在安全智能本质上就是一个信息物理融合单元。本文在CPS视角下对内在安全智能进行CPS基本单元映射;从物理层、网络层和系统层分析了放射性物质的内在安全智能与外在安防系统融合的体系结构。使得新型CPS融合安防系统具有...
放射性物质的内在安全智能本质上就是一个信息物理融合单元。本文在CPS视角下对内在安全智能进行CPS基本单元映射;从物理层、网络层和系统层分析了放射性物质的内在安全智能与外在安防系统融合的体系结构。使得新型CPS融合安防系统具有全时空感知、全要素联动、纵深防御的特点,具有主动应对、点线面结合、齐心协力的优势。通过内外融合,充分发挥各自的优势,相互协作,能提高放射性物质的安全性。
展开更多
关键词
放射性物质
自主安全智能
信息物理融合
安防系统
下载PDF
职称材料
一种基于CDC的适用于高维数据的因果推断算法
13
作者
李洪飞
万亚平
+1 位作者
阳小华
耿家兴
《计算机技术与发展》
2020年第1期38-43,共6页
一对观测变量之间的因果关系的推断是科学中的基本问题,基于观测数据分析提出因果关系的方法对于产生假设和加速科学发现具有实用价值。利用传统的因果推断算法从高维数据中学习因果网络结构和提高学习准确率是目前研究的难点。在引入...
一对观测变量之间的因果关系的推断是科学中的基本问题,基于观测数据分析提出因果关系的方法对于产生假设和加速科学发现具有实用价值。利用传统的因果推断算法从高维数据中学习因果网络结构和提高学习准确率是目前研究的难点。在引入耦合相关系数(copula dependence coefficient,CDC)的基础上,提出了一种适用于高维数据的两步骤因果推断算法。首先该算法利用优于最大信息系数的CDC对变量间的关联度进行检测,寻找目标节点的父子节点集;然后使用非线性最小二乘独立回归算法,为图中的目标节点与其父子节点之间标注因果方向;最后迭代所有的节点完成完整的因果网络结构。实验结果表明,该算法提高了高维数据下因果网络结构学习的准确率。同时在大样本数据集中,该算法的时间复杂度优于传统算法,对异常值具有鲁棒性。
展开更多
关键词
耦合相关系数
最大信息系数
最小二乘回归
因果推断
下载PDF
职称材料
基于蜕变测试的点燃耗程序验证研究
14
作者
王丽君
李萌
《核科学与工程》
CAS
CSCD
北大核心
2021年第5期891-898,共8页
由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,...
由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。
展开更多
关键词
点燃耗程序
蜕变关系
蜕变测试
下载PDF
职称材料
基于长短时记忆神经网络的能谱核素识别方法
被引量:
8
15
作者
王瑶
刘志明
+1 位作者
万亚平
欧阳纯萍
《强激光与粒子束》
EI
CAS
CSCD
北大核心
2020年第10期149-156,共8页
针对新兴的能谱核素识别方法在混合放射性核素的噪声环境中存在识别速度慢、准确率较低等问题,提出了基于长短时记忆神经网络(LSTM)的能谱核素识别方法。实验使用溴化镧(LaBr3)晶体探测器,分别对环境中60Co、137Cs放射性源分组测量得到...
针对新兴的能谱核素识别方法在混合放射性核素的噪声环境中存在识别速度慢、准确率较低等问题,提出了基于长短时记忆神经网络(LSTM)的能谱核素识别方法。实验使用溴化镧(LaBr3)晶体探测器,分别对环境中60Co、137Cs放射性源分组测量得到能谱数据集,首先使用数据平滑方法和归一化方法进行数据预处理,然后将能谱数据按时间序列分组以获得可用的输入序列数组,最后训练LSTM模型得到预测结果。通过基于BP神经网络和卷积神经网络(CNN)的两个能谱识别模型进行对比,得到在测试集中平均识别率分别为83.45%和86.21%,而LSTM能谱识别模型平均识别率为93.04%,实验结果表明,该能谱模型在核素识别效果中表现较好,可用于快速的能谱核素识别设备上。
展开更多
关键词
能谱数据
长短时记忆
核素识别
数据平滑
归一化
下载PDF
职称材料
龙格库塔程序的似然蜕变关系识别方法
16
作者
文双红
阳小华
+3 位作者
闫仕宇
刘杰
李萌
冯晋涛
《计算机工程与设计》
北大核心
2022年第4期1152-1159,共8页
为解决蜕变测试中的蜕变关系识别问题,提出一种似然蜕变关系识别方法。根据程序算法层面的数学性质,结合领域知识给出识别输入模式的指导规则;利用SPSS工具从程序输出结果中自动化地挖掘出相应的输出模式,使输出模式的挖掘过程既简单又...
为解决蜕变测试中的蜕变关系识别问题,提出一种似然蜕变关系识别方法。根据程序算法层面的数学性质,结合领域知识给出识别输入模式的指导规则;利用SPSS工具从程序输出结果中自动化地挖掘出相应的输出模式,使输出模式的挖掘过程既简单又高效;通过产生新的测试数据来检验输入、输出模式,获得一批有意义的似然蜕变关系。通过常微分方程龙格库塔算法程序实例,验证该方法能有效地识别出似然蜕变关系,为识别真正的蜕变关系提供了一种途径。
展开更多
关键词
蜕变测试
蜕变关系
常微分方程
测试Oracle
SPSS工具
下载PDF
职称材料
题名
基于因果推断肺癌患者生存时间预测方法
被引量:
1
1
作者
马真真
万亚平
刘纯
周琦
机构
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《计算机应用与软件》
北大核心
2023年第4期47-53,共7页
基金
中央军委科技委创新特区项目(17-163-15-XJ-002-002-04)
湖南省教育厅重点项目(17A185)
+2 种基金
新型冠状病毒感染肺炎疫情综合防控体系研究(2020SK3010)
南华大学研究生科研创新项目(193YXC016)
2020年湖南省研究生科研创新项目(CX20200936)。
文摘
医学上常用回归的方法评估肿瘤患者的生存时间,但有一定的局限性。为了提高回归结果,提出一种基于因果推断的患者生存时间预测方法(MRCI-DNN)。采用因果推断算法构建病理因素与患者生存时间的因果网络结构图,从因果网络结构图中筛选主要因素,并结合深度神经网络模型预测生存时间。实验表明,肺癌分期、放化疗、吸烟、PLR、肺癌类型及NLR是影响肺癌患者生存时间的主要因素。通过实验对比,基于因果推断方法筛选主要因素应用在深度神经网络预测上要优于其他选择特征方法。
关键词
因果推断
机器学习
生存时间
因果网络结构图
深度神经网络
Keywords
Causal inference
Machine learning
Survival time
Causal network diagram
DNN
分类号
TP399 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于基准题的中子扩散程序蜕变测试验证方法
被引量:
4
2
作者
阳小华
闫仕宇
李萌
于涛
谢金森
刘朝晖
刘华
机构
南华大学
计算
机科学与技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《原子能科学技术》
EI
CAS
CSCD
北大核心
2017年第7期1239-1243,共5页
基金
国家自然科学基金重大研究计划资助项目(11575079)
文摘
基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。
关键词
核电设计软件
中子扩散程序
验证
蜕变测试
Keywords
nuclear power design software
neutron diffusion program
verification
metamorphic test
分类号
TL339 [核科学技术—核技术及应用]
下载PDF
职称材料
题名
面向翻转课堂的微视频教学设计研究
被引量:
4
3
作者
王丽君
李萌
阳小华
机构
南华大学电气学院
实验
中
心
南华大学
计算
机科学与技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《中国现代教育装备》
2016年第21期77-79,共3页
基金
南华大学高等教育研究与改革课题<翻转课堂中学习绩效提升研究>(编号:2015XJG-ZD02)
南华大学高等教育研究与改革课题<卓越计划背景下"工学结合"弹性企业实习体系构建>(编号:2015XJG-ZZ04)
+1 种基金
湖南省教育科学"十二五"规划课题<基于计算学科基本问题的计算思维培养模式研究>(编号:XJK012CGD020)
湖南省教育科学"十二五"规划课题<基于协同创新的地方高校软件卓越工程师培养模式研究与实践>(编号:XJK014BGD067)
文摘
为提升学生的学习主动性,将身份由"旁观者"转变为"主角",教师职责由"教学"转变为"助学、导学",设计出由"课前—课中—课后"组成的翻转课堂教学活动图。微视频在翻转课堂教学中既是重要教学手段,也是主要学习资源。为充分发挥微视频的效果,提出包括视频长度、知识点容量、内容、构图、转场过渡到字幕等10条设计原则,经过在EDA实验课2学年的教学运用,获得学生肯定。
关键词
翻转课堂
微视频教学
微视频设计原则
Keywords
the flipped classroom
teaching used micro video
design principles of micro video
分类号
G434 [文化科学—教育学]
下载PDF
职称材料
题名
放射性物质个体自主安全智能
被引量:
4
4
作者
阳小华
曾铁军
万亚平
刘征海
毛宇
胡杰
机构
南华大学
计算
机学院
南华大学
核
科学技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《核安全》
2019年第2期43-48,共6页
基金
中央军委科技委国防科技创新特区项目
项目编号:17-163-15-XJ-002-002-04
文摘
当前放射性物质主要依靠入侵报警系统、视频监控系统和出入口控制系统等外部手段来保障安全。当面临低空、水下等安全威胁或系统故障导致外部安保系统失效时,放射性物质将失去安全保障,致使放射性物质发生丢失或被盗等核安全事件。本文提出放射性物质个体自主安全智能的概念,赋予放射性物质感知和应对自身所面临危险的能力;提出内在安全智能与外在安保能力相结合的安保级别划分,为满足不同类型的放射性物质安全性需求提供新的实现方式。
关键词
放射性物质
安保
自主安全智能
安保级别
Keywords
radioactive substance
security
self-security intelligence
security level
分类号
TL362.1 [核科学技术—核技术及应用]
下载PDF
职称材料
题名
一种似然蜕变关系动态发现工具设计
被引量:
3
5
作者
范超
阳小华
闫仕宇
吴取劲
李萌
机构
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《南华大学学报(自然科学版)》
2018年第2期81-86,共6页
基金
湖南省教育厅科学研究项目(16C1379)
衡阳市科技计划项目(2017KJ273)
文摘
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.
关键词
蜕变测试
蜕变关系
似然蜕变关系
算法实现
Keywords
metamorphic testing
metamorphic relation
likely metamorphic relations
algorithm implementation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
放射性物质群体自主安全智能
被引量:
2
6
作者
阳小华
胡杰
毛宇
万亚平
曾铁军
刘征海
机构
南华大学
计算
机学院
南华大学
核
科学技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《核安全》
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
职称材料
题名
科学计算程序蜕变关系层次分类模型
被引量:
2
7
作者
阳小华
闫仕宇
刘杰
李萌
机构
南华大学
计算
机学院
湖南省智能装备软件评测工程技术研究
中
心
中
核
集团
高
可信计算
重点学科
实验室
出处
《计算机科学》
CSCD
北大核心
2020年第S02期557-561,共5页
基金
国家科技重大专项子课题(2019ZX06005001)
湖南省自然科学基金项目(2020JJ4519)。
文摘
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。
关键词
科学计算程序
蜕变测试
蜕变关系
分类模型
Keywords
Scientific computing program
Metamorphic test
Metamorphic relations
Classification model
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
工学交替的弹性企业实习体系
被引量:
1
8
作者
王丽君
李萌
阳小华
机构
南华大学电气学院
南华大学
计算
机科学与技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《计算机教育》
2016年第11期144-148,共5页
基金
南华大学高等教育研究与改革课题项目"翻转课堂中学习绩效提升研究"(2015XJG-ZD02)
南华大学高等教育研究与改革课题项目"卓越计划背景下‘工学结合’弹性企业实习体系构建"(2015XJG-ZZ04)
+1 种基金
湖南省教育科学"十二五"规划课题项目"基于计算学科基本问题的计算思维培养模式研究"(XJK012CGD020)
湖南省教育科学"十二五"规划课题项目"基于协同创新的地方高校软件卓越工程师培养模式研究与实践"(XJK014BGD067)
文摘
从卓越教育培养计划入手,分析国内外实践教学和校企合作的研究状况,以南华大学为例,提出一种工学交替的弹性实习体系,目的是实现"课程—环境—制度—研发"对接,提高学生的工程能力。
关键词
工学交替
卓越计划
顶岗实习
弹性企业实习
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
新型放射性物品运输安保系统及其非法移动感知方法
9
作者
曾铁军
阳小华
万亚平
蒋盼盼
刘征海
毛宇
机构
南华大学
核
科学技术学院
南华大学电气工程学院
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《核安全》
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
职称材料
题名
基于神经网络的混合数据的因果发现
10
作者
耿家兴
万亚平
李洪飞
机构
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《计算机技术与发展》
2020年第5期26-31,共6页
基金
国家自然科学基金(11805093)
中央军委科技委创新特区项目(17-163-15-XJ-002-002-04)
+1 种基金
湖南省教育重点项目(17A185)
湖南省自然科学基金资助项目(2019JJ0486)。
文摘
因果推理正在成为机器学习领域一个越来越受关注的研究热点,现阶段的因果发现主要是在研究某一种假设条件下,基于纯粹的观测数据推断变量之间的因果方向。然而在现实世界中观察到的数据往往是由一些假设生成,使得传统因果推断方法的识别率不高、稳定性较差。针对当前的问题,提出了一种基于神经网络来解决混合数据因果推断的方法。该方法在混合加性噪声模型(ANM-MM)的假设下,使用梯度下降法最优化改进的损失函数得到混合数据的抽象因果分布参数,然后将分布参数看作是原因变量和结果变量之间的隐变量,通过比较原因变量和分布参数之间的HilberSchmidt独立性来确定二元变量的因果方向。在理论上证明了该方法的可行性,并通过实验表明该算法在人工数据和真实数据的表现较传统的IGCI,ANM,PNL,LiNGAM,SLOPE方法具有较好的准确率和稳定性。
关键词
神经网络
混合加性噪声
因果推断
梯度下降
HilberSchmidt独立性
Keywords
neural network
mixed additive noise
causal inference
gradient descent
HilberSchmidt independence
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
“卓越计划”背景下企业实习机制改革
11
作者
王丽君
李萌
阳小华
机构
南华大学电气学院
实验
中
心
南华大学
计算
机科学与技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《中国现代教育装备》
2016年第19期64-66,共3页
基金
湖南省教育科学"十二五"规划课题<基于计算学科基本问题的计算思维培养模式研究>(编号:XJK012CGD020)
南华大学高等教育研究与改革课题<翻转课堂中学习绩效提升研究>(编号:2015XJG-ZD02)
+1 种基金
南华大学高等教育研究与改革课题<卓越计划背景下"工学结合"弹性企业实习体系构建>(编号:2015XJG-ZZ04)
湖南省教育科学"十二五"规划课题<基于协同创新的地方高校软件卓越工程师培养模式研究与实践>(编号:XJK014BGD067)
文摘
为破解非中心城市地方本科院校卓越计划企业实习难题,南华大学发挥核行业背景优势,服务国家重大专项,承担我国首套核电软件包NESTOR的软件测试工作,将企业项目与卓越人才培养相结合,建立弹性企业实习制,健全实习管理制度,学生先在校内实训,后进入企业实习,工学结合收效显著。
关键词
“卓越工程师教育培养计划”
工学结合
弹性实习制
Keywords
outstanding engineers education training plan
work-study combination
flexible practice system
分类号
G642.44 [文化科学—高等教育学]
下载PDF
职称材料
题名
基于自主安全智能的放射性物质信息物理融合安防系统
12
作者
阳小华
刘征海
曾铁军
万亚平
毛宇
蒋盼盼
机构
南华大学
计算
机学院
南华大学
核
科学技术学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《核安全》
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
职称材料
题名
一种基于CDC的适用于高维数据的因果推断算法
13
作者
李洪飞
万亚平
阳小华
耿家兴
机构
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
出处
《计算机技术与发展》
2020年第1期38-43,共6页
基金
中央军委科技委创新特区项目(17-163-15-XJ-002-002-04)
国家自然科学基金(11805093)
+1 种基金
湖南省教育重点项目(17A185)
湖南省自然科学基金资助项目(2019JJ0486)
文摘
一对观测变量之间的因果关系的推断是科学中的基本问题,基于观测数据分析提出因果关系的方法对于产生假设和加速科学发现具有实用价值。利用传统的因果推断算法从高维数据中学习因果网络结构和提高学习准确率是目前研究的难点。在引入耦合相关系数(copula dependence coefficient,CDC)的基础上,提出了一种适用于高维数据的两步骤因果推断算法。首先该算法利用优于最大信息系数的CDC对变量间的关联度进行检测,寻找目标节点的父子节点集;然后使用非线性最小二乘独立回归算法,为图中的目标节点与其父子节点之间标注因果方向;最后迭代所有的节点完成完整的因果网络结构。实验结果表明,该算法提高了高维数据下因果网络结构学习的准确率。同时在大样本数据集中,该算法的时间复杂度优于传统算法,对异常值具有鲁棒性。
关键词
耦合相关系数
最大信息系数
最小二乘回归
因果推断
Keywords
copula dependence coefficient
maximum information coefficient
least squares regression
causal inference
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于蜕变测试的点燃耗程序验证研究
14
作者
王丽君
李萌
机构
南华大学创新创业训练
中
心
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
湖南省智能装备软件评测工程技术研究
中
心
出处
《核科学与工程》
CAS
CSCD
北大核心
2021年第5期891-898,共8页
基金
国家科技重大专项(2019ZX06005001)
湖南省教育厅科研项目(16C1362和19C1608)
+1 种基金
湖南省普通高等学校教学改革研究项目(湘教通(2018)436号-327)
衡阳市科学计划发展计划项目(2015KG59)。
文摘
由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。
关键词
点燃耗程序
蜕变关系
蜕变测试
Keywords
Point depletion program
Metamorphic relation
Metamorphic testing
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于长短时记忆神经网络的能谱核素识别方法
被引量:
8
15
作者
王瑶
刘志明
万亚平
欧阳纯萍
机构
南华大学
计算
机学院
中
核
集团
高
可信计算
重点学科
实验室
(南华大学)
出处
《强激光与粒子束》
EI
CAS
CSCD
北大核心
2020年第10期149-156,共8页
基金
中央军委科技委创新特区项目(17-163-15-XJ-002-002-04)
湖南省教育厅重点项目(17A185)
+1 种基金
湖南省自然科学基金项目(2019JJ0486)
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
职称材料
题名
龙格库塔程序的似然蜕变关系识别方法
16
作者
文双红
阳小华
闫仕宇
刘杰
李萌
冯晋涛
机构
南华大学
计算
机学院
南华大学
中
核
集团
高
可信计算
重点学科
实验室
南华大学湖南省智能装备软件评测工程研究
中
心
中
国
核
动力研究设计院
核
反应堆系统设计技术
重点
实验室
出处
《计算机工程与设计》
北大核心
2022年第4期1152-1159,共8页
基金
湖南省自然科学基金面上基金项目(2020JJ4519)。
文摘
为解决蜕变测试中的蜕变关系识别问题,提出一种似然蜕变关系识别方法。根据程序算法层面的数学性质,结合领域知识给出识别输入模式的指导规则;利用SPSS工具从程序输出结果中自动化地挖掘出相应的输出模式,使输出模式的挖掘过程既简单又高效;通过产生新的测试数据来检验输入、输出模式,获得一批有意义的似然蜕变关系。通过常微分方程龙格库塔算法程序实例,验证该方法能有效地识别出似然蜕变关系,为识别真正的蜕变关系提供了一种途径。
关键词
蜕变测试
蜕变关系
常微分方程
测试Oracle
SPSS工具
Keywords
metamorphic testing
metamorphic relation
ordinary differential equation
test Oracle
SPSS tool
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于因果推断肺癌患者生存时间预测方法
马真真
万亚平
刘纯
周琦
《计算机应用与软件》
北大核心
2023
1
下载PDF
职称材料
2
基于基准题的中子扩散程序蜕变测试验证方法
阳小华
闫仕宇
李萌
于涛
谢金森
刘朝晖
刘华
《原子能科学技术》
EI
CAS
CSCD
北大核心
2017
4
下载PDF
职称材料
3
面向翻转课堂的微视频教学设计研究
王丽君
李萌
阳小华
《中国现代教育装备》
2016
4
下载PDF
职称材料
4
放射性物质个体自主安全智能
阳小华
曾铁军
万亚平
刘征海
毛宇
胡杰
《核安全》
2019
4
下载PDF
职称材料
5
一种似然蜕变关系动态发现工具设计
范超
阳小华
闫仕宇
吴取劲
李萌
《南华大学学报(自然科学版)》
2018
3
下载PDF
职称材料
6
放射性物质群体自主安全智能
阳小华
胡杰
毛宇
万亚平
曾铁军
刘征海
《核安全》
2019
2
下载PDF
职称材料
7
科学计算程序蜕变关系层次分类模型
阳小华
闫仕宇
刘杰
李萌
《计算机科学》
CSCD
北大核心
2020
2
下载PDF
职称材料
8
工学交替的弹性企业实习体系
王丽君
李萌
阳小华
《计算机教育》
2016
1
下载PDF
职称材料
9
新型放射性物品运输安保系统及其非法移动感知方法
曾铁军
阳小华
万亚平
蒋盼盼
刘征海
毛宇
《核安全》
2022
0
下载PDF
职称材料
10
基于神经网络的混合数据的因果发现
耿家兴
万亚平
李洪飞
《计算机技术与发展》
2020
0
下载PDF
职称材料
11
“卓越计划”背景下企业实习机制改革
王丽君
李萌
阳小华
《中国现代教育装备》
2016
0
下载PDF
职称材料
12
基于自主安全智能的放射性物质信息物理融合安防系统
阳小华
刘征海
曾铁军
万亚平
毛宇
蒋盼盼
《核安全》
2021
0
下载PDF
职称材料
13
一种基于CDC的适用于高维数据的因果推断算法
李洪飞
万亚平
阳小华
耿家兴
《计算机技术与发展》
2020
0
下载PDF
职称材料
14
基于蜕变测试的点燃耗程序验证研究
王丽君
李萌
《核科学与工程》
CAS
CSCD
北大核心
2021
0
下载PDF
职称材料
15
基于长短时记忆神经网络的能谱核素识别方法
王瑶
刘志明
万亚平
欧阳纯萍
《强激光与粒子束》
EI
CAS
CSCD
北大核心
2020
8
下载PDF
职称材料
16
龙格库塔程序的似然蜕变关系识别方法
文双红
阳小华
闫仕宇
刘杰
李萌
冯晋涛
《计算机工程与设计》
北大核心
2022
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部