proved的例句大全

It is proved that triple implication algorithm is P-reductive with respect to FMP and FMT models.

本文借助剩余格上的剩余型蕴涵算子的性质,讨论FMP与FMT模型三算法及其P - 还原性.

The polarizability is proved to be in the order of 10-12 esu.

结果表明其三阶非线性极化率χ(3)在10 - 12esu数量级.

On an especially difficult week for Disney in the United States, Shanghai proved that the company's pixie dust still works the same way it used to in a more innocent age.

这一周，迪士尼在美国的日子极其不好过，上海则证明，这家公司的魔法还像在过去那个更纯真无邪的年代里那么有效。

Proved by this study, the Social Security Law has the properties of Economic Law is beyond doubt.

经本文研究证明，社会保障法具有经济法的属性是不容置疑的。

He has been proved to be innocent beyond doubt.

他已经被证据确凿的证明无罪了。

The first domestically designed 100 MW CFB boiler has been proved its good performance.

自主研制的100MWCFB锅炉具有良好的运行性能.

It can be proved that U2 is an equilibrium state of capital allocation.

可以证明，U2代表的资本配置状态是均衡态。

The OJ Simpson trial proved that nothing gets the masses as excited as murder and celebrity.

当年辛普森杀妻案的审判就申明,再也没啥子能比谋杀和名人的组合更能引发公家的集体亢奋了.

Also the toxicological test and the clinical observation have proved the security in using this liquid.

毒理学试验与临床观察说明山羊肝精口服液具有安全性.

The forecast accuracy was proved to be satisfactory with an error ratio less than 6 %.

检测了模型的预测精度,结果显示误差小于6%.

What she said is proved to be correct.

她说的话果然灵验.

Nokia was the world's leading mobile phone maker from 1998 until 2011 when it bet on Microsoft's Windows mobile platform which proved to be a flop.

诺基亚在1998年至2011年曾经是世界顶级手机制造商。随后当其押注于微软的Windows移动平台，但最终被证明是失败的。

Investors proved nervous and sent shares down 9% after the company said returning to growth could take a while.

投资者对蔻驰忧心忡忡。这家公司表示恢复增长可能需要一段时间的消息传出后，公司股价应声下挫了9%。

Have proved to Internet, data chaining layer, MAC layer and physics layer.

对网络层、数据链接层、MAC层和物理层进行了说明。

BHP's deals have been more daring and have proved more advantageous than those of its rivals.

与其对手相比,必和必拓公司的交易更具勇气,结果说明也带来了更多利益.

It is shown that sufficient and necessary condition for the networks obtaining null error cost function is proved to be R ( Y) R ( X).

证明了网络获得零代价全局最小解的充要条件是R（Y）R（X）。

In the first section it is proved that Weierstrass's approximation theorem in read analysis is hold in function spaces endowed with set-open topology.

在第一节中证明了实分析中著名的Weierstrass逼近定理在赋予集开拓扑的函数空间中成立。

By establishing the effect function of buyer and seller of water rights transaction for the transaction mode of water rights option and the bargaining mode of water rights, these two transaction modes are analyzed and proved to be both balanced.

通过建立水权期权交易模式与水权议价交易模式下买方与卖方的效用函数，对两种交易模式进行比较分析，最后判定这两种交易模式都是均衡的，而只有水权期权交易模式是稳定的。

It is proved with the Prufer ′ s transformation that a classical result due to Sturm remains true: the ( n+ 1)-th eigen-function has exactly n zeros in ( a, b).

文中用Prüfer变换证明，Sturm的一个经典结果仍旧是成立的：即（E0）的第n+1个特征函数在（a，b）恰有n个零点。

Then, the necessary and sufficient condition for the Nash reversion to be a subgame perfect NE is proved.

然后证明了无限重复博弈中的纳什回归策略成为子博弈完美均衡的充分必要条件。