formalizing

The method consists of two major parts: a Pedagogical Knowledge Description Language ( PKDL) for formalizing the texts, and a PKDL compiler for parsing and analyzing the formalized text and representing it with IO-model of knowledge representation.

该方法由两部分组成：一是高度类自然的教育知识描述语言（PKDL），由知识工程师用于形式化《中国大百科全书》中的教育知识文本；

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

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

Formalizing Workflow Patterns Based on the π-calculus

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

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.

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

A formalizing expression method of User Request is given, and then the acceptability of User Request is analyzed based on logic reasoning technology.

提出了用户请求的形式化表达方法，并基于逻辑推理技术，分析了用户请求的可接受性，只向系统传送可实现的用户请求，提高了服务组合的效率。

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

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

Formalizing user requirements.

软件需求形式化。

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

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

But the role played by the heavens in formalizing the days of the week doesn't stop there.

但天体对星期的形成所起的作用可并不止这些。

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

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

New extended workflow net for formalizing workflow patterns

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

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

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

In this paper, a model for ontology-driven Web Information Retrieval ( WIR) is designed to solve the problem existing in the current WIR, for example low recall. User query formalizing module and query analyzing module are the key modules in the model.

本文提出一个本体驱动的Web信息检索模型以解决当前Web信息检索中存在的问题（如查准率低），并分析了该模型的关键组件用户提问分析组件、查询组件。

Formalizing Software Design Pattern in Z

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

Encouraging self-regulating among the members, formalizing industry standards and trading codes, and expediting industry certification.

倡导行业自律 、 规范行业行为、维护行业形象.收集行业意见,制定行业标准及国际国内交易规则.

The application of the formalizing theory

规范化理论及其应用

Formalizing extended events traces using formal specification language Z

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

Formalizing Type Safety of the Java Virtual Machine

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

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

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

Formalizing PKI Interoperability Trust Models with Trust Logic

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

Formalizing Interactions and Interaction Protocols in Multi-Agent Systems

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

Formalizing in Software Architecture and State-Oriented Style

软件体系结构的形式化与面向状态的形式化风格

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

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

Scope Verification-formalizing acceptance of the project scope.

范围核实 - 正式接受项目范围.

Brown made announcement at San Francisco, formalizing that many Californians have been aware for months.

布朗在旧金山发表了声明，称许多加州民众已经察觉到这个情况数月之久了。

Bahrain and Israel have signed a series of key agreements formalizing bilateral ties.

巴林和以色列签署了一系列重要协议，使双边关系正式化。

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

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

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

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

Preliminary study on formalizing process of Changle Granule

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

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

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