尹宝娟
- 作品数:27 被引量:58H指数:4
- 供职机构:中华人民共和国环境保护部更多>>
- 发文基金:国家科技型中小企业技术创新基金国家杰出青年科学基金更多>>
- 相关领域:自动化与计算机技术核科学技术电气工程机械工程更多>>
- 核安全级软件验证与确认独立性探讨
- 2014年
- 当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须进行鉴定。软件验证与确认是核安全级软件通过鉴定的关键环节,软件验证与确认必须具备独立性的特征。对于核安全级软件验证与确认如何满足当前核安全监管要求的研究,是软件厂商和监管当局共同关注的主要问题之一。核安全级软件验证与确认独立性要求的明确,有利于开发成本的控制和监管的规范化,从管理方面为保证核安全级数字设备安全水平打好基础。
- 毛从吉郑睿鹏李世欣尹宝娟
- 关键词:核设施核安全级独立性
- 核电站数字化仪控系统安全保密分析方法研究被引量:2
- 2016年
- 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。
- 尹宝娟丁义行孙王强李幼媛赵云飞程建明
- 关键词:信息流
- “功能安全产品实现技术”系列讲座 第8讲 安全相关产品的软件实现(二)
- 2014年
- 首先介绍了功能安全相关产品软件实现过程中软件设计的基本概念及软件验证相关要求;接着基于标准IEC 61508-3:2010(GB/T 20438.3-2013),对软件安全生命周期中软件架构设计、支持工具、软件系统设计和编码实现阶段的验证活动进行了分析。此外还对每个阶段规定验证的要求、内容、输入和输出等做了详细说明。最后提出了安全软件在生命周期各阶段可根据软件系统的大小进行裁剪的思路。
- 廖丽华尹宝娟
- 关键词:软件设计架构设计系统设计
- 高温气冷堆保护系统定期试验装置开发被引量:2
- 2018年
- 针对高温气冷堆示范工程(HTR-PM)保护系统需要依照法规进行定期试验的要求,采用一台功能高度集成、高度自动化的试验装置实现定期试验功能。该装置基于虚拟仪器技术实现上、下位机软件的开发,通过自主开发的信号调理板卡、通信交换板卡实现T1、T2、T3试验信号的高度集成和自动传输。在结构上,采用航空连接器作为外部接口确保连接的可靠性。目前,该装置已应用于华能山东石岛湾高温气冷堆核电站。实测结果证明,该装置可高效、可靠地完成HTR-PM保护系统的定期试验,是HTR-PM保护系统实现完全国产化的重要一步,同时,该装置对其他堆型的定期试验装置的开发具有借鉴和指导意义。
- 何伊崇尹宝娟江国进孙永滨林林
- 关键词:高温气冷堆HTR-PM保护系统网络通信LABVIEW
- M310及改进型机组运行阶段共性问题研究被引量:1
- 2017年
- M310及改进型机组在我国运行核电机组中占有重要比例,对其共性问题进行总结和梳理不仅有助于提高已建成核电厂的安全运行水平,也可对今后核电厂的设计、建造、运行提供帮助和指导。本文列出六条M310型机组共性问题的筛选准则,梳理出M310型核电厂设计类和运行类共性问题共46项,并给出了这些问题存在的方面和系统。对M310型机组的共性问题进行总结为核电厂的运行和监管提供有益的参考。
- 王娅琦陶书生李世欣尹宝娟赵力张泽宇
- 关键词:核电机组
- 基于LabVIEW的SIP系统仿真的设计与实现
- 2009年
- 将虚拟仪器的概念引入大亚湾核电站的SIP系统的仿真,利用计算机仿真技术参与其系统设计有助于缩短设计周期,降低设计费用和提高设计质量,基于这些优点利用LabVIEW进行了SIP系统的虚拟仿真设计,目前已经取得了预期的效果,主要以SIP系统的RCP10通道为例进行详细地仿真设计介绍。
- 李超李幼媛尹宝娟孙娜左新
- 关键词:SIP系统虚拟仪器系统仿真
- 数字化反应堆保护系统自监督设计被引量:1
- 2017年
- 数字化反应堆保护系统运行期间需要通过各种监督测试确认其可用性和安全性,自监督是一种重要的监督测试类型,从功能安全角度分析自监督也有其必要性。依据相关标准的安全原则要求,提出了一种数字化反应堆保护系统的自监督设计方案,包括自监督的对象、实现方法、发现异常的处理、结果信息显示等方面的内容,为相关产品设计提供了参考。
- 尹宝娟毛从吉李世欣郑睿鹏
- 核级保护系统中FPGA实现方案的若干问题探讨被引量:4
- 2013年
- 由于FPGA在高可靠性、高速度、简化设计、降低设备复杂性和过时问题等方面的优势,将其应用于核电站保护系统中的趋势逐渐明显。分析了FPGA技术应用于核级保护系统中的若干问题,包括设计原则、工艺类型选择、开发语言、开发过程、工具选择、商品级软件使用、验证与确认等。
- 尹宝娟毛从吉黄伟杰李世欣
- 关键词:现场可编程门阵列保护系统硬件描述语言
- 核电厂ATWT缓解系统的多样性与独立性分析被引量:5
- 2014年
- 介绍多样性保护系统之一的用于预期瞬态不停堆(ATWT)缓解系统,并分析ATWT缓解系统的多样性与独立性,同时结合相关法规对ATWT的设计中可能遇到的问题进行探讨。
- 张云波张宓黄伟杰毛从吉李世欣尹宝娟
- 关键词:核电厂多样性独立性
- 基于LabVIEW的SIP系统辨识设计与实现被引量:1
- 2008年
- 系统辨识是得到系统模型的一种重要途径,在现代控制工程中,利用系统的输入与输出对系统进行相关辨识,是近年来迅速发展起来的新技术。本文以大亚湾核电站SIP系统的一些动态模块为例,通过数据采集卡及LabVIEW开发环境实现对动态模块的信号注入、信号采集、数据处理等功能,利用LabVIEW的系统辨识工具包可以快速方便的完成系统辨识功能。
- 李超李幼媛尹宝娟孙娜左新
- 关键词:虚拟仪器系统辨识SIP系统