查询词典 based on

Our contributions can be summarized as follows: proof of security for ID-based signature schemes, design of ID-based signature schemes, and exploration of universally composable security for forward-secure signatures.

本文的主要研究内容包括基于身份数字签名体制的安全性证明与设计，以及前向安全数字签名的任意组合安全性研究。

Based on a component model of application system in which three types of the basic components are discussed, this paper first focuses on the "semantic" interoperability among components, and presents a Primitive-Semantic component constructing method through a semantic model to deal with the semantic interoperability while the communication protocol among components doesn't exist. It then presents a composable Distributed Virtual Reality Component-Based Architecture, including its key mechanism and algorithms.

指出分布式虚拟现实系统中存在的3种基本构件；重点讨论构件的"语义"互操作问题，通过建立构件的语义模型，提出一种原语-语义构件的构件构造方法，该方法可以解决不存在通信协议情况下的构件之间"语义"互操作问题；给出一种支持可组装的分布式虚拟现实应用系统的基于构件的体系结构以及其中的核心机制和算法。

We discuss the serial M-ary multisensor decentralized data fusion based on Neyman-Pearson principle, especially on multiscale hypothesis test based on composite hypothesis.

建立了基于Neyman-Pearson准则的串行M元多传感器数据融合和复合假设测试的定义和统计特性标准，引入了基于复合假设测试的多尺度假设测试。

On the basis of this model and a cycles-based model of fatigue strength degradation for composite laminates, a probability distribution model of fatigue strength degradation, which is based on the ratio of initial stiffness to residual stiffness, for composite laminates was derived and a methodology was given for determination of the parameters in the model.

本文从唯象学的观点提出了一个复合材料疲劳剩余刚度衰退模型，根据该模型导出了基于疲劳剩余刚度比的复合材料层合板疲劳剩余强度概率分布模型，给出了确定该模型中各参数的计算方法。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

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

Based on the intellectual capital theory and core competence theory, this paper has analyzed the composition of the intellectual capital of scientific research institution. Depend on the generally model of core competence, this paper propose the core competence model based on the intellectual capital of scientific research institution.

本文在对智力资本和核心竞争力理论进行研究的基础上，分析了科研机构智力资本的构成，借鉴核心竞争力的一般形成模型，提出了建立基于智力资本的科研机构核心竞争力的模型。

It is based on a knowledge base with an object oriented structure on the server side and a compound document agent-based user interface on the client side.

它基于一个知识库，其服务器端具有面向对象的结构，客户机端具有基于复合文档代理的用户界面。

This chapter tries to solve the following issues:as theconscious awareness of law-makers,the penalty-crimerelationship determines how to make law;as the form ofideas,the penalty-crime relationship regulates and guidesthe process of law-making and judicature;penalty andcrime as provided by law is nothing but the model for thepenalty-crime relationship presupposed and defined bylawmakers;the presupposition and definition of thepenalty-crime relationship is the value-based evaluativeactivity on the grounds of cognition;the change invalue-based criteria and the inherent contradiction of theobjective to beevaluated is the fundamental precondition for the definitionof the penalty-crime relationship;the change in classcontradiction is the basic cause for the change inevaluative criteria;the change in the objective to theevaluated reflects the demands and interests of the rulingclass to a certain extent,and lastly;as the evaluativeform of negating crime,penalty and its effectiveness dependheavily on the unity of compulsiveness and justice.

文章论述了刑罪关系作为立法者的自觉意识决定着刑事立法；刑罪关系作为观念的形式，规束并引导着立法和司法，法律中规定的犯罪与刑罚，是立法者设定的刑罪关系范式；刑罪关系的设定是以认识为基础的价值评价活动，价值标准的变动性和评价对象的内在矛盾性，是刑罪关系设立的根本前提，指出了阶级矛盾的变化是导致评价标准不确定的根本原因；评价对象的转移，在一定程度上反映出统治阶级利益的需要。刑罚作为对犯罪否定评价的方式，其有效性在于强制性与正义性的统一。

And in 90's, it was server based computing, which was Internet based kind of computation model.

和90年代，它是基于服务器的计算，这是基于互联网的一种计算模型。

This immediately brings us to the next part of this article: creating an output "replace function".

下面进入文章的第二部分：建立一个"缓存处理函数"。

He was elected as an International Ornithological Committee member in 2002 during the 24th IOC held in Beijing.

现为中国鸟类学会理事和WPA 专家组成员。2002年被推选为国际鸟类委员会委员。