张智慧

作品数：10被引量：8H指数：2
导出分析报告
供职机构：北京广利核系统工程有限公司更多>>
发文主题：核安全级计算机设备组态计算方法下装更多>>
发文领域：自动化与计算机技术机械工程电气工程电子电信更多>>
发文期刊：《核电子学与探测技术》《核动力工程》《仪器仪表用户》《自动化仪表》更多>>
所获基金：国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种核安全级算法组态自动生成方法的研究与应用
《自动化博览》2024年第7期66-69,共4页马腾飞 任保华 王桂兰 彭立 张智慧 张天元 
算法组态是核电站运行的重要单元,需要经过图纸设计、校核、绘制等多个环节才能完成组态工作。通常情况下,设计图纸通过人工组态方式转换为算法组态文件,对设计人员要求较高,且需要对完成的算法组态进行校核,时间成本和工期较长。本文...
关键词：算法组态 自动化生成 DCS 
跨平台核安全级DCS图形组态软件设计与实现
《仪器仪表用户》2022年第3期31-34,61,共5页张智慧 杨利 刘大鹏 
在核安全级DCS平台和睦系统中,安全控制显示装置提供基于VDU技术的设备操作(如专设安全设施等)及电站安全参数监视显示功能。安全控制显示装置是一种满足核安全级A类要求的数字化显示装置,安全控制显示装置显示的图形画面一般由图形组...
关键词：和睦系统 核安全级 国产化 图形组态软件 形式化方法 代码生成器 
核电安全级数字化仪控系统内存诊断设计与实现被引量：1
《自动化博览》2021年第8期50-54,共5页马忠刚 李萌 张智慧 石桂连 王晓伟 
核电厂数字化仪控系统根据标准要求需要对内存进行诊断。为了解决物理内存地址操作问题,提高内存诊断覆盖率,并提升诊断效率,设计了一种基于实时操作系统的内存诊断方法。采用March C-算法,诊断范围可覆盖全部内存,在不影响操作系统中...
关键词：核电厂 数字化 仪表与控制 内存诊断 March C 堆栈检查 
核安全级控制算法描述语言的可信编译研究被引量：2
《自动化仪表》2021年第S01期106-111,共6页张智慧 冀建伟 
核电站控制保护逻辑规模庞大、逻辑复杂,通常采用面向工程人员的图形语言开发,并自动生成C代码实现。如何保证图形语言到C代码转换的正确性,对核电运行安全意义重大。主要论述核安全级控制算法描述语言G-Lustre编译器的开发和形式化验证...
关键词：核安全级 编译器 形式化验证 定理证明 COQ ACG R2L L2C 
基于联动原理的导轨适配器结构设计与实现
《自动化仪表》2021年第S01期122-125,129,共5页席彦琴 刘永亮 张智慧 
通过对常见的用于导轨安装的导轨适配器进行调查和研究,介绍了一种适用于核电系统的导轨适配器。该系统满足一定地震工况和电磁屏蔽标准,可以实现正面操作安装的导轨适配器的结构设计方案。导轨适配器适用于EN 50022 DIN35标准导轨,采...
关键词：结构设计 导轨安装 联动原理 正面安装 抗震 电磁屏蔽 
核电厂仪控系统中的实时操作系统应用研究被引量：2
《自动化仪表》2021年第S01期126-129,共4页李萌 石桂连 张智慧 吴彬 王晓伟 窦维维 马忠刚 
实时操作系统(ROS)作为核电厂数字化仪表与控制系统中的核心组成部分具有不可替代的作用。由于其开发周期长、技术难度大,我国核电仪控实时操作系统严重依赖进口。随着国际形势的不断变化,“卡脖子”问题已对国家核电建设形成明显制约...
关键词：实时操作系统 核电厂 仪表与控制 应用现状 核电安全 自主化 
和睦系统控制站输出允许功能研制与应用被引量：1
《自动化仪表》2021年第S01期139-142,147,共5页张智慧 
核电机组的核安全级数字化控制保护系统控制站在大修期间处于单路供电状态。为方便设备维修,通常会对控制站执行临时控制变更(TCA),即强制控制站中的保护信号为固定值而不输出实时值。当单路供电出现故障又恢复时,控制站失电重启导致内...
关键词：和睦系统 核保护系统 控制站 输出允许 核安全级 临时变更控制 
ACPR1000核电厂多样性驱动系统人机接口设置被引量：1
《核电子学与探测技术》2021年第2期327-332,共6页王纪坤 张智慧 石桂连 谢逸钦 李刚 吴彬 韩宾 
国家科技重大专项“自主知识产权的核电站数字化仪控平台研制”课题。
本课题介绍了一种采集用紧凑化设计的DAS人机接口方案。具有多样性设计充分、集成度高、人机交互友好的特点。系统已应用于阳江核电厂5、6号机组,也可广泛应用于三代压水堆核电厂。
关键词：多样化驱动系统 FPGA 多样性 HMI 
核安全级DCS保护算法离线调试工具的设计与实现
《核动力工程》2019年第5期160-164,共5页张春雷 张保乾 任保华 彭立 张智慧 
在核电厂安全级DCS系统工程设计阶段,通过人工检查难以发现保护算法逻辑、人因错误等组态问题,设计人员也很难评估及分析算法的动态特性,而连接设备调试效率很低,且不支持暂停、回退、跳转等功能,一旦发现问题缺乏快速有效的定位手段。...
关键词：DCS 算法组态 编译 离线调试 
翻译确认方法在核安全级GCG中的应用研究被引量：2
《自动化博览》2018年第4期71-75,共5页闫鑫 张智慧 任保华 齐敏 
在核安全级数字化仪控系统中,人机交互安全控制显示装置的显示内容和控制逻辑由图形化组态工具实现。由于显示内容规模庞大,结构复杂,如何保证实现从图形到C转换的图形代码生成器(GCG)的正确性是一个难题,通过引入形式化验证方法对GCG...
关键词：图形代码生成器 形式化验证方法 翻译确认 求值流图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部