强等价相关论文
知识表示和推理（Knowledge Representation and Reasoning,KRR）是人工智能核心研究内容之一,旨在为实现基于知识的智能系统提供知识......
该文首先对离散对数问题作了仔细的分析和研究,找出了"反复平方乘求幂法"逆向求解的困难,并指出了基于离散对数问题的各种密码方案......
随着科学技术的迅速发展,非线性问题大量出现在自然科学、工程技术乃至社会科学的许多领域中,成为当前科学研究的焦点.分歧是一种......
本文首先指出了文献 [1]强等价在分析两个方案的安全性关系中的局限性 ,并对它进行了推广———安全强等价 ,利用相互转换的方法证......
主要讨论EIGamal签名方案及其变体方案之间的安全性关系.首先指出已有的文献在证明过程中的一个误用,该误用会对相应签名方案的安......
在文中，对文献【8】中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改，并对它们进行了系统的研究，揭示了此......
讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式，探讨一些与这几个概......
证明了ｈ（－，Ｍ）函数保持右正合及有限值和，－□ｃＭｃ（ｃＭ拟有限）保持拟有限和有限维性，推出了联系余－ｈｏｍ和余张量函数的一人同构，给出了强等价新的定义，并得到范......
找出映射间强等价关系是研究非线性方程分叉解的一个重要步骤。本文对于单变量映射给出了与之强等价的三次多项式，并且利用坐标变换......
计算主义的核心论题是，认知是一种计算。认知者及信息人的认知过程与计算模型的运算过程是相同的，亦即“认知=计算”论题。这就需要......
各种广义ＥｌＧａｍａｌ签名本持上是可以相互转换的，从而都易到代换攻击，文中利用它们相互转换的条件来刻画它们之间的一种安全性关系，并从总体上给......
主要讨论ElGamal签名方案及其变体方案之间的安全性关系.首先指出已有的文献在证明过程中的一个误用,该误用会对相应签名方案的安......
