查询词典 formally
- 与 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.
完美音乐台自正式与玩家见面以来,得到了玩家们极大的支持和欢迎。
- 推荐网络例句
-
I will endeavour to find you some assistance.
我尽力帮你找人帮忙。
-
At first I only know bruck is the idol of American younglings, afterwards I returned back to Taiwan ,even in Beijing last year ,I saw her poster everywhere, I was so surprised at her charm.
起初我只晓得布鲁克雷德丝是美国少男少女崇拜的偶像,后来回台湾,甚至去年在北京,居然也四处看见她的海报,才惊讶她的魅力之大。
-
Ah may dee:You are chinese living in a democratic country.
你是居住在民主国家的中国人吧。