查询词典 proving

More than 300 airlines serve the city, proving direct flights to more than 20 countries and regions.

300多间航空公司提供服务的城市，证明直航到20多个国家和地区。

No evidence exists proving the play was ever performed, a process which would certainly have smoothed over any rough edges in the play, particularly the Alcibiades subplot.

没有证据证明是任何时候都发挥执行，这个过程肯定会平滑任何粗糙边缘的发挥，尤其是阿尔西巴德

In this paper, multivariate Lagrange interpolation problems are systemically discussed,and through amending Cramer Strange Proposition and proving interpolation theory, the geometry construction of the properly posed sets of nodes along the plane algebraic curve is studied, at the same time, a number of practical constructing methods are given.

本文系统阐述了多元Lagrange插值问题，通过修正Cramer奇论并用插值法加以证明，进一步对沿平面代数曲线插值唯一可解点组的几何结构进行深入的研究，同时得到了一些实用性较强的构造方法。

Boundless The Middle Ages is the age of God rule the whole shoot, God full of omniscience and almightiness made the heroes in the Hebrew myth wanting of independent consciousness and subjective spirit of Greece heroes trevolting and activity, therefore, The heroes in the Hebrew myth were the embodiment of the godship brilliance and reasonableness spirit of God , Their superhuman power and outstanding achievement is just for proving the greatness of God\' s divine nature.

漫漫中世纪是极端化了的上帝统治一切的时代，上帝的全知全能和至高无上使希伯来神话中的英雄们缺少了希腊英雄那种抗争与行动的独立意识与主体精神，因此，希伯来神话中的英雄是上帝神性光辉和理性精神的体现者，他们超人的神力和辉煌的英雄业绩不过是为了证明上帝神性之伟大。

One explanation is that after proving themselves in another culture, returnees find coming home a dismal anti-climax.

一个解释是，在另一种文化里证明自己之后，归国人员发现回国后有一种反高潮的失落感。

We may subdivide into:·Preservatives ·Antioxidants starches and thickening and gelling compounds, emulsifiers and stabilizers ·dyes ·flavorcomponents ··sweeteners ·proving or leavening compounds ·flour improvers ·anticoagulants ·Antifoam components ·gases.

我们可以细分为：防腐剂氧化剂淀粉增稠和胶凝化合物，乳化剂和稳定剂等染料香味甜味剂膨松化合物面粉改良剂抗凝剂 antifoam组件气体

A certificate proving your income and assets will be necessary to get a home mortgage loan.

证书证明你的收入和财产将要得到住房贷款。

This paper obtained a new method for proving the autocorrelation function of ARFIMA model in time domain.

本文的主要工作是 1、给出了ARFIMA模型自相关函数的一种新的时域推证方法。

This paper introduces a new structural method of auxiliary function in proving differential mean value problem a structural method of integration.

介绍了在处理拉格朗日和柯西类型的中值问题时的一种方法———积分构造法及其若干应用。

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公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。