查询词典 prove

Then we prove the one-to-one corresponding relation between 3-coloring of inducing four regular graph and 4-coloring of maximal planar graph and find out the relation between three colors of inducing four regular graph and three dual bi-chromatic subgraph of maximal planar graph.

本文给出了极大平面图的导出四正则图的两种构造方式、等价性及性质，证明了导出四正则图的三着色与原极大平面图四着色的一一对应关系，并且找出了导出四正则图的三种颜色与原极大平面图四着色的三组对偶二色子图之间的关系。

In the third section, we prove the equivalent conditions of the alternate dual frames in Hilbert spaces.

第三节证明了Hilbert空间中的框架交错对偶的等价条件。

The experiment results prove that this method effectively re— duces the measurement error caused by the uneven distribution of the flow velocity,and increases the accuracy of Doppler uhrason— iC flowmeter.

层流流动时(雷诺数Re#lt；2 300)，管内流体分层流动，各流层之间互不混杂而平行于管道轴线流动，流层间没有流体质点的相互交换。

It will be difficult because Duffer has got quality and he can change a game,' Carvalho told Chelsea TV's Inside Cobham programme,'but you have to prove you are stronger than Fulham and fight them.

"比赛将会是困难的，因为达夫的技术很好而且他能一个人决定一场比赛"卡瓦略在科巴姆训练基地的节目中告诉切尔西的电视台记者，但是你必须证明自己比富勒姆更加强大并且击败他们。

Firstly, we consider SIQR epidemical models with continuous and pulse vaccinations; the reproduction numbers have been obtained for those models; by using Dulac function, we prove the global stabilities of equilibrium of SIQR model with continuous vaccination. In the SIQR epidemical models with pulse vaccinations, we have also discussed the existence of the infection-free periodic solution, the global stabilities of the infection-free periodic solutions, and the effectiveness of pulse vaccination and continuous vaccination policies has been compared for the two models.

文中首先考虑具有连续免疫接种和脉冲免疫接种的SIQR传染病模型，分别获得了它们各自的基本再生数；利用Dulac函数方法证明了具有连续免疫接种的SIQR模型无病平衡点的全局渐近稳定性；在脉冲免疫接种下SIQR传染病模型里，讨论了无病周期解的存在性，证明了该周期解的全局渐近稳定性，并且对连续和脉冲接种下的SIQR传染病模型的接种效率进行了比较。

When the value of critical threshold larger than 1, the disease and insect pests equilibrium point is locally asymptotically stable An appropriate Dulac function should be choosed and Bendixson-Dulac creterion is used to prove that the limit cycle in this model does not exist. It explains that the disease and insect pests equilibrium point is globally asymptotically stable.

选取适当的Dulac函数，利用Bendixson-Dulac判别法证明了极限环的不存在性，说明局部渐近稳定的病虫害平衡点也全局渐近稳定。

The ones who are among the more orthodox and serious will certainly question the genuineness of the claimed ethnicity and caste affiliations of the new immigrants,though the latter in all probablity and in accordance with their duplicitous nature,will produce an imaginary lineage running to centuries in order to prove their claims.

谁的那些之间的正统和严肃会质疑声称的种族和种姓的新移民背景的真实性是，尽管在所有probablity后者与他们按照奸诈的性质，将产生一个假想的家族运行的几百年为了证明其债权。

But if I can prove that his duplicity is more than just a rumor

但如果我能证明他的表里不一并非只是谣言这么简单？

CSEP monitoring during surgical proceˉdure have sensitiveness of distracting spinal cord,ischemia and injury.In a timely manner of interference will imˉprove the monitoring of CSEP.CSEP have an important value in preventing spinal cord injury and evaluating the prognostic of neural function because CSEP can be better reflect the function and integrity of the spinal cord.

CSEP的监测在脊柱手术中对脊髓的牵拉、缺血以及损伤很敏感，术中及时干预，可使CSEP改善；CSEP能较好地反映脊髓功能状态及完整性，对防止脊髓损伤、判定神经功能预后有重要价值。

We prove that there is a unique subgame perfect nash equilibrium of the dynamic game.

证明了该动态博弈存在唯一的子博弈精炼均衡。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。