formalized

美 [ˈfɔːrməlaɪzd]英 [ˈfɔːməlaɪzd]
  • v.使(安排、计划、关系)成为正式的;(通过规则)使有固定体系,使定形
  • formalize的过去分词和过去式
formalizedformalized

formalized

频次

  • 2
    VERB 使正式化;确定
    If you formalize a plan, idea, arrangement, or system, you make it formal and official.

    A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...

    俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。

  • The formalization of co-operation between the republics would produce progress.

    正式确立合作关系将会促进共和国之间合作的顺利进展。

adj

1
given formal standing or endorsement;made official or legitimate by the observance of proper procedures
Synonym: formalised
2
concerned with or characterized by rigorous adherence to recognized forms (especially in religion or art)
highly formalized plays like `Waiting for Godot'
Synonym: formalistic formalised

数据来源:WordNet

  1. The college has a highly formalized system of assessment .

    这所学院有一套十分固定的评估体系。

  2. A recent treaty signed by Russia , Canada and Japan formalized an agreement to work together to stop the pirates

    俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。

  3. The development of information fusion system needs to be formalized .

    信息融合系统的开发需要规范化。

  4. Formalized Description of Management Object Behavior Based on the Rule Approach

    基于规则方法的管理对象行为形式化描述

  5. Business Process is formalized by workflow process model .

    工作流过程模型是业务模型的形式化表示。

  6. Virtual Interface is an additional part of Architecture Space Formalized System .

    虚拟界面是建筑空间形式系统的一部分,是对该系统的补充。

  7. Different forms of formalized method may be complimentary in function .

    众多的形式化方法在功能上可以实现互补。

  8. Analysis method based on formalized mathematics is introduced to analyze DNC process .

    引入形式化数学分析方法对DNC过程进行了分析。

  9. The Process Definition and formalized description for workflow Based on Distributed Environment

    分布式环境下工作流过程定义及形式化描述

  10. It provides a formalized model for understanding sustainable utilization of water resources .

    它为理解水资源持续利用提供了形式化模型。

  11. The Formalized Description of Time in Temporal Geographic Information System

    时态地理信息系统中时间的形式化定义

  12. Formalized Methods and Functional Propositions for the Design of a CAD System

    CAD系统设计中的形式化方法与功能命题

  13. It has been formalized without solid and effective work ;

    流于形式,缺乏深入、扎实、有效的工作;

  14. In theory , the models are formalized and the security is analyzed .

    理论上,对模型进行抽象、形式化表示和安全性分析。

  15. Equivalence partitioning is a much more formalized method of test case design .

    等价类划分是一个更加形式化的设计测试用例的方法。

  16. 2 , Mobile Agent systems lack some unified formalized description means .

    二是移动Agent系统缺乏统一的形式化描述手段。

  17. General Discussion about the True Property of Rules and Formalized Algorithm for True Rules

    规则真的一般概念和真规则形式算法

  18. A ontology has been described one model formalized and shared in a specific research field .

    一个本体描述了一个特定研究领域的一个形式化的、共享的概念化模型。

  19. Analysis to the hole system and formalized expression of complex object are the key in modeling .

    系统建模的核心问题是对整个系统进行分析,建立复杂对象的形式化表达。

  20. So China is apt to become a formalized society ruled by law .

    从长远看,这会使中国走向一种形式法治的社会。

  21. The formalized description about battle scheme based on XML

    基于XML的作战方案形式化描述

  22. Formalized requirement analysis based on the component technology and method-B

    基于构件技术和B方法的形式化需求分析

  23. Object oriented model and formalized method

    面向对象模型与形式化方法

  24. This paper presents a formalized description of scheduling in the high-level synthesis .

    本文介绍高层次综合中调度问题的形式化描述。

  25. A formalized way for product requirements modeling which based on product structure and product development processes is proposed .

    探讨了基于产品结构和产品开发过程的产品需求结构化建模方法;

  26. Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic

    基于条件谓词逻辑的可信计算形式化分析

  27. The Formalized Integration and Upgrading of Research Paradigm in Comparative Pedagogy

    比较教育学研究范式的形态化整合与提升

  28. There are definite conditions surrounding the formalized process of schooling .

    上学这一确定的过程是有特定的限制的。

  29. Chapter Three introduces the analyzing procedures and techniques of the four formalized discourse structure theories .

    第三章介绍了四种语篇结构形式化理论进行语篇分析的相关步骤和技术。

  30. Formalized analysis for authentication test model of TLS

    TLS协议认证测试模型与形式化分析