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.
  提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。
• The implementation scheme of the model is introduced in the aspects of agent's formalizing expression, mechanism of communication between agents and environment of system realization.
  从agent形式化表示、agent间通信机制和系统实现环境方面介绍了系统的实现方案。
• 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.
  将风投过程如此形式化，直接违背了凭直觉投资的方式，而这是风投行业的基石。
• 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 paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.
  在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。
• Before the Extenics was established, formalizing and systematic research on contradiction problem was always lacking.
  在可拓学建立之前，一直缺乏形式化，系统性的矛盾问题研究。
• The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.
  由JasonBloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。
• Montague's PTQ system eventually completes the work of formalizing natural language through three parts, namely building a syntax about part of English statement system;
  蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理，它们分别是：建构一个部分英语语句系统的语形；
• Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.
  每个计划团队都有一个业务主管，负责收集和确定业务需求。
• Formalizing of the ESB Gateway concept within an SOA provides the standardized administration and visibility of services that a maturing SOA must have.
  在SOA中正式地定义ESBGateway的概念将提供标准化的服务管理和可视性，这是一个成熟SOA所必需具备的。