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

双语例句

• 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.
  应用偏序关系、等价关系和单纯复形理论，初步研究了多分辨率空间数据模型形式化表达方法，提出了一个二元组形式化多分辨率空间数据模型。
• Finally, the whitepaper talks about formalizing service contracts and making services visible, typically using service registry.
  白皮书在最后还谈到了服务契约规范化以及服务可视化，这通常是通过服务注册实现的。
• 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）。
• The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.
  由JasonBloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。
• But the role played by the heavens in formalizing the days of the week doesn't stop there.
  但天体对星期的形成所起的作用可并不止这些。
• In this article, on the basis of formalizing the IS-LM-BP Model, the multipliers of the fiscal and monetary policy in opening economy are deduced, and the contribution of two policies in China in recent years are calculated.
  本文在对IS-LM-BP模型公式化的基础上，推导出开放经济下的财政政策和货币政策乘数；并对近年来我国财政政策和货币政策对经济增长的贡献进行了实证分析。
• In some ways, the news conference and the royal endorsement were a way of formalizing the military's seizure of power.
  在某种意义上，新闻发布会的召开和国王的授权是对军方掌权的正式确认。
• 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的经典之作中对并发程序行为的正式规范，且基于进程和通道的核心概念。
• Formalizing so much about the venture capital process goes directly against the go-with-your-instinct approach that has been a cornerstone of the industry.
  将风投过程如此形式化，直接违背了凭直觉投资的方式，而这是风投行业的基石。
• 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语言描述了该系统的模型及其求精过程。