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 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 works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.
  作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。
• 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 formalizes the HTTP Digest authentication protocol in SIP networks with BAN logic, and ratiocinates on the process of authentication.
  本文采用BAN逻辑对SIP网络中采用的HTTPDigest认证协议进行形式化，并对其认证过程进行逻辑推导。
• An algorithmic theory of stack formalizes properties of relational systems of stack.
  栈的算法理论是栈的关系系统的特定性质。
• Using the concepts of set, the paper formalizes composite structures.
  本文应用集合概念，对刚、铰组合结构进行了形式化描述；
• 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 the inner store model, this article puts forward to the multi-layers component model based on sharing the resource library and formalizes this model.
  在内部存储结构中，本文提出了基于多层结构的共享资源库的构件存储模型，并用形式化的语言表述了该模型。
• The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.
  hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。