Page 22 - jianding2020

中国核能行业协会 2020 年成果鉴定转化目录

项目名称 核电站保护系统全生命周期开发及维护成套软件工具集（EAST）
成果形式 □新技术 □新工艺 ■新产品 □新材料 □新装备 □其他应用技术
ZL200910249910 一种用于反应堆保护系统的组态系统、
ZL201410453733 一种基于 DCS 系统应用软件在线调试方法、
ZL201310631729 一种基于形式化验证的同步数据流程序的可信排序方法、
ZL201210158952 一种基于文档树和消息泵的插件式软件设计方法、
ZL201110386640 目标软件在指定硬件环境中最差时间的计算方法、
知识产权基本信息 ZL201310629025 一种编译器的可视化语法树的生成方法和重构方法、
ZL201310512437 一种利用图同构验证编译器的方法、
ZL201210364013 一种利用图形化操作实现代码编程的方法、
ZL201510191303 一种核电厂数字化安全级控制系统模拟装置、
ZL200910238712 一种基于反应堆保护系统列间安全通讯网络协议的通信方法、
ZL201310573294 一种基于 MooN 架构获取定期试验周期的计算方法
本成果是一套具有完全自主知识产权的、符合核级标准要求的、覆盖核电厂应用
软件开发全生命周期的应用软件开发工具集，满足自主核级核电站数字化仪控系
简要介绍
统——和睦系统广泛适用性的要求，实现硬件灵活配置、软件灵活组态。本成果于
2008 年启动研制，研发已历时十多年，软件工具代码规模约 100 万行。
国内首个满足核电站保护系统功能、性能和安全性要求的应用开发和维护成套软件
工具，打破了国外垄断，填补了国内空白；首次将形式化技术应用到核安全级代码
本知识产权对应 生成器的开发，技术水平国际领先；生成的应用软件满足无操作系统依赖、高性能、
产品技术优势和 高可靠和高确定性等核级设备苛刻要求；国内核领域首个支持无扰下装的平台，技
性能指标
术水平国际领先；覆盖全生命周期的高度自动化辅助工具，极大提升了开发效率，
人因失误率显著降低。

技术水平 ■国际领先 □国际先进 □国内领先 □国内先进
□落后技术、工艺、装备的替代 ■进口替代 ■填补国内空白
应用效果
□降低成本
本成果已成功在阳江核电站 5&6 号、红沿河核电站 5&6 号、田湾核电站 5&6 号、
防城港核电站 3&4 号等 8 个大型压水堆核电站机组得到大规模应用。其中，中国首
个采用完全自主 DCS 装备的百万千瓦级核电机组——阳江核电站 5 号机组已经于
应用情况
2018 年 7 月商运发电，6 号机组也已经于 2019 年 7 月商运。本成果还在大亚湾堆
芯检测系统、岭澳核电站堆芯检测系统、秦山二期堆芯检测系统等 3 个实际安全级
项目得到成功应用，已在役稳定运行 2 年以上。
本成果已在阳江核电站 5&6 号、红沿河核电站 5&6 号、田湾核电站 5&6 号、防城
港核电站 3&4 号等 8 个大型压水堆核电站机组得到大规模成功应用，其中，中国首
应用前景 个采用完全自主 DCS 装备的百万千瓦级核电机组——阳江核电站 5 号机组已经商
运发电。本成果还在大亚湾堆芯检测系统、岭澳核电站堆芯检测系统、秦山二期堆
芯检测系统等 3 个实际安全级项目得到成功应用，目前已在役稳定运行 2 年以上。

转化形式 □转让 □许可 ■合作开发 □作价投资
北京广利核系统工程有限公司
知识产权持有单位
中国广核集团有限公司
联 系 人：高超
电 话：010-82467001 转 5520
联系方式
电子邮箱：gaochao3@cgnpc.com.cn
地 址：北京市海淀区丰豪东路 9 号院 3 号楼

16