查询词典 correctness

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

Alone with them, and based on the conception of time interval, and the Function Net, a rule for correctness is present, which correctness is also proved.

提出了活动状态、前序后继活动以及工作流实例状态、状态转换及状态转换图的定义和工作流运行重配置结构和数据正确性规则，在此基础上提出了进行工作流运行重配置的理论基础，形式化描述了一个完备最小的工作流模型修改操作集合WMOL，并给出了这些操作可以进行的时机。

With these discussions, the author concludes that given the complexity and contradiction of the architecture discipline, it is true that we may find it impossible to make a definite 'pro' or 'con' on structural correctness. But with its inherent resonance to high-resource-effiency and sustainability, structural correctness is not at all a non-sequitur in contemporary architectural critique.

作者认为，虽然建筑学本身的复杂与矛盾使我们不可能对结构正确性采取简单的肯定或否定态度，但结构正确性在资源有效性和可持续发展方面的积极意义，却使我们必须在当今的建筑学讨论中给它以一席之地。

Through the conductor self damping measurements verified the rationality of improved formula for calculating transmission line self damping; through the damping tests of stockbridge damper is installed in different location, indirectly verified the correctness of the location optimized calculation of the stockbridge damper; through the damping test of wire dampers, the correctness of damping energy calculated theory of wire dampers are proved.

通过输电线自阻尼测试试验，验证了改进后输电线自阻尼计算公式的合理性；通过防振锤不同安装位置时的消振试验，间接验证了优化后的防振锤安装位置计算方法的科学性；通过阻尼线的消振试验，证明了阻尼线耗能计算理论的正确性。

The results indicate that eye scanpaths during imagery phase reenacted those of perception; consistency between eye movements during imagery and perception influenced the correctness of imagery;restricted eye movements during imagery decreased correctness of recall.In experiment 2,eye movements were recorded in the same condition with experiment 1 but prevented rehearsal before imagery.

实验一研究了视知觉条件下表象建构的眼动特征，发现在允许自由眼动的条件下，表象阶段重复了知觉阶段的眼动扫描路径；知觉阶段与表象阶段眼动的一致性影响了表象的正确性；对表象阶段眼动的限制导致表象的正确性显著下降。

The correctness of logic theory is one of the most important factors in relay protection. This paper validate the testing function of medium and low voltage line protection through the relay protection testing system based on virtual instrument developed by ourselves, so as to make the validation of the correctness of logic theory be independent of the relay protection devices'software and hardware.

保护逻辑原理的正确性是继电保护能可靠动作的重要因素之一，本文采用自行研制的基于虚拟仪器的继电保护测试系统对中低压线路保护测控功能进行了验证，确保保护逻辑原理的正误与微机继电保护装置软硬件无关。

Firstly, after the analysis on probability distribution of GenCos' bidding results, a concept of bid acceptance probability distribution function of GenCos is proposed; then based on the features of bidding structure in day-ahead and real-time markets, a multi-objective bi-level programming bidding strategy model in day-ahead and real-time markets for GenCos is built for electricity markets in which the step-wise bidding function and pay-as-bid settlement protocols are utilized; and then in order to solve the proposed model an algorithm based on Monte Carlo method and genetic algorithm is designed; finally, the simulation of numerical examples are performed to verify the correctness of the proposed model and algorithm.

首先在分析了发电商竞价结果的概率分布之后，提出了发电商竞价成功概率分布函数的概念。然后基于日前和实时市场中投标结构的特点，针对采用分段报价和按报价结算(pay as bid price，PAB)方式的电力市场，建立了日前和实时市场中发电商的多目标二层规划竞价策略模型，并设计了以蒙特卡罗方法和遗传算法为基础的求解算法。最后采用算例对所提出的模型和算法进行了仿真验证。

The correctness of the accounting entry is proved by two methods.

此外，本文对美国在合并会计方面的相关制度规定及演变历程进行了总结与分析。

Although ABC attempts to ensure the integrity and accurateness of the Site, it makes no guarantees whatsoever as to the correctness or accuracy of the Site.

虽然中国试图确保信息的完整性和准确性的网站，它没有什么作为保证的正确性或准确性网站。

The measuring principle and structure of the 3D coordinates on the object with a single camera is introduced in brief, then the computing process to conquer the new model is also given in detail, and at last large scale experiments are conducted to verify the correctness and accurateness of the new model.

文中简要介绍了利用单摄像机测量目标三维坐标的工作原理与系统结构，给出了求解新模型的详细计算过程，并通过大量的实验来验证了新模型的正确性与有效性。

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了