查询词典 defining

After deeply analyzing the universally composable security, we defined the level of different ideal functionalities for the same cryptographic task, and pointed out the rationality in defining the levels of ideal functionalities.

针对以上问题，在对任意组合安全理论进行深入分析后，本文给出了同一密码原语不同理想功能之间安全等级的定义，并说明了这种定义的合理性，从而刻画了同一密码原语的不同理想功能之间的关系。

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

This theory system is guided by the logic of "labor-value-distribution" gradually, as follows: on the basis of defining creative labor and dealing with coherent issues, this thesis divided the generalized creative labor into concentric circle centered on the inner region of creative labor.

该理论体系是沿着"劳动——价值决定与价值构成——价值分配或产品分配"的逻辑步步推进的。具体表现为：在创造性的界定创意劳动概念以及完成一系列相关问题的基础上，本文按照现实中创意产业的具体特征，将广义创意劳动划分为一个以核心层创意劳动为圆心的圈层结构。

To meet the needs of CAD/CAPP concurrent designing in Computer Aided Concurrent Engineering. This paper investigates the key of integration system designing. The representation scheme for defining and operating form feature based on manufacture, the protrusion form feature exchanging and the UI of the system with a manufacture enviroment are presented. And also an OODM—UIMS developed by the author is introduced. The concurrent design of CAD/CAPP is the bottleneck in integrating process.

本文根据并行工程的要求，从构造基于并行、面向特征的CAD/CAM集成系统的思想出发，对系统的模式设计、基于加工的零件参数化特征描述、凸起形状特征的转换处理及具有加工环境的系统交互界面及面向对象的交互界面管理系统的设计与开发等关键技术进行了深入的研究，形成了系统的思想理论和方法。

On defining the conditional threshold of discretized density evolution, a method for designing the time-invariant quantized decoder with finite levels, which can approach the optimal time-varying one and hence the continuous decoding, is proposed.

应用Shannon率失真理论以及密度进化理论，阐述了最佳量化译码的时变特性，建立了离散密度进化的条件阈值概念，提出了二元输入对称信道上逼近最佳时变量化译码、进而接近连续译码的时不变量化译码设计方法，推导了量化和积算法与最小和算法的等价条件，从误码率性能、错误平层和平均迭代次数等三个指标全面衡量量化译码性能； 5。

In this paper we propose an approach to augment the algorithm described before to improve their performance by defining the conditional probability distribution of different composition of continuous and discrete attributes, and implement these new modified algorithms in Weka. To reduce the storage complexity of the AODE algorithm, we used the selective ensemble method to modify it.

在本文中我们提出了通过有效地定义条件概率分布来改善基于朴素贝叶斯分类器的改进算法的性能的方法，并在Weka的框架下实现了我们提出的改进算法，同时考虑到AODE算法较高的空间复杂度，我们利用选择性集成的思想对AODE算法进行了改进，以降低其存储空间复杂度。

It serves as an important basis for defining specialties, for the admission and training of postgraduates, and for degree conferment.

它是确定专业的重要依据，并为培养研究生入学，并颁授学位。

On the basis of defining the connation of energy finance, this paper analyzes the main issues and train of thoughts in the field of energy finance, and shows that the research of energy finance at present should be set off from three aspects: the finance security, risk prevention and the management method of energy industry; the financial policies of independent innovation and the policy guarantee system; the

论文在对能源金融的内涵进行界定的基础上，就能源金融领域研究的主要问题及研究思路进行了分析。笔者认为，目前我国能源金融的研究应从三个方面开展。

Enough. Microsoft has implemented this by defining connectable objects.

足够的。微软实施这个定义连接对象。

There is still a serious problem with defining a variable to represent a constant value.

定义一个变量代表某一常数的方法仍然有一个严重的问题。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。