查询词典 proved

In this paper, the regression estimation for multivariate simple random sampling and stratified sampling is discussed, it is proved that this method is more available than the estimation without auxiliary variable, and some statistical inferences of population mean are given.

文章系统地讨论了多元简单随机抽样及分层抽样的回归估计法，说明与无辅助信息抽样相比，回归估计法是一种更有效的方法，并得出了总体均值的一些统计推断。

The frequency response model of HAGC is estimated with correlative identification theory. The dynamical parameter model HAGC is estimated with LS, auxiliary variable LS, and bias-compensating LS respectively. It is proved with experiment that the methods proposed in the paper are accurate and practical.

5用相关辨识理论辨识了液压AGC压力闭环系统的频率特性，分别用普通最小二乘法、辅助变量法及偏差补偿算法辨识了该系统的动态参数模型，辨识结果验证了论文理论研究成果的正确性和可行性。

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

The result proved that the ATMD which was designed rationally can availably reduce the Wind-Induced Vibration of structure.

数值结果表明，进行合理化设计的ATMD能够有效地抑制结构的风致振动。

It is proved that the choice function must satisfy the axiom of consistency if the choice function meets the axiom of substitutability together with quotafilling condition; then, it is driven that the choice function is a path independence choice when it satisfies the substitutability and consistency condition.

首先证明了在替代性原理的前提下，选择函数定额充分是满足一致性原理的充分条件；得出了当选择函数满足替代性和定额充分条件时，必定满足路径无关性选择的结论。

What's worth noticing is that an axiom can not be proved or demonstrated by anything inside the system.

值得注意的是，一个系统的原理是不可以用系统中的任何事物去证明的。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

It has been proved in [2] that a normal fuzzy set structure is a kind of non-standard model of the axiomatic set theory with urelements.

在文献[2]中我们证明了正规弗晰集合结构是带本元的公理集合论的一类非标准模型。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa with urel...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa wit...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。