formalizes

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

美 [ˈfɔːrməlaɪzɪ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.
     她觉得是时候正式确定和坦佩尔斯曼的关系了。

双语例句

• In the inner store model, this article puts forward to the multi-layers component model based on sharing the resource library and formalizes this model.
  在内部存储结构中，本文提出了基于多层结构的共享资源库的构件存储模型，并用形式化的语言表述了该模型。
• This formalizes his ascent to the top post.
  这促使他升到最高职位。
• MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
  MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
• Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.
  最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。
• This paper mainly discusses how to give a succinct, perspicuous and readable description of the data parallel algorithm on MCC-SIMD computer, proposes a strict descriptive method, and formalizes its defination. sorting and searching of array data: Calculation of data via array;
  文章主要研究针对MCC-SIMD计算机的数据并行计算，如何进行简洁、明晰、可读性强的描述问题，提出了一种严谨的描述方法，并进行了形式化定义。
• Under the restriction of geographic information domain ontology, it formalizes GIS Services according OWL-S, establishes foundations for Web services discovery and composition.
  在地理信息领域本体的约束下，通过OWL-S对GISWebServices进行形式化语义表达，为服务的自动发现、组合奠定了基础。
• In addition, this paper formalizes the adaptation problem.
  另外本文还对覆盖网的形式化描述和自适应问题进行了探索。
• Modeling formalizes and hence facilitates the consistency of their communication.
  建模形成了自然也就有助于他们交流的一致性。
• The article expatiates the topological architecture of a VOD system based on cooperative cache, designs the static schedule and dynamic migration method in detail, and formalizes the design.
  该文阐述了基于协作缓存的视频点播系统的拓扑结构，对静态调度和动态迁移进行了详细设计，并给出了相应的形式化表示。
• This paper summarizes all kinds of the bandwidth smoothing algorithms for prerecorded VBR video, compares the performances of these algorithms, induces and formalizes these smoothing models, and gives the generalization description of them.
  文章综述了存储VBR视频带宽平滑的各种算法，比较了这些算法的各自特点，归纳、形式化了这些算法模型的更一般化表示。