formalize

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

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

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

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

We first formalize the definition and the security model of certificateless strong proxy signatures ( CLSPS), and then propose a novel CLSPS scheme from bilinear pairings.

提出无证书强代理签名的定义及安全模型，利用双线性对构造了一个无证书强代理签名方案。

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

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

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

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

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

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

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

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

The college has a highly formalized system of assessment.

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

That essentially would formalize existing reporting lines.

这与现有报导的说法基本吻合.

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

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

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

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

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

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

Business Process is formalized by workflow process model.

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

It then negotiates with the provider to formalize and finalize the SLA and bind to its Web service.

然后它再与提供者协商把SLA正规化、确定下来并绑定到它的Web服务。

Formalize a testing methodology; you'll test everything the same way and you'll get uniform results.

固化你的测试方法, 使用相同的方式测试所有的东西,这样你会得到一致的测试结果.

We build a dynamic game model to formalize this situation.

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

Different forms of formalized method may be complimentary in function.

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

This article tried to formalize the basic theoretic structure for the further research.

本文试图为进一步研究构筑基本理论结构.

They decided to formalize their relationship by getting married.

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

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

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

Formalized Description of Management Object Behavior Based on the Rule Approach

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

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

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

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

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

How to Formalize the Basic Concepts in Higher Mathematics Teaching

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

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。

Formalize and obtain final acceptance for the project.

获得对项目的认同和正式接受.

At last, we formalize MTI cooperation model detailedly.

本文最后对MTI协作模型的协作策略进行了详细的形式化描述.

Design Rules to formalize and communicate that architecture to your entire development organization.

范它,并使用它和整个开发团队进行沟通.

It is a specific measure carried out by GNU to efficiently manage and formalize the information about its teachers and students.

是贵州师范大学对教师学生信息形成高效化管理和规范化管理的具体举措。

The BNF is used to formalize the packet filtering rules.

本文利用巴科斯范式(BNF)对驻留主机防火墙的过滤规则进行了形式化描述.