QQ客服 官方微博 反馈留言

题名	核电厂FPGA仪控系统的验证研究; Research on the Verification of FPGA-Based Nuclear Power Plant Instrumentation and Control System
作者	胡剑全
答辩日期	2017-03-24 ; 2015-05-21
导师	丁军
关键词	FPGA仪控系统 开发生命周期 验证技术 形式化验证 FPGA-based NPP I&C system development life cycle verification technique formal verification
英文摘要	FPGA（Field-ProgrammableGateArray）在核工业领域仍然是一项新兴技术，目前国内外尚无可用于指导核电厂FPGA仪控系统开发和许可的统一导则和标准。核电厂FPGA应用的挑战在于难以验证它的安全性和可靠性。因此，亟需一套能够指导开发和许可核电厂FPGA系统的导则和标准，研究具有可操作性的开发与验证技术，为核电厂FPGA安全级仪控系统的验证与确认（V&V）和评审提供理论和技术参考。 首先，本文基于美国核管会（NRC）对核电厂FPGA系统的评审过程，深入研究了FPGA系统的10大评审要素。研究整理出核电厂FPGA系统的评审导则和开发标准，明确了对FPGA系统的软硬件双重特性...; FPGA (Field-Programmable Gate Array) is still a new technology in nuclear power industry, and there are no generally accepted guidelines and standards for the development and licensing of FPGA-based NPP (nuclear power plant) I&C (instrumentation and control) system. The challenge is that it is difficult to verify its safety and reliability. Therefore, there is absolutely a need for seeking guideli...; 学位：理学硕士; 院系专业：能源研究院_核工程与材料; 学号：32420121152123
语种	zh_CN
出处	http://210.34.4.13:8080/lunwen/detail.asp?serial=50770
内容类型	学位论文
源URL	[http://dspace.xmu.edu.cn/handle/2288/131135]
专题	能源院－学位论文
推荐引用方式 GB/T 7714	胡剑全. 核电厂FPGA仪控系统的验证研究, Research on the Verification of FPGA-Based Nuclear Power Plant Instrumentation and Control System[D]. 2017, 2015.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。