基于项重写的形式化排序方法及应用

您当前的位置：

首页 >

文章列表页 >

基于项重写的形式化排序方法及应用

短文 | 更新时间：2024-10-14

|

- 基于项重写的形式化排序方法及应用
- 暂无标题
- 通信学报 2011年32卷第3期页码：138-142
- 作者机构：
  
  1. 信息工程大学信息工程学院
  2. 解放军65026部队
- 作者简介：
- 基金信息：
  
  国家高技术研究发展计划（“863”计划）基金资助项目（2007AA01Z471）~~
- DOI：
  中图分类号： TP301.6
- 纸质出版日期：2011
- 稿件说明：
移动端阅览
[1]陈晨,陈卫红,闫振天,祝跃飞.基于项重写的形式化排序方法及应用[J].通信学报,2011,32(03):138-142.
[1]陈晨,陈卫红,闫振天,祝跃飞.基于项重写的形式化排序方法及应用[J].通信学报,2011,32(03):138-142. DOI：

DOI：

摘要

构建一个基于项重写理论的向量序

该序具有替换、组合封闭等性质

在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用

即解决异或操作等价合一问题的实现算法

该算法分析合一的所有条件

并在合一成功时输出合一解。

Abstract

关键词

Keywords

references

0

浏览量

71

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

相关文章

暂无数据

相关作者

暂无数据

相关机构

暂无数据

⁰