formalizing

英 [ˈfɔːməlaɪzɪŋ]

美 [ˈfɔːrməlaɪ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.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• A formalizing expression method of User Request is given, and then the acceptability of User Request is analyzed based on logic reasoning technology.
  提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。
• In this article, on the basis of formalizing the IS-LM-BP Model, the multipliers of the fiscal and monetary policy in opening economy are deduced, and the contribution of two policies in China in recent years are calculated.
  本文在对IS-LM-BP模型公式化的基础上，推导出开放经济下的财政政策和货币政策乘数；并对近年来我国财政政策和货币政策对经济增长的贡献进行了实证分析。
• This paper completes the formalizing describing and implementation of interaction interface services.
  本文完成了交互接口服务的形式化描述及实现。
• You may decide on a legal wedding ceremony or, for the less traditional, a non-legal or private way of formalizing your commitment to each other.
  也许你们将举行正式的婚礼来见证爱情，或是非传统的亦或是私人的方式来体现爱的相互承诺。
• Proceeding from the classification of system evaluation indicatrix, and based on the nature of judgement matrix. the methods of Information. on whitening and formalizing of three kinds of indicatrixes are proposed.
  本文从系统评价指标的分类出发，根据判断矩阵的性质，提出了三类指标的信息白化及规范化方法，并通过实例证明了这些方法的可行性。
• This will convince you. I am going to reveal the structure formalizing it and if that doesn't convince you nothing will.
  这能说服你们，我开始揭露形式化它的结构了，如果按不能说服你，没有什么能了。
• The paper discusses the temporal problem in GIS starting with the essence of time. The definition of time and referencing system of time is quoted in the paper, and formalizing description of corresponding state and event is given in mathematical language.
  本论文从时间的本质出发探讨了地理信息系统中的时间问题，引用了时间的定义以及时间的参照系统，用数学的语言对与此相关的状态、事件进行了形式化描述。
• By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
  通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
• Finally, the whitepaper talks about formalizing service contracts and making services visible, typically using service registry.
  白皮书在最后还谈到了服务契约规范化以及服务可视化，这通常是通过服务注册实现的。
• In some ways, the news conference and the royal endorsement were a way of formalizing the military's seizure of power.
  在某种意义上，新闻发布会的召开和国王的授权是对军方掌权的正式确认。