-
公开(公告)号：CN109032100B
公开(公告)日：2019-11-29
申请号：CN201811117718.3
申请日：2018-09-21
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G05B19/418 , G21C17/00
Abstract: 本发明涉及一种鉴定核电厂安全级仪控系统设备适用性的方法，属于核电厂安全级仪控技术领域，解决了现有技术无法有效地将已有鉴定试验结果应用于新项目进行适用性分析的问题。本发明提供的方法在已完成鉴定试验的项目设备结果基础上进行分析，从理论上判断目标项目设备是否满足应用需求，对不适用的方面进行补充鉴定。该方法设备鉴定适用性分析维度进行限定，即质量保证过程、系统功能性能、产品型号及版本、试验条件、应用硬件配置5个维度，并限定了各维度评价准则、差异项处理原则，极大地降低了鉴定试验须投入的人力、物力，并缩短了鉴定周期，为目标项目顺利进行赢得宝贵时间，可实现同一产品在不同应用要求下的设备鉴定成果复用。
-
公开(公告)号：CN109542510A
公开(公告)日：2019-03-29
申请号：CN201811369114.8
申请日：2018-11-16
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及一种基于贝叶斯理论的软件V&V有效性度量方法，属于软件V&V技术领域，解决了现有软件V&V有效性度量方法不可靠且效果度量值不准确的问题。该方法包括如下步骤：获得历史V&V活动中每一预设分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率；建立V&V有效性预测模型，根据上述概率分析获得V&V有效性预测模型参数中的V&V能力因素；根据V&V有效性预测模型获得当前V&V对象存在缺陷全部被V&V活动发现的概率，判断软件V&V有效性；建立V&V有效性度量模型，计算在满足需求的上述分析复杂度下V&V对象存在缺陷全部被V&V活动发现的概率。该方法结合经验数据和实际测试数据，基于贝叶斯理论进行数据融合，综合地给出V&V活动有效性指标，使度量结果更加准确。
-
公开(公告)号：CN107544478A
公开(公告)日：2018-01-05
申请号：CN201711015339.9
申请日：2017-10-26
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G05B23/02
Abstract: 本发明属于核电DCS中系统性能测试的技术领域，提供一种能够在DCS监控中同时实现精度测试和温漂、时漂监测的在核电DCS鉴定中的模拟量自动测试装置和方法；所述装置包括：多个温度传感器，分别设置在所述核电DCS的不同模拟量通道中，并且与所述核电DCS一起设置在恒温试验箱内；多个信号调理模块，分别接收所述多个温度传感器的温度信号，并将所述温度信号转换为电信号；工业计算机，包括数据采集板卡、存储器和控制器，所述数据采集板卡设置成能够接收所述多个信号调理模块的电信号，所述存储器能够将所述数据采集板卡接收的电信号进行存储；所述控制器基于所述存储器中存储的电信号，计算在核电DCS鉴定中所述核电DCS的模拟量通道的时漂和/或温漂参数。
-
公开(公告)号：CN101655824A
公开(公告)日：2010-02-24
申请号：CN200910091595.5
申请日：2009-08-25
Applicant: 北京广利核系统工程有限公司
Inventor： 杜乔瑞
IPC: G06F13/16
Abstract: 本发明涉及一种双口RAM互斥访问的实现方法，所述一种双口RAM互斥访问的实现方法包括如下操作步骤：1)采用地址分区方式，将共享数据区划分成多个数据区，并制定相应软件协议；2)软件分区处理时，按照交换数据的类型将RAM的共享存储区从起始单元开始分成若干个大的数据区。数据区大小由实际的传输数据确定。每个大数据区又细分为一个数据接收缓冲区和一个数据发送缓冲区，且每个缓冲区都定义有相应的数据存取基地址和读、写指针。3)在本系统中，所有对外部系统的通信工作均由从机来完成，主机只需对双口RAM中相应的数据缓冲区写入要发送的数据或读取需要的数据即可。
-
公开(公告)号：CN112164481B
公开(公告)日：2023-09-29
申请号：CN202010826797.6
申请日：2020-08-17
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。
-
Patent Agency Ranking
公开(公告)号：CN111414440B
公开(公告)日：2023-08-08
申请号：CN202010195050.5
申请日：2020-03-19
Applicant: 北京广利核系统工程有限公司
IPC: G06F16/28 , G06F16/245 , G06Q10/20 , G06Q50/06
Abstract: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据V&V验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。
-
公开(公告)号：CN111580852B
公开(公告)日：2023-05-23
申请号：CN202010357757.1
申请日：2020-04-29
Applicant: 北京广利核系统工程有限公司
IPC: G06F8/70
Abstract: 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。
-
公开(公告)号：CN111766848B
公开(公告)日：2021-09-10
申请号：CN202010607873.4
申请日：2020-06-29
Applicant: 北京广利核系统工程有限公司
IPC: G05B23/02
Abstract: 本说明书提供一种仪控系统中子系统的拒动率验证方法和装置，包括：根据子系统的故障严重度权重和故障概率权重计算对应的子权重和调整系数；根据调整系数和平均分配拒动率计算子系统的调整分配拒动率；在子系统的理论计算拒动率小于调整分配拒动率的情况下，对子系统进行测试试验而获得实际故障次数，以及根据测试试验数量、理论计算拒动率和测试置信度获得计算故障次数；根据实际故障次数和计算故障次数判断子系统的理论计算拒动率是否满足要求。因为调整系数体现了各个子系统的故障严重度权重和故障概率权重的特性，所以采用此系数和平均拒动率相乘得到的调整分配拒动率体现了各个子系统的差异。
-
公开(公告)号：CN111414440A
公开(公告)日：2020-07-14
申请号：CN202010195050.5
申请日：2020-03-19
Applicant: 北京广利核系统工程有限公司
IPC: G06F16/28 , G06F16/245 , G06Q10/00 , G06Q50/06
Abstract: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据V&V验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。
-
公开(公告)号：CN109460394B
公开(公告)日：2020-06-16
申请号：CN201811384175.1
申请日：2018-11-20
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F16/185
Abstract: 本发明涉及一种多级文档条目追踪矩阵的简化方法，属于核电软件的V&V领域。该方法包括以下步骤：在所有相邻层级文档间建立两级文档条目追踪矩阵；选取任一层级文档的条目集合，并根据所述两级文档条目追踪矩阵逐级扩展追踪下一层级文档条目，并依次消除同一层级文档的重复条目；根据所述重复条目以及相应的追踪关系的消除建立多极文档条目追踪矩阵。本发明在建立多级文档条目追踪矩阵时，通过在每级追踪关系建立时消除重复条目(点)的方法，从而有效减少追踪元素的数量，避免了追踪元素重复出现而导致的追踪元素爆炸问题，提高追踪效率，同时简化追踪矩阵，使得追踪矩阵更易于查看。
-
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.028 seconds)
