查询词典 formal

Also the formal definition of the HURBAC model is presented in the paper.

本文对HURBAC模型的模型元素、角色层次和职责分离依次进行了形式化定义。

An ECDF (event triggered concurrent dataflow) model and its formal description are presented in this paper.

提出了一种ECDF模型，并给出了该模型的文法描述以及调度算法。

Our research provides formal description results for MSMQ model in Grid system.

研究结果提供了形式化描述调度模型，为大规模和复杂的网格系统的建立提供了定量分析和预测评价。

In order to improve the design and implementation quality of web service compositions, formal methods are used to model them and certain properties are verified.

为了提高组合web服务的设计和实现质量，使用形式化方法对其进行建模并对其关键性质进行验证。

So it is necessary to research on the definition, classification, characteristics, calculation, and formal model of directional relationships.

因此得出结论：研究空间方向关系中的最基本问题，即空间方向关系的定义、性质、特点、分类、形式化描述机制、基本计算等，是研究工作的当务之急，研究新的空间方向关系形式化描述模型很有必要。

While the notion of creative designing is well established, there is no consensus on a formal model of creative designing processes.

创造设计的概念已被广泛接受，然而，对于创造设计过程的正式模型却一直没有一致的意见。

The method is based on the formal EBE model that specifies only the external behavior of a protocol.

外部行为描述模型只对协议的外部行为进行描述，强调变迁之间的数据依赖性。

The process of replacing polynomials by formal power series is an example of a general device known as completion.

用形式幂级数来代替多项式的过程是被称之为完备化的这种一般手段的一个例子。

In chapter 4, we define the notions of μ-semirings and λ-semirings and also study the primary properties of them. Moreover, we discuss the interrelation between them and the formal power series semirings of them.

第四章给出了μ-半环和λ-半环的定义和基本性质，讨论了两者的一些内在关系并研究了它们的形式幂级数半环。

Through the operation of formal power series, we set up the expansion of Ar, a popularizing of the common polynomial theorem, where r is a non-zero real number.

通过形式幂级数A的幂运算，建立了Ar的展开式，这里r为非零实数，这是常见的多项式定理的推广。

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 。