构造上

We posed the concept of sufficient intersection about s(1≤s≤n) algebraic hypersurfaces in n-dimensional space and proved the dimension of polynomial space Pm(which denotes the space of all multivariate polynomials of total degree≤m) on the algebraic manifold S=s(f1,…, fs) where f1(X=0,…, f s=0denote s algebraic hypersurfaces of sufficient intersection, then gave a convenient expression for dimension calculation by using the backw ard difference operator.

给出了n维空间中s(1≤s≤n)个代数超曲面充分相交的概念，证明了n元m次多项式空间Pm在充分相交的代数流形S=s(f1，…， fs)（f1=0，…， fs=0表示s个代数超曲面）上的维数，并利用倒差分算子给出一个方便计算的表达式；构造了沿代数流形上插值适定结点组的叠加插值法；证明了在充分相交的代数流形上任意次插值适定结点组的存在性；给出代数流形上插值适定结点组的性质和判定条件。

In terms of the geographic distribution, granite of China is distributed throughout the country; in terms of geological structure, it is distributed in all the orogenic belts; in terms of ages, granite of all ages from the Archean to Cenozoic are found in China; and in terms of rock types and genetic types, almost all the known granite types in the world occur in China.

中国的花岗岩在地理分布上遍及全国，在地质构造分布上遍及所有的造山带，在产出时代上从太古宙到新生代均有发现，在岩石类型、成因类型上，世界上已知的类型中国几乎都有。

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

Then interpolating cubature formulae is given based on Lagrange interpolation formulae. Secondly it make use of the cubature formula on the triangle to construct cubature formulae on the correspondent spherical triangle.

通过把其定义域上的积分化为平面单纯形{u =(u1， u2， u3)： u1 + u2 + u3 = 1， u1， u2， u3〉0}上的积分，然后利用平面单纯形上数值积分公式给出其在球面三角形上的对d次齐次多项式精确成立的Gauss求积公式的构造方法。

Prange first began to study cyclic codes over finite field in 1957 and Berkelamp first began to investigate negacyclic codes over finite field in 1968,but the codes over finite rings didnt received much attention until the 1990s due to the works of Nechaev in 1991 and Hammons in 1994,which showed that well-known nonlinear codes such as Kerdock and Preparata codes are constructed from linear codes over finite rings.

Prange(1957)和Berkelamp(1968)分别首先开始研究有限域上的循环码和负循环码，直到上世纪90年代，Nechaev(1991)和Hammons(1994)通过有限环上的线性码构造出著名的非线性码如Kerdock码和Preparata码，有限环上的码才受到广泛关注。

We prove that in every induced locally compact 〓fuzzy topological groupthere exist at least one regular fuzzy set-valued Haar measure.We define the fuzzymeasurable group and prove that the fuzzy set-valued Haar measure in a fuzzymeasurable group is essentially unique.We also construct the fuzzy topologicalstructure on a group by the fuzzy set-valued measure such that make it a fuzzytopological group.

证明了诱导局部紧〓模糊拓扑群上存在模糊集值Haar测度，定义了模糊可测群，通过对模糊可测群的研究证明了诱导局部紧〓模糊拓扑群上的模糊集值Haar测度本质上的唯一性，并利用模糊可测群上的模糊集值测度构造了群上的模糊拓扑结构使之成为模糊拓扑群。

The problem of Lagrange interpolation of polynomial space in space Rs is studied,and the construction of Lagrange interpolation polynomial in space R1 and space R2 is proposed.

研究空间Rs 中多项式空间中的Lagrange插值问题。给出了R1和R2上Lagrange插值多项式的构造，同时，给出了R2上插值问题的几个例子。另外，给出了矩形网点上的Lagrange插值多项式和三角形网点上的Lagrange插值多项式。讨论了Rs空间中的Lagrange插值多项式及其余项

Southeast Asia ,being a part of the Circum－ Pacific tectono－ magmatic belt,is one of the most complex tectonically active regions since the Mesozoic.

东南亚地区地处西太平洋构造－岩浆活动带上，是中新生代以来地球岩石圈中最复杂的构造活动区之一，也是全球浅成低温热液金矿床的重要产区之一。

The Jiyang depression is characterized by a relatively high mantleheat flow value and a high ratio of mantle to surface heat flow. This thermal regime between tectonically active and stable areas is unique in comparison to any other basin in the world.

与世界上其他各类地质构造单元相比，济阳坳陷无论是地幔热流值或其与地表热流之比值都是比较高的，其深部地热状态具有介于稳定地区和构造活动区之间的特点。

The Qaidam Basin northwest reason located at the Qaidam Basin northeast, on the tectonic element belongs to the Qaidam Basin first-level tectonic element vast cliff to be hollow, the Cainozoic Era hollow stable growth, has deposited the great thick this time stratum, under dwarf Luo Tong, does Chai Gouzu to deposit up and down the heavy film hydrocarbon source rock.

柴西北缘位于柴达木盆地西北部，构造单元上属于柴达木盆地一级构造单元——茫崖凹陷，中新生代凹陷稳定发育，沉积了巨厚的这一时期地层，其中中下侏罗统、上下干柴沟组沉积厚层的烃源岩。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。