1) Decomposition Lemma
分裂引理
2) forking lemma
分叉引理
1.
Using forking lemma to prove signature scheme is an important method to prove the security of signature schemes.
利用分叉引理对签名体制进行证明,是进行签名体制安全性证明的一种重要方法。
2.
In this paper,two short blind signature schemes based on discrete logarithm are proposed and the security of them are analyzed by forking lemma.
作为一种匿名的数字签名,盲签名可以保护客户或投票者的隐私权不受侵犯,在匿名电子货币,匿名电子投票等领域的有着广泛的应用,在本文基于离散对数问题的困难性提出了两种新的短盲签名方案,并且运用分叉引理对其安全性进行了分析,展示出我们的方案是安全的：通过与赵的方案[11]进行比较,发现我们所建议的两种方案无论计算复杂性上还是签名长度上都优于该方案,我们所建议的两种签名长度仅仅为320bits,与 DSA 的签名长度相等。
3) Separation lemma
分离引理
4) The geographical split
地理分裂
5) splitting theorem
分裂定理
1.
einstein s splitting theorem plays an important role in the study of local structures of Poisson manifolds.
Ｗｅｉｎｓｔｅｉｎ的分裂定理在研究Ｐｏｉｓｏｎ流形的局部结构中有重要作用。
2.
Applying splitting theorem and Hausdorff convergence we obtained the following result.
利用分裂定理和Hausdorff收敛,我们可以得到下面的结果。
6) decomposition mechanism
分裂机理
1.
Calculation of decomposition mechanism of Al_n~+(n=2～13) clusters;
Al_n~+(n=2～13)团簇分裂机理的计算
补充资料：施瓦茨引理
施瓦茨引理
数学上，施瓦茨引理是复分析关于定义在单位开圆盘的全纯函数的一个结果，以赫尔曼·阿曼杜斯·施瓦茨为名。
设<math>\delta = \{z: | z | < 1\}</math>为复平面中的开圆盘，<math>f:\delta\to\delta</math>是全纯函数，并有f(0)=0。那么
<math> | f(z) | \le | z |</math>
对所有在<math>\delta</math>中的<math> z</math>，以及<math> | f'(0) | \le 1</math>。如果等式
<math> | f(z) |=| z |\,</math>
对任意z≠0成立，或
<math> | f'(0) |=1\,</math>，
那么<math> f</math>是一个旋转：<math> f(z)=az</math>，其中<math> | a |=1</math>。
这引理不及其他结果有名（例如黎曼映射定理，其证明有用到这引理），但是这是能显示全纯函数的严格性的一个简单结果。当然对于实函数没有类似的结果。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条