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

双语例句

• This paper makes attempt to establish a domain-independent description formalism for feature-based design from two aspects: formalized definition and design process description.
  文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法。
• But the advantages of a formalized standard language understood and interpreted the same way by both business and IT are huge.
  但是，形式化的标准语言能使业务和IT在理解和解释上达成一致，这一优势是巨大的。
• These high level statements must be then formalized into if-then statements to make them precise and clear.
  这些高级声明必须正式应用于一些“如果-那么”语句中，使它们变得精确和清晰。
• Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.
  分层机制可以缓解这种矛盾，但又缺乏严密的形式化定义。
• Many companies and organizations have formalized process and process guidance to help companies work more efficiently.
  许多公司和组织都有规范化的过程和过程指南，帮助公司更有效地工作。
• A fully-fledged QMS is a formalized, company-wide system.
  一个完善的质量管理系统是一个正式的，全员性的系统。
• Formalized analysis for authentication test model of TLS
  TLS协议认证测试模型与形式化分析
• Equivalence partitioning is a much more formalized method of test case design.
  等价类划分是一个更加形式化的设计测试用例的方法。
• Then we formalized structural requirements of process environment, and proved that a secure process environment can be available by structured method proposed.
  然后对系统结构化要求进行了形式化的描述，并证明通过提出的结构化方法可以获得安全的进程环境。
• The Congress was formalized with an equal amount of representation from the two parties.
  国会正式成立，双方拥有同等数量的代表。