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.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• This paper formalizes analysis patterns with RAISE.
  本文利用形式化方法RAISE对分析模式进行形式化。
• This formalizes his ascent to the top post.
  这促使他升到最高职位。
• 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.
  本文对信任类型进行了形式化的定义，采用被评估者的行为作为信任评估的依据，引入信任域的概念来解决推荐经验在信任评估中的合成，并给出了评价机制。
• The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.
  hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。
• 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.
  提出一种新的基于客户购物模型的推荐系统框架，它把推荐过程形式化为客户购物信息的知识表达、知识推理过程。
• MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
  MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
• 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.
  当意识到自己的某些行为和期许的结果之间存在明显的联系后，人们便开始不断重复，修正进而完善这些行为，使之成为固定的典礼或宗教仪式。
• 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 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网络性能指标体系的形式描述。
• Modeling formalizes and hence facilitates the consistency of their communication.
  建模形成了自然也就有助于他们交流的一致性。