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

双语例句

• Modeling formalizes and hence facilitates the consistency of their communication.
  建模形成了自然也就有助于他们交流的一致性。
• This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
  同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。
• The works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.
  作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。
• 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 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网络性能指标体系的形式描述。
• 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.
  在内部存储结构中，本文提出了基于多层结构的共享资源库的构件存储模型，并用形式化的语言表述了该模型。
• CSPDL-a software process language described in this thesis formalizes the process specification by both graph and textual XML.
  本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。
• An algorithmic theory of stack formalizes properties of relational systems of stack.
  栈的算法理论是栈的关系系统的特定性质。
• Firstly, summarize the AO View Graph that describes the relationship of the views and formalizes the concept and involved cost model.
  首先对描述视图关系的AOViewGraph模型进行了概要的介绍，并对其中所涉及的重要概念和代价模型进行形式化工作。