检索结果-内蒙古大学图书馆

原子能科学技术 2017年第7期51卷 1239-1243页

作者：阳小华闫仕宇李萌于涛谢金森刘朝晖刘华南华大学计算机科学与技术学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001

基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行... 详细信息

基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序提出一种新型测试方法,即以基准题作为原始测试用例,依据物理模型蕴含的蜕变关系,生成衍生测试用例,进行蜕变测试验证。实例表明该方法不但可扩充基准题数量,还能提高测试的充分性,是一种很有应用前景的验证测试方法。

关键词：核电设计软件中子扩散程序验证蜕变测试

来源：评论

学校读者我要写书评

暂无评论

基于长短时记忆神经网络的能谱核素识别方法

引用

强激光与粒子束 2020年第10期32卷 149-156页

作者：王瑶刘志明万亚平欧阳纯萍南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室(南华大学) 湖南衡阳421001

针对新兴的能谱核素识别方法在混合放射性核素的噪声环境中存在识别速度慢、准确率较低等问题,提出了基于长短时记忆神经网络(LSTM)的能谱核素识别方法。实验使用溴化镧(LaBr3)晶体探测器,分别对环境中60Co、137Cs放射性源分组测量得到... 详细信息

针对新兴的能谱核素识别方法在混合放射性核素的噪声环境中存在识别速度慢、准确率较低等问题,提出了基于长短时记忆神经网络(LSTM)的能谱核素识别方法。实验使用溴化镧(LaBr3)晶体探测器,分别对环境中60Co、137Cs放射性源分组测量得到能谱数据集,首先使用数据平滑方法和归一化方法进行数据预处理,然后将能谱数据按时间序列分组以获得可用的输入序列数组,最后训练LSTM模型得到预测结果。通过基于BP神经网络和卷积神经网络(CNN)的两个能谱识别模型进行对比,得到在测试集中平均识别率分别为83.45%和86.21%,而LSTM能谱识别模型平均识别率为93.04%,实验结果表明,该能谱模型在核素识别效果中表现较好,可用于快速的能谱核素识别设备上。

关键词：能谱数据长短时记忆核素识别数据平滑归一化

来源：评论

学校读者我要写书评

暂无评论

基于因果推断肺癌患者生存时间预测方法

引用

计算机应用与软件 2023年第4期40卷 47-53页

作者：马真真万亚平刘纯周琦南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001

医学上常用回归的方法评估肿瘤患者的生存时间,但有一定的局限性。为了提高回归结果,提出一种基于因果推断的患者生存时间预测方法(MRCI-DNN)。采用因果推断算法构建病理因素与患者生存时间的因果网络结构图,从因果网络结构图中筛选主... 详细信息

医学上常用回归的方法评估肿瘤患者的生存时间,但有一定的局限性。为了提高回归结果,提出一种基于因果推断的患者生存时间预测方法(MRCI-DNN)。采用因果推断算法构建病理因素与患者生存时间的因果网络结构图,从因果网络结构图中筛选主要因素,并结合深度神经网络模型预测生存时间。实验表明,肺癌分期、放化疗、吸烟、PLR、肺癌类型及NLR是影响肺癌患者生存时间的主要因素。通过实验对比,基于因果推断方法筛选主要因素应用在深度神经网络预测上要优于其他选择特征方法。

关键词：因果推断机器学习生存时间因果网络结构图深度神经网络

来源：评论

学校读者我要写书评

暂无评论

基于蜕变测试的热传导程序的验证测试研究

引用

核科学与工程 2017年第3期37卷 380-385页

作者：闫仕宇阳小华李萌谢金森南华大学计算机科学技术学院湖南衡阳4221001 中核集团高可信计算学科重点实验室湖南衡阳421001

核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领... 详细信息

核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者得到程序的预期输出来验证程序计算结果是否正确。蜕变测试无需程序预期值来验证结果,已应用于软件测试领域,其蜕变关系是关键。本文应用蜕变测试技术,以堆芯燃料元件热传导程序为例,从数值计算模型中导出蜕变关系,实例初步验证该蜕变关系的有效性,也表明蜕变测试技术可以在核电设计与分析软件验证测试中发挥作用。

关键词：燃料元件热传导程序验证测试蜕变测试

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的混合数据的因果发现

引用

计算机技术与发展 2020年第5期30卷 26-31页

作者：耿家兴万亚平李洪飞南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001

因果推理正在成为机器学习领域一个越来越受关注的研究热点,现阶段的因果发现主要是在研究某一种假设条件下,基于纯粹的观测数据推断变量之间的因果方向。然而在现实世界中观察到的数据往往是由一些假设生成,使得传统因果推断方法的识... 详细信息

因果推理正在成为机器学习领域一个越来越受关注的研究热点,现阶段的因果发现主要是在研究某一种假设条件下,基于纯粹的观测数据推断变量之间的因果方向。然而在现实世界中观察到的数据往往是由一些假设生成,使得传统因果推断方法的识别率不高、稳定性较差。针对当前的问题,提出了一种基于神经网络来解决混合数据因果推断的方法。该方法在混合加性噪声模型(ANM-MM)的假设下,使用梯度下降法最优化改进的损失函数得到混合数据的抽象因果分布参数,然后将分布参数看作是原因变量和结果变量之间的隐变量,通过比较原因变量和分布参数之间的HilberSchmidt独立性来确定二元变量的因果方向。在理论上证明了该方法的可行性,并通过实验表明该算法在人工数据和真实数据的表现较传统的IGCI,ANM,PNL,LiNGAM,SLOPE方法具有较好的准确率和稳定性。

关键词：神经网络混合加性噪声因果推断梯度下降 HilberSchmidt独立性

来源：评论

学校读者我要写书评

暂无评论

一种似然蜕变关系动态发现工具设计

引用

南华大学学报（自然科学版） 2018年第2期32卷 81-86页

作者：范超阳小华闫仕宇吴取劲李萌南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001

蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,... 详细信息

蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.

关键词：蜕变测试蜕变关系似然蜕变关系算法实现

来源：评论

学校读者我要写书评

暂无评论

一种基于CDC的适用于高维数据的因果推断算法

引用

计算机技术与发展 2020年第1期30卷 38-43页

作者：李洪飞万亚平阳小华耿家兴南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001

一对观测变量之间的因果关系的推断是科学中的基本问题,基于观测数据分析提出因果关系的方法对于产生假设和加速科学发现具有实用价值。利用传统的因果推断算法从高维数据中学习因果网络结构和提高学习准确率是目前研究的难点。在引入... 详细信息

一对观测变量之间的因果关系的推断是科学中的基本问题,基于观测数据分析提出因果关系的方法对于产生假设和加速科学发现具有实用价值。利用传统的因果推断算法从高维数据中学习因果网络结构和提高学习准确率是目前研究的难点。在引入耦合相关系数(copula dependence coefficient,CDC)的基础上,提出了一种适用于高维数据的两步骤因果推断算法。首先该算法利用优于最大信息系数的CDC对变量间的关联度进行检测,寻找目标节点的父子节点集;然后使用非线性最小二乘独立回归算法,为图中的目标节点与其父子节点之间标注因果方向;最后迭代所有的节点完成完整的因果网络结构。实验结果表明,该算法提高了高维数据下因果网络结构学习的准确率。同时在大样本数据集中,该算法的时间复杂度优于传统算法,对异常值具有鲁棒性。

关键词：耦合相关系数最大信息系数最小二乘回归因果推断

来源：评论

学校读者我要写书评

暂无评论

科学计算程序蜕变关系层次分类模型

引用

计算机科学 2020年第S02期47卷 557-561页

作者：阳小华闫仕宇刘杰李萌南华大学计算机学院湖南衡阳421001 湖南省智能装备软件评测工程技术研究中心湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001

蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的... 详细信息

蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。

关键词：科学计算程序蜕变测试蜕变关系分类模型

来源：评论

学校读者我要写书评

暂无评论

基于蜕变测试的点燃耗程序验证研究

引用

核科学与工程 2021年第5期41卷 891-898页

作者：王丽君李萌南华大学创新创业训练中心湖南衡阳421001 南华大学计算机学院湖南衡阳421001 中核集团高可信计算重点学科实验室湖南衡阳421001 湖南省智能装备软件评测工程技术研究中心湖南衡阳421001

由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,... 详细信息

由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,因此尚未能在核设计软件验证中广泛应用。在分析燃耗计算物理性质的基础上,识别蜕变关系,并将蜕变测试应用于点燃耗程序的验证。实验表明在没有测试预言的情况下,通过比较程序的多次输出,蜕变测试能有效地检测出程序缺陷。此外,即使原始程序以及TTA检测失效,蜕变测试仍然揭示了代码缺陷。本研究为蜕变测试在核设计领域的应用提供有益参考。

关键词：点燃耗程序蜕变关系蜕变测试

来源：评论

学校读者我要写书评

暂无评论

放射性物质群体自主安全智能

引用

核安全 2019年第6期18卷 1-5,11页

作者：阳小华胡杰毛宇万亚平曾铁军刘征海南华大学计算机学院衡阳421001 南华大学核科学技术学院衡阳421001 中核集团高可信计算重点学科实验室衡阳421001

防丢是放射性物质安保的基本要求,主要通过基于GPS定位等功能的外部安保系统实现。本文提出群体自主安全智能概念,这是一种基于放射性物质之间相互联系的内在安保能力,不仅能有效增强现有安保系统的防丢功能,还具有比个体自主安全智能... 详细信息

防丢是放射性物质安保的基本要求,主要通过基于GPS定位等功能的外部安保系统实现。本文提出群体自主安全智能概念,这是一种基于放射性物质之间相互联系的内在安保能力,不仅能有效增强现有安保系统的防丢功能,还具有比个体自主安全智能更强的防盗、防抢能力和鲁棒性。此外,通过个体、群体安全智能与外在安保系统的组合,可以为满足放射性物质的安全性需求提供更多的实现方式。

关键词：放射性物质自主安全智能群体自主安全智能安保级别

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：