formalizes
英 [ˈfɔːməlaɪzɪz]
美 [ˈfɔːrməlaɪzɪz]
v. 使(安排、计划、关系)成为正式的; (通过规则)使有固定体系，使定形
formalize的第三人称单数
柯林斯词典
- VERB 使正式化;确定
If you formalize a plan, idea, arrangement, or system, you make it formal and official.- A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。 - She feels the time has come to formalise her relationship with Tempelsman.
她觉得是时候正式确定和坦佩尔斯曼的关系了。
- A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
in BRIT, also use 英国英语亦用formalise
双语例句
- 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的细节。 - 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过程，然后才能向整个企业发布服务，这样就可以确保服务的质量并提供完整的支持资料。 - The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.
hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。 - 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技术。 - MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。 - This formalizes his ascent to the top post.
这促使他升到最高职位。 - The works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.
作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。 - 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.
当意识到自己的某些行为和期许的结果之间存在明显的联系后，人们便开始不断重复，修正进而完善这些行为，使之成为固定的典礼或宗教仪式。 - Modeling formalizes and hence facilitates the consistency of their communication.
建模形成了自然也就有助于他们交流的一致性。 - Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.
最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。 - This paper summarizes all kinds of the bandwidth smoothing algorithms for prerecorded VBR video, compares the performances of these algorithms, induces and formalizes these smoothing models, and gives the generalization description of them.
文章综述了存储VBR视频带宽平滑的各种算法，比较了这些算法的各自特点，归纳、形式化了这些算法模型的更一般化表示。 - Firstly, summarize the AO View Graph that describes the relationship of the views and formalizes the concept and involved cost model.
首先对描述视图关系的AOViewGraph模型进行了概要的介绍，并对其中所涉及的重要概念和代价模型进行形式化工作。 - Feeling in literature originates from and formalizes the general feeling in life.
文学中的感受源于一般的生活感受，它是生活感受的形式化； - 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.
提出一种新的基于客户购物模型的推荐系统框架，它把推荐过程形式化为客户购物信息的知识表达、知识推理过程。 - This paper mainly discusses how to give a succinct, perspicuous and readable description of the data parallel algorithm on MCC-SIMD computer, proposes a strict descriptive method, and formalizes its defination. sorting and searching of array data: Calculation of data via array;
文章主要研究针对MCC-SIMD计算机的数据并行计算，如何进行简洁、明晰、可读性强的描述问题，提出了一种严谨的描述方法，并进行了形式化定义。 - This paper considers hardware components 'faults and aging phenomenon, and proposes composing redundant structure and rejuvenation schedule in the Fault-Tolerant system. Finally formalizes the system with timed-colored Petri Nets ( timed-CPN), and evaluates quantitatively the performance of the model based on numerical examples.
本文综合考虑容错系统中的硬件故障和老化现象，提出了将传统的冗余策略和软件抗衰策略相结合，并给出了该系统的时间颜色Petri网（timed-CPN）模型，并结合实例进行了分析。 - Using the concepts of set, the paper formalizes composite structures.
本文应用集合概念，对刚、铰组合结构进行了形式化描述； - CSPDL-a software process language described in this thesis formalizes the process specification by both graph and textual XML.
本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。 - 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网络性能指标体系的形式描述。 - An algorithmic theory of stack formalizes properties of relational systems of stack.
栈的算法理论是栈的关系系统的特定性质。 - 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进行形式化语义表达，为服务的自动发现、组合奠定了基础。 - 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.
该文阐述了基于协作缓存的视频点播系统的拓扑结构，对静态调度和动态迁移进行了详细设计，并给出了相应的形式化表示。 - 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 analysis patterns with RAISE.
本文利用形式化方法RAISE对分析模式进行形式化。 - 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.
本文对信任类型进行了形式化的定义，采用被评估者的行为作为信任评估的依据，引入信任域的概念来解决推荐经验在信任评估中的合成，并给出了评价机制。 - In addition, this paper formalizes the adaptation problem.
另外本文还对覆盖网的形式化描述和自适应问题进行了探索。 - This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。 - 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 paper first formalizes some concepts such as employment, and expatiates theoretical analysis how the finance and taxation policy promotes Employment.
文章首先提出了就业等相关概念，阐述了财税政策介入促进就业的理论分析。