可执行性

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 的建筑更甚，不透明部分的外壳能特性主要与壁体的热传透率即隔热能力有关，但是承受来自日射的吸热影响，因此增加隔热性能与降低日射吸热因子是对温热环境是非常重要的。

Because the DCOM have got to carry out the function superior, load equilibrium, safety, protocol irrelevant, permit the mistake, module to use with many times , expandible , haleness of the edition develop, position independent, the irrelevant of language and so on, the numerous advantage, and that make use of the DCOM can become the thin customer to carry, and the customer carry to only need to have a customer application to carry out and only need to have a midas.dll, and copy a soft disk these two applications.

由于DCOM有着执行性能优越、负载平衡、安全性、协议无关性、容错性、组件和复用、可扩展性、健壮的版本发展、位置独立性、语言无关性等众多的优点，而且利用DCOM可以形成廋客户端，客户端只需有一个客户端应用程序和一个midas.dll即可运行，将这两个程序拷贝到一张软盘即可。

Many IP based SOC design approaches focus on mapping an application onto a previously designed complex SOC architecture built from an existing IP by configuring and extending the architecture, representing a configure and execute methodology.

这种方法是从一个预设计的参数化SOC体系结构出发，以参数化的IP核为组件，通过编写代码、设置参数的方式，对可编程的IP核进行配置以实现设计，通过模拟器仿真执行以完成功能验证，最后产生物理芯片。由于IP核的多样性及其可优化参数的矛盾性，使得SOC的设计空间极其复杂。

The mCIMT therapy improved movement performance of the affected hand, bimanual coordination, and energy efficiency immediately and one month after therapy.

减量的修正局限诱发动作疗法，可改善痉挛型脑性麻痹儿童劣势侧上肢的动作及双手协调等，且疗效可持续一段时间；此外，也可改善执行动作的效能。

Furthermore, three kinds of conflict events,"fulfill positive obligation","violate uncompulsory obligation" and "violate compulsory obligation" were best predictors of parent-child relation after conflict.

研究二以开放式问卷搜集65位大学生的亲子冲突经验，308笔的质性资料经内容分析后显示，以义务观点为基础而建构的冲突事件之分类实存於生活中；另外，将冲突事件分为父母「执行积极义务」、「违反非强制义务」及「违反强制义务」三类最具简约性，且可有效预测冲突后的亲子关系变化。

Now consider a theory of perception according to which we have direct perceptual access to ordinary objects and to many ordinary properties (properties of external objects, not sense-data, etc.). In fact, as we saw above in the analogous case of "outside-a-room scepticism," we have to make this assumption if we are to have unproblematic access to things in the counter-domain. In such a case, and in contrast to the case of house arrest, the Humean argument does apply and does, apparently, go through.

现在考虑一个感知理论，据其我们直接感知性可达常识对象和可达许多常识属性（——关于外在对象的属性，而不是感觉材料的，等），事实上，如我们上面看到的，在屋外怀疑论的类似情况中，如果我们要不成问题地可达在反区域的事物，我们不得不做这个预设，而在这样的情况中，和屋子情况比较，Hume式论证显然被使用和执行。

This dissertation lucubrates the architecture of ATS, hierarchical structure and resource models of testing software and the physical structure of hardware.

主要成果是：（1）研究了 ATS 执行机制，首次提出了基于虚拟仪器测试引擎的开放式 ATS 体系结构，从根本上实现了 ATS 硬件无关性和测试代码重用性；（2）研究了采用 IVI、IVI-MSS 和组件技术实现 ATS 仪器互换性的技术与方法，对实现 ATS 网络化奠定了基础；（3）研究开发了测试流程描述语言及相关仪器描述模型、开关矩阵描述模型、测试适配器描述模型，实现了测试软件的结构化和模块化，使大型复杂武器装备测试系统的开发与维护效率大大提高；（4）研究了与 ATS 体系结构相适应的硬件物理结构，该结构实现了 ATS 的通用性、开放性和可扩展性。

Check against the list of key pieces required for fun: preparation for a challenge mattering, territory/environment mattering, choices in how to solve a problem, variations in the nature of the challenge, risk to loss, skill in execution, no bottom-feeding, and multiple possible success states.

检查游戏乐趣所需要的重要内容：为迎接挑战而做的预备；领土/环境问题；解决问题的多种选择；挑战的变化；失败的风险；执行的技巧；no bottom-feeding，以及多样的可选性成就。

RIAs do not look all the same, but in order to availability, I think we need to target on how to show the way become enforceable action on the line.

所有的RIAs看起来并不一样，但是为了可用性，我想我们需要将目标放在如何让显示可执行动作的方式变得一致上。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷