公开(公告)号：CN118332541A

公开(公告)日：2024-07-12

申请号：CN202410513190.0

申请日：2024-04-26

Applicant: 北京广利核系统工程有限公司

Inventor： 程聪 ,  黄太新 ,  张志民

IPC: G06F21/44 ,  G06F21/51 ,  G06F18/2415

Abstract: 本申请公开了一种基于贝叶斯信度网的核安全级软件验证与确认方法及系统，所述方法包括：构建当前核安全级软件的评估网络模型；针对每个评估网络模型，获取各个评估人员对评估网络模型中的每个目标节点下的每两个节点的相对重要程度值；利用各个评估人员对应的权重加权，得到相对重要程度加权值，并利用相对重要程度加权值构建多个判断矩阵；对各个判断矩阵进行一致性校验；若判断矩阵均通过校验，获取各个评估人员对底层的各个节点的可靠性评估结果，并利用评估人员对应的权重对其进行加权，得到各个节点的可靠性概率；基于贝叶斯公式，利用各个节点的可靠性概率，逐层计算出每个目标节点的可信度概率；基于目标节点的可信度概率生成评估报告。

公开(公告)号：CN118779233A

公开(公告)日：2024-10-15

申请号：CN202410891707.X

申请日：2024-07-04

Applicant: 北京广利核系统工程有限公司

Inventor： 张志民 ,  黄太新 ,  程聪

IPC: G06F11/36 ,  G06F40/226 ,  G06F16/16

Abstract: 本发明提供一种数据处理方法、装置、电子设备及存储介质，所述方法包括：获取核电仪控系统组态的下装文件；基于所述核电仪控系统组态的基础信息确定对应的目标解析配置文件；根据所述目标解析配置文件对所述下装文件进行解析，得到解析结果；基于所述解析结果构建解析报告。在本发明实施例中，不需要人工协助，通过目标解析配置文件对下装文件进行逐一扫描，实现对下装文件的数据含义进行快速解析，实现对下装文件的准确性验证，从而避免存在影响下装文件验证准确性的问题。