可定义性

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

The quality of interior environment in nursing home residents will become one of the attention-getting subjects due to the gradual increase of aging populations This paper directs at the research of nursing home's interior environment factors in Tainan We use the standard of international practice to analyze the intrinsical data of environmental monitoring and establish the characteristics which from environmental physical reaction of nursing home The research items are air environments (PM10 CO CO2 formaldehyde TVOC) temperate environments and light environment (illumination average brightness daylight factor) etc There are the inductive conclusions of this research: 1 In basic medicine the clinical diagnosis means the theory and technique about physical examination with patients The definition of clinical diagnosis in architecture should be the diagnosis of building preserve and improve the feasible way to extend building's service life and assure the residents of the healthy quality of interior environment The object of clinical diagnosis in architecture is not only to ensure the use of structure and environment quality but also keep the structure and environment quality in sustainable; therefore creating an efficient system of preserving plan is needed 2 It is an accurate and technical circumstance which about improving remedying and reconstructing the problems of structure space This circumstance includes finding questions ensuring causation ascertaining ultimate strength evaluating environment quality estimating the necessary of restoration and implementing on a suitable way Furthermore when reconstructing and ameliorating the appearance of structure space it should be respected and the memories of it should be preserved 3 In clinical diagnosis of environment quality of space the question of physical environment and the deficiencies of structure must be separated The structure space of construction and the high quality of space should be inspected strictly then observed the crucial reason that can find out any invisible and hidden causes The diagnosis of construction is to observe the reason of destroyed structure The environmental diagnosis of indoor and outdoor is to find out the crucial reason that influences health 4 In order to decrease the iterant problems the construction and environment of space should be diagnosed However the destruction by natural strength and artificial using by human are important causes that can affect the service life of construction Searching the cause of disease just like curing the patient which includes inspection diagnosis cure and prevention We tested the thermal conductivity of siding material in this research and then found out the roof east vertical face and west vertical face have most radiant heat especially the construction of RC The characteristics of opaquely outer casing have relations with the thermal conductivity of wall to wiz the ability of heat insulation Therefore increasing the efficiency of heat insulation and decreasing the endoergic factor of insolation are very important to temperate environments

而随著国内老年人人口逐渐增加，逐渐迈向高龄化之同时，对於高龄者使用空间之室内环境品质相关议题之探讨，亦成为未来我们需加以关注之议题之一。主要为针对台南某安养中心室内环境因子进行检测调查工作，利用现场室内环境测定以取得有效的实测数据；再藉由汇整相关国际评估基准，并进行实测数据比对分析，建立老人安养中心对物理环境反应之特性。并以前期相关研究文献回顾与老人安养中心实测案例现场的实验，来了解不同空间物理环境特性之影响，并将结果回馈实际建筑及室内设计之用。调查工作项目包含：空气环境之PM10、CO、CO2、甲醛、TVOC；温热环境之室内温度、相对湿度、人体PMV、PPD；光环境之照度、均齐度、昼光率等因子调查。本研究结果可归纳以下几点结论： 1 所谓临床诊断医学乃相对於基础医学而言，是指实际与病人接触的医疗及护理行为中牵涉到的理论和技术；而建筑的临床诊断的定义应为建筑本体与室内外诊断、维护及改善所有可行的方式来延长建筑物的寿命，并确保人与室内环境空间品质的健康。建筑临床诊断目的为确保结构体与环境品质能继续使用，而能维持所需要的效能及承受能力。一个有效的维护计画体系是必须建立的 2 在建筑空间之问题改善、治疗与修复执行中，是一个精确与技术性的事项，其中包含找出问题、确定原因、评估结构应力强度、评估环境品质、评估修复与改善必要性、选择及执行一个适当的过程。其改善与修复也必须尊重建筑空间原有色彩与形貌，并保留原有记忆及文化。 3 在临床诊断中空间环境品质中，物理性环境问题与结构构件缺陷必须分别判断，诊断建筑空间之结构与空间舒适品质必须详细观察其症结性问题，才能发现任何隐藏及有潜伏性缺陷的原因。建筑本体诊断是观察出建筑本体之破坏原因，而是内外空间环境诊断目的在於的找出影响健康因素之症结性问题。 4 建筑本体与空间环境之预防评估目的为降低与抑制问题的再发生。然而，自然力的破坏与人为使用因素皆是影响建筑生命期之主要因素，找出病源问题就如同医生对病人的处理，包含了侦查、诊断、治疗以及预防。 5 本研究以外墙材料热传导率测试结果发现，屋面与东西向立面是承受辐射热最多的地方，尤以 RC 的建筑更甚，不透明部分的外壳能特性主要与壁体的热传透率即隔热能力有关，但是承受来自日射的吸热影响，因此增加隔热性能与降低日射吸热因子是对温热环境是非常重要的。

Firstly, this paper definited pseudometric d for n -foldproduct of σ-algebra A of subsets of a given set X , and definited indicator function ; secondly, gave the concept of differentiable of set function at S° and concept of partial derivative at S° with respect to the ith argument Si through indicator function, and defound the weak efficient solution of and optimality necessary condition; Finally, obtained three weak duality results and strong duality results under generalized convexity conditions.

首先，对已知集X的子集的σ-代数A的n-折积A^n，定义了伪度量d，给出了相应的特征函数〈h，Is〉；其次，通过特征函数给出了集函数在S 可微的定义及集函数在S 关于第i个变量Si的偏导数定义；给出了多目标规划问题的弱有效解概念及的最优性必要条件；最后，分别在目标函数和约束函数的3种较弱凸性条件下，研究n-集函数多目标规划问题的对偶问题，获得了3个弱对偶结果和强对偶结果。

Firstly, on the basis of analysis for development of industrial organization theory, the paper analyzes natural monopoly for electricity industry respectively from produce rule and determinant method, studying measure methods for monopoly degree for electricity generation market, analyzing quantitatively for natural monopoly output on the terms of cost subadditivity and analyzing current market structure for Chinese electricity industry with "Structure-Conduct-Performance" method of industrial organization theory.

在分析产业组织理论的发展动态的基础上，首先分别从生产规律特点和自然垄断的判定方法对电力产业进行自然垄断分析，研究了发电市场的垄断度的度量方法，依据成本劣可加性的定义对电力产业的自然垄断产出进行量化分析；同时按照产业组织理论的"S-C-P方法"分析了目前中国电力产业的市场结构。

This volume does not address the implementation of Subjectivist notions, but confines itself to the measurable, the rational, and the repeatable.

这本手册并不是讲述主观概念，而是定义在可行的理性的可复验性上的。

The definition of key constraints for XML and a sound and complete set of inference rules of absolute and relative key are given. An algorithm of solving candidate key for XML is presented, and validity, terminability and time complexity of that are proved.

给出XML键约束的完整定义以及绝对键和相对键的推理规则，提出多项式时间求解XML候选键的算法，并对算法的正确性、可终止性和时间复杂性进行了分析和证明。

Only a data field defined via CREATE can be manipulated portably.

只有一个由 CREATE 定义的资料栏位可以可移植性地操作。

Following from the results of sensitivity analysis of standard eigenvalue problems,the differentiability of semisimple multiple eigenvalues of nonsymmetric generalized eigenvalue problems is proved,and the derivatives of semisimple multiple eigenvalues and the series expansions of the corresponding eigenvectors are obtained.

以标准特征值问题灵敏度分析的有关结论为基础，证明了单参数非对称广义特征值问题半单重特征值的可微性，给出了特征值导数的表达式和特征向量的级数展开式。以所得结论为基础，定义了广义特征值问题半单重特征值的灵敏度，给出了确定矩阵对中敏感元素的方法

For preparing for the researches of text digital watermarking and advantaging other researchers" development when using the Chinese mathematical expression theory, this paper designs and realizes a development platform of Chinese mathematical expression. It has been proved by experiments that the platform"s function, execution speed and stability can satisfy the requirements of conversion and operation of enormous data.This research found out that the structure information of Chinese have plenty redundant information that can be used by the Chinese mathematical expression for the digital watermarking, the data embedded can possess better robustness. Based on this finding, this paper designs a kind of text digital watermarking method of embedding watermarking by using Chinese structure, and realizes the method by using the Chinese mathematical expression platform.Considering the watermarking embedding algorithms importance to the robustness of the text digital watermarking, this paper makes fully use of the advantage of the Chinese mathematical expression theory to design a kind of layered text method, which has being realized by using the Chinese mathematical expression platform. The layered text method can handle the text as a solid structure, and the embedding data havepreferable robustness.Finally, based on the researches of the text digital watermarking method and the text layered method, this paper integrates the method of making use of the Chinese structure embedding watermarking with the robust algorithm based on text layered, and realizes a brand-new text digital watermarking method. Proved by lots of experiments, this brand-new method has good robustness and better invisibility.

为了为研究工作做准备和方便其他使用汉字数学表达式理论体系的人进行开发，本文基于汉字数学表达式理论设计实现了一个汉字数学表达式平台，实现了Unicode汉字集中的汉字、汉字数学表达式、汉字的Unicode码之间的相互转化、依据汉字数学表达式提取汉字的结构信息、由汉字数学表达式在非中文平台上不依赖字库显示汉字的图像等功能，使用复合文档技术和流压缩技术进行数据的存储，使用对汉字数学表达式进行二叉树拆分来处理汉字数学表达式中包含的信息，使用自定义哈希函数来提高运行速度，实验证明，该平台功能、速度和稳定性完全能满足大量数据的转化和运算要求；通过研究表明汉字的结构信息中存在大量可使用汉字数学表达式理论加以利用的水印加载空间，加载在该空间的数据可以具有较好的鲁棒性，基于此，本文设计了一种利用汉字结构加载水印的文本数字水印方法，并使用汉字数学表达式平台将其实现；由于水印嵌入算法对于文本数字水印的鲁棒性至关重要，本文充分利用汉字数学表达式理论的优点，设计了一种文本分层的方法，并使用汉字数学表达式平台将其实现，使文本成为一个立体的空间，使嵌入在其中的数据具有更好的鲁棒性；最后在基于汉字数学表达式的文本数字水印嵌入方法的研究和基于汉字数学表达式的文本分层方法的研究的基础上，结合利用汉字结构嵌入水印的方法和基于文本分层的抗攻击文本水印嵌入算法实现了一种全新的文本数字水印方法，经实验证明，该方法有良好的鲁棒性和较好的隐蔽性。

This chapter proposes three conceptions, i.e., Kernelled quasidiferential, star-kernel and star-diferential, and establishes their operational properties. A sufficient theorem and a sufficent and necessity theorem for a quasi-kernel being a kernelled quasidiferential are proven. Both the existence of star-kernel for a quasidiferentiable function and the existence of star-differential for a direnction-ally diferentiable function are established.

在这一章里，首先给出核拟微分，星核与星微分的定义及其它们的运算性质；然后证明了拟核微分的一个充分条件定理及一个充要条件定理；最后讨(来源：A27BC论文网www.abclunwen.com)论拟可微函数星核的存在性及方向可微函数星微分的存在性以及Penot-微分与上下导数之间的关系。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。