formalized

['fɔ:məlaizd]
  • 释义
  • 使(协议、计划等)成书面文字形式( formalize的过去式和过去分词);使成为正式,使具有一定形式;

  • 双语例句
  • 1、

    The formalized axiomlogy construct the new foundation for research an existential conditions of the possible worlds.

    形式化公理学为研究可能世界的存在条件提供了新的基础.

    ——期刊摘选
  • 2、

    There are definite conditions surrounding the formalized process of schooling.

    这就是对学院教育模式化过程的明确解释.

    互联网
  • 3、

    That was the whole focus when the LCMC concept was formalized in August 2004.

    自生命期管理指挥部于2004年8月份成立以来这一直就是他们的工作重点.

    互联网
  • 4、

    Fractional Hall effect is described in an universal formalized theory of fraction - dimension calculus.

    给予分数Hall效应以普遍的分数微积分数学形式理论描述.

    互联网
  • 5、

    Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.

    分层机制可以缓解这种矛盾, 但又缺乏严密的形式化定义.

    互联网
  • 6、

    Some of the results of these formalized impact studies are plotted in Fig. 5.

    某些这些的结果在图5. 形式化了冲击研究被密谋.

    互联网
  • 7、

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

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

    互联网
  • 8、

    This paper domain - independent description formalism for feature - based design from two aspects: formalized definition and design process description.

    文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式化描述方法.

    互联网
  • 9、

    It has great practical significance to do research on the formalized development of the Informal Financial.

    因此对民间金融规范化发展问题的探讨具有重要的现实意义.

    互联网
  • 10、

    The Treaty of Versailles, imposed on Germany, formalized the Allied victory.

    强加于德国的《凡尔塞条约》正式宣告协约国的胜利.

    互联网
  • 11、

    Reputation is formalized and amplified by trusted third - parties.

    信誉度由有公信力的第三方正式化并加以推广.

    互联网
  • 12、

    The model formalized various aspects of permissions including operations, properties, actions, objects and relationships among them.

    该模型形式化地定义了权限的各个方面,包括操作 、 属性 、 动作 、 客体以及它们之间的关系.

    互联网
  • 13、

    The input can be formalized into the format of Object Knowledge Canonical Form ( OKCF ).

    此外,本研究探讨专家系统的自动生成,而且探讨如何生成于多个专家系统发展工具上.

    互联网
  • 14、

    There are definite conditions surrounding the formalized process or schooling.

    学校教育形式化的过程是有局限性的.

    互联网
  • 15、

    Innovative ability and practical skill can be improved through formalized teaching.

    通过范式化教学,提升学生的创新能力和实践技能.

    互联网