代数空间

It's really the natural setting for algebraic topology because the traditional algebraic invariants (fundamental group, homolog group,etc.) arc isomorphic not only for homeomorphic spaces but for spaces of the same homotopy type. Homtopy epimorphisms and monomorphisms are special morphisms in the category of topological spaces and the initial research of them may be traceable to S.T.

同伦论的本质是利用比同胚关系更广泛的等价关系—同伦关系来对拓扑空间进行研究，这也是代数拓扑研究中一种自然的考虑，因为传统的代数不变量不仅在同胚的空间之间保持同构，而且在具有相同伦型的空间之间也保持同构。

We prove every linear and local centralizer on J -subspace lattice algebras is a centralizer.

第三章研究J -子空间格代数的局部中心化子，证明J -子空间格代数的线性局部中心化子是中心化子。

Associated it we define a root system. In a suitable condition we define a Lie algebra to realize this root system, namely, using an Euler cocycle given by intersection matrix, we define an infinitely dimensional vector space with the Lie operation becomes a Lie algebra.

在适当的条件之下，我们给出了该根系的一个李代数实现，即利用该相交矩阵确定的一个欧拉cocycle和根系，我们定义了一个无限维向量空间和李运算，并且证明了这个无限维向量空间在该李运算之下构成一个李代数。

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、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

The classical work usually assumes the setting of complex projective space in favor of its algebraic closedness; thus the classical results cannot be applied directly to the setting of real projective space assumed in most CAD/CAM applications.

古典的代数几何方法对QSIC的分类在复空间进行，由于复空间的代数封闭性，在复空间对QSIC的分类已有非常完善的结果，但其分类结果不能直接应用于实空间中的CAD／CAM问题中。

Its main goal is to explore information in the K-theory groups of the index C*-algebras, the Roe algebras C*, by using the large-scale geometrical structure of proper metric spaces, including noncompact complete Riemannian manifolds, finitely generated groups, etc., so as to establish connections among geometry, topology and analysis of the geometric spaces, and furthermore, to solve other relating problems, say, the Novikov conjecture, the Gromov-Lawson-Rosenberg conjecture on positive scalar curvature, the idempotent problem in the theory of C*-algebras.

粗几何上的指标理论是"非交换几何"领域九十年代以来发展起来的重要研究方向，它孕育于非紧流形上的指标理论，其主要目标是通过几何空间（如非紧完备黎曼流形、有限生成群等）的大尺度几何结构探索指标代数，即 Roe代数，的K-理论群的信息，从而建立几何空间的几何、拓扑与分析之间的联系，并应用于解决其他重要问题，如Novikov猜测、Gromov-Lawson-Rosenberg正标量曲率猜测、群C*-代数幂等元问题等。

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为连接映射。

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

Two morphological operations with addition and multiple algebra structure for binary image-dilationa and erosion operation are proposed firstly.

通过在目标空间中引入加性及乘性代数结构的方法，提出了基于目标空间不同代数结构的加性及乘性膨胀和腐蚀运算、以及以此为基础所建立的形态滤波，并通过对于其性质的讨论研究了形态滤波的算法及性能。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了