可证明的

Based on this notion and the invariance principle, a condition is proposed and proved, under which an invariant set of states of a switched system with Lyapunov stable subsystems can be stabilized by state feedback.

基于这个不变性原理以及输入对系统能量函数稳定的概念，利用多Lyapunov函数方法提出并证明了一类具有Lyapunov稳定子系统的切换系统的不变集可状态反馈镇定的条件。

By transforming the interlace series type linear differential equation with coefficients containing negative second order power function and arrangement number into the linear differential equation of successive integral,the theory and method for the general solution of this kind of equation are determined.

通过把系数含有负二次幂函数与排列数的交错级数型线性微分方程化为可逐次积分的线性微分方程，找出了求这类方程通解的方法与理论，所得定理给出了严格的证明，并通过实例介绍了它的应用

Pass the interlace series type linear differential equation that coefficient contains power function and arrangement number change into the linear differential equation of successive integral, have found out the theory and method that begs this kind of equation to know to untie.

通过把系数含有幂函数与排列数的交错级数型线性微分方程化为可逐次积分的线性微分方程，找出了求这类方程通解的方法与理论，把所得定理给出了严格的证明，并通过实例介绍了它的应用。

Throush the interlace series type linear differential equation,coefficient containing three negative number of times,power function and arrangement number can be changed into the linear differential equation of successive integral.

通过把系数含有负三次幂函数与排列数的交错级数型线性微分方程化为可逐次积分的线性微分方程，找出了求这类方程通解的方法与理论，把所得定理给出了严格的证明，并将其推广，同时通过实例介绍了它的应用。

A spectral-correction-integral- photometry method and its application in the measurement of the luminous flux of blue LEDs are introduced.

介绍了一种光谱校正积分光度法及其在蓝光LED光通量测量中的应用，对测量中的各种不确定因素作了理论分析，并与单纯的分光光度法和积分光度法的不确定度作了比较，证明该方法可实现极高的测量精度。

This paper presents a novel approach, using man-computer interaction to realize the position calibration. It can save time and improve speed.

研究出一种采用人机交互的方法，实验结果证明该方法可实现装/卸料口的准确定位，缩短了图像处理的时间，提高了混凝土卸料的速度。

The second chapter discusses and proves the Revised Dulacs Theorem, that is, if a polycycle of an analytic vector field has a monodromy map, then there is a semi-transversal for which the monodromy map is either flat, semi-regular, or the inverse of a flat.

第二章详细讨论和证明了修正的Dulac定理，即解析向量场的单一多边环，可选取一适当半匀断，使相应的单一变换芽或为平坦芽，或为半正则芽，或为平坦芽的逆。

In the present paper,we investigate solvable radicals and Hopkins nilpotent radicals for Lie triple systems and prove that both radicals are invariant under actions of deriva- tions.

本文讨论李三系的可解根基和Hopking幂零的某些性质及导子作用下的不变性，讨论了李三系次理想的某些性质，证明了李三系为幂零的当且仅当每个子系都是次理想。

The resulting nonstandard analysis can be seen as a belated vindication of Leibniz's mathematical reasoning.

随之而来的"非标准分析"可视为对莱布尼茨的数学推理的迟到的证明。

In 2001, the South Georgia government received a certificate from the Marine Stewardship Council for its sustainable Patagonian toothfish fishery, which certifies that they met the MSC's environmental standards and places limits on the timing and quantity of Patagonian toothfish that may be caught.

2001年，南乔治亚政府收到的凭证海洋管理理事会的可持续巴塔戈尼亚齿鱼渔业，这证明，他们会见了海安的环境标准和地点限制的时间和数量的巴塔戈尼亚齿可能被逮捕。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。