演算

In this paper, we study Web transaction protocol's formal expression by polyadic π-Calculus, depict concretely WS-AT protocol's 2PC (2 phase committing) called 2PCP and then define its atomic transaction properties.

采用多元π演算研究了Web服务事务协议形式化表达，详尽描述了WS AT协议的两阶段提交协议2PCP，并定义了2PCP协议的原子性事务性质。

Based on the higher-order polytypic π-calculus theory, through the way of extended the existing researching achievement D-ADL, it presented an architecture description language SOS-ADL which could descript the self-adaptive component's dynamic behavior from the runtime perspective.

基于高阶多型π演算理论，在现有的动态体系结构描述语言D-ADL基础上，提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。

Under the improvement type of a thesis perform algorithms, it will not need to rescan the whole database each time when there are newly-increased materials. It usually needs to scan the newly-increased trade materials in order to improve the efficiency of prospecting.

因为在过去的资料探勘技术中，在建构决策树的过程中，若有新增或删除交易资料时，则必须重新计算一次，将造成前次探勘计算的重复及资源的浪费，所以本研究的改良式演算法当有新增资料时将不用每次都要重新扫描整个资料库，绝大部分只需要扫描新增的交易资料，以提升探勘效率。

Because of the high magnification camera, we have to extract the laser streak from the obtained images fist, then we can get the line position of laser streak by using Otsu's method , morphology, skeletonization and Hough transform from the images of inspecting object. The system shows a good performance of getting only 5% error to the reconstructed surface of the standard board.

本系统采用放大倍率较大的镜头，因此在取像之后，必须先做雷射条纹形状的萃取，再运用Otsu演算法做二值化运算，搭配型态学影像处理，骨架化与Hough转换，计算雷射线的相隔距离，再透过前述的公式转换待测物体的厚度值。

In this study, two Sonification schemes, Tx2Ms and Im2Ms, are proposed to extract the melody between the lines, i.e., both the lines in verses and the lines in strokes.

本研究分别针对五言绝句与草书提出两种可听化的方法，目的在於萃取出诗词字里行间的韵律之美以及书法挥毫纸上的线条之美，将其映射为数字化资料，并以演算法作曲化数字为旋律。

First, our approaches are capable of processing the queries directly from the wavelet synopses retained in the main memory without using IDWT to reconstruct the data cells. Moreover, our approaches enable the users to query the DSMS within their range of interest.

由於我们设计出来的方法，避免了将频域系数转换成时域系数所需消耗的运算负担，因此，和许多现有的演算法相比，我们的演算法，能以更有效率的方式，计算出相关查询的答案。

The thermometric lag mainly depends on the properties of protective sheath,and the thermal parameter of the sensor...

这些结果可为传感器的优化设计和实际使用提供理论依据，且可在基于模型的反演算法中提供正向解。

In the course of calculation of genetic distance of virus gene, p and q should be comprehended of the transition rate and transversion rate.

通过对病毒基因序列的遗传距离的演算，发现公式中的 p 和 q 应理解为转换率和颠换率；计算所得的 K 值是一个百分率，更适合于显示生物进化的时间概念。

Experimental results show that our approach (unbuffered and buffered clock tree syntheses) performs better than conventional DME algorithms in reducing the skew of the clock.

由实验结果可以得知，我们的方法使用在无插入缓冲器和插入缓冲器两种时钟树合成，能比DME演算法更有效的降低因制程变数所产生的偏斜。

The principle of array lateral sonde and the fast forward calculationsimulation of the cylindrical electrode with a point source were first introduced and the characteristics of the responses were analyzed and summarized based on the forward calculation of different models.

在介绍阵列侧向电极系工作原理及点源模拟柱状电极快速正演算法的基础上，基于不同模型的正演计算，分析总结其响应特性。

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.

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