一种核电站设备状态变位时间的统计方法和装置

    公开(公告)号:CN115458197A

    公开(公告)日:2022-12-09

    申请号:CN202211063337.8

    申请日:2022-09-01

    Abstract: 本申请公开了一种核电站设备状态变位时间的统计方法和装置。其中,该方法包括:采集试验开始信号和设备信号,检测试验开始信号和设备信号的状态。同时,当试验开始信号和设备信号中任意一个的状态为1时,获取试验开始时间T1和设备状态变位时间T2,并计算设备状态变位时间T2与试验开始时间T1的时间差T3,判断时间差T3是否大于0,如果时间差T3大于0,则将时间差T3作为模拟量进行输出。本申请实施例的一种核电站设备状态变位时间的统计方法和装置,在核电站设备试验阶段,通过实时、高效、准确地周期性计算,实现了在底层自动统计各设备的状态变位时间,减少了人因失误,保证了设备符合大纲准则要求,有效避免了实际运行中潜在的质量及安全问题。

    利用信息同构验证画面组态的方法和系统

    公开(公告)号:CN108229182A

    公开(公告)日:2018-06-29

    申请号:CN201711222623.3

    申请日:2017-11-29

    Abstract: 本发明涉及核电站安全控制的技术领域,为了解决现有技术中SVDU画面组态验证过程中,执行效率不高、工作质量过于依赖人为因素的技术问题;本发明提供一种利用信息同构验证画面组态的方法和系统,所述方法包括:S1、建立画面组态的验证规则数据库;S2、将待验证画面组态对应的画面软件需求,按照预定的第一信息同构规则,生成机器语言对应的第一数据库;S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件,按照预定的第二信息同构规则,生成机器语言对应的第二数据库;S4、对比所述第一数据库和所述第二数据,验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致;并基于对比的结果,输出所述待验证画面组态的验证结果。

    一种核电站用安全控制方法和系统

    公开(公告)号:CN107767977A

    公开(公告)日:2018-03-06

    申请号:CN201711038883.5

    申请日:2017-10-31

    Abstract: 本发明属于核电站控制技术领域,为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统,该方法包括:S1、获取不同工况下,软件执行安全功能的概率的量化指标;以及不同工况下,软件执行安全功能失效后果的量化指标;S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表;S3、根据所述量化指标与所述定性指标之间的映射关系表,确定相应的软件完整性等级评估参数;S4、基于所述软件完整性等级评估参数,对待处理应用软件进行验证和确认;并输出验证和确认结果。

    利用信息同构验证画面组态的方法和系统

    公开(公告)号:CN108229182B

    公开(公告)日:2021-11-23

    申请号:CN201711222623.3

    申请日:2017-11-29

    Abstract: 本发明涉及核电站安全控制的技术领域,为了解决现有技术中SVDU画面组态验证过程中,执行效率不高、工作质量过于依赖人为因素的技术问题;本发明提供一种利用信息同构验证画面组态的方法和系统,所述方法包括:S1、建立画面组态的验证规则数据库;S2、将待验证画面组态对应的画面软件需求,按照预定的第一信息同构规则,生成机器语言对应的第一数据库;S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件,按照预定的第二信息同构规则,生成机器语言对应的第二数据库;S4、对比所述第一数据库和所述第二数据,验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致;并基于对比的结果,输出所述待验证画面组态的验证结果。

    一种核电站用安全控制方法和系统

    公开(公告)号:CN107767977B

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

    申请号:CN201711038883.5

    申请日:2017-10-31

    Abstract: 本发明属于核电站控制技术领域,为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统,该方法包括:S1、获取不同工况下,软件执行安全功能的概率的量化指标;以及不同工况下,软件执行安全功能失效后果的量化指标;S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表;S3、根据所述量化指标与所述定性指标之间的映射关系表,确定相应的软件完整性等级评估参数;S4、基于所述软件完整性等级评估参数,对待处理应用软件进行验证和确认;并输出验证和确认结果。

    一种检测软件工程算法组态异常的方法

    公开(公告)号:CN109634854B

    公开(公告)日:2022-03-15

    申请号:CN201811473776.X

    申请日:2018-12-04

    Abstract: 本发明涉及一种检测软件工程算法组态异常的方法,属于软件技术领域,解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤:对软件工程算法组态进行分类检测,获得分类检测结果中每一类包含的算法组态总数;识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数,并分析获得上述不一致对应的严重性等级权重;根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数,以及不一致对应的严重性等级权重,获得综合组态异常发生率。该方法通过拆分组态图元素,达到了将组态逻辑量化的效果,并且更新了组态异常发生率的计算方法。

Patent Agency Ranking