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

• 作者: 祝跃飞 闫振天 陈卫红 陈晨
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 计算机理论 形式化 项重写 等价合一
• 年，卷（期）: 2011,（3）
• 页码范围: 138-142
• 分类号: TP301
• 字数: 5695字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.03.018

摘要

构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算法分析合一的所有条件,并在合一成功时输出合一解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	信息工程大学信息工程学院	80	379	10.0	14.0
2	陈卫红	信息工程大学信息工程学院	10	24	3.0	4.0
3	陈晨	信息工程大学信息工程学院	9	13	2.0	3.0