查询词典 proved

On the theory of human nature,heexplained and proved the apriorism of morality,in addition emphasized the antagonismbetween morality and desire.

朱熹继承并发展了儒家的德治主义，一方面充分肯定了道德的社会作用，另一方面夸大了这种作用。

In this chapter, the existence and uniqueness of the solution to the scheme, the convergence and stability to the scheme are proved by using discrete functional analysis theory, the apriority estimate method and the Brouwer fixed-point theory.

在本章中，运用离散泛函分析理论，结合先验估计、Brouwer不动点原理证明了相应差分格式解的存在唯一性、收敛性和稳定性。

Therefore, the microwave-assisted digestion method has proved to be a viable alternative to the traditional aqua regia reflux method for rapidly determining heavy metals in farmland soil samples.

因此，以本研究所建立的微波消化分析方法具有其实用性。

In 13th century, Thomas Aquinas one of the greatest philosophers of all time, proved the existence of God in five ways.

十三世纪，托马斯·阿奎那有史以来最伟大的哲学家之一，提出了上帝存在的五个论证。

It was proved that the proposed control scheme guarantees that all the variables in the closed-loop system are bounded and the mean-square tracking error can be made arbitrarily small by choosing some design parameters appropriately.

理论证明，所提方法保证闭环系统的所有信号一致有界，且通过选择适当的设计参数，可使跟踪误差任意的小。

We have proposed the switching adaptive control law for the systems and designed the Lyapunov function in this thesis. It is proved that the proposed switching adaptive control law guarantees the solutions of the nonlinear systems boundedness and convergence of the tracking error to a residual set based on the Lyapunovs stability theory. The residual set can be made arbitrarily small by choosing a certain design parameters.

文中设计出了这类系统的切换自适应控制律，并构造出相应的Lyapunov函数，基于Lyapunov稳定性理论证明了系统在所设计的控制律作用下，闭环信号都有界并且跟踪误差收敛到一个集合，通过选择适当的参数可使这个集合任意小。

By using generalized inverse of matrix,the sufficient condition of "pole assignment theorem"is proved;and the general expression containing arbitrary parameter is obtained for the feedback of gain matrix.

该方法利用矩阵广义逆理论，证明极点配置定理的充分性条件，并得到反馈增益矩阵的一个含有任意参数的一般表达式。

An increment feedback control law is then developed and proved to balance the pendulum-angle and drive the cart to track an arbitrary position without estimating the parameter uncertainties .

通过对系统输出的递归分解迭代设计，构成了扩展状态空间上的复杂非线性滑模，结合增量反馈控制，无需对系统不确定性的估计，可以稳定摆的倒立并将小车驱动到任意的距离。

In order to further the research on intellectualizing of arborescences, lattice theory is applied on arborescences by defining zero element. At the same time, it is proved that an arborescence coith zero element is a lattice under a partially ordering relation.

为了促进树形图结构的智能化研究，通过引入零元的概念将树形图结构转化为格结构，证明了加入零元的树形图可在给定序关系下构成格，进而将格的有关理论引入树形图的逻辑运算中。

The theories and programs in this thesis have been applied to the Xiaowan arch dam and are proved correctly.

本文的理论和软件已应用于小湾拱坝，并验证了算法及程序的正确性。

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.

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