查询词典 finitely generatable vector space

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

A group is '''finitely generated'''(respectively '''finitely related''','''finitely presented''') if it has a presentation that is finitely generated (respectively finitely related, a finite presentation).

群是'''有限生成'''的(分别为'''有限关联'''的，'''有限展现'''的)，如果它有有限生成的(分别为有限关联的，有限展示的)的展示。

Theorem 2.1.4 The following statements are equivalent for a ring R:(1) R is left co-semihereditary;(2) every finitely cogenerated factor module of a finitely cogenerated injective R-module is quasi-injective;(3) every finitely cogenerated factor module of a finitely cogenerated injective R-module is direct-injective.

an环 R下列叙述等价： l）R的每个商环是强左余半遗传的； 2）R的每个商环是左余半遗传的； 3）拟内射R模的每个有限余生成商模是拟内射的； 4）有限余生成拟内射R－模的每个有限余生成商是直内射的； 5）有限余生成fi－(来源：A3fBC论文网www.abclunwen.com)拟内射R－模的有限余生成商模是拟内射的。

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

This is my last OpenGL for a project to use the "three-dimensional vector space / point" and related functions, they can use a definition of space vector / points, for the vector translation, zooming and rotation, the use of correlation function can also achieve two vector by the fork, get a Vectors absolute length of a vector unit, received a 3:00 decision vector perpendicular to the plane, a space to be the distance between two points, two vector to be the plot points, to be the angle between two vectors, such as operating for the use of user-friendly, each function is detailed Notes, it is particularly important if the calculation vector plot points, fork also took note, we hope to have useful.

这是我过去进行一个OpenGL项目时使用到的"三维空间向量/点"类及相关函数，使用它们可以定义一个空间向量/点，实现向量的平移，缩放和旋转等，使用相关函数还可以实现两向量的叉乘，得到一个向量的绝对长度，将一个向量单位化，得到一个三点决定的平面的垂直向量，得到空间中两点的距离，得到两向量的点积，得到两向量的夹角等操作，为方便用户的使用，每个函数都有详细的注释，特别重要的向量计算如点积，叉乘还有相关说明，希望对大家有所用处。

A ring R is called right co-coherent if every finitely cogenerated factor module of a finitely cogenerated injective right R-module is finitely corelated.

如果有限余生成内射右R-模的有限余生成商模是有限余相关的，则R称为右余凝聚的。

Regarding (6) type, when tradition Time variable t is two spatial vectors (+ psi 1i) and (- psi 2j) Crossed products v also is not 0, it (x1, x2, x3) differs 90 compared to on speed with the three-dimensional space in the space by the pure imaginary number attribute, I=e^I pi, therefore it Number space has in the physical property with the dot product constitution the difference, because Crossed products psi 1i (X psi 2j extremely small visible it is equal to zero under the conventional speed, but is very big in the object movement speed time, Crossed products psi 1i (X psi 2j in the physical quantity and for the quantum mechanics in may not to the easy quantity, its space and the conventional space is different, the performance is intrinsic or the interior space If the definition vector (+ psi 1i) and (- psi 2j) the dot product constitutes the three-dimensional space (x1, x2, x3) is exterior space, but the three-dimensional space which (+ psi 1i) and (- psi 2j) Crossed products constitutes by the vector is the internal space, contrasts its component

对于⑥式，传统时间量t为两个空间矢量(+ψ1i)与(-ψ2j)的叉积比上速度v且不为0，其与三维空间(x1，x2，x3)在空间上相差90度以纯虚数表征，I=e^Iπ，故其与点积构成的实空间有物理性质上的不同，因为在常规速率下叉积ψ1i(Xψ2j非常小可视其等于零，而在物体运动速率很大时，叉积ψ1i(Xψ2j之中物理量与则为量子力学中的不可对易量，其空间与常规空间不同，表现为一个内在或内部性空间。若定义矢量(+ψ1i)与(-ψ2j)点积所构成的三维空间(x1，x2，x3)为外部空间，而由矢量(+ψ1i)与(-ψ2j)叉积而构成的三维空间为内部空间，对比其分量

This is a project to use the three-dimensional space vector/point type and related functions, they can be defined using a space vector/point, the realization of vector translation, scaling and rotation, the use of correlation function can also be the realization of the two vectors fork x, the absolute length of a vector, a vector unit, and get a three-point decision to the vertical plane of the vector, be the distance between two points in space, by the two vectors point multiplication by the two vectors angle, such as operations, for the use of user-friendly, each function are detailed notes, I hope all of you useless.

详细说明：这是一个项目时使用到的"三维空间向量/点"类及相关函数，使用它们可以定义一个空间向量/点，实现向量的平移，缩放和旋转等，使用相关函数还可以实现两向量的叉乘，得到一个向量的绝对长度，将一个向量单位化，得到一个三点决定的平面的垂直向量，得到空间中两点的距离，得到两向量的点积，得到两向量的夹角等操作，为方便用户的使用，每个函数都有详细的注释，希望对大家有所用处。

The coordinate transformation and numerical integration was executed on the discretized tetrahedral elements based on which the 3-D MT vector-finite element method was implemented. A whole computation framework for 3-D vector-finite element method with unstructured mesh was given. Based on this some typical models were tested which has demonstrated that our algorithm could distinctively avoid problems caused by the fake solution and both the accuracy and efficiency were enhanced which made our algorithm has a bright future for further application.3. According to theory of Sobolev vector space and the discretization of Helmholtz space, the error estimate which was suitable for 3-D MT vector-finite element modeling was deduced by which the procedure of adaptive technique was guaranteed.4. Based on the fully unstructured tetrahedralization and optical strategy, the 3-D magnetotelluric h-adaptive vector-finite element method was presented through combining the error estimate. With this work, the accuracy and creditableness for 3-D MT complicatedly modeling was guaranteed.5. The 3-D magnetotelluric h-adaptive vector-finite element algorithm with unstructured mesh was implemented.

针对非结构化的四面体单元，采用坐标变换和数值积分方法，实现了MT三维矢量有限单元分析，建立起基于非结构化网格的三维MT矢量有限元计算流程，并对典型模型和国际标准电磁模型进行了数值模拟，结果对比和分析表明，基于非结构化网格的三维MT矢量有限元不仅消除了节点型有限元的伪解，而且具有很高的计算精度和速度，有广阔的应用前景。3、根据Sobolev函数的向量空间和Hemlholtz空间的分解，推导出基于残差的三维大地电磁矢量有限元后验误差估计公式，为三维大地电磁自适应矢量有限元数值模拟的实现奠定了基础。4、在完全非结构化四面体单元剖分及优化基础上，结合三维大地电磁矢量有限元后验误差估计公式，提出了基于非结构化网格的三维大地电磁h-型自适应矢量有限元计算策略，保证了对复杂大地电磁模型数值计算的精度和可靠性。5、实现了基于非结构化网格的三维大地电磁h-型自适应矢量有限元计算流程，对典型模型和国际标准电磁模型进行了数值模拟。

Gondii, were cloned by PCR respectively. The PCR products were digested by the corresponding enzymes and ligatd into the intermedial vectors. Finally, the inducible RNAi vector, pBSK-HSP70/5UTR-IntronC-HSP70/3UTR, with the HSP70 gene promotor as a promotor, the intron C sequence ofβ-tubulin gene as intervening sequence, 3UTR sequences of HSP70 gene as transcription stop signals, was constructed successfully, and the results of sequencing were correct. 3The construction of the inherited and inducible RNAi vector system of T. gondii: The fragment of SAG1/5UTR-eGFP-SAG1/3UTR in pBSK-SAG1/GFP vector was cloned into the vector of pBSK-HSP70/5UTR-IntronC-HSP70/3UTR to construct pBSK-GFP-Hairpin vector, then the fragment of GFP-Hairpin in pBSK-GFP-Hairpin vector was cloned into pHANA-0.5 vector.

弓形虫可诱导的反向重复序列RNAi载体的构建：设计引物，通过PCR分别扩增弓形虫HSP70基因5&UTR启动子序列(HSP70／5UTR)、HSP70基因3&UTR序列(HSP70／3UTR)及β-微管蛋白基因内含子C序列，通过酶切连接，构建以弓形虫热休克蛋白HSP70基因启动子进行驱动的，以β-微管蛋白基因内含子C序列作为间隔序列，以HSP70基因3UTR序列作为转录终止信号的反向重复序列RNAi载体pBSK-HSP70／5UTR-IntronC-HSP70／3UTR，序列测定结果正确。

Effective local search tactics reaches local searchers when they are ready to buy - with every way that it is possible for them to buy from you.

有效的地方搜索策略达到当地的搜索，当他们准备购买-以各种方式，这是他们有可能从您那里进行购买。

The first two are periodic sentences for their beginnings; and the fifth and the last are also periodic sentences each for the embedding of a parenthetic structure.

1960年代中后期，当战后女权主义和当时的许多其他抗议运动在西欧和北美发展成某种势力时，性别的概念演绎成补充和延伸生物性别差异的概念。