映射

Taking Kronecker product as an example, we furthermore illustrate applied potentialities of the generative set of mapping in fabic ...

并从实用出发，扩展了数模中的映射生成集，使其覆盖了组织设计中常用的变化手段，且以Kronecker积为例，说明数模映射生成集在组织CAD中的应用潜力。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

This method uses the kernel function to map the nonlinear space into a linear high dimension space.

该方法使用核函数完成非线性空间到高维线性空间的映射，避免了高维空间中的数据处理和非线性映射函数的使用。

A linear map f: M→M is said to preserve idempotence if fP(subscript nP.

若线性映射f： M→M满足fP(下标 nP，则称f是保幂等的线性映射。

The neural networks correction method combining the local map with radial based function networks and the global map with linear transform was applied to calculate the deformation resistance of the strip and the friction coefficient in the rolling deforming region.

采用径向基函数的局部映射和全局线性映射相结合的神经网络校正模型求解带钢变形抗力和轧制变形区的摩擦因数；并采用轧制变形区离散化方法分析轧制变形区内张力、摩擦力及金属变形抗力等在带钢轧制方向上的分布规律，从而建立轧制力在线计算数学模型。

The existence and Lipschitz continuity of the J-proximal mapping are proved. By using the properties of J-proximal mapping, a class of generalized mixed variational inequalities is studied in Banach spaces. The existence and uniqueness of solutions are established.

证明了J-近似映射的存在性和Lipschitz连续性，运用J-近似映射的这些性质，研究了Banach空间中的一类广义变分不等式，提出了计算广义混合变分不等式的解的一个新的迭代算法，并进行了分析。

The main aim of this thesis is to study the properties of the maps for Heisenberg group target, which include Lipschitz and Holder continuity, L~#,H~(n , W~(1,p)#,H~(n , BMO and John-Nirenberg estimates, embedded theorems, Poincare inequalities and reverse Poincare inequalities, the regul-arities about the minimizers.

本文的主要目的是系统研究靶流形为Heisenberg群的函数及其空间的性质，其中包括Lipschitz及Hlder连续性、空间L~p及W~(1，p)的性质、空间BMO的性质及其上的John-Nirenberg估计、嵌入定理、Poincare不等式和逆Poincare不等式、能量极小映射的存在性、正则性及用调和函数逼近能量极小映射等问题。

In order to make this mapper versatile, it should have a way to transform the request to the mapper in to a request to the application.

为了使这个映射器通用，它应该有办法改变的请求映射器中的一个应用程序的请求。

In section four, we point out that the mapping cylinder is not equivalent with the octahedral axiom.

在第四节，我们研究预三角范畴中一般意义下的映射柱，证明了一般意义下的映射柱与八面体公理不等价。

We combine task scheduling and resource mapping, and then establish a task scheduling model with the function of resource mapping.

我们将任务调度与资源映射结合在一起，建立一个具有资源映射功能的任务调度模型。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。