您的位置： 专家智库 > >

白炜

作品数：2 被引量：0H指数：0
供职机构：中国人民解放军西安通信学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 2篇冗余
  • 2篇冗余规则
  • 2篇冗余消除
  • 2篇密码
  • 2篇密码协议
  • 2篇规则集
  • 2篇抽取
  • 2篇HORN

机构

  • 2篇中国人民解放...

作者

  • 2篇谢青松
  • 2篇林少锋
  • 2篇樊琳娜
  • 2篇韩鹍
  • 2篇潘进
  • 2篇白炜

年份

  • 1篇2019
  • 1篇2016
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
密码协议的Horn逻辑表述集精简算法
本发明公开了一种密码协议的Horn逻辑表述集精简算法，本算法包含三个阶段，分别为冗余消除阶段、并行复合阶段和精简完成阶段。其中冗余消除阶段消除待处理规则集中的冗余规则和蕴含规则；并行复合阶段能够对冗余消除阶段得到的规则集...
樊琳娜潘进谢青松林少锋韩鹍白炜寇万里
密码协议的Horn逻辑表述集精简方法
本发明公开了一种密码协议的Horn逻辑表述集精简算法，本算法包含三个阶段，分别为冗余消除阶段、并行复合阶段和精简完成阶段。其中冗余消除阶段消除待处理规则集中的冗余规则和蕴含规则；并行复合阶段能够对冗余消除阶段得到的规则集...
樊琳娜潘进谢青松林少锋韩鹍白炜寇万里
文献传递
全选 清除 导出
共1页<1>
聚类工具0