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

双语例句

• Formalizing so much about the venture capital process goes directly against the go-with-your-instinct approach that has been a cornerstone of the industry.
  将风投过程如此形式化，直接违背了凭直觉投资的方式，而这是风投行业的基石。
• Before the Extenics was established, formalizing and systematic research on contradiction problem was always lacking.
  在可拓学建立之前，一直缺乏形式化，系统性的矛盾问题研究。
• In some ways, the news conference and the royal endorsement were a way of formalizing the military's seizure of power.
  在某种意义上，新闻发布会的召开和国王的授权是对军方掌权的正式确认。
• This paper gets across analyzing the define of corporation business processes, abstracts the essential of Corporation processes, brings forwards formalizing describing method, and the basal composing element and affiliation of Corporation processes.
  摘要通过对企业业务流程定义的分析，抽象出企业流程的要素，提出了企业流程的形式化描述的方法，以及企业流程的基本构成要素和联系。
• In order to realize harmonious human machine interaction, this paper makes some useful efforts on formalizing rational and emotional agents for human machine interface basing on multi-agent technology, and also gives a joint theoretical framework.
  为了实现和谐的人机交互，本文基于多Agent技术，在人机界面Agent的理性与情感两方面做了有益探索，并给出了相应的联合理论框架。
• This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.
  在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。
• A formalizing expression method of User Request is given, and then the acceptability of User Request is analyzed based on logic reasoning technology.
  提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。
• CSP is based on Tony Hoare's classic work in formalizing the behavior of concurrent programs, and is based on the core concepts of processes and channels.
  CSP基于TonyHoare的经典之作中对并发程序行为的正式规范，且基于进程和通道的核心概念。
• 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模型公式化的基础上，推导出开放经济下的财政政策和货币政策乘数；并对近年来我国财政政策和货币政策对经济增长的贡献进行了实证分析。
• Nowadays, there are lots of study results of formalizing UML, but they are limited.
  目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。