查询词典 ordered set bounded below

Chapter four studies the chaotic responses in a system consisting of simple pendulum and harmonic oscillator under bounded noise excitation. Firstly, the Melnikov function of the two-degree-of-freedom system under Hamiltonian perturbation is derived. The essential condition of the autonomous system for the probable onset of chaos is obtained, the Poincare maps of the system under small Hamiltonian perturbation and the effect of increasing perturbation on the Poincare maps are studies. Then for the non-autonomous system under damping and harmonic or bounded noise excitation, the largest Lyapunov exponent and Poincare maps are calculated. From the analysis of the largest Lyapunov exponent, the critical criterion for the onset of chaos, and the conclusion that the threshold of bounded noise amplitude for the onset of chaos in the system increases as the intensity parameter of Wiener process increases are obtained. The result from the analysis of Poincare maps is in agreement with that obtained from the Largest Lyapunov exponent. The effect of varying damping coefficient and intensity parameter of Wiener process is also analyzed.

第四章研究了有界噪声激励下的两自由度单摆—谐振子系统的混沌运动，首先推导了该两自由度系统仅在Hamilton扰动下的Melnikov函数，得到该自治系统可能产生混沌的必要条件；研究了该系统在小的Hamilton扰动和增大摄动情形下的Poincare截面；然后对有阻尼、谐和或有界噪声激励下的非自治系统数值计算了其最大Lyapunov指数和Poincare截面；从Lyapunov指数分析得到了这个两自由度系统产生混沌运动的临界条件及产生混沌的临界激励幅值随Wiener过程强度参数值的增大而增大的结论，Poincare截面分析的结果亦符合Lyapunov指数分析的结论；研究了Wiener过程强度参数、阻尼系数变化对Poincare截面的影响。

Pneumatic"and"ordered (that is to say, air field and ordered movement of the pot seedling) are the two key technologies of the ordered pneumatic throwing transplantation, the two technologies were analysed by ANSYS software on the basis of CFD theory and explicit nonlinear dynamic theories for the first time in China. Some correlative experiments were also carried. The basic characteristics about the air field and the ordered movement of the pot seedling were gained.

在计算流体力学和显式非线性动力分析理论的基础上，本文在国内首次采用ANSYS有限元软件分析了气力有序抛栽的2项关键技术——"气力"和"有序"（即抛栽气流场和钵体苗的有序运动），并进行了相关的试验研究，获得了抛栽气流场和钵体苗运动的基本特性，为气力有序抛栽技术的优化提供了依据。

For an abitrary set X, appropriate order relations on WCL (the set of all weak closure operators), WIN (the set of all weak interior operators), WOU (the set of all weak exterior operators), WB (the set of all weak boundary operators), WD (the set of all weak derived operators), WD*(the set of all weak difference derived operators), WR (the set of all weak remote neighborhood system operators) and WN (the set of all weak neighborhood system operators) can be defined respectively, which make WCL, WIN, WOU, WB, WD, WD*, WR and WN to be complete lattices that are ismorphic to CS(X,CS is the set of all closure systems on X.

证明了可以在WCL(X上的弱闭包算子的全体)、 WIN(X上的弱内部算子的全体)、 WOU (X上的弱外部算子的全体)、 WB (X上的弱边界算子的全体)、WD、 WD*(X上的弱差导算子的全体)、 WR(X上的弱远域系算子的全体)和WN(X上的弱邻域系算子的全体)上定义适当的序关系，使它们成为与CS(X，〖JX-*5[JX*5]同构的完备格其中CS(X是给定集合X上的闭包系统的全体。

This paper gives a smooth variational principle of lower semicontinuous functions which are bounded below on each bounded set.

本文给出了在每个有界子集上有下界的下半连续广义实值函数的一个光滑变分原理。

The research is carried on from four aspects. One is, based on answering the above open problem on a finite dimensional Euclidean space by means of partially ordered theory, to research the existence of solutions, global error bounds of proximal solutions and sensitivity of parametric unique solutions and present a class of variable-parameter three-step iterative algorithms for generalized set-valued variational inclusion problems by using - resolvent operator of set-valued mapping.Two is to consider the convexity, closedness and boundedness of the solution set of general set-valued variational inclusion problems and the sensitivity of the parametric solution set by means of graphical convergence theory. Three is to discuss directly the existence of solutions by using analytical methods for set-valued mixed quasi-variational-like inequalities and suggest a class of direct variable-parameter three-stepiterative algorithms for solving generalized set-valued variational inclusions.

研究分有三个方面：一是借助于偏序理论在有限维欧氏空间中解决了上述公开问题，在此基础上利用集值映射的η-预解算子，研究了广义集值变分包含问题解的存在性、逼近解的全局误差界、参数唯一解的灵敏性，并提出了一类变参数三步迭代算法；二是借助于图收敛理论研究了一般集值变分包含问题解集的凸性、闭性和有界性以及参数解集的灵敏性；三是用分析的方法直接讨论了集值混合拟类变分不等式问题解的存在性并提出了一类求解广义集值变分包含问题的直接变参数三步迭代算法。

Suppose that f is a real-valued ω〓-lower semicontinuous function defined on a ω〓closed bounded subset A〓 of the dual E〓 of a locally convex space E, which is bounded below on A〓, and suppose every ω〓 closed convex subset of C〓≡ω〓-clcoA〓 is the ω〓closed convex hull of its w〓-β-exposed points.

假设X是一个局部凸空间，X〓是其对偶。A〓是X〓上的ω〓有界闭子集，f是A〓上的ω〓-下半连续实值函数且在A〓上下有界。

Generally, the set of temporal types that can be processed by a system and involved in lots of applications, meet totally ordered relation, and the set of TFDs with a totally ordered set of temporal types is closely related to the Armstrong axioms of traditional functional dependencies.

一般来说，系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系，并且具有全序时态类型集的TFD集的推导规则与传统函数依赖的Armstrong公理有着紧密的联系。

A set is "less than" another set if and only if the first set is a proper subset of the second set, and a set is "greater than" another set if and only if the first set is a proper superset of the second set.

只有当第一个集合是第二个集合的严格子集时，我们才称第一个集合"小于"第二个集合，同理，只有当第一个集合是第二个集合的严格超集时，我们才称第一个集合"大于"第二个集合。

To declare what we can do with a set, we start a header file Set.h:#ifndef SET_H #define SET_H extern const void * Set; void * add (void * set, const void * element); void * find (const void * set, const void * element); void * drop (void * set, const void * element); int contains (const void * set, const void * element);#endif The preprocessor statements protect the declarations: no matter how many times we include Set.h, the C compiler only sees the declarations once.

宣布我们能做些什么用一套，我们开始一个头文件Set.h ：＃ ifndef SET_H ＃定义SET_H 外部构造无效*设置；无效*地址（无效*一套，无效*常量元素）；无效*找到（常量无效*一套，无效*常量元素）；无效*下降（无效*一套，无效*常量元素）；国际载（常量无效*一套，无效*常量元素）；＃ endif 预报表保护声明：无论多少次我们包括Set.h ， C编译器将只看到申报一次。

Thesis and mainly discuss the following problems:What we mainly discussed in the second chapter as follows:(1) S1,S2 are sets of symmetric orth-symmetric matrices;(2) S1,S2 are sets of bisymmetric matrices;(3) S1,S2 are sets of anti-symmetric orth-anti-symmetric matrices;(4) S1,S2 are sets of bi-anti-symmetric matrices;(5) S1 is the set of symmetric orth-symmetric matrices, S2 is the set of anti-symmetric orth-anti-symmetric matrices;(6) S1 is the set of bisymmetric matrices, S2 is the set of bi-anti-symmetric matrices;(7) S1 is the set of anti-symmetric orth-anti-symmetric matrices, S2 is the set of symmetric orth-symmetric matrices;(8) S1 is the set of bi-anti-symmetric matrices, S2 is the set of bisymmetricmatrices;On the base of studying the basic properties of the matrices, the expression of solutions and some numerical examples are presented.

本文第二章将主要就上述问题讨论如下几种情况： 1.S_1，S_2为对称正交对称矩阵； 2.S_1，S_2为双对称矩阵； 3.S_1，S_2为反对称正交反对称矩阵； 4.S_1，S_2为双反对称矩阵； 5.S_1为对称正交对称矩阵，S_2为反对称正交反对称矩阵； 6.S_1为双对称矩阵，S_2为双反对称矩阵； 7.S_1为反对称正交反对称矩阵，S_2为对称正交对称矩阵； 8.S_1为双反对称矩阵，S_2为双对称矩阵。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。