formalizing的例句大全

The theory of the fields of power, a basic part of his sociology theory, plays an important role of meaning formalizing and essentially builds his sociology of the constructive structuralism.

权力场域理论是布迪厄社会学理论中最基本的内容，在他的建构的结构主义社会学中起着昭显的形式意义和实质的建造作用。

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

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

Formalizing Type Safety of the Java Virtual Machine

Java虚拟机安全性的形式化分析和验证

Formalizing Interactions and Interaction Protocols in Multi-Agent Systems

形式化多主体系统中的交互及交互协议

Formalizing the Procedure of Model-based Diagnosis on General Causal Theory

广义因果理论上基于模型诊断过程的形式化

The application of the formalizing theory

规范化理论及其应用

Formalizing extended events traces using formal specification language Z

用Z语言形式化扩展事件踪迹图

New extended workflow net for formalizing workflow patterns

一种支持工作流模式的扩展工作流网

This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.

在基于时间区间的时态逻辑基础上，提出了一种处理主体并行行为与并发事件的逻辑理论框架。

Formalizing Software Design Pattern in Z

用Z形式化描述的软件设计模式

Formalizing Workflow Patterns Based on the π-calculus

工作流模式的π演算形式化

Nowadays, there are lots of study results of formalizing UML, but they are limited.

目前，已经有很多UML形式化的研究成果，但都存在一定的局限性。

Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.

每个计划团队都有一个业务主管，负责收集和确定业务需求。

Preliminary study on formalizing process of Changle Granule

长乐颗粒剂成型工艺的初步研究

Formalizing the Natural-language Descriptions about the Spatial Relations between Linear Geographic Objects

关于线状地理特征空间关系的自然语言描述的形式化表达

A Research on Formalizing the Teaching-by-Experiment in New Stage

新时期实验教学管理规范化研究

Formalizing PKI Interoperability Trust Models with Trust Logic

基于信任逻辑的PKI互通信任模型形式化

Before the Extenics was established, formalizing and systematic research on contradiction problem was always lacking.

在可拓学建立之前，一直缺乏形式化，系统性的矛盾问题研究。

No reference to meaning is involved in the result of formalizing, and is an important prerequisite for formal implementation.

意义无涉既是形式化的逻辑结果，又是形式化的重要前提。

Finally, the whitepaper talks about formalizing service contracts and making services visible, typically using service registry.

白皮书在最后还谈到了服务契约规范化以及服务可视化，这通常是通过服务注册实现的。