您的位置： 专家智库 > >

周小波

作品数：8 被引量：2H指数：1
供职机构：北京广利核系统工程有限公司更多>>
相关领域：自动化与计算机技术核科学技术文化科学更多>>

合作作者

文献类型

  • 7篇专利
  • 1篇期刊文章

领域

  • 4篇自动化与计算...
  • 1篇核科学技术
  • 1篇文化科学

主题

  • 2篇新鲜性
  • 2篇形式化
  • 2篇形式化语言
  • 2篇失效模式
  • 2篇数据流
  • 2篇数据流图
  • 2篇通信
  • 2篇通信协议
  • 2篇重放攻击
  • 2篇自动化
  • 2篇流图
  • 2篇命中率
  • 2篇模型化
  • 2篇接收者
  • 2篇分析软件
  • 2篇传输路径
  • 1篇低复杂度
  • 1篇仪控系统
  • 1篇预设
  • 1篇商用

机构

  • 8篇北京广利核系...
  • 3篇中国广核集团...

作者

  • 8篇周小波
  • 4篇王晓燕
  • 3篇张亚栋
  • 2篇江国进
  • 2篇白涛
  • 1篇李幼媛
  • 1篇裴红伟
  • 1篇刘邦信

传媒

  • 1篇仪器仪表用户

年份

  • 1篇2023
  • 2篇2022
  • 2篇2020
  • 1篇2019
  • 1篇2017
  • 1篇2014
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种通信协议的验证方法和装置
本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协...
周小波江国进白涛张亚栋杜乔瑞徐先柱王晓燕张俊清
文件版本的自动化比较方法、装置及相关设备
本申请公开了一种文件版本的自动化比较方法、装置及相关设备。其中，该方法包括：获取文件中至少两个版本号，其中，版本号包括第一版本号；根据预设转换规则，将版本号转换为对应的自然数，并获取版本号的自然数；判断顺序在后版本号的自...
刘邦信周小波裴红伟杨万春赵亚城
一种基于Altarica形式化语言的软件FMEA分析方法
本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本...
周小波江国进白涛章丹王晓燕张亚栋杜乔瑞徐先柱史茹梅
文献传递
一种基于UML顺序图和拓扑图描述网络协议的图示方法
本发明公开一种基于UML顺序图和拓扑图描述网络协议的图示方法，首先分析UML顺序图中的各元素信息，以及网络拓扑图中信道信实体之间信道的链接关系；根据分析结果建立表示协议起点的起始图式和表示协议结尾的结束图式；在起始图式和...
周小波孙王强赵云飞龙威
文献传递
一种基于Altarica形式化语言的软件FMEA分析方法
本发明公开了一种基于Altarica形式化语言的软件FMEA分析方法，包括以下步骤：步骤1：识别待分析软件数据流并画出数据流图；步骤2：针对待分析软件建立基本软件模型；步骤3：定义待分析软件失效，并使用步骤2中建立的基本...
周小波江国进白涛章丹王晓燕张亚栋杜乔瑞徐先柱史茹梅
文献传递
一种通信协议的验证方法和装置
本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协...
周小波江国进白涛张亚栋杜乔瑞徐先柱王晓燕张俊清
文献传递
商用数字化设备在核安全级仪控系统中适用性确认研究及实践被引量：2
2019年
随着核电的发展,核电站数字化设备所承担的功能越来越多,但由于核安全数字化设备供不应求和技术发展的限制,导致核电厂所需的数字化设备需要采购.由于外购的数字化设备中软件复杂性,如何验证商用数字化设备达到核安全级标准要求是当前的难题.通过分析国内外标准对商用数字化设备的标准要求,提出适合中国国情的、满足核电质量要求的适用性确认过程和方法,用于指导商用数字化设备适用性分析工作具体执行,确保商用数字化设备达到核安全要求.
王晓燕张亚栋杜乔瑞周小波
一种最坏执行时间确定方法及装置
本申请公开了一种最坏执行时间确定方法及装置，可应用于计算机技术领域。该方法包括：获取待测汇编程序中各函数的起始位置；根据所述起始位置建立函数调用关系树；根据函数调用关系树为建立函数调用点阵图，得到函数调用关系树中的所有可...
申峰宇黄君龙武方杰杜乔瑞赵振首云旭王晓燕周小波李幼媛张俊清
全选 清除 导出
共1页<1>
聚类工具0