查询词典 proves

The simulation proves that the system is real-time, accurate, high fide and open-network-linked and is expected to be widely used to aid aircraft design and air combat research.

仿真表明系统具有实时、高精度、高逼真度和开放式联网的特点，可作为飞机设计和空战研究的重要辅助手段。

This proves, web 2.0 by the netizen initiative the mode that provides content from at the beginning desultorily, it can be very good expression platform, can do very livelily, very free, but the custom that expects with the person that advertisement puts in very consecution apart is very far.

这就证实，Web 2.0由网民自发提供内容的模式从一开始就杂乱无章，它可以是很好的表达平台，可以搞得很热闹、很自由，但与广告投放者期望的很规矩很条理相距甚远。

All this proves there is no detente, let alone lasting peace in this world.

所有这些都证明，当前世界上根本没有缓和，更不用说持久和平了。

When ATRP of styrene was investigated with 1-phenylethyl bromide/benzyl a,a-dibromide mixture as initiator, the GPC chromatogram shows two elution peaks and the molecular weighs of the peaks are approximately in a 2/1 ratio. It suggests that benzyl dibromide is a difunctional initiator of ATRP of styrene. The analysis of end group using 1H-NMR also proves the result above.

采用1-苯基溴乙烷／α，α-二溴化苄混合引发剂进行苯乙烯的ATRP反应时，所得聚苯乙烯的GPC谱图为双峰，分子量相差一倍，初步证明了α，α-二溴化苄引发苯乙烯ATRP反应时是双官能引发剂，并用~1H-NMR对聚合物结构进行分析，进一步证明了α，α-二溴化苄引发苯乙烯ATRP时是双端同时增长的。

The analysis in theory proves that cellular automaton is equal with a stochastic process that described by stochastic difference equations. The primary differential equation is expectation of this stochastic process. And its variance function is controllable. These results show that cellular automata are in agreement with primary differential equation in the statistical sense.

理论分析证明：该方法设计的细胞自动机等价于一个可用随机差分方程描述的随机过程，该随机过程以原微分方程为期望函数，并且，其方差函数是可控的，表明细胞自动机和原微分方程在统计意义上是一致的。

Basic ant colony algorithms are intelligentized. Based on the intelligentized algorithms and Matlab, simulation regarding optimization of benzene-toluene flash vaporization process is made. The simulation result shows that the amount of benzene in vapor phase product reaches the maximum on the condition of effective adjustment of temperature, pressure and diffluence coefficient and the production process is optimized. It is also proves that the intelligentized algorithms are practical in optimization of chemical production process.

对基本蚁群算法进行了智能化改进，并运用智能蚁群算法和Matlab语言，对化工生产过程中的实际优化问题，苯-甲苯闪蒸过程进行了优化仿真计算，仿真结果表明，在有效地调整温度、压力及分流系数的条件下，使得汽相产物中苯的产量达到最大，实现了苯－甲苯闪蒸过程的最优化，同时也证明了蚁群算法可以有效地解决化工生产过程中的优化问题。

He will have to dig down deeper into the very life of the sexes to know why marriage proves so disastrous.

他将必须进一步挖掘进入两性真实的生活才能知道为什么婚姻证明了如此灾难。

Under the experimental conditions, the evaluation of catalytic activity on direct decomposition of NO show that the presence of Cu is necessary for improving activity at 600~800℃ among La0.9Ce0.1Fe(subscript 0.8-x)Co0.2YO3(Y=Cu, Zn, Ni) series, and in which L.a0.9Ce0.1Fe0.7Co0.2Cu0.1O3 has the highest activity, the conversion of NO decomposition maintains 80% and nearly 100% at 750℃. H2-TPR result proves that the higher activity is related to the mobility of lattice oxygen which is beneficial to the reproduction of active site for NO decomposition.

在实验条件下，对NO的活性测试结果表明，L0.9Ce0.1Fe(下标 0.8-x)Co0.2YO3(Y=Cu， Zn， Ni)系列催化剂在600~800℃范围内，掺杂Cu的复合氧化物具有较高的催化分解活性，其转化率始终保持在80%以上，反应温度为750℃时，几乎100%转化。H2-TPR结果证明，其催化分解活性高的原因是Cu的掺入使晶格氧活动性增强。

The paper studies the Dirichlet series of finite order in the half plane, proves several theorems on their order and low order .

研究了半平面上有限正级 Dirichlet级数，证明了几个关于它们的级与下级的定

This paper proves that the random Dirichlet series of infinite order do not have almost surely arbitrary finite order deficient function on the right-half plane.

证明了右半平面上无限级随机Dirichlet级数几乎必然无任意有限级的亏函数。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。