可构造性

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 order to ensure the strict feasibility of the optimal solution, in the lower-level of program, the constraints are imposed on the confidence upper bounds of the structural responses by constructing the "bounding ellipsoid", which can be obtained efficiently by solving some convex LSDP problems.

对于下层优化问题，本论文构造定界椭球，通过求解凸的LSDP模型来得到结构最不利响应的一个严格上界，确保了鲁棒结构优化设计的可置信性。

However, unlike a pure functional language, it does not allow variable substitutability if the variable declaration contains construction of new nodes.

但是，与一个纯正的函数式语言不同的是，如果变量的声明中包含有新节点的构造式，它不支持变量的可替换性。）

Hypogene high thermal or deep source epi-mesothermal condition and it is not only stressed the mantle source simply but also the crust-mantle;②in order to guid ore exploration better the artificial classification of uranium deposits should be broken and uranium ore-forming system strengthened;③much attention should be paid to searching the diabase-hosted rich uranium ore in strongly argillized cataclastic zone;④attention should be paid to the influence of basement of volcanic basin on the uranium ore formation that should be undstood both in feeling and theoretically through the ore propect process;⑤relation of red basin with uranium ore formation can be made clear from analyzing tectonics, paleo-climate and time and it is not only theoretically important but also helpful to uranium ore prediction;⑥crypto explosive pipe is an uranium ore, rich uranium ore host structure and it is the next goal for uranium ore exploration in east China.

摘要文章论述了华东火山岩型铀矿找矿值得重视的地质问题：①铀成矿既可形成于浅源浅成低温条件，也可形成于深源深成高温或深源浅成中低温条件，在强调深源时，不是简单地认为是幔源就可以了，还必须强调壳幔作用的地质过程；②打破人为的&类型&划分，加强&铀成矿系统&的研究，更好地指导找矿；③研究基性脉体与铀成矿问题应注意构造、岩石矿物成分、成因、蚀变与成矿3大问题，注意寻找泥岩化作用强烈的破碎辉绿岩脉中的富铀矿；④火山盆地基底对铀成矿的作用主要是提供铀源，将基底对铀成矿的影响从感性认识推向理性认识，有效地指导找矿；⑤红盆与铀成矿关系可以从构造、古气候及时间分析研究中得出结论，它不仅仅是一个理论问题，而且有助于铀成矿预测；⑥隐爆角砾岩筒是铀成矿、成富矿的重要储矿构造，是华东火山岩型铀矿找矿的新领域。

Reduction of ovule number as a tendency of speciation in the genus is substantiated by the occurrence of tri_ovulate cones coupled with comprehensive characters of the genus. The metamorphic patterns as well as the leaf nature of the outer envelope indicate that female cones of Ephedra are compound while the female reproductive units of the ovulate cone have been reduced from secondary reproductive shoots similar to those of cordaites by phylogenetic transformation, fusion and reduction. Each fertile bract together with its axillary female reproductive unit composed the Bract Scale and Seed Scale Complex of Ephedra .

基于返祖性畸形三胚珠球花的出现及其他形态特征，认为麻黄属胚珠数目减少是该属内物种特化的一个趋势；利用雌球花发育的畸形现象及外珠被的形态学本质提出麻黄属的雌球果为复轴性构造，雌性生殖单位是由类似于科达类的次级生殖枝构造经系统发育变态、融合、简化成现存的生胚珠构造式样，每一可育苞片及其腋内雌性生殖单位共同组成了麻黄属的苞鳞_种鳞复合体。

The methods of theory analyses and digital simulation have been used in this thesis and several schemes of strapdown guidance law based on analyzing the performance of several classical guidance laws have also been present according to the characteristics of strapdown Anti-Radiation homing seeker. The stapdown guidance systems were built for a certain Anti-Radiation missile, adopting acceleration autopilot and the attitude autopilot, and the paper has focus on analyzing the performance of low frequency strapdown Anti-Radiation homing seeker. The Approaches of lead correction and dead-zone relay control were given to improve the guidance precision, and also the increasable observability law was attempt and validate.

本文采用理论分析和仿真实验相结合的方法，在对经典制导律进行理论分析和验证的基础上，针对捷联反辐射导引头的特点，提出了捷联制导律多种设计方案，并以某型反辐射导弹为应用背景，分别采用姿态角反馈自动驾驶仪和过载反馈自动驾驶仪构造了捷联制导系统，重点基于反辐射导引头的低频端特性，开展了捷联制导律的导引性能对比分析工作，提出了应用超前校正和带死区继电控制提高制导精度的方法，并对提高可观测性的捷联制导算法的实现思路进行了尝试和验证。

By presupposing the system uncertainties satisfying certain matching conditions, a sliding-mode switching manifold and a SMC law are proposed, which are invariable to the structural uncertainties and possess the parameters without stochastic noise. Then, the accessibility of the sliding mode and the stability of the closed-loop system are analyzed, and some necessary conditions are further obtained to select the parameters for the SMC law.

在系统的不确定性满足一定匹配条件的情况下，构造了对不确定性具有不变性以及参数不含噪声激励的滑模切换流形和变结构滑模控制律，分析和证明了滑模的可达性和闭环系统的稳定性，并给出了滑模控制律的参数选择条件。

The study provided 2 kinds of finish systems which were pouring and anchoring rock-wool panel respectively. In general, galvanizing steel-meshwork using machine anchor can use all kinds of Rock-wool panel made in China. The interface mortar used in Rock-wool can prevent worker's hand from hurting and improve the water-proof capability and bonding intensity of rock-wool panel. The low-heat conductivity of polystyrene foaming granule paste improved the integer and anti-crack of system. The 2 kinds of rock-wool system all can resolve the current rock-wool panel applied difficulty in outer-wall external thermal insulation.

研究提出了现浇和锚固岩棉板2种涂料饰面构造做法，其中采用机械锚固热镀锌钢网施工可充分利用国产各类型岩棉板；岩棉板的界面砂浆处理可起到防止岩棉纤维扎手、增强岩棉板的防水性能和提高岩棉板与找平层的粘结强度的作用；聚苯颗粒的低导热系数过渡层提高了系统的整体性和抗裂性。2种构造做法经试验和工程试点证明均可解决目前国内岩棉难以应用在外墙外保温系统中的技术问题，具有优异防火性能的岩棉外保温系统可应用于任何类型的建筑中，在高层建筑和防火要求高的建筑中其优势更为明显。

The study provided 2 kinds of finish systems which were pouring and anchoring rock-wool panel respectively. In general, galvanizing steel-meshwork using machine anchor can use all kinds of Rock-wool panel made in China. The interface mortar used in Rock-wool can prevent worker's hand from hurting and improve the water-proof capability and bonding intensity of rock-wool panel. The low-heat conductivity of polystyrene foaming granule paste improved the integer and anti-crack of system. The 2 kinds of rock-wool system all can resolve the current rock-wool panel applied difficulty in outer-wall external thermal insulation. The rock-wool external thermal insulation which has very nice fire-proof capability can apply any kinds of builds, especially high-rise buildings.

研究提出了现浇和锚固岩棉板2种涂料饰面构造做法，其中采用机械锚固热镀锌钢网施工可充分利用国产各类型岩棉板；岩棉板的界面砂浆处理可起到防止岩棉纤维扎手、增强岩棉板的防水性能和提高岩棉板与找平层的粘结强度的作用；聚苯颗粒的低导热系数过渡层提高了系统的整体性和抗裂性。2种构造做法经试验和工程试点证明均可解决目前国内岩棉难以应用在外墙外保温系统中的技术问题，具有优异防火性能的岩棉外保温系统可应用于任何类型的建筑中，在高层建筑和防火要求高的建筑中其优势更为明显。

Therefore, present evaluation methods of rock drillability can not be applied to predict rock drillability of wildcat well before drilling.

因此，在相似构造选择的基础上，提出了一种对野猫井岩石可钻性进行钻前预测的方法。

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万英镑骗了个精光。