对偶性

By using these convergence theorems,it presents the Silverman-To-eplitz regular theorem and Samaratunga-Sember theorem on the Abelian topologicalgroups,the Vitali-Hahn-Saks theorem on algebras and the weak sequentially completenesstheorem of 〓-dual spaces of sequence spaces,etc.

这是抽象分析中的两个基本定理。作为应用，给出了Abelian拓扑群上的Silverman-Toeplitz正则性定理、Samaratunga-Sember定理、代数上的Vitali-Hahn-Saks定理，以及序列空间的〓对偶空间之弱序列完备性定理等。

This thesis is mainly about to discuss the commutativity and the algebra properties of dual Toeplitz operators, and to prove the boundedness and compactness of products of Hankel operators in the several complex variables.

本文主要研究的是多变量的对偶Toeplitz算子的交换性和代数性质，以及Hankel算子乘积的有界性和紧性。

The optimality conditions of Kuhn-Tueker and Fritz John's saddle points of vector optimization for generalized subconvex-like mapping are presented. Lagrange dual mapping and relationships among optimality conditions of saddle points, efficient and weak efficient solutions for vector and scalar optimization are established.

在拓扑向量空间框架内研究广义锥次类凸映射的向量优化，给出了广义锥次类凸映射的Kuhn-Tucker和Fritz John鞍点的最优性条件和Lagrange对偶，建立鞍点最优性条件与向量优化有效解和弱有效解之间的联系。

By deep analysing the relation among these dual propertities, and transitivity, weak mixing and strong mixing, more detailed classification on the transitive properties of systems are obtained.

通过对这些对偶性质以及传递性，弱混合性和强混合性相互关系的深入研究，我们对系统传递属性进行了更为细致的分类。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Furthermore, the proof of correctness of CalcCycleTime is also the proof of the existence of cycle time, the existence of generalized eigenvectors, and the duality theorem.

本论文中给出的CalcCycleTime算法的正确性证明同时是周时存在性、广义特征向量存在性和对偶定理的证明。

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

Then, the system is linearized by variational approach, the local null controllability is proved by applying a generalized implicit function theorem and combining the good property of the solution mapping.

首先通过对系统线性化，构造泛函，利用对偶方程，给出控制函数具体形式的办法得到系统的逼近能控性；然后采用变分方法对系统线性化，再结合解映射好的性质，应用推广的隐函数定理，证明系统的局部零能控性；最后利用局部零能控性和逼近能控性结合给出系统零能控的结论。

Chapter 3 discusses the algebraic and spectral properties of dual Toeplitz operators on the orthogonal complement of the Bergman space, such as boundedness, compactness, spectral properties and so on.

第三章研究了多圆盘Bergman空间的正交补空间L_a~2(D~n~⊥上对偶Toeplitz算子的代数性质，比如：有界性、紧性和谱性质等。

As far as we know, there is no systematic method available in the references for the exact controllability of semilinear systems so far.

我们方法的关键是将半线性系统的精确能控性问题转换成它的线性化系统对偶系统的能观性估计。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐