查询词典 proved

Until it is definitely proved by experiment that light may be bent, I do not see any reason for not believing in the corpuscular theory, which seems to me to be simpler, and therefore better, than the wave theory.

除非用实验确实证明了光会弯曲，我看不出有什么理由不相信微粒说。这个学说，在我看来比波动说简单，因而也就较好。

In chapter 5,a knowledge-based correction term for the objective function of parameter estimation is proposed.The relationship between the function extreme points of state estimatin and parameter estimation is deduced.A strategy of projecting the parameter objective function from the augmented solution space to the parameter space is proposed and proved.

第五章分析了电力系统状态估计和参数估计的理论依据并指出传统解法的不足，提出基于经验知识的参数估计目标函数修正项，推导了状态估计和参数估计目标函数极值点的关系，由此提出并证明了新的基于垂直投影的估计策略。

A knowledge-based correction term in the objective function is proposed. The relationship between state estimatin and parameter estimation is analyzed. A strategy of projecting the objective function from the augmented solution space to the parameter space is proposed and proved.

该文提出基于经验知识的参数估计目标函数修正项，导出状态估计与参数估计目标函数极值的关系，由此提出将目标函数从增广解空间垂直投影到参数空间的估计策略，并指出参数估计偏差的成因。

At last, the algorithm is described in detail. Its correctness is proved and dynamic characteristic is analyzed.

最后，给出了算法的详细描述，并证明了算法的正确性，分析了算法的动态性。

The correlation curve got in this way is proved to be much sharper and the matching precision is improved significantly.

基于上述的距离度量方法，提出了一种新的模板更新策略。

It is proved to be more reliable, with a higher calculation speed than that of traditional correlation method.

实验结果表明该方法的匹配结果更加可靠，且速度较普通相关匹配方法有较大的提高。

The methods work well and the latter is proved to be better than traditional correlation method.

最后，尝试了用系统辨识的方法辨识管道系统，并给出了辨识结果。

In England the Parliament, in Spain the Cortes, in France the States General, and in Germany the Diet, should have proved a strong barrier against absolute rule.

英国的议会，西班牙的国会，法国的三级会议和德国的帝国会议都为防止独裁提供了坚强保障。

He has proved that most, if not all, the connected cubic G-arc-transitive Coset graphs on the finite nonabelian simple groups are normal, further, has given bounds of the full automorphism on this kind of graphs.

利用陪集图的正规性可以给出某类图的全自同构群的界，且可以得到某类群具有陪集图表示的充分条件[2]，另外陪集图的正规性对于求给定群的最小级陪集图表示具有重要作用[3]。

We proposed and proved three theorems through which the theoretical formula of cosine transform spectrum of gravity anomalies of the point mass and the vertical rectangular-cylinder was deduced in order to obtain the general equation of gravity anomalies.

为获得重力异常余弦变换谱的通式，提出并证明了3个定理；利用它们推导了点质量和直立矩形柱体的重力异常余弦变换谱理论公式，同时给出了重力异常余弦变换谱通式。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。