一种通信协议的验证方法和装置

    公开(公告)号:CN111343184A

    公开(公告)日:2020-06-26

    申请号:CN202010125475.9

    申请日:2020-02-27

    Abstract: 本发明涉及一种通信协议的验证方法和装置,属于通信技术领域,解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后,协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力,包括:分析通信协议的协议字段;基于协议字段建立通信者模型和攻击者模型,通信者模型包括通信者数据,以及攻击者模型包括攻击者数据,其中,通信者数据包括发送者标识、接收者标识和新鲜性标识,并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识;使用形式化语言进行通信者模型和攻击者模型描述;以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入,减少修复成本。

    用于核电站模拟量保护系统定期试验的方法

    公开(公告)号:CN109215817B

    公开(公告)日:2019-12-20

    申请号:CN201810845171.2

    申请日:2018-07-27

    Abstract: 本发明涉及一种用于核电站模拟量保护系统定期试验的方法,属于核电站保护系统技术领域,解决了现有技术中单一的试验准则无法检测出全通道电压漂移问题及掩盖了通道中模块可能存在的误差的问题。步骤如下:连接试验装置与保护通道,切换保护通道至试验状态,在保护通道试验信号注入口ST注入代表事故工况的信号,并通过保护通道的信号采集口PT实时回采信号,同时在阈值继电器XU的输出口监视阈值继电器XU的状态,记录阈值继电器XU发生翻转时的动作电压值及动作时间;根据阈值继电器XU发生翻转时的动作电压、动作时间及回采信号,判断保护通道是否正常。实现了更为准确的保护通道正常工作的判断标准,有效检测出全通道电压漂移问题。

    一种核级仪控系统传递函数动态特性测试方法

    公开(公告)号:CN106776276B

    公开(公告)日:2019-11-29

    申请号:CN201611032473.5

    申请日:2016-11-16

    Abstract: 本发明公开了一种核级仪控系统传递函数动态特性测试方法,包括以下步骤:步骤一:设计搭建测试环境,连接信号发生器、仪控系统和波形记录仪;步骤二:信号发生器输入阶跃信号至仪控系统,经仪控系统运算后,输出模拟量信号,通过波形记录仪采集输入、输出信号波形,并形成波形数据文件;步骤三:根据输出波形数据文件进行波形数据处理,计算传递函数参数;步骤四:根据波形数据处理结果记录各算法阶跃响应输出稳态值、计算出的传递函数参数以及所述算法阶跃响应输出稳态值的输出信号的波形趋势;步骤五:根据阶跃响应稳定后输出值、输出信号的波形趋势、测试计算出的传递函数参数综合判定正确性。本发明整体测试工作量小执行成本低。

    一种核电站数据采集装置和方法

    公开(公告)号:CN106980306B

    公开(公告)日:2019-10-11

    申请号:CN201710195473.5

    申请日:2017-03-29

    Abstract: 本发明属于核电站仪控设备的技术领域,提供一种核电站数据采集装置和方法;所述装置包括:系统控制层,设置有数据采集单元和控制器单元;数据采集单元包括数据输入/输出接口,数据输入/输出接口通过网络通信板卡与控制器单元通信;从网络通信板卡采集到的数据按照控制器单元内部的预定算法进行逻辑运算;监控控制层,设置有提供校时时钟的校时源;其中,网络通信板卡被所述控制器单元进行校时,网络通信板卡给与数据输入/输出接口连接的数据通道传送的数据打上时标;由于采用了控制器单元‑网络通信板卡‑输入/输出接口三层架构,且网络通信板卡将采集到的数据打上时标,所以在不降低仪控设备容量的情况下,可以提高控制器单元的处理速度。

    一种基于FPGA的数字量输出通道自检系统和方法

    公开(公告)号:CN106292633B

    公开(公告)日:2019-07-19

    申请号:CN201610730083.9

    申请日:2016-08-25

    Abstract: 本发明涉及一种基于FPGA的数字量输出通道自检系统,包括FPGA和多个数字量输出通道,每个通道包括光电隔离器、驱动开关管和环回采集电路;所述FPGA作为主处理器与上位机通信,完成命令和数据的收发,并实现对各通道的控制和自检逻辑;所述光电隔离器实现输出与控制信号的电气隔离;所述驱动开关管实现对输出点的驱动;所述环回采集电路实现对输出信号的回采,用于自诊断;所述驱动开关管和环回采集电路相连,FPGA通过光电隔离器分别与驱动开关管和环回采集电路相连,形成自检通道。本发明在正常输出时,能够诊断出通道是否正常翻转,有利于提前诊断通道故障。

    核电站安全级仪控设备通道稳定度自动化测试系统和方法

    公开(公告)号:CN106774245B

    公开(公告)日:2019-06-04

    申请号:CN201611108720.5

    申请日:2016-12-06

    Abstract: 本发明提供一种核电站安全级仪控设备通道稳定度自动化测试系统和方法,所述系统包括上位机、基于FPGA的测试设备和基于FPGA的数据接口调理模块,所述测试设备通过所述数据接口调理模块与被测对象连接。上位机通过参数化的方式将配置参数下发给基于FPGA的测试数据发送模块,测试数据发送模块根据配置参数生成测试数据,驱动数据接口调理模块输出实际测试信号,再通过数据接口调理模块将被测设备输出的信号采集回来,并调制成数字信号,输入基于FPGA的测试结果比对模块对回收的数据进行比较,将比较结果实时上传给上位机,通过上位机软件对通道数据比较分析结果进行分析,用于判断被测设备通道稳定度是否超出预设范围。

    高温堆核电站保护系统的定期试验装置和方法

    公开(公告)号:CN108922641A

    公开(公告)日:2018-11-30

    申请号:CN201810547304.8

    申请日:2018-05-31

    CPC classification number: G21C17/00

    Abstract: 本发明属于核电站安全保护系统的测控技术领域,为了解决技术中对核电站保护系统进行定期试验的技术方案中存在的操作复杂、自动化程度低的技术问题,本发明提供一种高温堆核电站保护系统的定期试验装置和方法,所述装置包括:上位机,设置成能够输入多种试验操作信息、显示试验操作结果及与待测试高温堆核电站保护系统的通信;下位机,设置有用于待测试高温堆核电站保护系统对应硬接线数据的输出和采集的数据采集板卡和控制器;以及信号调理模块,设置成实现所述数据采集板卡和所述待测试高温堆核电站保护系统之间硬接线数据的转换与传输,以及所述上位机和所述待测试高温堆核电站保护系统之间通信数据的协议转换及传输。

    判定FPGA冗余设计的代码与综合后电路一致性的方法和系统

    公开(公告)号:CN108829903A

    公开(公告)日:2018-11-16

    申请号:CN201711096856.3

    申请日:2017-11-09

    Abstract: 本发明属于核电控制的技术领域,为了解决现有技术中综合后仿真方法和形式化一致性验证方法分别存在的不足,提供一种判定FPGA冗余设计的代码与综合后电路一致性的方法和系统;所述方法包括:S1、分别检索FPGA代码中的第一关键词和综合电路对应网表文件中的第二关键词;S2、判断FPGA代码中第一关键词检索得到的第一信号名集合是否属于网表文件中第二关键词检索得到的第二信号名集合的子集;如果是,则综合后电路的信号一致性检测通过;S3、判断FPGA代码文件中声明的所有信号,在综合后电路对应网表文件中是否分别都有一个或多个有用逻辑单元与相应的信号连接;如果是,则综合后电路的逻辑一致性检测通过。

Patent Agency Ranking