formalization

Analysis and Study on Mechanism of policy formalization for certificate management

证书管理策略形式化问题的分析与研究

Research on Formalization Requirement Analysis Method in MIS Development

管理信息系统开发中的形式化需求分析方法研究

Study on Formalization Design for High - Level Secure Operating System

高安全级操作系统形式设计的研究

A Structural Model and Its Formalization for Intelligent Control Systems

智能控制系统的结构模型及其形式化

It indicates the primary analysis for the model formalization .

对该模型进行了形式化的初步分析。

Formalization Analysis of State Space Generation for Complex Serial Systems

复杂串联系统的状态空间生成的形式化分析

Knowledge description and formalization in fault diagnosis for process industry

过程工业故障诊断知识描述及形式化

A Formalization Method for User-Oriented Model System of CIMS Overall Design

面向用户的CIMS总体设计模型体系的一种形式化描述

Analysis and Primary Comparison for Formalization of Design Patterns

设计模式形式化方法分析和初步比较

Research on the formalization description of strategy generating technology based on extension .

研究基于可拓理论与方法的、可用于计算机实现的策略生成的形式化描述方法。

A New State Formalization Algorithm for Protocol Conformance Test Sequences Generation

用于协议一致性测试序列生成的状态规范化算法

Research on the Design and the Model Formalization Representation for Mechanical Kinematic Scheme

机械运动方案设计及其模型形式化表达方法的研究

Research on Mechanism & Formalization of Binary Component Flexible Integration

二进制构件柔性组装机制及其形式化研究

Research on formalization method of complicated decision-making problems

复杂决策问题形式化方法研究

Research on Uncertain Information for QoS Routing : Formalization Description and Analysis

QoS路由的不确定信息研究：形式化描述与分析

Study on Test Template Framework Based on Formalization Specification

形式化规范测试模板框架的研究

Formalization of the resource scheduling and migration algorithm was presented .

对基于协同式空间信息工作流模型的资源调度与迁移算法进行了形式化的研究。

Study of formalization for object storage system will help us to study object management in detail .

对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。

Too much formalization has always been influencing the teaching of mathematics .

数学的过于形式化一直影响着今天的数学教育。

Formalization of Product Gene Based on Functional Surface

基于功能表面的产品基因形式化表达

Research of Formalization Processing for Collective Structures in Mathematics Domain

数学领域集体词结构形式化处理研究

The formalization of the protocol is described and the method is presented .

并对协议的运行过程进行了形式化，给出具体的分析方法。

Formalization of Grid Service Composition Based on I / O Automata

基于I/O自动机的网格服务组合的形式化

Research on the formalization and reuse of scheme based on the semantics element

基于语义元的设计方案形式化与重用方法研究

FORMALIZATION AND VISUALIZATION & Two Basic Principles for Conceptual Thinking in Mathematics

形式化与直观化&试论数学概念思维的两个基本原则

Formalization of Chinese Characters and the Building of Spiritual Civilization

文字规范化与精神文明建设

In this framework , basis of the system is case formalization and case base building .

在此框架中，产品信息建模即产品的案例形式化描述，及相应案例库的建立与管理是整个系统开发的基础。

Whereafter , formalization dynamic resource model was constructed based on it .

进而，在资源语义及语义约束的基础上构造出物理网络的形式化动态资源描述模型。

TIS ( Temporal Information System ) is the formalization of time series .

时态信息系统（TIS）是时间序列的形式化表示。

Two primary problems of verification to program formalization

程序形式化验证中的两个基本问题