formalized

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

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

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

过去分词：formalized　过去式：formalized　

TOEFL

BNC.24650 / COCA.23260

柯林斯词典

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

英英释义

adj

• given formal standing or endorsement
  Synonym:formalised
• concerned with or characterized by rigorous adherence to recognized forms (especially in religion or art)
  1. highly formalized plays like `Waiting for Godot'
  Synonym:formalisticformalised

双语例句

• Otherwise, from each individual's perspective, there are no formalized rules to guide your behavior.
  然而，从个人的角度来说，并没有规定的原则来指导你的行为。
• Formalized analysis for authentication test model of TLS
  TLS协议认证测试模型与形式化分析
• Atomic business rules are formalized rule statements, expressed in natural language, independently of any specific rules syntax.
  原子业务规则是以自然语言表达的规范化规则语句，它独立于任何特定的规则语法。
• This requires a defined method to support the analysis and design of business rules, a defined set of formats in which these rules can be captured, and formalized relationships between these rules and other model artifacts.
  这需要一个已定义的方法来支持业务规则的分析和设计。此外，还需要一组已定义格式以捕捉这些规则，以及这些规则与其他模型工件之间的规范化关系。
• The applications are developed mostly from scratch within a formalized programming model.
  应用程序很大程度上是由正式编程模型中的草稿开发而来。
• Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
  基于条件谓词逻辑的可信计算形式化分析
• Many companies and organizations have formalized process and process guidance to help companies work more efficiently.
  许多公司和组织都有规范化的过程和过程指南，帮助公司更有效地工作。
• Additional XML design issues will probably be considered before the XML binding is formalized.
  在XML绑定标准化之前，可能还会考虑到其他的XML设计问题。
• Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.
  分层机制可以缓解这种矛盾，但又缺乏严密的形式化定义。
• In addition, the Bus supports formalized, pluggable discovery and selection mechanisms in the Bus on-ramp.
  此外，总线还支持总线入站内形式化的、可插的发现和选择机制。