首页> 中文期刊> 《科技传播》 >核安全关键软件的验证与确认技术

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文对重水铀反应堆的关键软件的验证和确认技术进行了分析，并对其核反应堆的设计方法做出了介绍，主要对停堆脱口计算机软件的可靠性和城市平台在该软件中的应用展开了详细的描述。验证与确认技术如今已经得到广泛的应用，随着计算机硬件技术的迅速发展，相关工具的发展也得到了较好的完善。

著录项

来源
《科技传播》 |2013年第22期|206-206197|共2页
作者
孟雪梅;
展开▼
作者单位

吉林工商学院信息工程学院;

吉林长春130062;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机的应用;
关键词
核电厂; 安全关键软件; 验证; 确认;

相似文献

中文文献
外文文献
专利

1. 核安全关键软件的验证与确认技术 [J] . 杨亮 ,任伍杰 . 计算机光盘软件与应用 . 2013,第016期
2. 核安全关键软件的验证与确认技术 [J] . 赵敏达 ,Baxter John . 自动化仪表 . 2011,第004期
3. 托卡马克安全关键仪控系统的软件验证与确认 [J] . 王灵芝 ,王勇 ,许张后 . 长春师范学院学报（自然科学版） . 2018,第002期
4. 托卡马克安全关键仪控系统的软件验证与确认 [J] . 王灵芝1 ,王勇2 ,许张后2 . 长春师范大学学报 . 2018,第004期
5. 核级软件的验证与确认技术研究 [J] . 高超 ,胡立生 . 微型电脑应用 . 2010,第004期
6. 数字化核安全级仪控系统软件的验证与确认 [C] . 张亚栋 . 第一届中国(国际)核电仪控技术大会 . 2011
7. 安全级软件验证与确认中测试技术研究 [A] . 高超 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号