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

双语例句

• Equivalence partitioning is a much more formalized method of test case design.
  等价类划分是一个更加形式化的设计测试用例的方法。
• In the West, job interviews are highly formalized and systematic.
  在西方，工作面试是非常正式和系统化的。
• We also proved that this formalized theory is neither complete nor model complete.
  我们也证明了这个形式化的理论既不完备也不模型完备。
• Atomic business rules are formalized rule statements, expressed in natural language, independently of any specific rules syntax.
  原子业务规则是以自然语言表达的规范化规则语句，它独立于任何特定的规则语法。
• In addition, the Bus supports formalized, pluggable discovery and selection mechanisms in the Bus on-ramp.
  此外，总线还支持总线入站内形式化的、可插的发现和选择机制。
• Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.
  分层机制可以缓解这种矛盾，但又缺乏严密的形式化定义。
• Resource Description Framework ( RDF) is a model for describing collections of formalized statements about a Web resource.
  资源描述框架（ResourceDescriptionFramework，RDF）是一种描述有关Web资源的格式化语句集合的模型。
• This statement is crucial; the model is not the system itself but a formalized representation of the system.
  这一论断很重要，模型不是系统本身，而是系统的形式化表示。
• Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
  基于条件谓词逻辑的可信计算形式化分析
• Ontology as a formalized description of shared conceptual system, can solve the problem of massive knowledge usage in knowledge retrieval.
  本体作为共享概念体系的形式化描述，在知识检索方面可解决海量知识利用问题。