查询词典 formal model
- 与 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.
敏捷信息系统是具有可重构能力的快速适应性系统。
- 推荐网络例句
-
Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .
从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。
-
Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.
蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。
-
The almost sure central limit theorem is a pop topic of the probability research in recent years,because it has many actual applications in the random analogue.
中文摘要：几乎处处中心极限定理是近几十年概率论研究的一个热门话题。它之所以引起人们的注意是由于它在随机模拟方面的实际应用参见Fisher