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

双语例句

• 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）了绝对时间和相对时间之间的区别，要求调用者指定类型。
• 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.
  该文阐述了基于协作缓存的视频点播系统的拓扑结构，对静态调度和动态迁移进行了详细设计，并给出了相应的形式化表示。
• 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的细节。
• In addition, this paper formalizes the adaptation problem.
  另外本文还对覆盖网的形式化描述和自适应问题进行了探索。
• 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 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技术。
• Modeling formalizes and hence facilitates the consistency of their communication.
  建模形成了自然也就有助于他们交流的一致性。
• 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）模型，并结合实例进行了分析。
• The paper first formalizes some concepts such as employment, and expatiates theoretical analysis how the finance and taxation policy promotes Employment.
  文章首先提出了就业等相关概念，阐述了财税政策介入促进就业的理论分析。