查询词典 provable formula

And under Diffie-Hellman Inversion assumption, it is provable security against existentially unforgeable under an adaptive chosen message attack.

在DHI假设下，该方案被证明对适应性选择消息攻击是存在性不可伪造的。

The term "intertextuality" means that a text relates to some pretext in various provable written forms or unprovable conceptual forms. Thus intertextuality involves all the necessary factors in understanding a text. According to the concept of intertextuality, a text is an open-ended system instead of a closed organism formed by language and structure.

互文本内涵极其丰富，通常而言，互文本意味着一个文本与先前的书面或其他形式的文本有着多种联系，它包含了理解一个文本的所有要素，因此，文本是一个开放的体系而不是封闭的语言形式和结构。

The third chapter is about the current situation and the reasons for medical malpractice. It mainly deal with this and find out three statements in provable task、the evidence states related to the law for Medical Malpractice with provalble task of distribution system is curdled、absolutization and finity of action.

主要涉及我国目前的证明责任分配制度的通说的三个标准及《证据规定》等有关法律对医疗侵权的证明责任分配制度的规定是粗糙的、绝对化的及作用有限的等现状。

The effect standard reflects the objectivity of judgment result in virtue of provable and defendable. The efficiency standard requires the input as low as possible accompanied by good judgment effect.

以审计职业判断的投入和产出为出发点，从效率和效果两个方面进行分析和研究，在综合考虑影响审计判断的各种因素的基础上，探讨不同因素对审计判断绩效的影响程度、性质和方向。

On the basis of published paper, an ID-based provable secure and strong designated verifier signature scheme, a modified strong designated verifier signencryption scheme, and a modified extended aggregate signature scheme based on the supersingular elliptic curve is presented in this thesis.

在已有文献的基础上，综合形成了一种基于身份标识的超奇异椭圆曲线上的强指定验证者的数字签名方案、签密方案和可扩展的群签名方案。

A provision that claims resulting from rejection of an unexpired lease should be treated as on a parity with provable debts, but limited to an amount equal to three years rent, was held not to amount to a taking of property without due process of law, since it provided a new and more certain remedy for a limited amount, in lieu of an existing remedy inefficient and uncertain in result.

针对拒绝执行未到期租赁的索偿权应当与可证明债务享受同等对待，但金额限于三年的租金——由于这一条款提供了一种新的、更加确定的补偿方式，代替了现存的低效和不确定的补偿方式，这一条款要求不能未经法定诉讼程序取得财产。

Quantum cryptology is a new method for secret communications. Compared to the classical cryptography, the greatest advantages of quantum cryptography are provable security and detectives; this is because the security of quantum cryptography is ensured by quantum no-cloning and Heisenberg's uncertainty principle that instead of relying on some complex mathematical problems.

量子密码技术是一种实现保密通信的新方法，它比较于经典密码的最大优势是具有可证明安全性和可检测性，这是因为量子密码的安全性是由量子物理学中量子不可克隆性和Heisenburg测不准原理来保证的，而不是依靠某些难解的数学问题。

The author deduced a formula to compute theaccidental coincidence of the random signals. With this formula thebackground due to the accidental coincidence of the μ chamber iscalculated.

推导了多个随机信号发生偶然符合的计数率计算公式，并用这个公式对L3μ漂移室产生的偶然符合本底进行了估算。

The problem of the error of calculation formula calculating the variance of grouping data within distances in statistics was put forward,and the concrete forms of correcting formula were given by the theorem of addition and the variance of even distribution.

提出统计学中的组距分组资料方差和标准差计算公式误差问题，由方差的加法定理和均匀分布方差给出分组资料方差计算和标准差计算的修正公式具体形式，并就均匀分布数列和正态分布数列组内方差平均数进行了讨论

If a formula gives an unintended output for a particular combination of inputs, then additional error trapping can be factored into the composed formula.

如果一个公式给出了意想不到的产量为某投入组合，然后附加误差俘获，可以考虑的因素组成的公式。

I want to be a big fish in a small pond.

我要做一条在小池塘里的大鱼。

While the software functioned well, we did not feel the same about their customer support!

虽然该软件运行良好，我们没有同样的感觉他们的客户支持！