多模式下的反合一算法

证明了多模式环境下存在最小反合一 ,提出了一种反合一算法 ,并介绍了多模式下反合一的应用 .

基于Connectionist机制的合一算法实现及其模拟系统

本文我们首先介绍了基于ｃｏｎｎｅｃｔｉｏｎｉst机制的合一算法并在此基础上建立了其模拟系统。

描述逻辑FLε合一算法

描述逻辑(DL)一族知识表示系统,是一个非常热门的研究方向。一方面,重要的推理问题如包含问题是多项式得;另一方面,FLε被用做定义大的本体。已经提出的描述逻辑的合一算法能够作为一个新奇的推理服务,它被用做发现本体的冗余。本文主要的结果是FLε合一算法是可判定的。更精确地,FLε的一个部分εL是多项式完全,因此它和εL匹配有相同的计算复杂性。本文首先给出了描述逻辑系统FLε的语法和语义,特别地,蕴含合一问题没有有限的完备合一算子集,基于合一算法的规则探讨了可判定性问题。

ACUN理论一般合一化问题的合一化算法

ACUN理论是异或算子代数性质的刻画。基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法。

带量词的合一算法

Ｒｏｂｉｎｓｏｎ于 １９６５年提出了归结原理，其主要工作是 Ｕｎｉｆｉｃａｔｉｏｎ算法。这个算法只能处理不带量词的子句公式，它不能用来发现定理的自然演绎证明。本文的算法能处理量词，它能用在基于自然演绎的定理证明系统上。文中给出合一定理的证明，基于此算法的自动自然演绎系统已实现，用它证明了Ａｎｄｒｅｗｓ；Ｂｌｅｄｓｏｅ和Ｐｅｌｌｏｔｉｅｒ挑战性问题。

微科公司正式提供RSA/ECC二合一密码算法协处理器芯片技术授权

专业集成电路设计公司上海微科集成电路2004年12月15日宣布开发成功RSA／ECC二合一密码算法协处理器芯片。该芯片可以完成RSA，ECC两种算法，可以根据用户的要求选择密码系统的参数与密钥，可以自由选择用户工作的曲线，最多可完成256-Bit的ECC和1024-Bit的RSA运算(用户可选择扩展RSA至2048Bit)。该芯片采用SMIC0．25μm的工艺，在系统日寸钟40MHz日寸，每秒可完成至少6次RSA加密运算和100次ECC点乘运算，该芯片符合AMBA AHB Slave的接口规范。

基于规则和本体的汽轮机故障分析

将谓词逻辑引入汽轮机故障分析系统中,首先将事实和规则化为与或形,接着采用最一般合一算法对子句集替换合一,最后采用归结原理对汽轮机的故障进行分析。同时,提出采用基于知识本体的推理方法来解决模糊知识的表达和推理问题。采用SPARQL语言和Jena推理机进行模糊知识的推理。SPARQL语言使用SQL语句的查询形式,并提供知识本体查询功能,在本体中,所有的知识都是三元组的形式(〈subject,property,object〉),SPARQL只查询本体库中存储的三元组,没有推理功能。因此,把SPARQL查询嵌入在Jena推理机中,通过推理得到隐含的模糊知识三元组。实现了基于规则和本体的汽轮机故障分析仿真系统,其诊断正确率达到89%。该系统具有很高的效率及容错能力。