查询词典 provable

Esterel is a formally provable language that's used primarily to design control-intensive silicon intellectual-property blocks.

Esterel是一种可正式验证的语言，主要用于设计控制密集型硅知识产权模块。

If you've gotten this far, you're probably convinced that Authenticated Encryption is a good thing, CBC-MACs are tricky (but have provable security with apppropriate counter mode encryptors), and it is best to use a canned solution.

如果你建立了这一步，你可能认为认证加密是一件好事，央行，互有棘手的（但有适当的计数器模式加密器可证明的安全性），这是最好使用罐装的解决方案。

L Activism to expose and stop mind control should contain a substantial base of information which is on public record and provable.

用行动去揭露和制止精神控制应该包含着一个坚固的信息基础，它能在公共记录上找到，并是可证明的。

Article 47 An enterprise shall, in a written or any other appropriate form, properly preserve relevant records or data generated in the course of the establishment and application of internal control so as to ensure that the establishment and application of internal control are provable.

第四十七条企业应当以书面或者其他适当的形式，妥善保存内部控制建立与实施过程中的相关记录或者资料，确保内部控制建立与实施过程的可验证性。

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.

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

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。