查询词典 prove

Results As can be seen from the result of mapping velocity information of the standard model, the color of inside-lay is bright and the middle-lay is dim. From the encoding mode of image, it is concluded that the more it is close to endocardium, the quicker the muscle velocity is. This can prove the validity and visualization of our model.

结果通过标准模型的速度信息映射结果分析，可以看出内层模型的颜色较亮，而中层模型则比较暗淡，根据图像的颜色编码方式，可知越靠近心内膜则心肌的速度越大，证明此模型的有效性和直观性。

Be happy, and prove to me, by your indifference, that life is endurable to sufferers

你应该快乐，你应该幸福，应该用你的谈笑自若的态度来证明：生命只有在这些受苦的人才是一个累赘。

We applied the method based on certain energy estimates to prove the convergence and stability of the scheme in energy norm and maximum norm.

我们利用能量分析法证明了C-N格式在能量模和最大模意义下的收敛性和稳定性；通过矩阵分析和对广义特征值的估计得到离散L_2模意义下的收敛性和稳定性。

For overlapping domain decomposition method, we prove the geometric convergence for continuous algorithm in the sense of energy norm by means of projection theory, analyze the convergence rate of the algorithm in detail. And we also discuss the discretization of the algorithm and its finite element implementation. Some numerical experiments are also given.

对重 叠型区域分解算法，利用投影理论，证明了连续型算法在能量模意义下的几何收敛性，详细地分析了算法的收敛速度，也讨论了算法的离散化及有限元处理，并给出了相应的数值实验。

As we have seen, when Enfield and Utterson see Hyde's face, they prove unable to describe what exactly makes Hyde so ugly and frightening.

正如我们已经看到，当恩菲尔德和Utterson看到海德的面孔，他们证明无法说明究竟使海德如此丑恶和可怕的。

A company that needs large increases in capital to engender its growth may well prove to be a satisfactory investment.

为实现增长而需要大量增加资本的企业可能是一项让人感到满意的投资。

Simon:You want to win, you want to prove a point, and you want to entertain.

你想要赢，你想要用行动证明你的能力，你渴望娱乐！

Some of this media will undoubtedly prove useful to entice people to join your corporation.

一些媒体这无疑将证明是有益的，以吸引人们加入你的公司。

You need to husband's account of this, your account of this, marriage certificate, the child's birth certificate, the Exit and Entry into account the woman's health authorities to prove, and so on.

需要你老公的户口本、你的户口本、结婚证、孩子的出生证明、女方户口所在地计生部门的证明等等。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。