-
公开(公告)号：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: 本发明公开了一种网关系统的数据传输方法及网关系统，包括接收数据和发送数据，接收数据包括：网关系统接收数据后对数据进行处理，保存数据；发送数据包括：取出已保存的数据，对数据进行再处理后发送；接收数据的过程和发送数据的过程同时进行。本发明通过改进通讯协议，当通信发生错误时，降低个别数据传输的错误对整个周期传输数据的影响。提供测试接口，通过特有的测试工具对网关系统进行测试。实现对网关系统内部正在传输的数据进行查询、修改，以达到方便测试的功能。降低周期运行时间。
-
公开(公告)号：CN105975573B
公开(公告)日：2019-08-13
申请号：CN201610288920.7
申请日：2016-05-04
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F16/35
Abstract: 本发明公开了一种基于KNN的文本分类方法，适用于核安全级软件验证和可靠性验证。本发明的文本分类方法包括训练过程处理和测试过程处理，将训练样本数据集以原始文本自身和文本中所有的标题两部分的信息来表示。依据文本由浅到深的特征层次结构构建两个DBM模型，提取低维高区分度的深层特征并存储，在测试过程中以适当的权重考虑文本标题给相似度的计算带来的贡献来确定待测试文本的类别。本发明充分利用文本标题的信息，比将浅层特征向量作为训练集在分类性能上有显著改善，同时能够降低存储需求和在线计算量，解决了特征向量高维灾难问题，提高了分类的准确度，可以用于安全级软件可靠性评价分析中的规则匹配和失效模式库的建立。
-
公开(公告)号：CN103973504B
公开(公告)日：2017-01-04
申请号：CN201310028941.1
申请日：2013-01-25
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: H04L12/26
Abstract: 本发明公开了一种多网络协议的并行测试装置及测试方法，包括在线运行部分和离线部分，在线运行部分由依次连接的客户端模块，服务器，检测器模块组成，离线部分即为离线组态工具模块；客户端模块提供实时交互界面，通过网络查询位于服务器的历史转存模块的日志、报文和事件并显示；服务器由通信代理模块和历史转存模块组成，通信代理模块将来自检测器的测点转换为citect要求的数据格式供其使用，同时，将日志、报文和事件通过自定义协议提交给历史转存模块；检测器模块将被测对象的原始报文或者经过检测器处理的测点、日志和事件通过自定义协议发送给服务器，并接收来自服务器通信代理模块命令；离线组态工具模块组态工具包括组态模块和编译模块两部分。
-
Patent Agency Ranking
公开(公告)号：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表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。
-
公开(公告)号：CN109460394B
公开(公告)日：2020-06-16
申请号：CN201811384175.1
申请日：2018-11-20
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F16/185
Abstract: 本发明涉及一种多级文档条目追踪矩阵的简化方法，属于核电软件的V&V领域。该方法包括以下步骤：在所有相邻层级文档间建立两级文档条目追踪矩阵；选取任一层级文档的条目集合，并根据所述两级文档条目追踪矩阵逐级扩展追踪下一层级文档条目，并依次消除同一层级文档的重复条目；根据所述重复条目以及相应的追踪关系的消除建立多极文档条目追踪矩阵。本发明在建立多级文档条目追踪矩阵时，通过在每级追踪关系建立时消除重复条目(点)的方法，从而有效减少追踪元素的数量，避免了追踪元素重复出现而导致的追踪元素爆炸问题，提高追踪效率，同时简化追踪矩阵，使得追踪矩阵更易于查看。
-
公开(公告)号：CN109460394A
公开(公告)日：2019-03-12
申请号：CN201811384175.1
申请日：2018-11-20
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F16/185
Abstract: 本发明涉及一种多级文档条目追踪矩阵的简化方法，属于核电软件的V&V领域。该方法包括以下步骤：在所有相邻层级文档间建立两级文档条目追踪矩阵；选取任一层级文档的条目集合，并根据所述两级文档条目追踪矩阵逐级扩展追踪下一层级文档条目，并依次消除同一层级文档的重复条目；根据所述重复条目以及相应的追踪关系的消除建立多极文档条目追踪矩阵。本发明在建立多级文档条目追踪矩阵时，通过在每级追踪关系建立时消除重复条目(点)的方法，从而有效减少追踪元素的数量，避免了追踪元素重复出现而导致的追踪元素爆炸问题，提高追踪效率，同时简化追踪矩阵，使得追踪矩阵更易于查看。
-
公开(公告)号：CN107967255A
公开(公告)日：2018-04-27
申请号：CN201711088831.9
申请日：2017-11-08
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
CPC classification number: G06F17/2775 , G06F17/2211 , G06F17/2785
Abstract: 本发明属于文本分类的技术领域，为了解决现有技术中三种文本相似性判断算法分别存在的不足，本发明提供一种判定文本相似性的方法和系统，所述方法包括：S1、构建向量空间模型，使得文本量化成可处理的对象；S2、使用Siamese网络构建文本语义相似性提取模型，并且在Siamese网络中，语义特征提取网络与相似性判别网络串联在一起，同时在样本训练阶段进行优化；S3、基于训练阶段样本的语义特征表达，构造基于特征向量的夹角余弦的文本相似度计算函数，以及最终的损失函数；S4、输入两个待测文本，基于Siamese网络对待测文本进行语义特征提取之后，计算两个向量的余弦夹角距离，并设置阈值，当两个向量的余弦夹角距离大于阈值时，判定为相似，否则判定为不相似。
-
-
-
-
-
-
-
-
-
Search Results
29
records
(took 0.103 seconds)
