formalized的例句大全

To reduce the amount of memory required to store standard signatures and proxy signatures, and the computational time required to verify their validity, a new notion called unrestricted hybrid aggregate signatures is introduced and formalized.

为了减少实施普通签名和代理签名的存储量和验证这些签名的计算量，提出了一种新的聚集签名，称为无限制混合聚集签名，并给出了形式化定义和安全模型。

The organization models and modeling idea available lack of the formalized describing on dynamic process and enough expressing for the changeability of access authorization for resource.

目前提出的组织模型和建模思想，缺乏对模型中的动态过程的形式化描述，对资源权限的易变性表达不够。

Chapter Four makes a comparative study on the formalized discourse structure theories both in theory and in annotating practice.

第四章对四种语篇结构形式化理论进行理论分析和标注应用。

Using SOA framework technology and Web Services technology, the models are abstracted to describe as a formalized model function according to model specification.

应用面向服务的SOA架构技术和Web Services技术，根据建模规范对模型进行抽象描述，提炼出形式化模型函数。

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.

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

Different forms of formalized method may be complimentary in function.

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

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

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

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

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

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

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

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.

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

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

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

Object oriented model and formalized method

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

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.

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