查询词典 formal model

On this basis, the model transduction is transformed into the translation of formal language.

在此基础上，将模型的变换问题转化为形式语言的翻译问题。

The formal definition of this model was given, and the security was also analyzed with proof.

形式化描述了模型，并对模型的安全性进行相应的分析和证明。

This paper also gives formal definition for the model.

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

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

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

Research on formal basis of SIKA coordination model and language.

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

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.

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

It is, in fact, a system model with a formal definition and a graphical representation.

因此如何结合对象技术和Petri网一直是一个研究热点。

The object formal semantic model serves as the foundation of our whole work.

对象形式语义模型是我们整个工作的基础。

The key of developing agile information system is building system model by formal methodology.

敏捷信息系统是具有可重构能力的快速适应性系统。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。