formalize

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

美 [ˈfɔːrməlaɪz]

v.  使(安排、计划、关系)成为正式的; (通过规则)使有固定体系，使定形

过去分词：formalized　现在分词：formalizing　过去式：formalized　第三人称单数：formalizes　

Collins.1 / BNC.16126 / COCA.17424

牛津词典

verb

• 使（安排、计划、关系）成为正式的
  to make an arrangement, a plan or a relationship official
  1. They decided to formalize their relationship by getting married.
     他们决定结婚，正式确定关系。
• （通过规则）使有固定体系，使定形
  to give sth a fixed structure or form by introducing rules
  1. The college has a highly formalized system of assessment.
     这所学院有一套十分固定的评估体系。

柯林斯词典

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

英英释义

verb

• declare or make legally valid
  Synonym:validateformalise
• make formal or official
  1. We formalized the appointment and gave him a title
  Synonym:formalise

双语例句

• The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
  本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
• A marriage would formalize the alliance.
  联姻将使联盟具体化。
• However, having the integration process executed on physically separate hardware helps to formalize the process.
  然而，在一个物理上独立的硬件上执行集成流程更利于流程的规范。
• SOA leverages services to simplify, formalize and bring agility to the creation of business solutions.
  SOA利用服务简化和形式化业务解决方案的创建并提供敏捷性。
• The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.
  hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。
• In a subsequent step, you will formalize your choices.
  在后续的这个步骤中，将要正式地进行选择。
• The BNF is used to formalize the network access control rules.
  文中还运用巴科斯范式对主机防火墙的网络访问控制规则进行了形式化描述。
• This article tried to formalize the basic theoretic structure for the further research.
  本文试图为进一步研究构筑基本理论结构。
• Business analysts and application analysts do not use the same language ( UML) to formalize their systems
  业务分析师与应用分析师没有使用同一种语言（UML）形式化的表示他们的系统
• Knowledge discovery process in database is to formalize the knowledge contained in the database into a useful concept.
  数据库知识发现的过程就是将数据库中蕴含的知识形式化为有用概念的过程。