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

双语例句

• 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文本相结合的表示方式。
• MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
  MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
• Feeling in literature originates from and formalizes the general feeling in life.
  文学中的感受源于一般的生活感受，它是生活感受的形式化；
• 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.
  提出一种新的基于客户购物模型的推荐系统框架，它把推荐过程形式化为客户购物信息的知识表达、知识推理过程。
• This paper formalizes the HTTP Digest authentication protocol in SIP networks with BAN logic, and ratiocinates on the process of authentication.
  本文采用BAN逻辑对SIP网络中采用的HTTPDigest认证协议进行形式化，并对其认证过程进行逻辑推导。
• Modeling formalizes and hence facilitates the consistency of their communication.
  建模形成了自然也就有助于他们交流的一致性。
• The paper first formalizes some concepts such as employment, and expatiates theoretical analysis how the finance and taxation policy promotes Employment.
  文章首先提出了就业等相关概念，阐述了财税政策介入促进就业的理论分析。
• This paper formalizes analysis patterns with RAISE.
  本文利用形式化方法RAISE对分析模式进行形式化。
• Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.
  最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。