-
公开(公告)号：CN116701167A
公开(公告)日：2023-09-05
申请号：CN202310280881.6
申请日：2023-03-21
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种最坏执行时间确定方法及装置，可应用于计算机技术领域。该方法包括：获取待测汇编程序中各函数的起始位置；根据所述起始位置建立函数调用关系树；根据函数调用关系树为建立函数调用点阵图，得到函数调用关系树中的所有可能的函数调用方式；通过比对所有函数调用方式对应的运行时间，得到最坏执行时间。可见，本申请利用汇编程序中函数起始位置构建调用关系树，进一步建立函数调用点阵图，即可遍历得到函数中所有可能的调用方式，与现有技术中单独的静态分析技术和动态分析技术相比，同时具有了高精确度和低复杂度。
-
公开(公告)号：CN114792182A
公开(公告)日：2022-07-26
申请号：CN202110104003.X
申请日：2021-01-26
Applicant: 北京广利核系统工程有限公司
Abstract: 本申请公开了一种核电仪控系统的实时操作系统的评估方法和装置，具体为确定待评估实时操作系统所应用于的仪控系统所执行功能的安全等级；根据安全等级确定待评估实时操作系统的适用标准；根据设计需求确定待评估实时操作系统的功能要求与性能要求；根据适用标准、功能要求和性能要求确定所使用的评估模型；对待评估实时操作系统进行分析计算，得到分析结果；利用评估模型对分析结果进行量化评估，得到待评估实时操作系统的量化评价结果。通过评估可以不经试用得到相应实时操作系统的效果，尽早发现其是否适用，从而避免对核电仪控系统的研发进度和成本造成损失。
-
公开(公告)号：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活动有效性指标，使度量结果更加准确。
-
公开(公告)号：CN105975573A
公开(公告)日：2016-09-28
申请号：CN201610288920.7
申请日：2016-05-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
CPC classification number: G06F16/35 , G06K9/6276
Abstract: 本发明公开了一种基于KNN的文本分类方法，适用于核安全级软件验证和可靠性验证。本发明的文本分类方法包括训练过程处理和测试过程处理，将训练样本数据集以原始文本自身和文本中所有的标题两部分的信息来表示。依据文本由浅到深的特征层次结构构建两个DBM模型，提取低维高区分度的深层特征并存储，在测试过程中以适当的权重考虑文本标题给相似度的计算带来的贡献来确定待测试文本的类别。本发明充分利用文本标题的信息，比将浅层特征向量作为训练集在分类性能上有显著改善，同时能够降低存储需求和在线计算量，解决了特征向量高维灾难问题，提高了分类的准确度，可以用于安全级软件可靠性评价分析中的规则匹配和失效模式库的建立。
-
公开(公告)号：CN102123110B
公开(公告)日：2014-09-10
申请号：CN201010033627.9
申请日：2010-01-07
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明公开了一种网关系统的数据传输方法及网关系统，包括接收数据和发送数据，接收数据包括：网关系统接收数据后对数据进行处理，保存数据；发送数据包括：取出已保存的数据，对数据进行再处理后发送；接收数据的过程和发送数据的过程同时进行。本发明通过改进通讯协议，当通信发生错误时，降低个别数据传输的错误对整个周期传输数据的影响。提供测试接口，通过特有的测试工具对网关系统进行测试。实现对网关系统内部正在传输的数据进行查询、修改，以达到方便测试的功能。降低周期运行时间。
-
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，根据所述最终的统计数据对网络缓冲区进行验证。本申请实施例的网络缓冲区大小的验证方法及装置，能够快速有效地验证出网络缓冲区的大小，提高效率，节省成本。
-
公开(公告)号：CN115081032A
公开(公告)日：2022-09-20
申请号：CN202210688391.5
申请日：2022-06-17
Applicant: 北京广利核系统工程有限公司
IPC: G06F21/71 , G06F21/85 , G06F16/2458
Abstract: 本发明公开了一种闭锁报警实现系统和逻辑架构，系统包括：工程师站、主控站和显示设备，其中：工程师站用于基于形式化开发方法得到闭锁报警算法功能模块，并编译生成算法组态文件，将算法组态文件分别下装到主控站和显示设备；主控站用于按照固定周期运行所述组态文件，并与所述工程师站和所述显示设备通信交互数据；显示设备用于显示报警信息和基于用户输入消除报警。上述方案中，闭锁报警基于形式化开发方法实现，可进行图形化的闭锁报警算法的逻辑架构搭建，可相对于传统开发方法，具有更高的逻辑精确性，这种精确性为开发人员与用户对需求的一致性理解及需求的正确执行提供了更大的可能性，且支持在线监控，满足企业的应用需求。
-
公开(公告)号：CN109542510B
公开(公告)日：2021-11-23
申请号：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活动有效性指标，使度量结果更加准确。
-
公开(公告)号：CN106776295B
公开(公告)日：2020-09-22
申请号：CN201611081851.9
申请日：2016-11-30
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。
-
公开(公告)号：CN111343184A
公开(公告)日：2020-06-26
申请号：CN202010125475.9
申请日：2020-02-27
Applicant: 北京广利核系统工程有限公司
Abstract: 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。
-
-
-
-
-
-
-
-
-
Search Results
29
records
(took 0.05 seconds)
