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

双语例句

• 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.
  也许你们将举行正式的婚礼来见证爱情，或是非传统的亦或是私人的方式来体现爱的相互承诺。
• A formalizing expression method of User Request is given, and then the acceptability of User Request is analyzed based on logic reasoning technology.
  提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。
• This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.
  在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。
• This paper gets across analyzing the define of corporation business processes, abstracts the essential of Corporation processes, brings forwards formalizing describing method, and the basal composing element and affiliation of Corporation processes.
  摘要通过对企业业务流程定义的分析，抽象出企业流程的要素，提出了企业流程的形式化描述的方法，以及企业流程的基本构成要素和联系。
• Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.
  每个计划团队都有一个业务主管，负责收集和确定业务需求。
• 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.
  将风投过程如此形式化，直接违背了凭直觉投资的方式，而这是风投行业的基石。
• 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.
  本论文从时间的本质出发探讨了地理信息系统中的时间问题，引用了时间的定义以及时间的参照系统，用数学的语言对与此相关的状态、事件进行了形式化描述。
• But the role played by the heavens in formalizing the days of the week doesn't stop there.
  但天体对星期的形成所起的作用可并不止这些。
• 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）。
• 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.
  基于问题的面向时象知识的表示方法，克服了构建知识库过程中对知识进行形式化的繁杂的过程和以纯文本作为检索对象效率低的缺点。