可约的

Sir John Chardin says42 that there is not a navigable river in Persia, except the Kur, which is at the extremity of the empire.

约翰·夏尔丹（1643 – 1713，法国珠宝商和旅行者，著有十卷本的《约翰·夏尔丹游记》）说在波斯除了流经其边界的库尔河，帝国之内没有一条可航行的河流。

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

And it shall be the token of the covenant.., and I will remember my covenant..

这就可作我与地立约的记号了。。。。。。

Thirdly, a new loop algebra x with 3 M dimensions is constructed by use of some properties of exterior algebra, which is devoted to establishing a new isospectral problem. As its application, a multi-component integrable system similar to the TC hierarchy is obtained, whose reduction case presents a multi-component KdV equation.

由此可设计出许多新的等谱问题，作为应用，本文得到了一个多分量的TC族，其可约化为多分量的KdV方程。

The M- radical of V is determined and a criterion for irreducibility of an admissble module for an arbitrary vertex operator superalgebra V is given.

设V是一个顶点算子超代数，M是一个可容许的V-模。刻划了V的M-根，并给出了一个可容许V-模不可约性的差别准则

It was popularly believed that Prester John had ordered all Christians to join him in a holy war against the infidels.

可当时的欧洲人却对此深信不疑，认为约翰和他的基督王国的存在是不争的事实。1415年后，葡萄牙的探险者曾去寻找这个传说中位于非洲海岸的基督王国，可一无所获。

On the region of rationality, what condition satisfies the integer polynomial only to have the reducibility?

摘要在有理数域上，满足什么条件的整系数多项式才具有可约性呢？

Unemphatic Joseph is the man we can rely on.

约塞夫是我们可信赖的人。

Results indicate:(1) The newly developed simulation technology can form fairly average and easily controllable back pressure downstream the inlet, so it can he used to investigate the back pressure characteristics of hypersonic inlets.(2) By regulating the valve of injection pipe, the simulation technology can realize the switch of hypersonic inlet started state and unstarted state in about 8 milliseconds, so it is suitable to investigate the starting/unstarting/resarting problem of hypersonic inlets.

结果表明：(1)所提出的凹腔喷流技术可在进气道下游形成较为均匀的、可控的背压环境，因此可用于进气道的反压特性研究；(2)适当调节凹腔的喷流总压，并在实验中实时控制阀门的开度，凹腔喷流技术能够在较短的风洞实验时间内（约8s）实现进气道起动、不起动、再起动流态之间的切换，因此可用于进气道的不起动／再起动特性研究。

The consequence of that mistake, as John Ioannidis of the University of Ioannina School of Medicine, in Greece, explained to the meeting, is that a lot of observational health studies—those that go trawling through databases, rather than relying on controlled experiments—cannot be reproduced by other researchers.

希腊约阿尼纳大学医学院的约翰。阿尼得士（John？？Ioannidis）在会上解释说这种误差的后果是诸多同类实验不能在其它实验室里得到复制，原因鉴于综合观测健康研究就像鱼网一样滤过资料，而没有依赖可控的对比试验病例。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。