您的位置： 专家智库 > >

吴飞

作品数：9 被引量：1H指数：1
供职机构：北京广利核系统工程有限公司更多>>
相关领域：核科学技术自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇专利
  • 1篇期刊文章

领域

  • 1篇自动化与计算...
  • 1篇核科学技术

主题

  • 6篇安全级
  • 4篇网络
  • 4篇核电
  • 4篇测试系统
  • 3篇电站
  • 3篇形式化
  • 3篇可编程逻辑
  • 3篇核电站
  • 3篇核电站安全
  • 2篇电厂
  • 2篇断言
  • 2篇形式化描述
  • 2篇仪控设备
  • 2篇仪控系统
  • 2篇上位机
  • 2篇上位机软件
  • 2篇通信
  • 2篇通信设备
  • 2篇自动化
  • 2篇自动化测试

机构

  • 9篇北京广利核系...
  • 8篇中国广核集团...

作者

  • 9篇吴飞
  • 1篇张亚栋
  • 1篇程建明
  • 1篇王晓燕

传媒

  • 1篇核科学与工程

年份

  • 2篇2021
  • 2篇2019
  • 2篇2018
  • 1篇2017
  • 1篇2015
  • 1篇2012
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
核电站安全级仪控设备通道稳定度自动化测试系统和方法
本发明提供一种核电站安全级仪控设备通道稳定度自动化测试系统和方法，所述系统包括上位机、基于FPGA的测试设备和基于FPGA的数据接口调理模块，所述测试设备通过所述数据接口调理模块与被测对象连接。上位机通过参数化的方式将配...
吴飞孟广国龙威冀建伟宋立新江国进白涛
文献传递
可编程逻辑仿真测试功能覆盖率的统计方法和装置
本发明属于安全级仪控系统仿真测试的技术领域，为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题，本发明提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置，所述统计方法包括：S1、对HPD需求规格书中的...
吴飞江国进孙永滨白涛黄君龙曹宗生冀建伟齐敏吕秀红郄永学董玲玲
文献传递
形式化验证方法用于核电厂数字化仪控系统HPD验证的探索与实践被引量：1
2012年
为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验证系统设计,更方便地对验证流程进行管理。目前基于断言的形式化验证方法已经在大规模ASIC设计,以及数字通信领域HPD设计的功能验证中取得了成功,本文将这一方法引入核安全级系统HPD验证实践中,主要介绍HPD形式化验证的特点、原理和方法,以及其在FirmSys系统安全级HPD验证工作中的初步应用。
吴飞张亚栋程建明王晓燕
关键词：形式化验证可编程逻辑器件可靠性
针对核电厂安全级网络性能指标的测试方法及其系统
本发明涉及一种针对核电厂安全级网络性能指标的测试方法，其包括：利用虚拟节点方法，将测试设备串入被测网段；利用自开发的网络测试设备对网络测试数据进行发送、接收、过程控制和数据分析；利用第三方网络检测设备负责对发送和接收的测...
吴飞张海滨钱升华宋立新曹宗生
文献传递
一种提高核安全级网络测试准确性的测试系统及方法
本发明涉及一种提高核安全级网络测试准确性的测试系统及方法，属于核电站仪控系统安全功能测试技术领域，解决了现有测试方法无法准确定位故障产生位置的问题。包括测试回路，第一测试装置产生测试激励，同时收集被测设备响应上述测试激励...
吴飞冀建伟黄君龙曹宗生张运涛董玲玲
文献传递
一种提高核安全级网络测试准确性的测试系统及方法
本发明涉及一种提高核安全级网络测试准确性的测试系统及方法，属于核电站仪控系统安全功能测试技术领域，解决了现有测试方法无法准确定位故障产生位置的问题。包括测试回路，第一测试装置产生测试激励，同时收集被测设备响应上述测试激励...
吴飞冀建伟黄君龙曹宗生张运涛董玲玲
文献传递
核电站安全级仪控设备通道稳定度自动化测试系统和方法
本发明提供一种核电站安全级仪控设备通道稳定度自动化测试系统和方法，所述系统包括上位机、基于FPGA的测试设备和基于FPGA的数据接口调理模块，所述测试设备通过所述数据接口调理模块与被测对象连接。上位机通过参数化的方式将配...
吴飞孟广国龙威冀建伟宋立新江国进白涛
可编程逻辑仿真测试功能覆盖率的统计方法和装置
本发明属于安全级仪控系统仿真测试的技术领域，为了解决现有技术中仿真测试功能覆盖率不能准确得到的技术问题，本发明提供一种可有效提高可编程逻辑仿真测试功能覆盖率的统计方法和装置，所述统计方法包括：S1、对HPD需求规格书中的...
吴飞江国进孙永滨白涛黄君龙曹宗生冀建伟齐敏吕秀红郄永学董玲玲
文献传递
针对核电厂安全级网络性能指标的测试方法及其系统
本发明涉及一种针对核电厂安全级网络性能指标的测试方法，其包括：利用虚拟节点方法，将测试设备串入被测网段；利用自开发的网络测试设备对网络测试数据进行发送、接收、过程控制和数据分析；利用第三方网络检测设备负责对发送和接收的测...
吴飞张海滨钱升华宋立新曹宗生
文献传递
全选 清除 导出
共1页<1>
聚类工具0