formalizing

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

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



柯林斯词典

    in BRIT, also use 英国英语亦用formalise

  1. VERB 使正式化;确定
    If you formalize a 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.
      她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

  1. 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的经典之作中对并发程序行为的正式规范,且基于进程和通道的核心概念。
  2. Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.
    每个计划团队都有一个业务主管,负责收集和确定业务需求。
  3. 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所必需具备的。
  4. 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.
    治理能力包括将与各种治理规程相关的过程和最佳实践形式化,以及建立跨规程的能力和服务,使治理过程更加有效和节省成本。
  5. 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.
    上个月在日本政府从日本私人岛主手中买下钓鱼岛之后,中日两国间长期存在的领土争端出现加剧。日本政府此举正式确立了日本对钓鱼岛及其附属岛屿的控制。
  6. 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.
    将风投过程如此形式化,直接违背了凭直觉投资的方式,而这是风投行业的基石。
  7. In some ways, the news conference and the royal endorsement were a way of formalizing the military's seizure of power.
    在某种意义上,新闻发布会的召开和国王的授权是对军方掌权的正式确认。
  8. But the role played by the heavens in formalizing the days of the week doesn't stop there.
    但天体对星期的形成所起的作用可并不止这些。
  9. The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.
    由JasonBloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具,同时也是改善两者的重要工具。
  10. Finally, the whitepaper talks about formalizing service contracts and making services visible, typically using service registry.
    白皮书在最后还谈到了服务契约规范化以及服务可视化,这通常是通过服务注册实现的。
  11. 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.
    也许你们将举行正式的婚礼来见证爱情,或是非传统的亦或是私人的方式来体现爱的相互承诺。
  12. 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.
    摘要通过对企业业务流程定义的分析,抽象出企业流程的要素,提出了企业流程的形式化描述的方法,以及企业流程的基本构成要素和联系。
  13. 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系统通过三部分最终完成了对自然语言形式化的处理,它们分别是:建构一个部分英语语句系统的语形;
  14. This will convince you. I am going to reveal the structure formalizing it and if that doesn't convince you nothing will.
    这能说服你们,我开始揭露形式化它的结构了,如果按不能说服你,没有什么能了。
  15. Nowadays, there are lots of study results of formalizing UML, but they are limited.
    目前,已经有很多UML形式化的研究成果,但都存在一定的局限性。
  16. 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.
    应用偏序关系、等价关系和单纯复形理论,初步研究了多分辨率空间数据模型形式化表达方法,提出了一个二元组形式化多分辨率空间数据模型。
  17. 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具有一阶线性的消息复杂度和收敛时间。
  18. 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.
    基于问题的面向时象知识的表示方法,克服了构建知识库过程中对知识进行形式化的繁杂的过程和以纯文本作为检索对象效率低的缺点。
  19. The implementation scheme of the model is introduced in the aspects of agent's formalizing expression, mechanism of communication between agents and environment of system realization.
    从agent形式化表示、agent间通信机制和系统实现环境方面介绍了系统的实现方案。
  20. 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.
    本论文从时间的本质出发探讨了地理信息系统中的时间问题,引用了时间的定义以及时间的参照系统,用数学的语言对与此相关的状态、事件进行了形式化描述。
  21. This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.
    在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。
  22. 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)。
  23. 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的理性与情感两方面做了有益探索,并给出了相应的联合理论框架。
  24. 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模型公式化的基础上,推导出开放经济下的财政政策和货币政策乘数;并对近年来我国财政政策和货币政策对经济增长的贡献进行了实证分析。
  25. Proceeding from the classification of system evaluation indicatrix, and based on the nature of judgement matrix. the methods of Information. on whitening and formalizing of three kinds of indicatrixes are proposed.
    本文从系统评价指标的分类出发,根据判断矩阵的性质,提出了三类指标的信息白化及规范化方法,并通过实例证明了这些方法的可行性。
  26. 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语言描述了该系统的模型及其求精过程。
  27. This paper completes the formalizing describing and implementation of interaction interface services.
    本文完成了交互接口服务的形式化描述及实现。
  28. Before the Extenics was established, formalizing and systematic research on contradiction problem was always lacking.
    在可拓学建立之前,一直缺乏形式化,系统性的矛盾问题研究。
  29. A formalizing expression method of User Request is given, and then the acceptability of User Request is analyzed based on logic reasoning technology.
    提出了用户请求的形式化表达方法,并基于逻辑推理技术,分析了用户请求的可接受性,只向系统传送可实现的用户请求,提高了服务组合的效率。
  30. 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服务的参数不确定性。