对偶映射

Since a proposed application of Dirac structures is to the reduction of some mechanical systems, the reduction of Dirac structures is considered in detail in this paper, without using the existence of momentum mappings or the introducing of the notion of admissible function, etc..

因为引入Dirac结构的—个基本目的即应用于一些力学系统的约化，本文详细地讨论了Dirac结构的约化问题，包括其在Poisson流形以及Jacobi流形等的约化中的重要应用，重点利用了Dirac结构的特征对以及对偶特征对的工具，从而避开了讨论矩映射的存在性以及容许函数等一些复杂概念的介入。

In Chapter 3,the concept of obstruction set for diffeomorphisms is introduced.And then we givesan important relation between obstruction set and dual mapping.

在第三章我们对微分同胚引入了阻碍集的概念，随后给出了阻碍集与对偶映射之间的一个重要关系。

In this paper,the author introduced an approximate augmented Lagrangian function in nonlinear programming,established dual mapping and the related dual problem of this augmented Lagrangian function and obtained the results of approximate strong duality and approximate weak duality of original problems.

介绍了非线性规划中的一种近似增广拉格朗日函数，建立了基于这种增广拉格朗日函数的对偶映射和相应的对偶问题，得到了原问题和对偶问题的强近似对偶和弱近似对偶结果。

By Lagrange dual and scalarization of vector optimization, characterizations of solutions for which objective mapping satisfies weak convexity conditions are shown. The strongly and weak dual theorems for generalized subconvex-like mapping are obtained.

通过适当定义对偶问题和向量优化问题的标量化研究各解之间的关系，刻画目标映射满足弱凸性条件的优化问题解的特征，在目标映射是广义锥次类凸的条件下给出有关的对偶定理。

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对偶，建立鞍点最优性条件与向量优化有效解和弱有效解之间的联系。

In this paper,some approximate optimal solutions and an augmented Lagrangian function in nonlinear programming were introduced,duality map and duality problems based on the augmented Lagrangian function were established, relationship between the approximate optimal solutions of augmented Lagrangian function and primal problem was discussed.

介绍了几种近似最优解和增广拉格朗日函数，建立了基于增广拉格朗日函数的对偶映射和相应的对偶问题，讨论了增广拉格朗日函数的几种近似解和原问题的几种近似解的关系，得到的结果推广了一些已有的结论。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Recently, many coding experts have studied much of the Z_4-cyclic code(which is not necessarily linear) and its Gray map, and obtained a set of equivalent conditions in which a family of cyclic codes are linear, and the condition that this family codes are self-dual cyclic, and in this condition Nechaev-Gray image of the cyclic codes are self-dual cyclic.

近年来，已有编码学家对Z 4-循环码和Z 4上的映射作了深入研究，得到一类循环码是线性码的一系列等价条件，以及这类线性码是自对偶线性循环码的条件，在此条件下它的Nechaev-Gray像也是自对偶线性循环码。

The strong and weak dual theorems are obtained in the sense of strictly efficiency in dual model which is established by scalar set-valued Lagrange mapping.

利用标量集值Lagrange映射建立了集值优化问题的对偶模型，并得到严有效性下的弱对偶和强对偶定理。

Optimization; parametric quadratic convex programming; set-valued map; directional derivative; linear stability; solution-set map; parametric linear programming; error bound; subdifferential map; lower locally directionally Lipschitzian; upper locally di-rectionally Lipschitzian; locally directionally Lipschitzian; convex function; quasidiferential; kernelled quasidiferential; quasi-kernel; star-kernel; star-diferential; Penot diferential; subderivative; superderivative; epiderivative; set-valued optimization; set-valued analysis; subdifferential; optimization condition;ε-dual; scalization; generalized subconvexlike-cone;ε-Lagrange multiplier

基础科学，数学，运筹学最优化；集值映射；方向导数；线性稳定；最优解集映射；参数线性规划；参数凸二次规划；误差界；次微分映射；下局部方向Lipschitzian；上局部方向Lipschitzian；局部方向Lipschitzian；凸函数；拟微分；核拟微分；拟核；星核；星微分； Penot-微分；上导数；下导数； Epi-导数；集值优化；集值分析；集值映射的次微分；最优性条件；广义锥次类凸；ε-对偶；数乘；ε-Lagrange乘子

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。