Document
检索banner
高级检索 在检索结果中检索
全部字段 题名 作者 关键词 摘要

核安全关键软件的验证与确认技术

  • 【获取途径】 超星期刊网
  • 【作者】孟雪梅
  • 【作者单位】吉林工商学院信息工程学院
  • 【年份】2013
  • 【卷号】第22期
  • 【页码】206,197
  • 【关键词】核电厂 安全关键软件 验证 确认 
  • 【摘要】 本文对重水铀反应堆的关键软件的验证和确认技术进行了分析,并对其核反应堆的设计方法做出了介绍,主要对停堆脱口计算机软件的可靠性和城市平台在该软件中的应用展开了详细的描述。验证与确认技术如今已经得到广泛的应用,随着计算机硬件技术的迅速发展,相关工具的发展也得到了较好的完善。
  • 【文献类型】 期刊
进入发现系统查看更多信息
页脚