张智慧
- 作品数:37 被引量:7H指数:2
- 供职机构:北京广利核系统工程有限公司更多>>
- 发文基金:国家科技重大专项更多>>
- 相关领域:自动化与计算机技术机械工程电气工程电子电信更多>>
- 一种通信隔离系统及通信隔离的方法
- 本申请公开了一种通信隔离系统以及通信隔离的方法,其中,所述通信隔离系统基于可编程逻辑器件实现M个控制设备之间的通信隔离,无需采用专用的DPRAM器件,无需为DPRAM器件配置专用的外围电路,避免了DRPAM器件采购困难的...
- 马洪杰马建新盛先松李乐高超张智慧
- 核安全级控制算法描述语言的可信编译研究被引量:2
- 2021年
- 核电站控制保护逻辑规模庞大、逻辑复杂,通常采用面向工程人员的图形语言开发,并自动生成C代码实现。如何保证图形语言到C代码转换的正确性,对核电运行安全意义重大。主要论述核安全级控制算法描述语言G-Lustre编译器的开发和形式化验证(语义保持性证明)。该编译器将图形化的G-Lustre程序编译为行为等价的C代码,用定理证明辅助工具Coq开发编译器并证明其正确性。在关注安全关键软件及其形式化验证的环境中,这种经过验证的编译器是极其重要的,可保证源代码与编译产生的目标代码语义等价。该研究成果目前已在阳江5^(#)、6^(#)机组等8台核电机组中得到大规模应用。
- 张智慧冀建伟
- 关键词:核安全级编译器形式化验证定理证明COQ
- 基于联动原理的导轨适配器结构设计与实现
- 2021年
- 通过对常见的用于导轨安装的导轨适配器进行调查和研究,介绍了一种适用于核电系统的导轨适配器。该系统满足一定地震工况和电磁屏蔽标准,可以实现正面操作安装的导轨适配器的结构设计方案。导轨适配器适用于EN 50022 DIN35标准导轨,采用动连接方式及联动原理,安装过程中通过螺纹和轴传递运动实现设备的打开和锁紧功能。创新实现了通过设备正面实施扭力,完成设备背面的导轨安装,解决了模块产品不能正面安装、侧面拆装不方便的问题。通过导轨适配器上的导通簧片,实现和使用适配器的功能模块设备的印制板电路(PCB)进行导通,使机柜、设备壳体、印制板电路导通成为一体,满足电磁屏蔽方面的导通要求。该设计同时满足设备的抗震要求,解决了导轨适配器电磁屏蔽及抗震的问题。本方案已经在核电系统平台得到了应用。
- 席彦琴刘永亮张智慧
- 关键词:抗震电磁屏蔽
- 核电厂仪控系统中的实时操作系统应用研究被引量:2
- 2021年
- 实时操作系统(ROS)作为核电厂数字化仪表与控制系统中的核心组成部分具有不可替代的作用。由于其开发周期长、技术难度大,我国核电仪控实时操作系统严重依赖进口。随着国际形势的不断变化,“卡脖子”问题已对国家核电建设形成明显制约。综述了ROS的发展历史及特点,介绍了近年来ROS在我国核电厂仪控系统中的应用现状,分析了实时操作系统在核电工程应用中的主要问题,提出了核电仪控领域ROS的关键需求。该研究对我国未来自主化核电仪控ROS的研发有良好的促进作用。
- 李萌石桂连张智慧吴彬王晓伟窦维维马忠刚
- 关键词:实时操作系统核电厂核电安全自主化
- 一种图形软件的处理方法、装置、电子设备及存储介质
- 本发明公开了一种图形软件的处理方法、装置、电子设备及存储介质,基于浏览器技术确定图形离线组态软件,并将浏览器界面作为所述图形离线组态软件的人机交互界面,基于QT技术确定图形在线运行软件,基于OpenGLSC标准确定图形库...
- 杨利任保华张春雷张智慧马建新彭立
- 一种核电站DCS设备故障解析方法及装置
- 本申请提供一种核电站DCS设备故障解析方法及装置,通过向控制站发送读取系统状态日志信息的读取请求,并获取所述控制站反馈的系统状态日志信息;根据上位机中存储的日志记录,获取所述控制站中新的系统状态日志记录;根据所述新的系统...
- 史舒鹏刘松张敏灵石桂连张智慧彭立赵慧丽王静伟任保华马建新
- 一种智能运维服务支持系统
- 本申请公开了一种智能运维服务支持系统,包括:智能分散控制系统DCS、智能网关和智能平台。智能平台中部署有DCS健康模型系统。智能DCS用于通过健康参数网络端口将关键健康参数单向传输给智能网关。关键健康参数包括关键硬件健康...
- 石桂连李刚彭立吴瑶马建新莫昌瑜张春雷张克铭贾虎军张智慧李明利吴彬
- ACPR1000核电厂多样性驱动系统人机接口设置
- 2021年
- 本课题介绍了一种采集用紧凑化设计的DAS人机接口方案。具有多样性设计充分、集成度高、人机交互友好的特点。系统已应用于阳江核电厂5、6号机组,也可广泛应用于三代压水堆核电厂。
- 王纪坤张智慧石桂连谢逸钦李刚吴彬韩宾
- 关键词:FPGA多样性HMI
- 一种核电站RPS软件版本的自动化比较方法及装置
- 本发明涉及一种核电站RPS软件版本的自动化比较方法及装置,属于工控软件组态技术领域,解决了现有的方法比较效率低且准确度差的问题。获得待比较的两个不同版本的工程文件;分别解析两个所述工程文件,得到各自对应的工程信息,所述工...
- 谷伟卿杨晨彭立任保华谢逸钦张春雷王宏星张保乾张智慧
- 和睦系统控制站输出允许功能研制与应用被引量:1
- 2021年
- 核电机组的核安全级数字化控制保护系统控制站在大修期间处于单路供电状态。为方便设备维修,通常会对控制站执行临时控制变更(TCA),即强制控制站中的保护信号为固定值而不输出实时值。当单路供电出现故障又恢复时,控制站失电重启导致内部TCA自动清除,会误触发安全注入和安全喷淋信号,给核电站带来较大的安全隐患和经济损失。和睦系统(FirmSys)是我国首个自主研发的核安全级数字化控制保护系统平台。通过对和睦系统输出允许功能进行需求分析,提出了一种“允许用户手动干预控制站信号输出”的设计方案,彻底解决了控制站失电重启误触发问题。实现了输出允许功能的和睦系统已经在阳江5^(#)、6^(#)、红沿河5^(#)、6^(#)、田湾5^(#)、6^(#)、防城港3^(#)、4^(#)机组进行了成功应用。
- 张智慧
- 关键词:控制站核安全级