In other words, they needed a formal model of computation.
换名话说，精确计算机需要一个正规的计算模式。
We present a model of computation for cryptographic protocols.
我们介绍了一个密码协议的计算模型。
We compare our model of computation to another associated with the NRL Protocol Analyzer.
我们把自己的计算模型与另一个有联系的NRL协议分析器进行了比较。
A programming language cobbles a model of computation with some sort of expressive syntax.
编程语言通过对一系列的表达式的组合实现了自身的运算模型。
A model of computation for three-dimensional mixing layers described by discrete vortex filaments is built.
构造了三维混合层流场用离散涡丝描述的计算模型并进行了数值模拟。
This will be a coding and architectural change for those applications which want to take advantage of a different model of computation.
对于那些希望享受不同计算模型优点的应用，这将是一个代码和架构级别的改动。
"We're not trying to replace a supercomputer," Knezevic says. "This is a model of computation that works in conjunction with supercomputing."
“我们并没有尝试去替代一台超级计算机，”Knezevic说，“这是一个和超级计算协同工作的计算模型。”
“We’re not trying to replace a supercomputer, ” Knezevic says. “This is a model of computation that works in conjunction with supercomputing.
“我们并没有尝试去替代一台超级计算机，”Knezevic说，“这是一个和超级计算协同工作的计算模型。
The typical computation model of training effectiveness of training plane has limitation in selection of flight parameters as well as insufficient attention to avionics and control system.
典型的教练机训练效能计算模型对飞机的航空电子系统、操纵系统考虑不足，对飞行参数选择有局限性。
Iwould ask a question about the relationship among computation model, program languages, software process, and a little bit of other things.
我要问的问题之间的关系，计算模型，编程语言，软件过程，和一点点其他的东西。
The early simple load model can not meet the need of stability computation of present interconnected network.
早期的简单负荷模型已经不能满足当前互联电网稳定计算的需要。
The HVS model is based on the computation of the noise visibility function (NVF) and embed at the texture and edge region stronger embedded watermarks.
模型基于噪声可见性函数(NVF)的计算来决定水印嵌入强度，使水印更多的嵌入到图像的纹理和边缘区域。
A computation model for ideal filling block mass was presented to achieve the most favorable compressibility of the fillings.
给出了具有最佳压缩性能的理想充填块体的计算模型。
The computation shows that the result of this coupling model fits the measured value very well.
计算结果表明，耦合模型计算结果与实测值拟合很好。
Concurrent computation model is one of the most important problems in theoretical computer science.
并发计算模型是计算机科学研究的重要问题之一。
Lastly, we put forward the computation model of the theoretics and statistics power Losses of line.
最后根据配网的特点我们提出，统计线损和理论线损的计算模型。
The level system uses new model of Web accessing and level computation to build Web level system so that the requirement for computer resources is greatly reduced.
该搜索引擎的级别系统使用了新的网络访问模型和级别计算模型，大大降低了搜索引擎对于计算机资源的要求。
The reliability of the ship power station is described by Markov process. The computation model for steady availability of power station and its solution are presented.
用马尔柯夫过程方法对船舶电站运行可靠性问题进行描述，建立船舶电站稳态可用度的计算模型和探讨其求解过程。
Basic principle and implement method of slab cutting length computation model in No 3 CC of Baosteel are introduced.
主要介绍在宝钢3号连铸机上投运的板坯切割长度计算模型的基本原理及实现方法。
Based on the shear-lag model and the usual loading way, the computation model of interfacial debonding stress under tension-tension cyclic loading is established first.
基于剪切筒模型和常用疲劳加载方式，首先建立了循环荷载作用下钢筋与混凝土界面脱粘应力的计算模型；
In the paper the phenomena of atomization flow are described and a computation model of atomization flow is proposed.
本文描述了雾化水流现象并提出了雾化水流的一个计算模型。
Compared with some other modeling methods, such as ANFIS, the proposed model is of less computation, higher accuracy, especially for high dimension data modeling.
与其他建模方法相比，如anfis，模糊树模型计算量小，精度高，尤其在高维数据建模中更为明显。
Simple method and establishment way were introduced in detail of high steep slope computation model of a hydroelectric power station.
详细介绍了某水电站高陡边坡计算模型的概化方法、建立方式。
In order to solve these problems, the dissertation studies data model of data warehouse and multidimensional computation in detail.
为了解决上述问题，本论文深入地研究了数据仓库的数据模型以及多维计算。
The results of computation show that the model and the arithmetic are feasible for optimization of grain composition of packing particles in general.
计算结果表明所给的优化模型及算法对于堆积颗粒系统中颗粒级配的优化是可行的。
The effectiveness of BP model for hydrologic series prediction is verified by computation of practical examples.
结合实例分析计算，论证了BP网络模型对水文预测的有效性。
Facing with the current trust model contradiction of scale and computation, with the idea of human society establishment, a P2P trust model based on interest group is proposed.
针对当前信任模型的扩展规模和计算开销的矛盾，借鉴人类社会信任建立的思想，提出一种基于兴趣群组的P 2 P信任模型。
Compared with model basin test data, the result of computation is accurate.
计算得到的兴波阻力系数与试验结果结果相比，吻合良好。
The finite element model, computation response of driving force and dynamic characteristic are established by taking double mass spring damping system for example.
以双质量弹簧阻尼系统为例建立有限元模型，计算动力响应以及动态特性。
The computation examples prove the reasonableness and effectiveness of the mechanical model and the computational methods presented in the paper.
通过算例，证明本文提出的力学模型与计算方法的合理性与有效性。
应用推荐