公开(公告)号：CN115577967A

公开(公告)日：2023-01-06

申请号：CN202211357620.1

申请日：2022-11-01

Applicant: 国核自仪系统工程有限公司

Inventor： 杨秉政 ,  戴瑞东 ,  蒋嵩 ,  朱夕辉 ,  吴婷 ,  王辉 ,  何丽冰

IPC: G06Q10/06 ,  G06Q10/10

Abstract: 本发明公开了一种异常任务的处理方法、系统、电子设备及存储介质，其中异常任务的处理方法，包括以下步骤：获取异常任务并推送给任务处理人，以使任务处理人对异常任务制定对应的异常任务处理信息；获取异常任务处理信息；基于异常任务处理信息处理异常任务，并接收任务处理人反馈的异常任务处理的验证结果。本发明通过基于处理信息处理异常任务并接受反馈的验证结果，可以使多端并行处理异常任务，提升异常任务的处理效率。

公开(公告)号：CN110717305A

公开(公告)日：2020-01-21

申请号：CN201910933304.6

申请日：2019-09-29

Applicant: 国核自仪系统工程有限公司

Inventor： 朱夕辉 ,  何丽冰 ,  李敬业 ,  黄凯 ,  时应盼

IPC: G06F30/343 ,  G06F30/392 ,  G06F30/398

Abstract: 本发明公开了一种适用于FPGA的验证与确认的方法、系统、设备及介质，方法包括：S1、执行概念阶段的任务；S2、执行需求阶段的任务；S3、执行设计阶段的任务；S4、执行实现阶段的任务；S5、执行测试阶段的任务；步骤S3中的任务包括：设计可编程逻辑仿真测试平台和设计可编程逻辑硬件测试环境；步骤S4中的任务包括：评估可编程逻辑综合布局布线的结果和执行可编程逻辑硬件测试。本发明通过对FPGA需求、设计文档的评估，能够在FPGA还未编码前，通过验证与确认的方式，发现错误。本发明能够满足高安全要求的领域中对于集散控制系统的控制核心的FPGA的验证的指标要求，具备可执行性，能够规范FPGA验证生命周期，进而能够提高FPGA的功能的正确性和一致性。

公开(公告)号：CN118519864A

公开(公告)日：2024-08-20

申请号：CN202410271327.6

申请日：2024-03-11

Applicant: 国核自仪系统工程有限公司

Inventor： 王南 ,  杨秉政 ,  何丽冰

IPC: G06F11/34

Abstract: 本发明公开了一种功能逻辑图的评估方法、系统、设备及存储介质，该评估方法包括：获取目标功能逻辑图；获取预设功能评估需求；根据预设功能评估需求对目标功能逻辑图进行评估，得到评估结果。本发明根据设定的预设功能评估需求对目标功能逻辑图进行评估，得到评估结果，能够基于明确的评估准则对目标功能逻辑图进行评估，保证了评估工作的有效性和完整性，提高了评估的效率和准确性。

公开(公告)号：CN117453550A

公开(公告)日：2024-01-26

申请号：CN202311422380.3

申请日：2023-10-30

Applicant: 国核自仪系统工程有限公司

Inventor： 何丽冰 ,  杨秉政 ,  王南 ,  任冠澎 ,  戴瑞东 ,  朱夕辉

IPC: G06F11/36 ,  G06Q10/063

Abstract: 本发明公开了数字化仪控系统的需求验证方法、系统、设备及介质，该需求验证方法包括：获取目标数字化仪控系统的原始设计需求和开发设计需求；基于原始设计需求依照功能编写对应的若干个验证用例；基于若干个验证用例生成需求比对模型；基于顺序图和活动图对文本数据进行可靠性检验。本发明利用需求比对模型中的活动图和顺序图对文本数据逐行进行比对，从而确保对开发设计需求检验的准确性和完整性，避免人工检验完整性低，且错误率高的问题。

公开(公告)号：CN115495385A

公开(公告)日：2022-12-20

申请号：CN202211320726.4

申请日：2022-10-26

Applicant: 国核自仪系统工程有限公司

Inventor： 戴瑞东 ,  蒋嵩 ,  朱夕辉 ,  吴婷 ,  杨秉政 ,  孟子文 ,  王辉 ,  何丽冰

IPC: G06F11/36

Abstract: 本发明公开了一种软件开发质量的评价方法、系统、电子设备及介质，该方法包括：获取第N轮次的异常软件的责任性异常总数量以及剩余责任性异常数量；基于剩余责任性异常数量以及责任性异常总数量计算剩余责任性异常数量百分比；基于该百分比计算第N轮次的异常消缺直通率；基于异常消缺直通率评价第N轮次的软件开发质量。本发明基于第N轮次的责任性异常总数量以及剩余责任性异常数量计算剩余责任性异常数量百分比，并基于剩余责任性异常数量百分比计算第N轮次的异常消缺直通率，基于异常消缺直通率评价该轮次的软件开发质量，能够伴随软件开发过程，直观可靠的评估不同轮次的软件开发质量，提高了软件开发质量评价效率以及评价的准确性。

公开(公告)号：CN109448874B

公开(公告)日：2020-11-20

申请号：CN201811144030.4

申请日：2018-09-29

Applicant: 国核自仪系统工程有限公司

Inventor： 汪绩宁 ,  蒋嵩 ,  王南 ,  朱夕辉 ,  何丽冰 ,  安媛 ,  田家杨 ,  戴瑞东 ,  刘培扬 ,  冯雪 ,  赵熠阳 ,  黄焜 ,  阚睿

IPC: G21C17/00 ,  G06F30/20

Abstract: 本发明提供了一种核动力反应堆保护系统的停堆功能的测试装置及方法，其中，该方法包括：停堆状态值确定单元，用于将核动力反应堆的停堆参数信号输入正常运行的核动力反应堆保护系统，确定一停堆状态值；模型构建单元，用于根据所述核动力反应堆保护系统的停堆处理逻辑，建立一停堆处理模型，并将所述停堆参数信号输入至该停堆处理模型，确定一停堆模拟值；相关处理单元，用于将所述停堆状态值与停堆模拟值进行相关处理，确定二者的相关度。本发明通过将实际的停堆状态值与建模得到的停堆模拟值进行相关处理，能够验证该核动力反应堆保护系统的停堆功能的正确性。