查询词典 proved

It is proved that this algorithm can produce test case of path coverage testing aut...

对含有非线性谓词、数组的程序实例进行实验，结果表明改进算法能有效生成测试用例。

Now in this article, we may suppose the Lucan authorship of the third Gospel as proved.

现在，在本文中，我们可以假设卢坎著作权第三福音作为证明。

It is proved to have a wide application in industry field and Office Automatization etc.

工作流管理系统是集工作流定义、管理、执行于一体的软件系统。

Dade made enormous researches on Coleman automorphism of a finite group and obtained a lot of initial results,especially proved that Coleman outer automorphism group is nilpotent.

E.C.Dade通过对有限群的Coleman自同构的大量研究得到了一系列开创性的结果，最重要的是证明了Coleman外自同构群是幂零群。

The theory of rustic autonomy and practice and the current situation that countryside administers proved to be in this.

乡村自治的理论和实践及乡村治理的现状都证明了在这一点。

Without them, the Hornet's autorotation proved unacceptable to the CAA, which otherwise found the diminutive craft satisfactory.

如果没有他们，大黄蜂的自转证明民航局不能接受的，否则发现，身材矮小的工艺令人满意。

In this paper the reason of rapid increase of single phase short circuit current in 500 kV substation is analyzed. Through the calculation it is proved that neutral grounding by small reactance is an effective measure to reduce the single phase short circuit current, and the calculation method of the zero\|sequence reactance after autotransformer neutral grounding by small reactance being applied is expounded.

文中研究了500kV变电站单相短路电流急剧增长的原因，计算了变压器中性点经小电抗接地对限制单相短路电流的作用，论证了经小电抗接地是限制单相短路电流的有效措施之一，并阐述了500kV自耦变压器中性点经小电抗接地后，其等值零序电抗的计算方法，可供工程参考。

Finally, it has been proved that the time series of coal autoxidation is chaostic. And the time series have been forecasted by the method based on the maximal Lyapunov exponent.

最后，应用基于最大Lyapunov指数的时间序列预报方法对煤自然氧化混沌时间序列进行了尝试性的预报。

For every step of arbitrary m-th order finite element methods of nonlinear Hamiltonian systems are first proved high accuracy conservate their symplectic structure, through construct a new auxiliary equation and negative norm estimated of error.

对非线性Hamilton系统的任意m次有限元法，构造了新的辅助问题，并得到误差估计和负范数估计，首次证明m次有限元对每一次步进是高精度Oh~(2m+1意义下近似保辛的。

It is proved that the product has auxiliary protecting function to chemical liver damage by the test of animal's function.

制成的保健食品，经动物功能性试验证明，具有对化学性肝损伤有辅助保护

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。