查询词典 ordered set bounded below

Different from the case of strict minimal siphons in a net system, the number of elementary ones is bounded by the smaller of place count and transition count. Based on the ideas mentioned above, this thesis proves that the set of elementary siphons is not unique, while different ones may lead to different control results.

本文在此研究的基础上，论证了网系统中的基本信标的不唯一性，控制不同的基本信标可以得到不同的控制效果，进而提出了最优基本信标的概念并给出了相应的计算方法，应用这一计算方法可以在多项式时间内求得一组最优基本信标，也就是说，控制该组基本信标相对于其他的基本信标可以使得系统Petri网模型具有最多的可达状态，这在实际中，意味着系统具有更大的灵活性。

And then characterize the Jordan semi-triple derivable maps on the set of all linear bounded operators actingn on an infinite dimensional Hilbert space, then prove that it is additive and so is an inner derivation.

并且对作用在无限维Hilbert空间上的有界线性算子的全体上的拟三重Jordan可导映射进行了刻画，证明了它是一个内导子。

The main topics are: set theory foundation, Lebesgue measure and Lebesgue integral, basic theories on linear normed spaces and Hilbert spaces and introduction to linear bounded operators.

本课程基本内容包括集合论基础、Lebesgue测度与Lebesgue积分、线性赋范空间与Albert空间的基本理论和有界线性算子简介。

Our study bases on following environment and conditions: H-1: The measurable set-valued mapping F : X - CC is e-bounded almost lower semicontinuos

这些研究是在如下环境和条件下进行的： H-1：X是n-维Banach空间(n＞1)中的有界闭凸集，且可测集值映射F：X→C_c是ε-有界几乎下半连续

A numerically stable recursive set membership state estimation algorithm for linear discrete-time systems with unknown but bounded noises is proposed, where ellipsoidal sets are adopted to describe the state uncertainties and to bound the process and observation noises.

针对带有未知但有界噪声的线性离散时间系统，提出了一种数值稳定的集员状态估计递推算法。算法采用椭球集合来描述状态的不确定性和噪声的界限。

All signals of of the resulting closed-loop system are globally bounded, and the states of the resulting closed-loop system can converge to a residual set.

得到的闭环系统的所有信号是全局有界的，并且闭环系统的轨线收敛到状态空间的一个残集。

It was proved that the proposed adaptive fuzzy fault tolerant control approach guaranteeing all the closed-loop signals were semi-globally and uniformly bounded, and the tracking errors converge to a small residual set around the origin.

证明了所提出的自适应模糊容错控制方法能够保证闭环系统所有信号是半全局一致有界的，且跟踪误差收敛到原点的一个小邻域内。

Moreover, all signals in the closed-loop system are guaranteed to be semi-globally uniformly ultimately bounded, and the tracking errors are proved to converge to a small residual set around the origin.

保证了闭环系统所有信号半全局一致最终有界，证明了跟踪误差收敛于一个包含原点的小残集。

By integrated Lyapunov stability analysis, it is guaranteed that all of the closed-loop signals are bounded, and the tracking errors converge exponentially to a residual set, whose size can be adjusted by changing the design parameters.

藉由完备的李雅普诺夫稳定度分析，证明所有闭回路信号是有界的，且追踪误差至少可指数收敛至一残局，其大小可藉由调整参数任意控制。

In this project, we study the theory of higher order differential equations in Banach spaces and related topics. We solve an open problem put forward by two American Mathematicians and two Italian Mathematicians concerning wave equations with generalized Weztzell boundary conditions, introduce an existence family of operators from a Banach space $Y$ to $X$ for the Cauchy problem for higher order differential equations in a Banach space $X$, establish a sufficient and necessary condition ensuring $ACP_n$ possesses an exponentially bounded existence family, as well as some basic results in a quite general setting about the existence and continuous dependence on initial data of the solutions of $ACP_n$ and $IACP_n$. We set up quite a few multiplicative and additive perturbation theorems for existence families governing a wide class of higher order differential equations, regularized cosine operator families, regularized semigroups, and solution operators of Volterra integral equations, obtain classical and strict solutions having optimal regularity for the inhomogeneous nonautonomous heat equations with generalized Wentzell boundary conditions, gain novel existence and uniqueness theorems,which extend essentially the existing results, for mild and classical solutions of nonlocal Cauchy problems for semilinear evolution equations, present a new theorem with regard to the boundary feedback stabilization of a hybrid system composed of a viscoelastic thin plate with one part of its edge clamped and the rest-free part attached to a visocelastic rigid body. Also we obtain many other research results.

在本研究中，我们对Banach空间中的高阶算子微分方程的理论以及相关理论进行了深入研究，解决了由美国和意大利的四位数学家联合提出的一个关于广义Wentzell边界条件下的波动方程适定性的公开问题，恰当地定义了Banach空间中的高阶算子微分方程Cauchy问题的算子存在族及唯一族，建立了齐次和非齐次高阶算子微分方程Cauchy问题适定性的判别定理，获得了关于高阶退化算子微分方程的算子存在族、正则余弦算子族、正则算子半群、Volterra积分方程解算子族的乘积扰动和混合扰动定理，得到了关于以依赖于时间的二阶微分算子为系数的一大类非自治热方程非齐次情形下的时变广义Wentzell动力边值问题的古典解、严格解的最大正则性结果，获得了半线性发展方程非局部Cauchy问题广义解和经典解存在唯一的判别条件，从实质上推广了现有的相关结果；得到了一部分边缘固定而另一部分附在一粘弹性刚体上的薄板构成的混合粘弹性系统的边界反馈稳定化的新稳定化定理，还建立了一系列其他研究结果。

It inculcates justification before God on the ground of human merits.

它说明在上帝灌输在地上人类优点。

TH Leaguer has excellent Quality Control and Management System.

本公司具有完善的品管部门。