咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程

主题

  • 3 篇 蜕变测试
  • 3 篇 蜕变关系
  • 1 篇 点燃耗程序
  • 1 篇 科学计算程序
  • 1 篇 spss工具
  • 1 篇 分类模型
  • 1 篇 测试oracle
  • 1 篇 常微分方程

机构

  • 3 篇 南华大学
  • 2 篇 中核集团高可信计...
  • 2 篇 湖南省智能装备软...
  • 1 篇 中国核动力研究设...

作者

  • 3 篇 李萌
  • 3 篇 li meng
  • 2 篇 刘杰
  • 2 篇 阳小华
  • 2 篇 yan shi-yu
  • 2 篇 liu jie
  • 2 篇 yang xiao-hua
  • 2 篇 闫仕宇
  • 1 篇 wang lijun
  • 1 篇 feng jin-tao
  • 1 篇 wen shuang-hong
  • 1 篇 王丽君
  • 1 篇 文双红
  • 1 篇 冯晋涛

语言

  • 3 篇 中文
检索条件"机构=南华大学湖南省智能装备软件评测工程研究中心"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于蜕变测试的点燃耗程序验证研究
收藏
分享
引用
核科学与工程 2021年 第5期41卷 891-898页
作者： 王丽君 李萌 南华大学创新创业训练中心 湖南衡阳421001 南华大学计算机学院 湖南衡阳421001 中核集团高可信计算重点学科实验室 湖南衡阳421001 湖南省智能装备软件评测工程技术研究中心 湖南衡阳421001
由于核素数量庞大,并且存在短半衰期核素和闭环燃耗链,难以构造预期输出,点燃耗程序验证面对测试预言问题。这使得高度依赖于测试预言的传统测试方法不可用,甚至无效。蜕变测试虽然是解决测试预言问题一种有效方法,因蜕变关系难以识别,... 详细信息
来源： 评论
龙格库塔程序的似然蜕变关系识别方法
收藏
分享
引用
计算机工程与设计 2022年 第4期43卷 1152-1159页
作者： 文双红 阳小华 闫仕宇 刘杰 李萌 冯晋涛 南华大学计算机学院 湖南衡阳421001 南华大学中核集团高可信计算重点学科实验室 湖南衡阳421001 南华大学湖南省智能装备软件评测工程研究中心 湖南衡阳421001 中国核动力研究设计院核反应堆系统设计技术重点实验室 四川成都610041
为解决蜕变测试中的蜕变关系识别问题,提出一种似然蜕变关系识别方法。根据程序算法层面的数学性质,结合领域知识给出识别输入模式的指导规则;利用SPSS工具从程序输出结果中自动化地挖掘出相应的输出模式,使输出模式的挖掘过程既简单又... 详细信息
来源： 评论
科学计算程序蜕变关系层次分类模型
收藏
分享
引用
计算机科学 2020年 第S02期47卷 557-561页
作者： 阳小华 闫仕宇 刘杰 李萌 南华大学计算机学院 湖南衡阳421001 湖南省智能装备软件评测工程技术研究中心 湖南衡阳421001 中核集团高可信计算重点学科实验室 湖南衡阳421001
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件