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

双语例句

• Knowledge discovery process in database is to formalize the knowledge contained in the database into a useful concept.
  数据库知识发现的过程就是将数据库中蕴含的知识形式化为有用概念的过程。
• Eventually, I'll formalize this view of the system into something called a static model.
  最后，我将以静态模型的形式来使这种系统的观点成为正式。
• Business analysts use them to formalize business processes into reusable artifacts.
  业务分析人员使用这些工具来将业务流程形式化为可重用的构件。
• However, having the integration process executed on physically separate hardware helps to formalize the process.
  然而，在一个物理上独立的硬件上执行集成流程更利于流程的规范。
• We build a dynamic game model to formalize this situation.
  本文建立了一个动态博弈模型来分析这一状况。
• The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.
  hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。
• A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates
  俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。
• Suppose you want to formalize the two policies I mentioned as examples.
  假设希望把前面提到的两个策略示例形式化。
• We need to formalize our initial thoughts about the way to proceed.
  我们需要把最初关于事情进行方式的想法正式定下来。
• The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
  本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。