-
公开(公告)号：CN109634854A
公开(公告)日：2019-04-16
申请号：CN201811473776.X
申请日：2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明涉及一种检测软件工程算法组态异常的方法，属于软件技术领域，解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤：对软件工程算法组态进行分类检测，获得分类检测结果中每一类包含的算法组态总数；识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数，并分析获得上述不一致对应的严重性等级权重；根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数，以及不一致对应的严重性等级权重，获得综合组态异常发生率。该方法通过拆分组态图元素，达到了将组态逻辑量化的效果，并且更新了组态异常发生率的计算方法。
-
公开(公告)号：CN109597763A
公开(公告)日：2019-04-09
申请号：CN201811473774.0
申请日：2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及一种对多项数据进行归一化的一致性验证方法及装置，属于数据一致性验证领域，解决了现有核电系统中多项数据由于人工验证造成的效率低下、错误率高的问题。包括以下步骤：获取基准数据文件和对象数据文件；预设数据规则表，以建立二者数据字段之间的映射关系；根据预设数据规则表，从所述基准数据文件、对象数据文件中分别辨识并提取与所述数据规则表中一致的字段内容，得到归一化后的基准数据表、对象数据表；对得到的所述归一化后的基准数据表、对象数据表进行一致性验证，输出验证结果。实现了核电站DCS各种输入输出设备多项数据的自动化验证，提高了验证效率，降低了错误率。
-
公开(公告)号：CN102360335B
公开(公告)日：2014-11-19
申请号：CN201110319014.6
申请日：2011-10-19
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F11/36
Abstract: 本发明公开一种定量评估核电厂安全级DCS系统应用软件缺陷价值的方法，1、根据使用的系统分析缺陷X，得到缺陷X所在功能的使用频率F和冗余功能个数r以及每个冗余功能的失效率P(i)；2、通过对故障逻辑的识别，利用实际使用软件的结构得到逻辑分支概率PL；3、利用(1)得到此缺陷X导致后果故障的概率P(X)；4、将(1)代入W＝P(X)*E(2)得到此缺陷X的价值W。本发明为直接衡量核电站安全级DCS应用软件V&V人员或软件测试人员对项目的贡献度及设计人员的设计质量等提供一个重要参考。
-
公开(公告)号：CN109634854B
公开(公告)日：2022-03-15
申请号：CN201811473776.X
申请日：2018-12-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种检测软件工程算法组态异常的方法，属于软件技术领域，解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤：对软件工程算法组态进行分类检测，获得分类检测结果中每一类包含的算法组态总数；识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数，并分析获得上述不一致对应的严重性等级权重；根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数，以及不一致对应的严重性等级权重，获得综合组态异常发生率。该方法通过拆分组态图元素，达到了将组态逻辑量化的效果，并且更新了组态异常发生率的计算方法。
-
公开(公告)号：CN112164481A
公开(公告)日：2021-01-01
申请号：CN202010826797.6
申请日：2020-08-17
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。
-
Patent Agency Ranking
公开(公告)号：CN105046143A
公开(公告)日：2015-11-11
申请号：CN201510472334.3
申请日：2015-08-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F21/44
CPC classification number: G06F21/44
Abstract: 本发明提供本发明公开一种综合计算软件验证与确认功效的方法，具体包括以下步骤：步骤1，数据收集；步骤2，数据分析；步骤3，功效计算；步骤4，结果分析。本方法是在深入分析以往项目软件V&V缺陷数据，研究软件V&V缺陷分布与软件可靠性变化的关系，以及现有的软件V&V效率和有效性计算方法的基础上，采用更为先进的曲线拟合及数学建模技术，而实现的软件V&V功效计算方法。不仅可以替代现有计算方法对软件V&V功效进行量化评估，而且具备时效性好，基础数据需求量小，评估结果指导性强等特点。
-
公开(公告)号：CN102360335A
公开(公告)日：2012-02-22
申请号：CN201110319014.6
申请日：2011-10-19
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F11/36
Abstract: 本发明公开一种定量评估核电厂安全级DCS系统应用软件缺陷价值的方法，1、根据使用的系统分析缺陷X，得到缺陷X所在功能的使用频率F和冗余功能个数r以及每个冗余功能的失效率P(i)；2、通过对故障逻辑的识别，利用实际使用软件的结构得到逻辑分支概率PL；3、利用(1)得到此缺陷X导致后果故障的概率P(X)；4、将(1)代入W＝P(X)*E(2)得到此缺陷X的价值W。本发明为直接衡量核电站安全级DCS应用软件V&V人员或软件测试人员对项目的贡献度及设计人员的设计质量等提供一个重要参考。
-
公开(公告)号：CN103137227B
公开(公告)日：2016-01-13
申请号：CN201310034024.4
申请日：2013-01-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G21D3/06
CPC classification number: Y02E30/40
Abstract: 本发明公开核电站安全级DCS的软件共模故障检测系统，包括发送软件控制信号的软件控制系统和发送硬件控制信号的硬件控制系统，其中软件控制系统和硬件控制系统分别与接收信号进行二择一优选的优选卡连接，优选卡与被控设备连接，所述软件控制系统和硬件控制系统还分别与检测软件控制系统是否正确的共模故障检测模块连接，共模故障检测模块与优选卡连接。本发明首先对软件控制系统进行正确性判断，然后以此为基础对硬件控制信号进行正确性判断，从而保证优选卡的正确输出。共模故障检测模块能够实时检测软件控制系统，因此能够实时发现软件控制信号和硬件控制信号的故障，并即时切换。
-
公开(公告)号：CN222892320U
公开(公告)日：2025-05-23
申请号：CN202421959878.3
申请日：2024-08-13
Applicant: 北京广利核系统工程有限公司
Abstract: 本实用新型公开了一种合格证自动粘贴装置，包括粘贴仓和设置于粘贴仓内的第一收纳仓、抓取组件、纸张盛物台和打胶组件；抓取组件和打胶组件固定在粘贴仓内的顶部；第一收纳仓和纸张盛物台设置在粘贴仓内的下部空间，第一收纳仓设置在纸张盛物台一侧，抓取组件和打胶组件与控制模块电连接；第一收纳仓用于存放待粘贴合格证；抓取组件用于抓取第一收纳仓中的待粘贴合格证并将合格证粘贴到纸张盛物台的纸张上；打胶组件用于为抓取组件抓取的待粘贴合格证打胶。这样，将抓取、打胶和粘贴过程集成在一个装置内，通过各个组件的工作，实现了从合格证抓取到粘贴的全自动化流程。这极大地提高了粘贴过程的效率，减少了人工参与，节省了人力成本。
-
公开(公告)号：CN202887169U
公开(公告)日：2013-04-17
申请号：CN201220623940.2
申请日：2012-11-22
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F11/07
Abstract: 本实用新型公开一种用于高速通信的数据完整性检测装置，包括存储控制器，所述存储控制器连接有三个完全相同的SSRAM存储器，存储控制器每次向三个SSRAM存储器的相同地址发出相同的指令，并在回读时同时向三个SSRAM存储器发出相同的地址和指令。本实用新型在高速数据缓冲场合能够适用于任何大小的数据操作且数据不需要分包操作，而且未添加任何校验信息，百分之百有效数据读写；且不仅可以纠正数据传输时的实时错误，而且有存储器自检功能。此外，由于本装置不使用类似CRC码之类的额外增加数据量的方法，因此数据读写不会额外消耗时间。本装置不利用空闲时间写特定码检测存储器自检，不会造成自检和正常操作的总线冲突，没有判断和等待时间。
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.036 seconds)
