查询词典 formally

The present criterion of structure design mainly adopts the methods of approximate probability limit state design, but adopts the familiar multiply coefficients practical expression in engineering domain formally.

我国现行结构设计规范主要采用的是近似概率极限状态设计方法，形式上则采用了工程领域熟悉的多系数实用表达式。

It is composed of two parts, namely the contributions of enthalpy and entropy, and is the same as Koningsveld- Kleintijens' relation formally. But its entropy contribution χ~S is a complex function of concentration, rather than an arbitrary constant as proposed by Koningsveld.

它由焓贡献和熵贡献两部分组成，在形式上与Koningsveld-Kleintijen关系式相同，但它的熵贡献是浓度的复杂函数，而不象Koningsveld建议的是一个随意的常数。

It is composed of two parts, namely the contributions of enthalpy and entropy, and is the same as Koningsveld -Kleintijens' relation formally. But its entropy contribution Xs is a complex function of concentration, rather than an arbitrary constant as proposed by Koningsveld.

它由焓贡献和熵贡献两部分组成，在形式上与Koningsveld-Kleintijen关系式相同，但它的熵贡献是浓度的复杂函数，而不象Koningsveld建议的是一个随意的常数。

The standard have been formally stipulated in 1993, though, there still exist some argumentative issues.

虽然有关的规范已经公布，但是仍然存在许多有争议的问题。

If it is exerted correctly,adding up the parties' active co-operation,it may avoid the unreasonable factors coming from the Argumentum's being exerted automatically and formally.

如果释明权被正当行使，而且当事人予以积极地响应，就可能消除因"机械地、形式地"适用辩论主义而产生的不合理因素。

Chinese Association recently said commercial housing area which will be formally involved in social work supervision.

中国消协前不久表示将正式介入商品房面积测算的社会监督工作。

Provable Security is a formal method for proving the security of cryptographic schemes, in which the difficulty of breaking a particular scheme is formally related to that of solving a widely believed computational hard problem. Provable security has already become an important theme of theoretical researches in modern cryptography. This dissertation investigates the provable security of public-key encryptions and hybrid encryptions of asymmetric and symmetric encryptions. This includes the various formal security notions and the constructions can be proved to achieve them. Among the constructions, hybrid encryptions are themselves an important way to obtain public-key encryption schemes with chosen ciphertext security. The main results are as follows:(1) The one-wayness of the trapdoor one-way function in NTRU depends on the randomness of the session key, which is different from previous ones. Based on this observation, a new kind of trapdoor one-way function, trapdoor one-way functions with an auxiliary random variable is proposed.

可证明安全性是一种证明密码学方案安全性的形式化方法，它将密码学方案的安全性归约为公认的计算难题，已成为现代密码学领域中理论工作的主线，本文主要研究公钥加密与单双钥混合加密的可证明安全性，这包括它们的各种形式化安全性定义以及达到这些安全性定义的方案构造，而单双钥混合加密本身也是一种构造选择密文安全公钥加密的重要方法，本文得到的主要结果如下：(1)在研究NTRU公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

Almost all of the latter were adherents of the Reformation, and though it cannot be said that they were formally and avowedly at conflict with the Casuists, the origin and object of their system were nevertheless essentially different from those of Casuistry.

几乎所有的后一派人都是"宗教改革"的信徒，虽然不能说他们是正式地、公开地和诡辩学派发生冲突，但他们体系的起源和目的显然是和诡辩学派有着本质上的不同的。

Bamboozle less formally means to delude by the use of such tactics as hoaxing, befuddling, or artful persuasion

Bamboozle 指通过戏弄的，令人迷惑的，或狡猾的劝服进行欺骗，较少用于正式场合

Since perfect bandstand meets formally with the player oneself, got players huge supports and welcome.

完美音乐台自正式与玩家见面以来，得到了玩家们极大的支持和欢迎。

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.

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