formalize

The college has a highly formalized system of assessment .

这所学院有一套十分固定的评估体系。

They decided to formalize their relationship by getting married .

他们决定结婚，正式确定关系。

A recent treaty signed by Russia , Canada and Japan formalized an agreement to work together to stop the pirates

俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。

Formalized Description of Management Object Behavior Based on the Rule Approach

基于规则方法的管理对象行为形式化描述

Business Process is formalized by workflow process model .

工作流过程模型是业务模型的形式化表示。

Virtual Interface is an additional part of Architecture Space Formalized System .

虚拟界面是建筑空间形式系统的一部分，是对该系统的补充。

We build a dynamic game model to formalize this situation .

本文建立了一个动态博弈模型来分析这一状况。

Different forms of formalized method may be complimentary in function .

众多的形式化方法在功能上可以实现互补。

The new system helps to formalize the business management of the insurance company .

系统的使用，规范了保险公司的业务管理。

To formalize the virtual process , we introduce service function unit .

为了能够形式化的表示虚拟流程，本文引入了服务功能单元。

Formalized Methods and Functional Propositions for the Design of a CAD System

CAD系统设计中的形式化方法与功能命题

Using the concepts of set , the paper formalizes composite structures .

本文应用集合概念，对刚、铰组合结构进行了形式化描述；

In theory , the models are formalized and the security is analyzed .

理论上，对模型进行抽象、形式化表示和安全性分析。

Equivalence partitioning is a much more formalized method of test case design .

等价类划分是一个更加形式化的设计测试用例的方法。

How to Formalize the Basic Concepts in Higher Mathematics Teaching

浅谈在高等数学教学中如何将基本概念形象化

2 , Mobile Agent systems lack some unified formalized description means .

二是移动Agent系统缺乏统一的形式化描述手段。

General Discussion about the True Property of Rules and Formalized Algorithm for True Rules

规则真的一般概念和真规则形式算法

A ontology has been described one model formalized and shared in a specific research field .

一个本体描述了一个特定研究领域的一个形式化的、共享的概念化模型。

The BNF is used to formalize the network access control rules .

文中还运用巴科斯范式对主机防火墙的网络访问控制规则进行了形式化描述。

In addition , this paper formalizes the adaptation problem .

另外本文还对覆盖网的形式化描述和自适应问题进行了探索。

Evolution hypergraph net was introduced to formalize product process information for life cycle .

引入进化超图网络对全生命周期中产品过程信息进行形式化表达。

So China is apt to become a formalized society ruled by law .

从长远看，这会使中国走向一种形式法治的社会。

Object oriented model and formalized method

面向对象模型与形式化方法

This paper formalizes analysis patterns with RAISE .

本文利用形式化方法RAISE对分析模式进行形式化。

This paper presents a formalized description of scheduling in the high-level synthesis .

本文介绍高层次综合中调度问题的形式化描述。

Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic

基于条件谓词逻辑的可信计算形式化分析

The Formalized Integration and Upgrading of Research Paradigm in Comparative Pedagogy

比较教育学研究范式的形态化整合与提升

Chapter Three introduces the analyzing procedures and techniques of the four formalized discourse structure theories .

第三章介绍了四种语篇结构形式化理论进行语篇分析的相关步骤和技术。

Formalized analysis for authentication test model of TLS

TLS协议认证测试模型与形式化分析

This paper completes the formalizing describing and implementation of interaction interface services .

本文完成了交互接口服务的形式化描述及实现。