通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2011年
3期
138-142
,共5页
陈晨%陈卫红%闫振天%祝跃飞
陳晨%陳衛紅%閆振天%祝躍飛
진신%진위홍%염진천%축약비
计算机理论%形式化%项重写%等价合一
計算機理論%形式化%項重寫%等價閤一
계산궤이론%형식화%항중사%등개합일
构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算法分析合一的所有条件,并在合一成功时输出合一解.
構建一箇基于項重寫理論的嚮量序,該序具有替換、組閤封閉等性質,在可實現性、規則調用次數和自動化實現等方麵優于目前主要應用的幾箇形式化排序方法;併給齣嚮量序在信息安全領域中的應用,即解決異或操作等價閤一問題的實現算法,該算法分析閤一的所有條件,併在閤一成功時輸齣閤一解.
구건일개기우항중사이론적향량서,해서구유체환、조합봉폐등성질,재가실현성、규칙조용차수화자동화실현등방면우우목전주요응용적궤개형식화배서방법;병급출향량서재신식안전영역중적응용,즉해결이혹조작등개합일문제적실현산법,해산법분석합일적소유조건,병재합일성공시수출합일해.
