formalizes

Using the concepts of set , the paper formalizes composite structures .

本文应用集合概念，对刚、铰组合结构进行了形式化描述；

The new structure formalizes the different initiatives under a portfolio-like approach .

现在这个新的架构，则以类似于投资组合的方式，正式确定了不同业务的地位。

In addition , this paper formalizes the adaptation problem .

另外本文还对覆盖网的形式化描述和自适应问题进行了探索。

This paper formalizes analysis patterns with RAISE .

本文利用形式化方法RAISE对分析模式进行形式化。

Feeling in literature originates from and formalizes the general feeling in life .

文学中的感受源于一般的生活感受，它是生活感受的形式化；

Modeling formalizes and hence facilitates the consistency of their communication .

建模形成了自然也就有助于他们交流的一致性。

An algorithmic theory of stack formalizes properties of relational systems of stack .

栈的算法理论是栈的关系系统的特定性质。

This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network .

同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。

MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system .

MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。

CSPDL-a software process language described in this thesis formalizes the process specification by both graph and textual XML .

本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。

This formalizes his ascent to the top post .

这促使他升到最高职位。

The paper first formalizes some concepts such as employment , and expatiates theoretical analysis how the finance and taxation policy promotes Employment .

文章首先提出了就业等相关概念，阐述了财税政策介入促进就业的理论分析。

Firstly , summarize the AO View Graph that describes the relationship of the views and formalizes the concept and involved cost model .

首先对描述视图关系的AOViewGraph模型进行了概要的介绍，并对其中所涉及的重要概念和代价模型进行形式化工作。

In the inner store model , this article puts forward to the multi-layers component model based on sharing the resource library and formalizes this model .

在内部存储结构中，本文提出了基于多层结构的共享资源库的构件存储模型，并用形式化的语言表述了该模型。

The works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms .

作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。

The API formalizes the distinction between absolute and relative times , requiring the caller to specify the type .

hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。

Principle vegetates out of cases , and formalizes from law theory . Thus , it depends on a sort of practice ration .

原则生成于个案当中，形式化于法学理论之上，它所依凭的是一种实践理性。

Finally , it formalizes the execution semantics of BPMN elements , which helps to interpret BPMN process models unambiguously .

最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。

In particular , SOAP formalizes the exchange of information written in XML , and WSDL describes the SOAP details in an XML vocabulary .

特别是，SOAP使XML所编写信息的交换规范化，WSDL使用XML词汇描述SOAP的细节。

Under the restriction of geographic information domain ontology , it formalizes GIS Services according OWL-S , establishes foundations for Web services discovery and composition .

在地理信息领域本体的约束下，通过OWL-S对GISWebServices进行形式化语义表达，为服务的自动发现、组合奠定了基础。

This paper formalizes the HTTP Digest authentication protocol in SIP networks with BAN logic , and ratiocinates on the process of authentication .

本文采用BAN逻辑对SIP网络中采用的HTTPDigest认证协议进行形式化，并对其认证过程进行逻辑推导。

This paper formalizes a product structure with related characteristics based on AND / OR tree , and shows that the employment of this formalization can achieve a more flexible BOM design .

形式化定义和描述了一种基于与或树的产品结构及其相关特性，基于该结构的BOM设计具有更好的产品配置柔性。

The article expatiates the topological architecture of a VOD system based on cooperative cache , designs the static schedule and dynamic migration method in detail , and formalizes the design .

该文阐述了基于协作缓存的视频点播系统的拓扑结构，对静态调度和动态迁移进行了详细设计，并给出了相应的形式化表示。

Certification formalizes the QA process prior to physically publishing the service as being enterprise ready with an assured quality of service and a full and complete set of support materials .

认证要正式地完成QA过程，然后才能向整个企业发布服务，这样就可以确保服务的质量并提供完整的支持资料。

Presents a new recommendation framework based on customer shopping model . This framework formalizes the re ￣ commending process as knowledge representation of the customer shopping information and uncertainty knowledge inference process .

提出一种新的基于客户购物模型的推荐系统框架，它把推荐过程形式化为客户购物信息的知识表达、知识推理过程。

An enterprise service Bus is the pattern that embodies and formalizes the notion of consumers , mediations and providers ; hence from a technology perspective is a core SOA technology .

一个企业服务总线是体现和形式化使用者、中介和提供者概念的模式；因此从技术角度来讲，它是一项核心SOA技术。

Since Yang Yi understands the source text from a male angle and then writes it in a standard patriarchal language , she formalizes a male identity in her version .

杨苡从男性的角度来理解原文，并且使用男性的标准语言来撰写译文，因此从一定意义上来讲她在译本中体现了男性身份。

This paper formalizes trust class , evaluates trust based on the behaviors of the evaluated entity , introduces the concept of " trust domain " to combine recommended experience , and provides the way of trust evaluation .

本文对信任类型进行了形式化的定义，采用被评估者的行为作为信任评估的依据，引入信任域的概念来解决推荐经验在信任评估中的合成，并给出了评价机制。

This paper analyses the performance metrics for IP network from different views of network measurement , proposes a framework for performance metrics which can present the performance metrics of IP network , and formalizes the framework for performance metrics .

本文从网络测评的不同角度对IP网络的性能指标进行了综合分析，提出了一种能系统反映IP网络性能的指标体系，并给出了IP网络性能指标体系的形式描述。

Perceiving an apparent connection between certain actions performed by the group and the result it desires , the group repeats , refines and formalizes those actions into fixed ceremonies , or rituals .

当意识到自己的某些行为和期许的结果之间存在明显的联系后，人们便开始不断重复，修正进而完善这些行为，使之成为固定的典礼或宗教仪式。