查询词典 prove

On this basis, we use MATLAB to establish the model of the whole system. The simulation results prove that this kind of control scheme is feasible and this paper provides a new way of thinking for future research.

在此基础上，使用MATLAB建立了整个控制系统的模型，仿真结果验证了滑模变结构控制方法的可行性，为今后的研究工作提供了一种新的思路。

We improved the merit function in quasi-feasible interior point method and used the exponential function that is the more general function to prove the existence of one order optimality point in feasible problem. We discussed the inner and outer algorithms and made the convergence theorem.

在算法中改进了拟可行内点法中的值函数，使用指数形式的更一般函数，用此值函数证明了可行性问题的一阶最优性点的存在性，并通过对内部算法及外部算法的讨论得到了算法的收敛性定理。

So this thesis make a further research based on their shortage,and through the implement of the System about BookStore,we further prove that these three frame can combine to get a featherweight platform.

本文还针对它们的不足做了进一步的研究，同时通过使用SSH平台开发的网上书店系统的实现也进一步验证了这三个框架能够组合在一起，搭建一个轻量级的开发平台。

And if that shall prove to be so--and it undoubtedly will--this sack of gold belongs to a fellow-citizen who will henceforth stand before the nation as the symbol of the special virtue which has made our town famous throughout the land--Mr. Billson!

如果相同--这一点毫无疑问--这一袋金子就属于本镇的一位公民了，从今以后，他将作为特立独行的美德模范屹立在国人面前，正是这种美德使本镇蜚声海内--比尔逊先生！

The great Karl Gauss on the other hand, had refused to tackle Fermat's Last Theorem, calling it "an isolated proposition with very little interest for me, because I could easily lay down a multiple of such propositions, which one could neither prove nor dispose of."

但另一方面，伟大的卡尔·高斯却不愿去处理费马大定理，称它是"一个孤立的命题，几乎吸引不了我的兴趣，因为我能轻易写出很多这样的命题，既不能证明也不能证伪。"

In 2000, F. LUCA proved that Fermat number are anti-sociable numbers, and in 2005, M. H. LE proved all powers of 2 are anti-sociable numbers. We have used the method of M. H. LE to obtain some new results of the anti-sociable numbers. For every integer n containing prime divisors that are 1 mod 4, let p mod 4 be an arbitrary prime divisor of n. There is at least one anti-sociable number in n^2, p^2n^2, p^4n^2, and p^6n^2. Therefore we can prove that anti-sociable numbers have positive density in perfect square numbers. We also give a method to find the exact anti-sociable numbers.

LUCA证明了Fermat数都是孤立数；2005年，乐茂华教授证明了2的方幂都是孤立数，用乐茂华教授的方法给出孤立数的一些新的结果：对于任意含有4w+1型素因子的正整数n，设p为n的任意一个4w+1型素因子，则在n^2，p^2n^2，p^4n^2，p^6n^2里至少有一个是孤立数，因此可以证明孤立数在完全平方数里有正密度，另外也给出求解确定孤立数的方法。

However, I was determined to prove my worth, and worked feverishly, almost forgetting to eat or sleep.

然而脾气倔强的我，为了证明自身价值，疯狂地工作，常常到了废寝忘食的地步。

I love the person, she has a fiance from her eyes, to prove that I can not.

我爱的人她已有了爱人从她的眼神中，说明了我不可能。

The first step, reduce the fictitious economy systematic risk of our country, analyze and prove from three respects concretely that the basic relation of fictitious economy and real economy, the system of fictitious economy, market mechanism: The main argument of basic relation of fictitious economy and real economy have:(1) Structural adjustment and optimization of real economy (2) Pay close attention to the balance of fictitious assets and physical assets of macro econo

虚拟经济体系方面的主要论点有：（1）完善虚拟经济体系的管理体制：建立健全虚拟经济法律法规体系，实现"依法治业"；建立健全虚拟经济监管职能体系；增强虚拟经济运行信息的透明度；（2）提高虚拟经济体系中虚拟资产的风险管理水平。市场因素方面来说，主要是：（1）实行灵活的汇率政策；（2）加强资本流动管理；（3）积极推进虚拟经济监管国际合作第二步，建立我国虚拟经济系统风险化解机制。在采取有效措施降低我国虚拟经济系统风险的基础上，还需要警惕来自市场方面虚拟经济风险冲击。我以为，对此有以下三种化解办法：（1）市场机制的基础调节；（2）法律和政策约束；（3）强行临时管制。论文创新点：建立了一个我国虚拟经济系统风险预警度量模型，并运用这个模型对我国虚拟经济风险的现状进行了评估。

The experiments prove it is a method of high speed and high fidelity, and it will be used widely in civil engineering.

结果表明，计算速度快，精度高，对技术复杂的大型公路桥梁工程有广泛的运用前景。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。