| ACUN理论一般合一化问题的合一化算法 |
| |
| 引用本文： | 李梦君,王桢珍,李舟军,陈火旺.ACUN理论一般合一化问题的合一化算法[J].电子产品世界,2006(5). |
| |
| 作者姓名： | 李梦君 王桢珍 李舟军 陈火旺 |
| |
| 作者单位： | 国防科技大学计算机学院 湖南长沙410073(李梦君，李舟军，陈火旺)，国防科技大学信息系统与管理学院 湖南长沙410073(王桢珍) |
| |
| 基金项目： | 国家自然科学基金资助项目(90104026,60073001,60473057)，国家863计划资助项目(2002AA144040) |
| |
| 摘 要： | ACUN理论是异或算子代数性质的刻画。基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法。
|
| 关 键 词： | ACUN理论 一般合一化问题 合一化算法 |
A Unification Algorithm for the General Unification Problem in the ACUN Theory |
| |
| LI Meng-jun,WANG Zhen-zhen,LI Zhou-jun,Chen Huo-wang.A Unification Algorithm for the General Unification Problem in the ACUN Theory[J].Electronic Engineering & Product World,2006(5). |
| |
| Authors: | LI Meng-jun WANG Zhen-zhen LI Zhou-jun Chen Huo-wang |
| |
| Affiliation: | LI Meng-jun1,WANG Zhen-zhen2,LI Zhou-jun1,Chen Huo-wang1 |
| |
| Abstract: | The algebraic properties of the operator exclusive-or are characterized by the ACUN theory. Based on the optimized decomposition algorithm for the unification problem of the union of disjoint equational theories and the Gaussian elimination method,we present a unification algorithm for the general unification problem of the ACUN theory. |
| |
| Keywords: | ACUN theory the general unification problem unification algorithm |
| 本文献已被 CNKI 等数据库收录！ |
