-
公开(公告)号：CN114422378A
公开(公告)日：2022-04-29
申请号：CN202210065702.2
申请日：2022-01-20
Applicant: 北京广利核系统工程有限公司
IPC: H04L41/14 , H04L41/142 , H04L69/22
Abstract: 本申请公开了一种网络缓冲区大小的验证方法及装置。其中，网络缓冲区大小的验证方法包括：S1，仿真生成待处理的离散事件队列，所述离散事件包括网络中各节点收发报文的动作；S2，从所述待处理的离散事件队列的头部取出一个离散事件，并处理所述离散事件；S3，获取所述离散事件的处理结果，并将所述处理结果记录至网络的统计数据中；S4，重复步骤S2和S3，直至所述待处理的离散事件队列中的所有离散事件处理完成，并获取最终的统计数据；S5，根据所述最终的统计数据对网络缓冲区进行验证。本申请实施例的网络缓冲区大小的验证方法及装置，能够快速有效地验证出网络缓冲区的大小，提高效率，节省成本。
-
公开(公告)号：CN111580852A
公开(公告)日：2020-08-25
申请号：CN202010357757.1
申请日：2020-04-29
Applicant: 北京广利核系统工程有限公司
IPC: G06F8/70
Abstract: 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。
-
公开(公告)号：CN108229182A
公开(公告)日：2018-06-29
申请号：CN201711222623.3
申请日：2017-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验证规则数据库；S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；S4、对比所述第一数据库和所述第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。
-
公开(公告)号：CN107767977A
公开(公告)日：2018-03-06
申请号：CN201711038883.5
申请日：2017-10-31
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明属于核电站控制技术领域，为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统，该方法包括：S1、获取不同工况下，软件执行安全功能的概率的量化指标；以及不同工况下，软件执行安全功能失效后果的量化指标；S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表；S3、根据所述量化指标与所述定性指标之间的映射关系表，确定相应的软件完整性等级评估参数；S4、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。
-
公开(公告)号：CN102520984A
公开(公告)日：2012-06-27
申请号：CN201110386640.7
申请日：2011-11-29
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
IPC: G06F9/445
Abstract: 本发明涉及一种目标软件在指定硬件环境中最差时间的计算方法，包括：步骤1、读取目标文件并对目标文件进行解析及反汇编；步骤2、模拟目标软件使用的虚拟硬件环境，包括：步骤3、在虚拟硬件环境中执行汇编后的目标文件，其中：步骤4、把每一个程序分支的运行时间横向比较后，计算并输出目标文件中最差运行时间的程序路径。本发明能够预估目标软件在控制系统中的最差运行时间，从而在目标软件下装之前确定是否超时，以满足系统的时间确定性要求。
-
Patent Agency Ranking
公开(公告)号：CN114422378B
公开(公告)日：2024-12-27
申请号：CN202210065702.2
申请日：2022-01-20
Applicant: 北京广利核系统工程有限公司
IPC: H04L41/14 , H04L41/142 , H04L69/22
Abstract: 本申请公开了一种网络缓冲区大小的验证方法及装置。其中，网络缓冲区大小的验证方法包括：S1，仿真生成待处理的离散事件队列，所述离散事件包括网络中各节点收发报文的动作；S2，从所述待处理的离散事件队列的头部取出一个离散事件，并处理所述离散事件；S3，获取所述离散事件的处理结果，并将所述处理结果记录至网络的统计数据中；S4，重复步骤S2和S3，直至所述待处理的离散事件队列中的所有离散事件处理完成，并获取最终的统计数据；S5，根据所述最终的统计数据对网络缓冲区进行验证。本申请实施例的网络缓冲区大小的验证方法及装置，能够快速有效地验证出网络缓冲区的大小，提高效率，节省成本。
-
公开(公告)号：CN118067426A
公开(公告)日：2024-05-24
申请号：CN202410214265.5
申请日：2024-02-27
Applicant: 北京广利核系统工程有限公司
IPC: G01M99/00 , G06V10/14 , G05B19/418
Abstract: 本发明提供一种CIS‑V设备的测试方法及装置，应用于处理器，处理器连接CIS‑V设备和摄像头，摄像头对准CIS‑V设备中的面板指示灯，测试方法包括：控制CIS‑V设备模拟长期运行工况，针对CIS‑V设备进行长期运行工况对应的测试策略，接收CIS‑V设备的输出信号和摄像头实时采集的面板指示灯图像，识别面板指示灯图像得到CIS‑V设备的运行状态，基于运行状态和输出信号确定CIS‑V设备是否正常。在本方案中，在长期模拟工况下自动对CIS‑V设备进行相应的测试策略，并利用摄像头实时采集面板指示灯进行识别，从而捕捉人眼难以发现的故障，以实现提高发现故障效率，节省人力物力的目的。
-
公开(公告)号：CN115333987B
公开(公告)日：2023-12-29
申请号：CN202210962077.1
申请日：2022-08-11
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明所提供的接口测试系统和方法，可以包括可移动装置以及设置在可移动装置上的网关底座、电源模块、交换机和测试终端，其中可移动装置至少包括拉杆机箱。网关底座上设有网关插槽以及和网关插槽相适配的交换机接口、测试接口和电源接口，网关插槽用于安装网关模块，交换机接口用于网关模块和交换机的通信连接，测试接口用于网关模块和待测系统中待测设备的通信连接，电源接口和电源模块电连接用于为网关模块提供所需电源，测试接口的种类和数量均不少于两个。交换机用于测试终端和网关模块的数据交互。测试终端用于基于预设测试流程对接入网关模块的待测设备进行测试。提升现场调试效率，降低现场改造成本。
-
公开(公告)号：CN115333987A
公开(公告)日：2022-11-11
申请号：CN202210962077.1
申请日：2022-08-11
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明所提供的接口测试系统和方法，可以包括可移动装置以及设置在可移动装置上的网关底座、电源模块、交换机和测试终端，其中可移动装置至少包括拉杆机箱。网关底座上设有网关插槽以及和网关插槽相适配的交换机接口、测试接口和电源接口，网关插槽用于安装网关模块，交换机接口用于网关模块和交换机的通信连接，测试接口用于网关模块和待测系统中待测设备的通信连接，电源接口和电源模块电连接用于为网关模块提供所需电源，测试接口的种类和数量均不少于两个。交换机用于测试终端和网关模块的数据交互。测试终端用于基于预设测试流程对接入网关模块的待测设备进行测试。提升现场调试效率，降低现场改造成本。
-
公开(公告)号：CN115081032A
公开(公告)日：2022-09-20
申请号：CN202210688391.5
申请日：2022-06-17
Applicant: 北京广利核系统工程有限公司
IPC: G06F21/71 , G06F21/85 , G06F16/2458
Abstract: 本发明公开了一种闭锁报警实现系统和逻辑架构，系统包括：工程师站、主控站和显示设备，其中：工程师站用于基于形式化开发方法得到闭锁报警算法功能模块，并编译生成算法组态文件，将算法组态文件分别下装到主控站和显示设备；主控站用于按照固定周期运行所述组态文件，并与所述工程师站和所述显示设备通信交互数据；显示设备用于显示报警信息和基于用户输入消除报警。上述方案中，闭锁报警基于形式化开发方法实现，可进行图形化的闭锁报警算法的逻辑架构搭建，可相对于传统开发方法，具有更高的逻辑精确性，这种精确性为开发人员与用户对需求的一致性理解及需求的正确执行提供了更大的可能性，且支持在线监控，满足企业的应用需求。
-
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.029 seconds)
