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

双语例句

• Firstly, summarize the AO View Graph that describes the relationship of the views and formalizes the concept and involved cost model.
  首先对描述视图关系的AOViewGraph模型进行了概要的介绍，并对其中所涉及的重要概念和代价模型进行形式化工作。
• Using the concepts of set, the paper formalizes composite structures.
  本文应用集合概念，对刚、铰组合结构进行了形式化描述；
• 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 works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.
  作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。
• 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过程，然后才能向整个企业发布服务，这样就可以确保服务的质量并提供完整的支持资料。
• Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.
  最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。
• 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网络性能指标体系的形式描述。
• MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
  MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
• 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技术。
• In addition, this paper formalizes the adaptation problem.
  另外本文还对覆盖网的形式化描述和自适应问题进行了探索。