查询词典 formal

This paper also gives formal definition for the model.

给出了模型的形式化描述。

Therefore, it is hard to make a unified, definitive and formal mathematical model.

因而很难给出其统一的、确定的、形式化的数学模型。

A formal model of knowledge-based system is given in this paper.

在对知识系统深入研究基础上，本文给出了知识系统的一个形式模型。

A multi-grain formal model for service composition is proposed in this paper.

提出一种多粒度的服务组合形式化模型。

Based on the analysis to the formal model of ecological water, new ecological water calculation model was established.

在以往生态需水计算模型的基础上，提出了利用空间关联分析方法计算生态地下水位埋深值的新方法。

A formal model is proposed to describe time character of constraint in this paper.

提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。

Research on formal basis of SIKA coordination model and language.

研究了SIKA协调语言／模型的形式基础。

In our zeal to learn, we have transferred the formal model of learning into the collective mind of our corporations.

在我们的学习热情中，我们已经把学习的正式模式转化为我们公司的集体思维。

And, a formal deadlock definition in OO model and practical detection algorithm is proposed for the first time.

首次给出基于面向对象模型的死锁问题的形式化定义及实用检测算法。

Computation Model is a formal, abstract definition of a computer.

计算模型是一项正式的，抽象的定义，一台计算机。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。