不能满足要求

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

It can be concluded from the above analysis that at the beginning of language, simple linguistic signs, coming from sound imitation, natural exclamation and morphological stimulation, took a strong feature of iconicity, while arbitrariness still existed to a little extent. With time going by, the primitives had to create more linguistic signs to meet their needs of survival and development, so that they arbitrarily related the sound patterns and concepts to conventionalize them as linguistic signs adopted in the whole society. During this period of time, arbitrariness played a more important role, while iconicity still worked as phenomena of phonaesthesia designate. With society developing, human beings found that it was not enough to create new signs at will, so they began to make use of some principles like compound, derivation, etc. to form new linguistic signs, either simple or complex. The linguistic signs formed during this period of time always took a better disguise to be iconic, while no one until now could defuse the contributions of arbitrariness of their formation. From the above investigations, it can be seen that arbitrariness and iconicity interact in the whole process of language development at the level of lexicon. If there were no arbitrariness, human language could not expand at the very beginning.

因此可做如下推论：在语言产生之初，简单语言符号的产生常常都是有理据的、象似的，但是仍不排除任意性的作用；后来有理据的词无法满足人们生存和发展的要求，人们开始任意地连接声音形象和概念，并约定俗成获得语言符号，此时任意性起主导作用，但是象似性在音义关系中对语言符号的产生起着不可否认的作用；随着社会的发展，人们发现这些词已经不再能满足需要，而创造更多的词也不是很可能，所以人们开始采用一些构词法来创造新的语言符号，此时产生的语言符号往往更具象似性，但其核心仍然是任意的。

The basic characteristics of the whole process were gained. When the seedling falling out of the tube feet, the difference of the time interval between 2 neighboring seedlings wasn't notable, and the difference of the time interval of 2 neighboring seedlings wasn't notable and the agricultural time was not special notable. These results showed that the uniformity of the pneumatic ordered throwing transplantation was excellent and could meet the demands from design and agriculture; Upstanding state was primary as the seedling falling out of the tube feet, it showed that the seedling could keep erective preferably when the seedling falling to the field.

结果表明：钵体苗从导苗管管脚中落出时，相邻2株钵体苗落出时的时间间隔差异不显著，从左中右3个管脚落山的相邻2株钵体苗的时间间隔与农艺要求的时间差异极不显著，说明气力有序抛秧均匀性好，能满足设计要求和农艺要求；钵体苗从导苗管管脚落出时以直立状态为主，表明气力有序抛秧的钵体苗落入田间时能较好地保持直立。

For customer s requirements oriented designing, traditional GIS software meet more and more irresolvable problems, can neither completely meet the demands of applications, nor keep pace with the mainstream of software technologies, and all of these make it affront much more challenge.

但传统的GIS在需要按照客户的要求定制时，面临越来越多不能解决的难题，不能完全满足GIS应用的需求，也不符合软件技术发展的潮流，在许多方面面临严峻的挑战。

When you're not enjoying all kinds of water sports, you can take a walk on the Oceanside Pier, one of the longest over-water ocean piers in the United States.

酒店不能保证能满足客人所有的特殊要求，亦有可能因为这些要求向客人收取额外的费用。

Although so,the research on weakening completeness axiomof preference relation is hardly found in touchable references.

主要集中于对Von Neumann-Morgenstern的独立性公理假设和偏好关系传递性假设方面的弱化，比如不要求独立性和传递性等，从而使新的行为公理假设既能够满足实际中人们的选择行为，同时又能满足规范理论的要求。

A kind of biostack,sandwiched silkworm eggs and CR-39 plastic nuclear track detectors,was designed forrecording the high atomic number and high energyparticles from the cosmic ray andtheir biological effect.

试验表明，生物叠中被重粒子击中的蚕卵孵化率略高于未被击中的蚕卵孵化率，虽因样本量少不能满足统计学要求，但其趋势与国外报导的某些试验结果相一致。

It does not apply thin shell analysis ,but also apply middle-thick sheet analysis ,and it is easy to achieve transition with 3-dimension solid element .

对于复杂形状的中厚板件拉深，在凹模圆角处单元的弯曲效应明显，不能满足薄壳假设的基本要求。

However, with the continuous development of the Internet, traditional web application is gradually not able to satisfy web user with higher and omnidirectional experience requirement.

但随着近年来Internet的不断发展，传统的Web应用程序渐渐不能满足Web浏览者更高的、全方位的体验要求了。

There are theories which can account for the orienting feats of honeybees and migrating birds, but an ability to orient on a compass course is not enough for navigation in the proper sense .

解释蜜蜂和迁移鸟类的惊人的确定方向本领的各种理论并不缺乏，但是，若就导航一词的本意而言，那么根据罗经航向确定方向的能力，尚不能满足导航的要求。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。