formalizes

英 [ˈfɔːməlaɪzɪz]

美 [ˈfɔːrməlaɪzɪz]

v.  使(安排、计划、关系)成为正式的; (通过规则)使有固定体系，使定形
formalize的第三人称单数

柯林斯词典

in BRIT, also use 英国英语亦用formalise


• VERB 使正式化;确定
  If youformalizea plan, idea, arrangement, or system, you make it formal and official.
  1. A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
     俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。
  2. She feels the time has come to formalise her relationship with Tempelsman.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• Using the concepts of set, the paper formalizes composite structures.
  本文应用集合概念，对刚、铰组合结构进行了形式化描述；
• The paper first formalizes some concepts such as employment, and expatiates theoretical analysis how the finance and taxation policy promotes Employment.
  文章首先提出了就业等相关概念，阐述了财税政策介入促进就业的理论分析。
• In addition, this paper formalizes the adaptation problem.
  另外本文还对覆盖网的形式化描述和自适应问题进行了探索。
• Firstly, summarize the AO View Graph that describes the relationship of the views and formalizes the concept and involved cost model.
  首先对描述视图关系的AOViewGraph模型进行了概要的介绍，并对其中所涉及的重要概念和代价模型进行形式化工作。
• 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的细节。
• This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
  同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。
• 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 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视频带宽平滑的各种算法，比较了这些算法的各自特点，归纳、形式化了这些算法模型的更一般化表示。
• 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 formalizes his ascent to the top post.
  这促使他升到最高职位。