共查询到17条相似文献,搜索用时 31 毫秒
1.
张兴兰 《中国科学院大学学报》2004,21(3):398-401
利用多方计算的方法,给出一个带容错性的门限签名方案。从而使得一个门限签名方案即使在有恶意行为的情况下,仍可顺利地对消息进行有效的签名。 相似文献
2.
将抵抗选择解承诺攻击的承诺方案简称为选择解承诺方案,这种方案是通常意义下 承诺方案复合的例子.本文给出选择解承诺方案在安全多方计算模型下基于模拟的安全性定 义,并证明了新定义与原始定义是等价的.本文证明二义性承诺方案能够满足我们定义的安全性,进而可以构成安全的选择解承诺方案. 相似文献
3.
杨肇新 《吕梁教育学院学报》2002,(4)
函数的单调性是函数最基本的性质之一,利用函数的单调性不仅对具体函数的求解有帮助,而且对抽象函数的研究会有特殊的效果。本文给出几例,通过分析、探讨,为读者提供一些解决问题的思路。 相似文献
4.
以生成随机共享值、安全共享乘法与加法的常数轮协议为基础,给出有限域K上多项式的Shamir共享,并构造常数轮协议,使得网络可以安全判定K[x]中两个多项式是否互素.所构造协议的安全性基于已知基本协议的安全性. 相似文献
5.
6.
何娇 《苏州市职业大学学报》2009,20(2):70-73
研究了具有共单调次可加性的g-期望的一些性质及生成元g应该具有的基本特征.利用生成元的唯一性定理证明了如果g-期望满足共单调次可加性,那么生成元g不依赖于y. 相似文献
7.
针对 [0 ,σ](σ )故障模型 ,讨论了具有参数乘性摄动的系统存在执行器故障、传感器故障及执行器和传感器同时发生故障时具有鲁棒完整性的必要条件和充分条件 ,并应用H∞ 控制理论 ,给出了鲁棒容错输出反馈控制器的设计方法。 相似文献
8.
汪益兵 《上海海事大学学报》2008,29(2):17-20
为更好地保护海洋环境和提高船舶营运效益,根据集装箱船舶的稳性衡准最基本条件及集装箱绑扎设备的受力等对船舶稳性的要求,在保证船舶处于合适稳性范围下,探讨减少使用压载水问题,系统描述对集装箱船舶满载航行时实践"零压载水"(zero ballast)的经验做法. 相似文献
9.
商德强 《贵阳金筑大学学报》2008,(1):13-15
利用分析方法证明了:在定理的条件下,当r充分大时,总存在r0∈(0,r)满足r(r0)≤KT(r0e^-h)。并且从Lebesgue测度的角度看,这样的点还相当多。 相似文献
10.
研究了一类具有可乘适当断面的富足半群,推广了带有逆断面的正则半群的一个定理.主要结果为:若S0是一个适当半群,幂等元半格为E0,I是一个带有可乘适当断面E0的左正规带,L是一个带有可乘适当断面S0的富足半群,它的幂等元组成一个右正规带.在集合I|×|L上定义一种乘法运算,可以得到I|×| L是一个富足半群,它的可乘适当断面同构于S0. 相似文献
11.
设R是任意的一个结合环,δ是环R上的一个乘法导子,若环R满足Martindale条件,则环R上的乘法导子δ是可加的。 相似文献
12.
13.
张文华 《吉林体育学院学报》2015,(3):18-21
从生态角度出发,研究寻找体育项目的共性,将体育项目的共性总结为体育项目的生态因子,将其分为五大类,命名为“人、环境、物质、信息、理念”;进一步探讨体育项目生态因子并用体育项目生态因子诠释了当前几类典型的体育项目研究及体育项目分类,为体育项目的分类、开发、利用与发展提供参考和依据。 相似文献
14.
主要研究Hilbert空间单调的李普希茨算子方程求解的一种误差迭代法,其结果推广Mann迭代. 相似文献
15.
16.
运动寿命研究的人文社会学视角——4组优秀运动员典型案例分析 总被引:2,自引:0,他引:2
彭杰 《成都体育学院学报》2002,28(3):19-22
以人文社会学的视角为切入点,对4组中外著名优秀运动员的运动寿命进行探讨,通过文献,调查材料和案例的研究与分析,运用思辨与实证相结合以及解释学等方法,揭示影响优秀运动员运动寿命的人文社会学因素。 相似文献
17.
PROLOG是一种逻辑程序设计语言,本文以这种语言为例,提出了谓词依赖性、等价式、谓词规范等概念,并且在此基础上对PROLOG谓词加以分类。最后基于一阶谓词逻辑,提出了PROLOG程序正确性的一种证明方法 相似文献