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

双语例句

• Using the concepts of set, the paper formalizes composite structures.
  本文应用集合概念，对刚、铰组合结构进行了形式化描述；
• 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进行形式化语义表达，为服务的自动发现、组合奠定了基础。
• The works minimize the features of traditional Chinese porcelain wares and figurative profiles and formalizes them into abstract forms.
  作品在造型上将器物与人的外部形状再度形式化，以不断去除的方法突出“形”和“影”的特征。
• This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
  同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。
• 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视频带宽平滑的各种算法，比较了这些算法的各自特点，归纳、形式化了这些算法模型的更一般化表示。
• Presents a new recommendation framework based on customer shopping model. This framework formalizes the re ￣ commending process as knowledge representation of the customer shopping information and uncertainty knowledge inference process.
  提出一种新的基于客户购物模型的推荐系统框架，它把推荐过程形式化为客户购物信息的知识表达、知识推理过程。
• Perceiving an apparent connection between certain actions performed by the group and the result it desires, the group repeats, refines and formalizes those actions into fixed ceremonies, or rituals.
  当意识到自己的某些行为和期许的结果之间存在明显的联系后，人们便开始不断重复，修正进而完善这些行为，使之成为固定的典礼或宗教仪式。
• Feeling in literature originates from and formalizes the general feeling in life.
  文学中的感受源于一般的生活感受，它是生活感受的形式化；
• This paper formalizes the HTTP Digest authentication protocol in SIP networks with BAN logic, and ratiocinates on the process of authentication.
  本文采用BAN逻辑对SIP网络中采用的HTTPDigest认证协议进行形式化，并对其认证过程进行逻辑推导。
• 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计算机的数据并行计算，如何进行简洁、明晰、可读性强的描述问题，提出了一种严谨的描述方法，并进行了形式化定义。