formalizing的例句大全

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

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

Formalizing user requirements.

软件需求形式化。

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

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

Formalizing in Software Architecture and State-Oriented Style

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

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

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

The implementation scheme of the model is introduced in the aspects of agent's formalizing expression, mechanism of communication between agents and environment of system realization.

从agent形式化表示、agent间通信机制和系统实现环境方面介绍了系统的实现方案。

Formalizing Architectural Styles with XYZ/ E

用XYZ/E形式化体系结构风格

Formalizing Mobile Agent Security with Seal-Calculus

基于Seal演算形式化描述移动Agent安全

The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.

由Jason Bloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。

In some ways, the news conference and the royal endorsement were a way of formalizing the military's seizure of power.

在某种意义上，新闻发布会的召开和国王的授权是对军方掌权的正式确认。

Domain analysis is adopted to find and record the commonness and the difference in a given domain. It is the key of systematizing, formalizing and effectuating reuse.

领域分析是发现和记录某个领域的共性和差异的过程，是系统化、形式化、有效重用的关键。

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信息检索中存在的问题（如查准率低），并分析了该模型的关键组件用户提问分析组件、查询组件。

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），由知识工程师用于形式化《中国大百科全书》中的教育知识文本；

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

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

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

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