无构造的

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 this paper, we construct the differential equation to solve the unconstrained optimization problem. Such methods solving the ill-conditioned problems are very effective. It indicates that the asymptotically stable region of explicit the Euler method to solve the differential equation equals to the descent region of the gradient method to solve the original unconstrained optimization problem.

我们发现，在用Euler方法求解二次优化问题的等价动力系统的方程时，由方法的步长确定的稳定区域对应于这些方法所得到的迭代公式的步长满足单调下降算法的条件确定的单调下降区域，因此我们可以利用这个性质构造解无约束优化问题的数值方法而不采用标准的常微分方程的数值求解公式。

Based on this, a new WENO difference scheme which based on Dispersion-Relation-Preserving relation is developed, and representative test cases with this scheme for computational aeroacoustics problems has been implemented and compared in order to test capability of wave capturing; In addition, WENO schemes generally do not converge at high order in the presence of contact discontinuity of Euler equations, so a conservative front tracking technique coupling WENO schemes and Level Set method to simulate the translating density profile is presented here, and numerical simulation with this technique for representative test case has been implemented and results show the desired accuracy.

本文研究了高阶精度加权基本无振荡格式及其在双曲守恒律方程中的应用，在此基础上作了两个方面的工作：一是针对高频声波问题构造出一种基于保色散关系的WENO有限差分格式，并对计算气动声学问题的代表性算例进行了大量数值实验，比较了该格式捕捉波数的能力；另外，针对高阶WENO格式在处理Euler方程的接触间断时精度有所降低的问题，研究了利用界面追踪技术Level Set方法和高阶激波捕捉WENO格式相结合的一种守恒追踪方法，并且给出有代表性的密度滑移面问题的算例，得到一致高阶精度的数值模拟结果。

In the series works, such as Sun Birds and Moon Snake, all the objects are simple and condensable. In general, without description of detail, these works put more emphasis on the whole grasp and the inner conformation and spirit of the objects. Such action is consistent with the abstract art's spirit which seeks for "no objects painting".

在《太阳鸟》和《月亮蛇》等系列的作品中，物象都呈现出简约概括的特质，通常都不作细部的刻画，而是强调以少胜多的整体把握和物象的内在构造和精神，实际上这与作为&无物象绘画&的抽象艺术的精神是正相契合的。

This method consists of two steps: first, the image is divided into numbers of nonoverlapping blocks and the GMRF parameters are computed for each of these blocks, then a clustering method is used to merge these blocks, a coarse segmentation and texture types of the image are obtained. Second, a deterministic relaxation neural network is constructed, the parameters of the model estimated from the first step are used as input data, through neural network computation, a fine segmentation is obtained.

提出一种基于高斯-马尔可夫随机场和神经网络的无监督纹理分割方法，方法分为两步：第一步先将图像分为不重叠的小块，在小块中计算GMRF参数，并将此参数和该块的均值、方差作为该块的特征向量，然后进行聚类，得到原图像的一个初始分割和图像中所包含的类别数；第二步构造一个决定性松弛的神经网络，将第一步得到的结果作为初始输入，经过神经网络计算，得到一个精确的分割结果。

In order to overcome the difficulty in estimating the ripple component on dc-side capacitor reference voltage, the modified control algorithm is proposed by ignoring the ripple component. Furthermore, the relation between control performance and damping coefficient is researched. In addition, the reasons of voltage source converter inner-loop control overmodulation are also analyzed. Based on the relation between control performance and VSC inner-loop input saturation, damping coefficient is adjusted on-line by fuzzy logic reasoning so that the trade-off between control accuracy and limitation of VSC inner-loop control overmodulation is solved preferably.

由于在线计算直流电容指令电压波动量十分困难，在控制方法的执行中忽略波动量的影响，简化了控制方法的实现；此外，该方法还研究了所注入的阻尼大小对控制效果的影响以及APF内层控制过调制产生的原因，针对无源性控制律跟踪精度的要求与内层控制过调制限幅条件间的矛盾，通过构造模糊逻辑推理环节实现阻尼系数的在线调整，在满足内层控制限幅条件下确保跟踪精度和补偿效果。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。