formalizing

英 [ˈfɔːməlaɪzɪŋ]

美 [ˈfɔːrməlaɪzɪŋ]

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

柯林斯词典

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

双语例句

• Nowadays, there are lots of study results of formalizing UML, but they are limited.
  目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。
• Montague's PTQ system eventually completes the work of formalizing natural language through three parts, namely building a syntax about part of English statement system;
  蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理，它们分别是：建构一个部分英语语句系统的语形；
• A formalizing description method of Web service is put forward based on Logic Petri Nets, this approach not only describes the input/ output parameters, Quality of Service ( QoS) and behavioral constraints of Web services effectively, but also describes the parameter uncertainty effectively.
  给出了一种基于逻辑Petri网的Web服务形式化描述方法，它不仅能有效刻画Web服务的输入/输出参数、质量约束及行为约束限制，而且能有效描述复合Web服务的参数不确定性。
• To satisfy the enterprise process modeling requirements in the ability of powerful expression and analysis, a new extended workflow net ( EWF_net) was proposed for formalizing workflow patterns.
  为了满足企业用户对工作流模型在描述能力和分析能力上的要求，提出了一种支持工作流模式的扩展工作流网（EWFnet，ExtendedWorkFlownet）。
• But the role played by the heavens in formalizing the days of the week doesn't stop there.
  但天体对星期的形成所起的作用可并不止这些。
• Formalizing of the ESB Gateway concept within an SOA provides the standardized administration and visibility of services that a maturing SOA must have.
  在SOA中正式地定义ESBGateway的概念将提供标准化的服务管理和可视性，这是一个成熟SOA所必需具备的。
• By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
  通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
• The long-standing territorial row intensified last month after the Japanese government purchased the islands from private Japanese owners, formalizing Japanese control over the territories.
  上个月在日本政府从日本私人岛主手中买下钓鱼岛之后，中日两国间长期存在的领土争端出现加剧。日本政府此举正式确立了日本对钓鱼岛及其附属岛屿的控制。
• Question-based object-oriented knowledge representation method overcomes the shortcomings that the process of formalizing knowledge is very complicated in the course of constructing repository and the efficiency of searching texts is very low.
  基于问题的面向时象知识的表示方法，克服了构建知识库过程中对知识进行形式化的繁杂的过程和以纯文本作为检索对象效率低的缺点。
• In order to realize harmonious human machine interaction, this paper makes some useful efforts on formalizing rational and emotional agents for human machine interface basing on multi-agent technology, and also gives a joint theoretical framework.
  为了实现和谐的人机交互，本文基于多Agent技术，在人机界面Agent的理性与情感两方面做了有益探索，并给出了相应的联合理论框架。