查询词典 radon nikodym theorem

For instance, we obtained the existence and uniqueness theorem and several judgement theorems on stability and instability for several types of nonlinear singular systems. Using Z-transformation, we estabilished the response formula of discrete singular systems with delay, and obtained the sufficient and necessary condition of rearchability.

如我们得到了某些非线性广义系统解的存在唯一性定理，及稳定与渐近稳定的判据；利用Z变换方法，得到了滞后离散广义系统的一般响应公式，进而得到了局部可达与局部能控的充要条件等。

Distribution function ; characteristic function ; the uniqueness theorem

分布函数；特征函数；唯一性定理

Greek philosopher and mathematician who founded in southern Italy a school that emphasized the study of musical harmony and geometry. He proved the universal validity of the Pythagorean theorem and is considered the first true mathematician.

毕达哥拉斯古希腊哲学家和数学家，在意大利南部创立学派，强调对音乐和谐及几何的研究：他证明了毕达哥拉斯定理的广泛有效，性并且被认为是世界是第一位真正的数学家

A sufficient condition is derived under which the unstable equilibrium point of the advertising strategy can be stabilized by advertising control at discrete moments, and a theorem on the stability of impulsive control system is derived.

在离散时刻引入广告控制，给出使得广告策略的不稳定平衡点达到稳定的充分条件，得到了脉冲控制系统稳定的一个定理。

The feedback controls, including linear, speed, doubly-periodic function, hyperbolic function and trigonometric function are used to suppress chaos to one of the three unstable equilibrium. The Routh-Hurwtiz theorem is applied to derive the conditions of stability of the controlled system.

利用反馈控制方法，包括线性、速度、双周期函数、双曲函数和三角函数反馈控制方法将系统的混沌运动控制到稳定态，根据Routh-Huriwtz准则获得了系统达到控制目标时反馈系数所满足的条件。

After a detailed discussion of the variation theorem for upper bound calculation of eigenvalues, many standard procedures for determining lower bounds to eigenvalues are presented with chemical applications in mind.

本文将介绍无元素葛勒金法，此无元素法为利用变动最小二乘法所求的近似函数引入葛勒金弱式推导。可克服有限元素在工程上的限制。

In the thesis a novel formulation of variable-domain variational principle for fluidmechanics has been successfully deduced,and the Kelvin's theorem has beenextended to steady compressible ones.

本文还排导得到了一个新型的变域变分公式，并把Kelvin原理推广到定常可压无旋流体。

It is consistent with the results obtained by central manifold theorem or variational method.

这与用中心流型定理或变分法证明离散呼吸子的存在性得到的结果相同。

Based on the decomposition theorem for vector space with module structure and rational canonical form of matrix, a kind of new block diagonal controllably canonical forms are inferred when the time invariant linear multivariable system is completely controllable, which the system matrix is similar to a block diagonal and has an analogy with its rational canonical form. Compare with current controllability canonical forms, this kind is easier to analyse the system constructional characteristic. The process of proof gives an effective solution method.

基于向量空间的模结构分解和矩阵的有理标准形给出了定常多输入线性系统一类新的块对角可控规范型，其中的系统矩阵相似与一个块对角矩阵，该块对角矩阵类似于矩阵的有理标准形，与现在有的可控规范型比较，更容易反映系统的结构特征，证明步骤给出了求解方法。

The versal unfolding theorem obtained in this paper by using DA-algebras tools introduced by Damon not only includes many corresponding results but also cancels the stronger demand on the codimension of a bifurcation Problem in some of relevant references to establish more general unfolding theory.

本文第二章进一步研究在(来源：AB00c6C论文网www.abclunwen.com)接触等价群作用下上述等变分歧参数及其开折的稳定性问题，得到了这类分歧问题是稳定的等价于它是无穷小稳定的结论，并且用横截性条件刻画了这类分歧问题的稳定性。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。