查询词典 sufficient condition

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

Unmarriedness and maleness are each individually necessary conditions for bachelorhood; together, these criteria represent a sufficient condition for bachelorhood.

未婚状态和男人身份，各自是单身汉身份的必要条件；放在一起，这两个条件就是单身汉身份的充分条件。

In chapter 5,we introduce the De Morgan algebra of metric and investigate the pseudo-metric Uniformity and the pseudo-metric topology and the separation axioms in De Morganalgebra of metric.We establish the Baire category theorem and the Banach contraction theo-rem,the Edelstein contraction theorem and other fixed quasi-atom theorems in De Morganalgebra of metric.In final,we give a sufficient condition for the metrization of a De Morganalgebra of topology.

在第五章里，我们地德摩根代数中引进了伪度量，探讨了伪度量一致和伪度量拓扑以及德摩根度量代数的分离公理，得到了Baire范畴定理、Banach收缩定理、Edelstein收缩定理以及其它不动拟原子定理，最后给出一个德摩根拓扑代数可度量化的充分条件。

The paper addresses the existence problem of generalized inverses for elements of a Banach algebra under perturbations and derives a sufficient and necessary condition for the existence of generalized inverse.

文中讨论了Banach代数元扰动后广义逆的存在性问题。用线性算子广义逆的稳定性问题的方法，得到Banach代数元扰动后广义逆存在的充分必要条件以及稳定的一个充分条件

The necessary and sufficient condition which fundamental and total biorthogonal system in Banach space Schauder basis are provided.

本文利用BK空间的理论讨论了乘子空间M的性质，给出了Banach空间X上基本完全的双正交系成为Schauder基的充要条件。

We first state general linear model, ridge-type estimator and general ridge-type estimator, and the constraint biased estimator. And then, we introduce some basic theory about matrix and some conclusion about the admissibility of estimator in Gauss-Markov model. In the third chapter, we discussion several equivalent characterization of the best linear unbiased estimation, we proved that admissible characterization of admissible of linear estimation is as conditional general ridge-type estimation in general linear model. A necessary and sufficient condition that homogeneous linear estimator is admissible estimator is obtained.

本文首先概述了一般线性模型，岭估计及约束岭估计的发展历史和研究现状，在第二章介绍了矩阵的一些基本知识和可容许性的一些基本结论，第三章讨论了一般线性模型最佳线性无偏估计的几个等价条件，以及线性估计的可容许性特征，得到了一般线性模型的可容许线性估计均具有条件广义岭估计的形式，给出了一个齐次线性估计为可容许估计的充分必要条件。

And then some ellipses that AUGR estimator is better than the OLS estimator and AUGL estimator is better than the OLS estimator are given, respectively.Second, the definition of the almost unbiased unified biased estimator is proposed. This definition includes the familiar almost unbiased estimators in literatures, and it is the unified expression of the familiar almost unbiased estimators. Followed the biased and variance are compared of AUUB estimator and the unified biased estimator, respectively. AUUB estimator has smaller bias than UB estimator and the variance of AUUB estimator is between the variance of UB estimator and 4 times of the variance of UB estimator. Finally the properties of AUUB estimator are discussed. The conclusion is gained that there are parameters made AUUB estimator is better than OLS estimator in terms of their mean square error. The sufficient and necessary condition that AUUB estimator is admissible is given. The ellipse is given that AUUB estimator is

然后给出了几乎无偏统一有偏估计的定义，该定义包括了文献中常见的几乎无偏估计，实现了常见几乎无偏估计的统一表达式；接下来我们比较了几乎无偏统一有偏估计与统一有偏估计的偏度与方差，得出了几乎无偏统一有偏估计比统一有偏估计有较小的偏度，几乎无偏统一有偏估计的方差介于统一有偏估计的方差与统一有偏估计的方差的四倍之间的结论；最后我们对统一有偏估计的主要性质作了讨论，证明了存在参数K，S使得几乎无偏统一有偏估计在均方误差意义下优于最小二乘估计的结论，给出了几乎无偏统一有偏估计为可容许估计的充要条件，还给出了在均方误差阵意义下几乎无偏统一有偏估计优于最小二乘估计的椭球。

The necessary and sufficient condition, which fundamental and total biorthogonal system in Banach spaces is Cesaro basis, is given.

利用BK空间的理论讨论了具有给定的完全双正交系的Banach空间X的乘子空间M的性质，给出了Banach空间X上基本完全的双正交系成为Cesaro基的充要条件。

Utilizing the theories of BK spaces and multiplier spaces, this paper discuss the necessary and sufficient condition which fundamental and total biorthogonal system in Banach spaces which don t contain copy of is unconditional basis.

利用BK空间的理论讨论了具有给定的完全双正交系的Banach空间X的乘子空间M的性质，给出了Banach空间X上基本完全的双正交系成为Cesaro基的充要条件。

Utilizing the theories of BK spaces and multiplier spaces, this paper discuss the necessary and sufficient condition which fundamental and total biorthogonal system in Banach spaces which don t contain copy of is unconditional basis .

本文利用BK空间和乘子空间的性质，讨论了在不含C0 的C0py的Banach空间上基本完全的双正交系成为无条件基的充要条件。

We are forbidden from giving money to these shoeless, skinny children, as this will perpetuate begging.

向光着脚，骨瘦如柴的孩子施舍是不可以的，因为要招来无休无止的乞讨。

It would be hard not to fall victim to some sharpeyed policeman.

要想不被某个目光锐利的警察抓到，谈何容易。