formalizing
英 [ˈfɔːməlaɪzɪŋ]
美 [ˈfɔːrməlaɪzɪŋ]
v. 使(安排、计划、关系)成为正式的; (通过规则)使有固定体系，使定形
formalize的现在分词
柯林斯词典
- VERB 使正式化;确定
If youformalizea 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...
俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。 - She feels the time has come to formalise her relationship with Tempelsman.
她觉得是时候正式确定和坦佩尔斯曼的关系了。
- A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
in BRIT, also use 英国英语亦用formalise
双语例句
- You may decide on a legal wedding ceremony or, for the less traditional, a non-legal or private way of formalizing your commitment to each other.
也许你们将举行正式的婚礼来见证爱情，或是非传统的亦或是私人的方式来体现爱的相互承诺。 - In this paper, a component-based real-time system refinements method, is introduced. We demonstrate this method and its process in the development of Elevator Control System by using XYZ/ E formalizing the model of the system.
本文提出了一种基于构件的实时系统求精方法，并给出一个具体实例&电梯控制系统，采用XYZ/E语言描述了该系统的模型及其求精过程。 - Spatial data model is formalized according to partial order relationship, equivalence relationship and simplicial complex theory. A formalizing two-tuple ( M, F) multi-resolution spatial data model is presented.
应用偏序关系、等价关系和单纯复形理论，初步研究了多分辨率空间数据模型形式化表达方法，提出了一个二元组形式化多分辨率空间数据模型。 - Nowadays, there are lots of study results of formalizing UML, but they are limited.
目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。 - 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具有一阶线性的消息复杂度和收敛时间。 - 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系统通过三部分最终完成了对自然语言形式化的处理，它们分别是：建构一个部分英语语句系统的语形； - 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的理性与情感两方面做了有益探索，并给出了相应的联合理论框架。 - CSP is based on Tony Hoare's classic work in formalizing the behavior of concurrent programs, and is based on the core concepts of processes and channels.
CSP基于TonyHoare的经典之作中对并发程序行为的正式规范，且基于进程和通道的核心概念。 - 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服务的参数不确定性。 - Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.
每个计划团队都有一个业务主管，负责收集和确定业务需求。