冀建伟
- 作品数：21 被引量：10H指数：2
- 供职机构：北京广利核系统工程有限公司更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电气工程机械工程核科学技术更多>>
- 核电仪控软件V&V组织独立性的确定方法及装置
- 本申请公开了一种核电仪控软件V&V组织独立性的确定方法及装置。其中，核电仪控软件V&V组织独立性的确定方法包括：提取用户对仪控软件的采购质保等级；根据所述采购质保等级确定对应的软件完整性级别；基于调整因子...
- 张杰颖江国进马吉强李明钢张亚栋张弋张学财冀建伟王童生
- 一种自动统计DCS系统数据传输正确性的测试方法及系统
- 本发明涉及一种自动统计DCS系统数据传输正确性的测试方法及系统，属于工业DCS平台系统测试领域，解决数据传输正确性测试问题，方法包括，对被测的DCS系统进行设备组态、变量组态和算法组态；在由所述DCS系统的各设备组成通信...
- 李玉杰吴瑶齐敏高超吕秀红冀建伟朱剑
- 文献传递
- 核电站安全级MELTAC软件下装方法分析应用被引量：1
- 2017年
- 针对于安全级DCS MELTAC-PLUSR3系统CPU运行方式的多样性、复杂性,导致软件下装多样性、复杂性且实施软件下装容易出错,通过分析总结DCS MELTAC-PLUSR3系统的各种软件下装方法,并结合实际现场实施遇到的问题,提出软件下装的优化方案,解决了现场软件下装出错问题,同时又介绍了优化措施在实际软件实施中所解决的实际问题,提高了DCS项目软件下装实施的正确性和清晰度及软件下装的效率。
- 韩艳红冀建伟高连国刘向东
- 核电站非安全级DCS系统键盘操作响应时间测试方法的研究
- 在核电站非安全级数字化仪控系统(简称DCS)性能测试中有关于'键盘操作到画面显示的响应时间'测试,即按下按键到按键信息在画面上显示之间的时间测试。传统测试技术中存在使用普通键盘无法实现按键动作时刻的准确定位及人工误差导致...
- 齐敏王伟冀建伟吕秀红
- 关键词：仪控系统键盘
- 文献传递
- 基于MELTAC平台定期试验功能的测试方法研究
- 定期试验是核电厂中的一个非常重要的活动,定期试验功能设计质量程度直接影响着核电厂的安全运行。现有的定期试验技术仅仅是如何去执行定期试验,缺少一种有效验证定期试验是否具备诊断现场设备故障和系统内部故障功能的测试技术。本文通...
- 杨广振冀建伟吕秀红
- 文献传递
- 核安全级控制算法描述语言的可信编译研究被引量：2
- 2021年
- 核电站控制保护逻辑规模庞大、逻辑复杂,通常采用面向工程人员的图形语言开发,并自动生成C代码实现。如何保证图形语言到C代码转换的正确性,对核电运行安全意义重大。主要论述核安全级控制算法描述语言G-Lustre编译器的开发和形式化验证(语义保持性证明)。该编译器将图形化的G-Lustre程序编译为行为等价的C代码,用定理证明辅助工具Coq开发编译器并证明其正确性。在关注安全关键软件及其形式化验证的环境中,这种经过验证的编译器是极其重要的,可保证源代码与编译产生的目标代码语义等价。该研究成果目前已在阳江5^(#)、6^(#)机组等8台核电机组中得到大规模应用。
- 张智慧冀建伟
- 关键词：核安全级编译器形式化验证定理证明COQ
- 基于MATLAB的反应堆保护系统功能逻辑测试设计方法研究被引量：1
- 2018年
- 核电站反应堆保护系统需要进行复杂的运算处理,在对其进行功能测试时,需要设计复杂的功能测试用例,执行功能测试来验证其运算处理功能的正确性。通过人工方式进行测试用例的设计,存在效率低、难以胜任复杂的多变量运算等问题。为此测试人员研究了通过计算机仿真平台,实现反应堆保护系统功能测试用例的计算机辅助设计的方法。该方法显著提高了复杂逻辑运算的测试用例设计效率和准确率。该方法已经在CPR1000、ACPR1000、HTR等多种堆型的反应堆保护系统测试中得到应用。
- 张旭冀建伟高超谢伏巨
- 关键词：反应堆保护系统测试用例
- 一种多样性驱动系统逻辑功能测试方法的研究
- 2019年
- 逻辑功能测试属于核电站DCS系统测试活动的一个重要环节,现有的逻辑功能测试方法更多地是通过测试装置或信号发生器模拟现场传感器信号,使用维护工具人工验证输出结果是否符合预期。现有方法测试周期长、自动化程度低、测试效率低、人因失误率高。本文研究了一种多样性驱动系统(简称'KDS')逻辑功能的测试方法,通过因果图法设计标准化测试用例,使用定期试验自动测试工具执行逻辑功能测试用例并已成功应用于实际工程项目。结合多个工程项目逻辑功能测试的实际应用经验,证明逻辑功能自动化测试方法不仅提高了测试效率,同时降低了人因失误率,对后续核电项目工程测试应用具有较强的参考价值。
- 龚顺超刘焕崔吉叶冀建伟郄永学
- 关键词：DCS逻辑功能自动化测试
- 自主核安全级数字化仪控平台软件验证与确认技术研究及应用
- 张亚栋江国进柴建设孙永滨郎爱国白涛王忠秋季宗涛章丹毛从吉王晓燕冀建伟毋琦杜乔瑞吕秀红
- 核安全级仪控系统是整个核电站的“神经中枢”，之前中国核安全级仪控系统主要依靠进口，为了打破国外厂商垄断的局面，广利核公司自主研发国内首套完全自主知识产权核安全级仪控平台（和睦系统），根据国家核安全法规、导则和相关标准等要...
- 关键词：
- 关键词：核电站
- 核电DCS自动化测试工具有效性评价方法研究被引量：2
- 2021年
- 自动化测试是核电分布式检测系统(DCS)设备制造商快速提高产品研发和生产效能的重要方法,已得到了越来越广泛的应用。测试工具产生的测试结果有效性,直接影响到交付用户产品的质量。因此,在测试工具研制和应用的过程中必须采取一定的方法,确保工具的有效性。本文总结了近年自动化测试工具在核电DCS设备测试领域的研制和应用经验,借鉴了同行业的经验和方法,提出法规标准符合性、研制过程符合性、应用适用符合性、校准管理符合性这四个有效性评价维度,建立了有效性评价方法体系。该体系已经成功应用于CPR1000、高温气冷堆(HGR)、“华龙一号”等多种堆型核电机组的DCS测试中,得到了业内专家的认可。该研究为后续自动化测试技术在核电仪控领域及相关领域的应用和发展,提供了可借鉴的经验和方法体系。
- 张旭裴红伟冀建伟
- 关键词：数字化控制系统核电测试技术仪控系统高温气冷堆
