-
公开(公告)号:CN115458197A
公开(公告)日:2022-12-09
申请号:CN202211063337.8
申请日:2022-09-01
Applicant: 北京广利核系统工程有限公司
IPC: G21D3/00
Abstract: 本申请公开了一种核电站设备状态变位时间的统计方法和装置。其中,该方法包括:采集试验开始信号和设备信号,检测试验开始信号和设备信号的状态。同时,当试验开始信号和设备信号中任意一个的状态为1时,获取试验开始时间T1和设备状态变位时间T2,并计算设备状态变位时间T2与试验开始时间T1的时间差T3,判断时间差T3是否大于0,如果时间差T3大于0,则将时间差T3作为模拟量进行输出。本申请实施例的一种核电站设备状态变位时间的统计方法和装置,在核电站设备试验阶段,通过实时、高效、准确地周期性计算,实现了在底层自动统计各设备的状态变位时间,减少了人因失误,保证了设备符合大纲准则要求,有效避免了实际运行中潜在的质量及安全问题。
-
公开(公告)号:CN103137227B
公开(公告)日:2016-01-13
申请号:CN201310034024.4
申请日:2013-01-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G21D3/06
CPC classification number: Y02E30/40
Abstract: 本发明公开核电站安全级DCS的软件共模故障检测系统,包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统,其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接,优选卡与被控设备连接,所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接,共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断,然后以此为基础对硬件控制信号进行正确性判断,从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统,因此能够实时发现软件控制信号和硬件控制信号的故障,并即时切换。
-
公开(公告)号:CN108229182A
公开(公告)日:2018-06-29
申请号:CN201711222623.3
申请日:2017-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及核电站安全控制的技术领域,为了解决现有技术中SVDU画面组态验证过程中,执行效率不高、工作质量过于依赖人为因素的技术问题;本发明提供一种利用信息同构验证画面组态的方法和系统,所述方法包括:S1、建立画面组态的验证规则数据库;S2、将待验证画面组态对应的画面软件需求,按照预定的第一信息同构规则,生成机器语言对应的第一数据库;S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件,按照预定的第二信息同构规则,生成机器语言对应的第二数据库;S4、对比所述第一数据库和所述第二数据,验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致;并基于对比的结果,输出所述待验证画面组态的验证结果。
-
公开(公告)号:CN105046143B
公开(公告)日:2018-05-04
申请号:CN201510472334.3
申请日:2015-08-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F21/44
Abstract: 本发明提供本发明公开一种综合计算软件验证与确认功效的方法,具体包括以下步骤:步骤1,数据收集;步骤2,数据分析;步骤3,功效计算;步骤4,结果分析。本方法是在深入分析以往项目软件V&V缺陷数据,研究软件V&V缺陷分布与软件可靠性变化的关系,以及现有的软件V&V效率和有效性计算方法的基础上,采用更为先进的曲线拟合及数学建模技术,而实现的软件V&V功效计算方法。不仅可以替代现有计算方法对软件V&V功效进行量化评估,而且具备时效性好,基础数据需求量小,评估结果指导性强等特点。
-
公开(公告)号:CN107767977A
公开(公告)日:2018-03-06
申请号:CN201711038883.5
申请日:2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域,为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统,该方法包括:S1、获取不同工况下,软件执行安全功能的概率的量化指标;以及不同工况下,软件执行安全功能失效后果的量化指标;S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表;S3、根据所述量化指标与所述定性指标之间的映射关系表,确定相应的软件完整性等级评估参数;S4、基于所述软件完整性等级评估参数,对待处理应用软件进行验证和确认;并输出验证和确认结果。
-
公开(公告)号:CN109597763B
公开(公告)日:2022-02-25
申请号:CN201811473774.0
申请日:2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
-
公开(公告)号:CN108229182B
公开(公告)日:2021-11-23
申请号:CN201711222623.3
申请日:2017-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及核电站安全控制的技术领域,为了解决现有技术中SVDU画面组态验证过程中,执行效率不高、工作质量过于依赖人为因素的技术问题;本发明提供一种利用信息同构验证画面组态的方法和系统,所述方法包括:S1、建立画面组态的验证规则数据库;S2、将待验证画面组态对应的画面软件需求,按照预定的第一信息同构规则,生成机器语言对应的第一数据库;S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件,按照预定的第二信息同构规则,生成机器语言对应的第二数据库;S4、对比所述第一数据库和所述第二数据,验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致;并基于对比的结果,输出所述待验证画面组态的验证结果。
-
公开(公告)号:CN107767977B
公开(公告)日:2019-12-06
申请号:CN201711038883.5
申请日:2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域,为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统,该方法包括:S1、获取不同工况下,软件执行安全功能的概率的量化指标;以及不同工况下,软件执行安全功能失效后果的量化指标;S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表;S3、根据所述量化指标与所述定性指标之间的映射关系表,确定相应的软件完整性等级评估参数;S4、基于所述软件完整性等级评估参数,对待处理应用软件进行验证和确认;并输出验证和确认结果。
-
公开(公告)号:CN103137227A
公开(公告)日:2013-06-05
申请号:CN201310034024.4
申请日:2013-01-29
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G21D3/06
CPC classification number: Y02E30/40
Abstract: 本发明公开核电站安全级DCS的软件共模故障检测系统,包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统,其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接,优选卡与被控设备连接,所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接,共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断,然后以此为基础对硬件控制信号进行正确性判断,从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统,因此能够实时发现软件控制信号和硬件控制信号的故障,并即时切换。
-
公开(公告)号:CN109634854B
公开(公告)日:2022-03-15
申请号:CN201811473776.X
申请日:2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种检测软件工程算法组态异常的方法,属于软件技术领域,解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤:对软件工程算法组态进行分类检测,获得分类检测结果中每一类包含的算法组态总数;识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数,并分析获得上述不一致对应的严重性等级权重;根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数,以及不一致对应的严重性等级权重,获得综合组态异常发生率。该方法通过拆分组态图元素,达到了将组态逻辑量化的效果,并且更新了组态异常发生率的计算方法。
-
-
-
-
-
-
-
-
-