演算

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

Though 2-D DCT/IDCT roughly are divided into row-column decomposition and not row-column decomposition. NRCD is more efficient than RCD, but it is relatively too complex for hardware to be implemented. So the design structure of this thesis also uses RCD as usual.

虽然 2-D DCT/IDCT 大致分为行列分解演算法(Row-Column Decomposition)及非行列分解演算法(Not Row-Column Decomposition)，而且非行列分解演算法会比较有效率，但是硬体实现的复杂度相对提高，故一般采用行列分解演算法。

The experimental results show that the proposed algorithm is robust and accurate, and can extract the QR Code information effectively.

最后，实验结果证明本文提出之演算方法具有高度的强健性与准确率，能有效地辨识QR Code影像内含的资讯。

Alot of optimisations done, with focus on supply calculation, event engine and the AI.

227-很多优化完成，与在供应演算、事件引擎和AI的焦点

Despite its simplicity, flooding tends to generate too many redundant retransmissions.

尽管它很简单，氾滥式演算法倾向去产生大量多余的重传。

Secondly, what Glossematical School wants is to establish the linguistic typology, namely metatheory, helping to compare different theoretical pattern, sign systems, linguistic signs, and levels of linguistic symbol theoretical pattern, on the basis of which the study objects of glossematics are finite as relation among the previous statement, defined as function.

因为语言符号的形式和意义之间的关系是任意性的，不存在普遍意义的范畴。语言学的所有范畴都要从具体语篇中演算出来，这就要建立语言代数学，即语符学。其二是用纯理语言构建的语言模型，必须拿具体的语言去检验。模型反映出的是人类所有语篇，包括未出现的和已经消亡的语篇的各种可能性，利用语符学的经验原则和推导条件帮助识别出哪些是现实中存在的形式，哪些是潜在的形式。

The major study is to utilize the advantages of GSSA and GSPT algorithms to improve the PPM algorithm which is proposed by Lee, C.H., so we can get the temporal association rules efficiently.

主要以GSSA及GSPT演算法的优点来改良李昌鸿等人针对出版资料库所提出之PPM演算法，可有效的探勘出时序性关联规则。

The vehicle is positioned by GPS aided with dead reckoning. System controlling, data collecting and processing, and the navigation information output are done by the embedded hardware platform. The embedded AVN application software calculates the vehicle's geographic position, velocity, and the direction real-timly through the vehicle's positioning subsystem, selects the best driving path according to the demand, and does navigation processing, outputs the navigation information through electrical map and voice, which guide the driver to reach the destination quickly, safely, and straightly.

汽车定位子系统以GPS卫星定位为主、航位推算为辅进行汽车定位；嵌入式硬件平台进行系统控制、数据采集和处理、导航信息输出；嵌入式汽车自主导航软件通过汽车定位子系统，实时解算出车辆的地理位置、速度、方向等信息，并根据需求自动演算最佳行驶路线，在行驶过程中实时进行导航处理，同时将这些信息通过电子地图和语音提示的方式反映出来，从而引导驾驶员快速、安全、准确地到达目的地。

The feasibility of this algorithm is verified by using the experimental data of the East China Sea.

采用东中国海实验数据研究了该反演算法的可行性。

These algorithms use the concept of fuzzy calendar pattern which is proposed by Lee, S.J. and also utilizes the advantages of GOT and COT algorithm, so we can get the Asynchronous Periodical Association Rules.

主要利用李锡智所提出的探勘模糊日程表形样的概念，加上GOT和COT演算法的优点，即可探勘出具有非同步特性的周期性关联规则。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了