formalizes发音

意思翻译

vt.使形式化；使正式；拘泥礼仪

vi.拘泥于形式

相似词语短语

performances 5───表演5

quick format───n.快速格式化（磁盘）；（磁盘）快速格式化

formation lap───暖胎圈

performance index───[电子]性能指标，工作指数；工作指数，性能指标

retrieving version information───正在检索版本信息

performance test───特性试验; 生产性能测定; 使用测试; 操作测验

protestant reformation───[法]宗教改革

virtuoso informally───非正式的

cytogenesis is the formation of───细胞发生是

formate ka───甲酸钾

双语使用场景

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.───群体意识到他们所做的某些行为与他们所期望的结果之间存在的明显联系时，他们就会对这些行为进行重复，改进，并正式化为固定的典礼或仪式。

HTML 5 also formalizes the otherwise AD hoc techniques used to structure content.───HTML 5还规范化了用于构造内容的其他专门技术。

Modeling formalizes and hence facilitates the consistency of their communication.───建模形成了自然也就有助于他们交流的一致性。

MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.───MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。

CBOT formalizes grain trading by developing standardized agreements called "futures contracts. "───CBOT通过发展标准化期货合约规范谷物交易。

This paper formalizes a rotating bidding mechanism for allocating the common pool resource (CPR) with the presence of private information.───本文提出了一种将轮流拍卖应用于公共资源配置的机制。

Formalizes the overall intent of QS APQP to consider customer requirements throughout the planning process.───正式化QSAPQP的全部意图以贯穿整个计划过程考虑顾客要求。

The policy provides and formalizes a framework for making individual decisions and reflects the organization's perspective on risk.───这种政策能为个人的决定提供一个框架结构，并能反映出企业对风险的看法。

Closing Process Group. Formalizes acceptance of the product, service or result and brings the project or a project phase to an orderly end.───收尾过程组。正式验收产品、服务或成果，并有条不紊地结束项目或项目阶段。

英语使用场景

Generative grammar formalizes language mechanism. The finite rules of generative grammar can generate or analyze infinite sentences.

The workflow specification language is given, it formalizes the workflow model.

Going at problem formalization, the paper formalizes the function part in software requirement using ADL to get the operator file and fact files that the planner needs.

This paper formalizes a product structure with related characteristics based on AND/OR tree, and shows that the employment of this formalization can achieve a more flexible BOM design.

This paper focuses on the aspect 2) and aspect 3), and formalizes the model with LOBA.