-
公开(公告)号：CN111580852B
公开(公告)日：2023-05-23
申请号：CN202010357757.1
申请日：2020-04-29
Applicant: 北京广利核系统工程有限公司
IPC: G06F8/70
Abstract: 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。
-
公开(公告)号：CN114860638A
公开(公告)日：2022-08-05
申请号：CN202110154944.4
申请日：2021-02-04
Applicant: 北京广利核系统工程有限公司
IPC: G06F13/38
Abstract: 本申请公开了一种软件接口的识别方法、装置和计算机设备。其中，软件接口的识别方法包括：获取被分析软件的接口类型；创建与所述接口类型对应的接口识别矩阵；基于所述接口识别矩阵对所述被分析软件的接口进行分析。本申请实施例的软件接口的识别方法、装置和计算机设备，通过获取被分析软件的接口类型，并创建与所述接口类型对应的接口识别矩阵，以及基于所述接口识别矩阵对所述被分析软件的接口进行分析，降低接口识别矩阵的规模，降低识别工作量，提高识别效率，并提高识别准确度，解决接口识别不全面的问题。
-
公开(公告)号：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领域。该方法包括以下步骤：在所有相邻层级文档间建立两级文档条目追踪矩阵；选取任一层级文档的条目集合，并根据所述两级文档条目追踪矩阵逐级扩展追踪下一层级文档条目，并依次消除同一层级文档的重复条目；根据所述重复条目以及相应的追踪关系的消除建立多极文档条目追踪矩阵。本发明在建立多级文档条目追踪矩阵时，通过在每级追踪关系建立时消除重复条目(点)的方法，从而有效减少追踪元素的数量，避免了追踪元素重复出现而导致的追踪元素爆炸问题，提高追踪效率，同时简化追踪矩阵，使得追踪矩阵更易于查看。
-
Patent Agency Ranking
公开(公告)号：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网络对待测文本进行语义特征提取之后，计算两个向量的余弦夹角距离，并设置阈值，当两个向量的余弦夹角距离大于阈值时，判定为相似，否则判定为不相似。
-
公开(公告)号：CN106776295A
公开(公告)日：2017-05-31
申请号：CN201611081851.9
申请日：2016-11-30
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本软件模型的各个状态来描述待分析软件的失效；步骤4：搜索所有满足待分析软件的失效定义的状态传输路径，每条传输路径为一个失效模式；步骤5：分析各个满足待分析软件失效定义的状态传输路径，并填写FMEA表格。本发明软件功能单元模型化，使用形式化工具执行分析，减小工作量；软件功能单元模型化，达到模型复用。针对不同的软件功能单元，总结归纳验证属性，达到知识的积累和共享。
-
公开(公告)号：CN103973504A
公开(公告)日：2014-08-06
申请号：CN201310028941.1
申请日：2013-01-25
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
IPC: H04L12/26
Abstract: 本发明公开了一种多网络协议的并行测试装置及测试方法，包括在线运行部分和离线部分，在线运行部分由依次连接的客户端模块，服务器，检测器模块组成，离线部分即为离线组态工具模块；客户端模块提供实时交互界面，通过网络查询位于服务器的历史转存模块的日志、报文和事件并显示；服务器由通信代理模块和历史转存模块组成，通信代理模块将来自检测器的测点转换为citect要求的数据格式供其使用，同时，将日志、报文和事件通过自定义协议提交给历史转存模块；检测器模块将被测对象的原始报文或者经过检测器处理的测点、日志和事件通过自定义协议发送给服务器，并接收来自服务器通信代理模块命令；离线组态工具模块组态工具包括组态模块和编译模块两部分。
-
公开(公告)号：CN102082773B
公开(公告)日：2014-03-19
申请号：CN200910238712.6
申请日：2009-11-30
Applicant: 北京广利核系统工程有限公司 , 中国广核集团有限公司
Abstract: 本发明涉及的是一种网络协议，具体地讲，本发明涉及的是一种用于系统列间通讯的安全网络协议，尤指基于反应堆保护系统列间通讯的安全网络协议的通信方法。所述的保护系统包括分布式服务器之间的通讯系统，协议由物理层、数据链路层和应用层构成，其特征在于安全网络协议中的网络设备中发送方和接收方为点对点的连接方式；发送和接收均使用相同的时间周期。本发明使得网络传输稳定，具体的优点由于收发双方周期相同，收发的次序配合相当，网络负载恒定，提高了网络安全性和实时性。
-
公开(公告)号：CN102123110A
公开(公告)日：2011-07-13
申请号：CN201010033627.9
申请日：2010-01-07
Applicant: 北京广利核系统工程有限公司 , 中国广东核电集团有限公司
Abstract: 本发明公开了一种网关系统的数据传输方法及网关系统，包括接收数据和发送数据，接收数据包括：网关系统接收数据后对数据进行处理，保存数据；发送数据包括：取出已保存的数据，对数据进行再处理后发送；接收数据的过程和发送数据的过程同时进行。本发明通过改进通讯协议，当通信发生错误时，降低个别数据传输的错误对整个周期传输数据的影响。提供测试接口，通过特有的测试工具对网关系统进行测试。实现对网关系统内部正在传输的数据进行查询、修改，以达到方便测试的功能。降低周期运行时间。
-
-
-
-
-
-
-
-
Search Results
29
records
(took 0.057 seconds)
