公开(公告)号：CN111580852A

公开(公告)日：2020-08-25

申请号：CN202010357757.1

申请日：2020-04-29

申请人： 北京广利核系统工程有限公司

发明人： 刘邦信 ,  王晓燕 ,  徐先柱 ,  张亚栋 ,  石桂连 ,  杜乔瑞 ,  杨元桂

IPC分类号： G06F8/70

摘要： 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。

公开(公告)号：CN105975573B

公开(公告)日：2019-08-13

申请号：CN201610288920.7

申请日：2016-05-04

申请人： 北京广利核系统工程有限公司 ,  中国广核集团有限公司

发明人： 冯素梅 ,  赵云飞 ,  张亚栋 ,  江国进 ,  白涛 ,  王晓燕 ,  宁祾 ,  程建明

IPC分类号： G06F16/35

摘要： 本发明公开了一种基于KNN的文本分类方法，适用于核安全级软件验证和可靠性验证。本发明的文本分类方法包括训练过程处理和测试过程处理，将训练样本数据集以原始文本自身和文本中所有的标题两部分的信息来表示。依据文本由浅到深的特征层次结构构建两个DBM模型，提取低维高区分度的深层特征并存储，在测试过程中以适当的权重考虑文本标题给相似度的计算带来的贡献来确定待测试文本的类别。本发明充分利用文本标题的信息，比将浅层特征向量作为训练集在分类性能上有显著改善，同时能够降低存储需求和在线计算量，解决了特征向量高维灾难问题，提高了分类的准确度，可以用于安全级软件可靠性评价分析中的规则匹配和失效模式库的建立。

公开(公告)号：CN108229182A

公开(公告)日：2018-06-29

申请号：CN201711222623.3

申请日：2017-11-29

申请人： 北京广利核系统工程有限公司 ,  中国广核集团有限公司

发明人： 周良 ,  江国进 ,  孙永滨 ,  白涛 ,  张磊 ,  张亚栋 ,  杜乔瑞 ,  张冬伟 ,  高超 ,  赵勇 ,  王海龙

IPC分类号： G06F21/60 ,  G06F21/44

摘要： 本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验证规则数据库；S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；S4、对比所述第一数据库和所述第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。

公开(公告)号：CN107767977A

公开(公告)日：2018-03-06

申请号：CN201711038883.5

申请日：2017-10-31

申请人： 北京广利核系统工程有限公司 ,  中国广核集团有限公司

发明人： 胡亚军 ,  江国进 ,  孙永滨 ,  白涛 ,  张亚栋 ,  胡加永 ,  杜乔瑞 ,  周良 ,  张磊 ,  张冬伟

IPC分类号： G21D3/00 ,  G21D3/06

摘要： 本发明属于核电站控制技术领域，为了解决现有技术在核电V&V领域中确认软件完整性等级时缺少可量化的可靠性度量技术方案的问题。本发明提供一种核电站用安全控制方法和系统，该方法包括：S1、获取不同工况下，软件执行安全功能的概率的量化指标；以及不同工况下，软件执行安全功能失效后果的量化指标；S2、建立所述概率、后果的量化指标与标准IEEE1012中概率、后果定性指标之间的映射关系表；S3、根据所述量化指标与所述定性指标之间的映射关系表，确定相应的软件完整性等级评估参数；S4、基于所述软件完整性等级评估参数，对待处理应用软件进行验证和确认；并输出验证和确认结果。

公开(公告)号：CN103973504B

公开(公告)日：2017-01-04

申请号：CN201310028941.1

申请日：2013-01-25

申请人： 北京广利核系统工程有限公司 ,  中国广核集团有限公司

发明人： 孙王强 ,  张亚栋 ,  刘建龙 ,  王晓燕 ,  王金全

IPC分类号： H04L12/26

摘要： 本发明公开了一种多网络协议的并行测试装置及测试方法，包括在线运行部分和离线部分，在线运行部分由依次连接的客户端模块，服务器，检测器模块组成，离线部分即为离线组态工具模块；客户端模块提供实时交互界面，通过网络查询位于服务器的历史转存模块的日志、报文和事件并显示；服务器由通信代理模块和历史转存模块组成，通信代理模块将来自检测器的测点转换为citect要求的数据格式供其使用，同时，将日志、报文和事件通过自定义协议提交给历史转存模块；检测器模块将被测对象的原始报文或者经过检测器处理的测点、日志和事件通过自定义协议发送给服务器，并接收来自服务器通信代理模块命令；离线组态工具模块组态工具包括组态模块和编译模块两部分。

公开(公告)号：CN102915242A

公开(公告)日：2013-02-06

申请号：CN201210364013.8

申请日：2012-09-26

申请人： 北京广利核系统工程有限公司 ,  中国广东核电集团有限公司

发明人： 刘建龙 ,  张亚栋 ,  程建明 ,  余春秀

IPC分类号： G06F9/44 ,  G06F11/36

摘要： 本发明公开一种利用图形化操作实现代码编程的方法，包括节点模块：根据不同被测设备及其相关的测试设备和对应的测试程序，建立与此测试程序对应的测试节点；测试环境模块：根据用户选择的被测设备信息建立当前流程图模块运行环境；流程图模块：用户根据预测被测设备及相应测试设备选择对应的测试节点，按顺序建立由各测试节点形成的图形化流程图；函数模块：适于保存和收录新增函数，用于支持节点模块和流程图模块的功能调用；代码输出模块：适于将生成的图形化流程图转化为由代码构成的可执行文件输出。本发明能够兼容多种测试环境（操作系统、CPU环境），并向用户提供图形界面编辑测试逻辑，直观的展示操作过程及测试功能模块含义。

公开(公告)号：CN111343184B

公开(公告)日：2022-08-23

申请号：CN202010125475.9

申请日：2020-02-27

申请人： 北京广利核系统工程有限公司

发明人： 周小波 ,  江国进 ,  白涛 ,  张亚栋 ,  杜乔瑞 ,  徐先柱 ,  王晓燕 ,  张俊清

IPC分类号： H04L9/40 ,  H04L41/14

摘要： 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。

公开(公告)号：CN109634854B

公开(公告)日：2022-03-15

申请号：CN201811473776.X

申请日：2018-12-04

申请人： 北京广利核系统工程有限公司 ,  中国广核集团有限公司

发明人： 李国栋 ,  周良 ,  张亚栋 ,  杜乔瑞 ,  张磊 ,  张冬伟

IPC分类号： G06F11/36

摘要： 本发明涉及一种检测软件工程算法组态异常的方法，属于软件技术领域，解决了现有技术组态异常发生率计算不准确、不合理的问题。该方法包括如下步骤：对软件工程算法组态进行分类检测，获得分类检测结果中每一类包含的算法组态总数；识别上述分类检测结果中每一类包含的组态图与功能图不一致的算法组态个数，并分析获得上述不一致对应的严重性等级权重；根据上述分类检测结果中每一类包含的算法组态总数、组态图与功能图不一致的算法组态个数，以及不一致对应的严重性等级权重，获得综合组态异常发生率。该方法通过拆分组态图元素，达到了将组态逻辑量化的效果，并且更新了组态异常发生率的计算方法。

公开(公告)号：CN108829903B

公开(公告)日：2021-11-05

申请号：CN201711096856.3

申请日：2017-11-09

申请人： 北京广利核系统工程有限公司 ,  中国广核集团有限公司

发明人： 江国进 ,  高玉斌 ,  孙永滨 ,  白涛 ,  张亚栋 ,  尹宝娟 ,  杨元桂 ,  张俊清

IPC分类号： G06F30/20 ,  G06F30/34

摘要： 本发明属于核电控制的技术领域，为了解决现有技术中综合后仿真方法和形式化一致性验证方法分别存在的不足，提供一种判定FPGA冗余设计的代码与综合后电路一致性的方法和系统；所述方法包括：S1、分别检索FPGA代码中的第一关键词和综合电路对应网表文件中的第二关键词；S2、判断FPGA代码中第一关键词检索得到的第一信号名集合是否属于网表文件中第二关键词检索得到的第二信号名集合的子集；如果是，则综合后电路的信号一致性检测通过；S3、判断FPGA代码文件中声明的所有信号，在综合后电路对应网表文件中是否分别都有一个或多个有用逻辑单元与相应的信号连接；如果是，则综合后电路的逻辑一致性检测通过。

公开(公告)号：CN112164481A

公开(公告)日：2021-01-01

申请号：CN202010826797.6

申请日：2020-08-17

申请人： 北京广利核系统工程有限公司

发明人： 胡加永 ,  杜乔瑞 ,  张亚栋 ,  周良 ,  张冬伟 ,  张磊 ,  梁中起

IPC分类号： G21D3/00 ,  G21D3/04

摘要： 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备类型确定其控制特性，并进而确定其基准信息，从而建立对应的标准模型；遍历每一类型的受控设备，建立标准模型数据库；基于待验证受控设备的标准模型从待验证受控设备的控制功能图中提取对应的数据，生成验证基准数据库，并从待验证核电安全控制显示设备数据库中提取对应的数据生成验证对象数据库，并进行一致性比对，得到验证结果。实现了核电安全控制显示设备数据库的自动验证，降低错误率、提高了验证效率。