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

双语例句

• 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.
  本论文从时间的本质出发探讨了地理信息系统中的时间问题，引用了时间的定义以及时间的参照系统，用数学的语言对与此相关的状态、事件进行了形式化描述。
• 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所必需具备的。
• Nowadays, there are lots of study results of formalizing UML, but they are limited.
  目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。
• 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 completes the formalizing describing and implementation of interaction interface services.
  本文完成了交互接口服务的形式化描述及实现。
• Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.
  每个计划团队都有一个业务主管，负责收集和确定业务需求。
• This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.
  在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。
• Question-based object-oriented knowledge representation method overcomes the shortcomings that the process of formalizing knowledge is very complicated in the course of constructing repository and the efficiency of searching texts is very low.
  基于问题的面向时象知识的表示方法，克服了构建知识库过程中对知识进行形式化的繁杂的过程和以纯文本作为检索对象效率低的缺点。
• In some ways, the news conference and the royal endorsement were a way of formalizing the military's seizure of power.
  在某种意义上，新闻发布会的召开和国王的授权是对军方掌权的正式确认。
• 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的理性与情感两方面做了有益探索，并给出了相应的联合理论框架。