演算

By means of the decidable theory of boolean expressions, we present a new approach to check bisimulations of the finite-control π-calculus.

利用关于其布尔表达式的可判定理论，本文对有穷控制π-演算的互模拟验证问题给出了一种新的解决方法。

Based on the former fruit and new theory, discussible research is done for the shortcoming of traditional inversion of resistivity sounding.

本文针对传统反演算法所存在的某些缺陷，结合当前一些较新的理论研究成果，在前人研究的基础之上，作了一点探索性研究工作。

ECCA adopts two phases algorithm by improving Contention Control concept to provide better contention resolution mechanism for high priority traffic.

ECCA采用两阶段之演算法已提供音讯较佳之竞入控制。

We choose back-propagation neural network model for studying. In this paper we take RMR rockmass classification data set from the Fuder Tunnel for studying.

本文选择类神经网路中，倒传递类神经网路( Back-Propagation Neural Network )演算模式来进行研究。

While some of the ideas of calculus were developed earlier in Greece , China , India , Iraq, Persia , and Japan , the modern use of calculus began in Europe , during the 17th century, when Isaac Newton and Gottfried Wilhelm Leibniz built on the work of earlier mathematicians to introduce its basic principles.

虽然一些想法结石制定了早些时候在希腊，中国，印度，伊拉克，波斯，日本，现代利用的演算开始在欧洲，在17世纪时，艾萨克牛顿和莱布尼茨建立哥特弗里德威廉的工作早期数学家介绍其基本原则。

There are a lot of interpolation methods, and all the destination is to make interpolated image accomplishes best quality and PSNR. However, color spreading and characters of image itself are different and various. One of our goals is to find the best interpolative method to perfect most of the images. And another point is the operation complexity when we interpolate. At present, we can say that the better image quality you need, the more complicated operation you have.

目前有许多颜色补插的方式，但最终的目的都是要让补插后的影像能够达到最好的品质与PSNR，但是因为影像本身的色彩分布与特性都不一样，变化很多，所以如果能够找到一个针对大部分影像都能达到最好的补插结果，那是我们的目标之一，另一个重点就是补插时的运算复杂度，目前要达到比较好的影像品质，通常都是需要经过比较复杂的运算，在硬体设计上也会比较烦琐，如果在补插后的影像能达到一样的品质，但是在运算量上却能够简化，在补插演算法上也是一大改进。

The Inwood Method of analysis cited above includes the mortgage obligations in the calculation of both the annual net cash flows generated by a property and the net proceeds to be realized from the sale of the property at the end of the holding period.

被援引的The Inwood分析方法以上在物产引起的两每年净现金流量的演算包括抵押责任，并且网继续从物产的销售体会在保存期间的结尾。

APSO and DES framework can both find a better solution, fewer minimum iterant times and average iterant times.

在物品较多的背包问题中，透过加速度粒子群演算法与双演化策略架构均能找到相较於以往文献的更好最佳解并且在较小代数与平均代数上，也均能得到相较以往文献的较少代数。

Many algorithms in the literature adopt some monotonic criterion to choose parents.

过去的演算法中大多使用单一的评定方法来选择该节点的父节点群。

The parameters in mixtures are estimated by the generalized EM algorithms with low complexity and monotonic convergence.

在混合模型中的参数使用EM演算法来估计具有较低的复杂度和单调收敛的性质。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。