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

双语例句

• 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.
  上个月在日本政府从日本私人岛主手中买下钓鱼岛之后，中日两国间长期存在的领土争端出现加剧。日本政府此举正式确立了日本对钓鱼岛及其附属岛屿的控制。
• Governance capabilities include formalizing processes and best practices associated with the various governance disciplines, and establishing cross-discipline capabilities and services to make governance processes more efficient and cost-effective.
  治理能力包括将与各种治理规程相关的过程和最佳实践形式化，以及建立跨规程的能力和服务，使治理过程更加有效和节省成本。
• 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具有一阶线性的消息复杂度和收敛时间。
• 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语言描述了该系统的模型及其求精过程。
• This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.
  在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。
• The paper discusses the temporal problem in GIS starting with the essence of time. The definition of time and referencing system of time is quoted in the paper, and formalizing description of corresponding state and event is given in mathematical language.
  本论文从时间的本质出发探讨了地理信息系统中的时间问题，引用了时间的定义以及时间的参照系统，用数学的语言对与此相关的状态、事件进行了形式化描述。
• This will convince you. I am going to reveal the structure formalizing it and if that doesn't convince you nothing will.
  这能说服你们，我开始揭露形式化它的结构了，如果按不能说服你，没有什么能了。
• 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服务的参数不确定性。
• Nowadays, there are lots of study results of formalizing UML, but they are limited.
  目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。