您的位置： 专家智库 > >

张辛

作品数：5 被引量：16H指数：3
供职机构：解放军信息工程大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...

主题

  • 1篇等效
  • 1篇多核
  • 1篇多线程
  • 1篇多线程程序
  • 1篇数据生成
  • 1篇数学
  • 1篇区间分析
  • 1篇线程
  • 1篇可靠性
  • 1篇可靠性分析
  • 1篇库函数
  • 1篇基础数学
  • 1篇国产CPU
  • 1篇国产操作系统
  • 1篇浮点
  • 1篇浮点计算
  • 1篇操作系
  • 1篇操作系统
  • 1篇测试数据
  • 1篇测试数据生成

机构

  • 4篇解放军信息工...
  • 1篇中国人民解放...
  • 1篇中国人民解放...

作者

  • 5篇张辛
  • 3篇郭绍忠
  • 1篇王涛
  • 1篇许瑾晨
  • 1篇王磊

传媒

  • 3篇信息工程大学...
  • 1篇兵工自动化
  • 1篇电脑知识与技...

年份

  • 2篇2017
  • 3篇2015
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
国产操作系统的技术特点及应用范围研究被引量：7
2015年
国产计算机已经形成完整的产业链,使得国产操作系统可以投入实际应用。国产操作系统稳定、安全、类windows风格、应用相对较少的特点,使其更适合特定用途的计算机。
吴金才张辛吴勇军李智
关键词：国产操作系统
基于区间分析的浮点计算可靠性分析被引量：4
2015年
浮点数是计算机系统中用于表示实数或小数的一种方式。由于计算机字长有限,导致浮点计算结果与理论计算之间存在误差,通常每一步的误差很小,不会影响计算结果。但随着计算规模不断增加,计算过程不断复杂,微小的误差经过累积可能导致计算结果错误,给实际应用带来严重后果。在IEEE754理论基础上,针对C/C++浮点代码,结合系统架构、程序编译总结了浮点程序中出现的数据误差和舍入误差,并通过ULP(unit in last place)对误差进行量化。最后结合区间分析技术对浮点计算可靠性进行判断,实验结果表明区间分析可以为用户判定浮点计算可靠性提供重要依据。
王涛郭绍忠张辛
关键词：浮点可靠性
并发错误检测技术研究综述
2017年
随着多核/众核设备的普及,多线程程序得到了广泛应用,而多线程程序执行的不确定性,导致严重的并发错误,同时也给并发错误检测带来了困难。如何有效地检测并发错误,提高多线程软件的可靠性成为亟待解决的问题。在前人研究的基础上,首先对并发错误检测的诸多障碍进行分析,探究影响并发错误检测的根本原因。其次根据对程序运行的影响将并发错误检测结果分为良性错误、不可运行错误和破坏性错误3类,并在此基础上提出了并发错误检测的评价性指标。最后围绕上述指标,对并发错误检测技术的实现方法和研究现状进行了详细分析,并对并发错误检测可能的研究方向进行了展望,为并发错误检测技术的研究提供了基础性支撑。
张高举郭绍忠许瑾晨王磊张辛
关键词：多线程程序
国产CPU基础数学库函数测试数据生成研究被引量：2
2017年
针对数学库函数测试工作中测试数据覆盖率低的问题,根据计算机中浮点数的编码特点,设计了一种分段选取的测试数据生成方法,相比常见的数据生成方法,通过理论分析和实际测试,证明了该算法有效提高了测试数据的覆盖率,保证了基础数学函数测试的准确性。
张辛郭绍忠曹代李春林
关键词：测试数据生成
一种复杂测试系统的等效检测设备被引量：3
2015年
为提高复杂测试系统技术状态自动检测的广度和深度,减少人工检查工作量,使用程控电路升级等效器的模拟电路,并增加检测电路,形成新的等效检测设备,实现全面深入的自动检测。实际应用结果表明,新的等效检测设备的应用显著提高了检测工作的效率和准确性。
吴金才张辛吴勇军李智晏林刚
关键词：测试系统等效
全选 清除 导出
共1页<1>
聚类工具0