查询词典 prove up

The money for which I shall sell this milk will enable me to increase my stock of eggs to three hundred,These eggs,allowing for what may prove addle,and what may be destroyed by vermin,will produce at least two hundred and fifty chickens.

她的脑子里浮现出一连串的幻想：我卖了这罐牛奶后，用这笔钱买鸡蛋，这样我有的鸡蛋可以增加到300个。用这300个鸡蛋孵小鸡，这就算有坏的、生虫的，至少也能孵出 250 只小鸡。

As of this moment, it looks inevitable that China will someday be the world's biggest economy, a status that will prove its adeptness at taking advantage of globalization.

从目前的情况看，中国终将成为世界第一大经济体，这个不可避免的事实证明了中国利用经济全球化的出色能力。

I hope you will prove adequate to the job.

我希望你证明能胜任这份工作。

Therefore, in order to offer reference to readers, the paper systematically expound and prove the eigenvalue of special matrix that base on idempotent matrix, antiidempotent matrix, involutory matrix, anntiinvolutory matrix, nilpotent matrix, orthogonal matrix, polynomial matrix, the shape of , matrix, diagonal matrix, invertidle matrix, adjoint matrix, similar matrix, transposed matrix, numerical matrix, companion matrix, and practicality and superiority of the achievement was showed by some examples.

为此本文系统地阐述幂等矩阵，反幂等矩阵，对合矩阵，反对合矩阵，幂零矩阵，正交矩阵，多项式矩阵，形为：，矩阵，对角矩阵，可逆矩阵，伴随矩阵，相似矩阵，转置矩阵，友矩阵一系列特殊矩阵的特征值问题并加以证明，并通过一些具体例子展示所得成果的实用性和优越性。

We discussthe propertiesofthe adjoint operator of unilateral weightedshift,prove that is astrongly irreducible Cowen- Douglas operator, and compute the 0 group of the commutant algebra of .

计算了代数я={f：f在开圆D盘上解析，在■上连续}的K_0群，讨论了内射单边加权移位算子的伴随算子的性质，证明了是强不可约的Cowen-Douglas算子，然后计算出的换位代数的K_0群

In Chapter 2,a steady permeability identification problem in elliptic equa-tions for two-dimensional orthotropic medium is considered.We construct afunctional,obtain its first and second Gateaux differential,and prove that thefunctional is strictly convex on a convex admissible function set.We seek to iden-tify the permeability by minimization of the above functional.

第二章研究了二维稳态正交异性介质的渗透率反演问题，我们构造了一个泛函，求得该泛函的一、二阶Gateaux微分，证明了它在一个凸的容许集上的严格凸性，并使用极小化泛函即变分方法来求解此问题。

At the same time, we prove that the best linear unbiased prediction of a linear predictable variable Qy and the best linear unbiased prediction βn=(X"sV-1Xs)-1 X"sVs-1ys of regression coefficients of the finite populations βn=(X"V-1X)-1X"V-1y are admissible under matrix loss function and in the class of the linear predictions and the class that contains all predictions, and under quadratic loss function in the class of the linear predictions.

在线性预测类和一切预测类中是可容许预测，而在二次损失函数下其在线性预测类中是可容许预测。

We characterize the optimal value function as the viscosity solution of the associated Hamilton-Jacobi-Bellman equation and we prove that there exists an optimal barrier strategy which is optimal among all admissible dividend strategy in some special cases.

通过HJB方程的粘性解理论来刻画最优值函数，并证明了一些特殊情形下界策略在所有可允许的分红策略中是最优的。

Then we define the notion of adoptability of the diagnostic system and prove that the consistency-based diagnosis is adoptable.

为找到故障系统的真实诊断，讨论了候选诊断和真实诊断之间的关系，定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的。

Only time can prove you are timeless, and only adulteration can demonstrate you are unadulterated.

在创造我的时候，你已将那形象铭刻于我记忆的母板，而只有时间才能显示你的永恒，只有沧桑才能显示你的纯粹。

This matter overthrew all basises I learned from Sunday school .

这件事把我从周日学校学到的所有道理都颠覆了。

It's one of the cruel ironies of aging: if you want to remember your favorite restaurants, the less you should eat at them.

这是一个老化的残酷讽刺：如果你想记住你最喜欢的餐馆，你应该更少吃到它们。