查询词典 algebra over k

In chapter 3, the concepts of M-matrix and H-matrix over a commutative Banach algebra have been proposed, and some of their important properties and applications in linear systems over a commutative Banach algebra have been studied. For usual complex matrix, the Bellman inequality with Hadamard product has been proved.

第三章，提出了交换Banach代数上M一矩阵及H一矩阵的概念，研究了其一些重要性质，并给出了在交换Banach代数上线性系统中的应用；对有限维复矩阵，证明了关于 Hadamard乘积的 Bell.an不等式。

It takes advantages of AR-quiver analysis and APR- tilting translation. We proved: if T_A is a tilting A-module over a path algebra of type A_n or a characteristic tilting A-module over a path algebra of type D_n,E_6,E_7, E_8,then there are points corresponding indecomposable direct summands of T_A in theτ- orbit of each edge.

通过对Dynkin型路代数的AR-箭图分析及利用APR-倾斜变换，证明了A_n型路代数倾斜模及D_n，E_6，E_7，E_8型路代数本性倾斜模T_A的一个必要条件是，在A的AR-箭图Γ_A的边缘的r-轨道都有T_A的不可分解直和项对应的点。

Secondly, it has drawn out the pointed YD-Lie algebras definition, in the category of Yetter-Drinfeld modules, let Z be a torsion-free abelian group, if we have a symmetric braiding c, for each G-graded algebra V over the G-graded space, a new Lie superalgebra with an operation _c satisfying an actions, then we can obtain a new Lie superalgebra, this paper to call it pointed YD-Lie algebra.

其次引出了点YD-李代数，即：在Yetter-Drinfeld模范畴中，对任意的一个G-分次代数Z(G为无挠群V，引入对称辫子c后，在V内作_c运算，即可得到一种新的李代数(本文称之为点YD-李代数)。

From the famous Gabriel's theorem ,a basic connected finite dimensional associative algebra A over an algebraically closed field can be looked as a quotient of a path algebra decided by a connected finite quiver Q.

由Gabriel 定理，代数闭域上基的，连通的有限维结合代数A 同构于一个由连通有限箭图Q 确定的路代数的商代数。

The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.

针对当前空间信息服务聚合研究中存在的若干不足，本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究，主要工作和创新点包括：1、基于工作流的空间信息服务动态聚合框架：研究了空间信息服务动态聚合和传统工作流应用的不同，在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型，为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。2、空间信息服务聚合流程建模和分析技术：首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型；与之相对应，对基本的WF-net进行扩展，提出服务聚合流程/资源网作为空间信息服务聚合流程的形式化描述模型，有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题；从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念，明确界定了聚合流程正确性的标准，并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究；提出了空间信息服务聚合代数算子并对其性质进行了研究，在此基础上提出了6种聚合流程约简规则，从而可达到优化聚合流程、提高聚合流程执行效率的目的。3、空间信息服务QoS模型和应用体系：从服务本身、网络环境和服务消费者三个层次出发，提出了一个可扩展的空间信息服务QoS模型GSQM，实现了对空间信息服务的度量和评价，并对GSQM不同质量要素信息的客观、公正采集方法进行了研究；研究了空间信息服务聚合流程QoS评价方法，有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作；针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状，提出了一种新的支持QoS约束的服务发现模型SDMQ，并对模型的实现框架进行了研究。4、空间信息服务聚合流程执行技术：针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点，基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL；研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法，在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的；研究了服务动态选择QoS全局优化模型，并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS.5、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

In Reference [3], Cao and Tan described the automorphisms of Lie algebra of the strictly upper triangular matrices over R which is a maximal nilpotent subalgebra of the A_n type classical simple Lie algebra.

在参考文献[3]中，曹和谭把由所有严格上三角矩阵所构成的李代数的自同构问题已经完整的解决了，而这样的李代数恰好就是A_n型李代数的一个极大幂零子代数。

The so-called AT-algebras are inductive limits of finite direct sums of matrices over the extension algeras of circle algebra by K, where K is the C~*— algebra of all compact operators on a separable infinite dimensional Hilbert space.

若V_*与V_*同构，且保持单位元等价类；T与T仿射同胚，且同构映射与同胚映射相容，则存在E与E′的同构导出上述同构和同胚，所谓AT-代数即为圆代数通过κ的本质酉扩张的矩阵代数的有限直和的归纳极限，这里κ为可分的无限维复Hilbert空间上的紧算子全体，不变量中的V*为三变元Abel半群，T为迹态空间，[1]为单位元所在的Murray-von Neumann等价类，r_E为连接映射。

From the view of the number of composition series and table subset of order or elementary abelian table algebra is depicted by making use of fundamental theorem on homomorphism of table algebra.

分别从合成列及表基的p阶、阶表子集的数目角度刻画了初等abelian表代数。

Arad and Blau proved that an abelian table algebra can be viewed as a group algebra of some abelian group G. Chapter 3 of this paper gives the structural theorem of abelian table algebras by defining a group structure in table basis. Furthermore, the structure of elementary abelian table algebras is discussed using the number of composition series of table algebras.

Arad和Blau证明了abel表代数等价于某个有限生成abel群G的群代数，受此启发本文第3节通过定义表基的一个群结构给出了abel表代数的结构定理，并从合成列数目的角度对初等abel表代数进行了细致刻画。

Also prove that every bounded linear approximately local Hilbert space representation of a abelian von Neumann algebra is a representation,every bounded linear approximately 2- local Hilbert space representation of a von Neumann algebra is a representation.

同时证明了交换von Neumann代数的有界近似局部表示是表示，每个von Neumann代数的有界近似2—局部表示是表示。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。