演算

基本解释 (translations)

figure  ·  figures  ·  calculuses

词组短语

perform mathematical calculations

与演算相关的网络例句 [注：此内容来源于网络，仅供参考]

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

We can use software to do most calculation but not use hardware. The most basic circuit doing calculation in the computer is binary adder. For example, we can use of addition to do subtracting, continuous adding to do multiplication, and continuous subtracting to do division.

在电脑的世界里，可以做任何数字系统且复杂的演算，但是大多数的演算都藉由软体来解决，而非用硬体直接进行各种演算，电脑的硬体或其他数位电路在做算术运算时，最基本的电路往往只有二进位加法器而已，至於减法可藉由补数的加法解决，乘法等於连续的加法，除法则是连续的减法，可见加法器在运算数位系统中的重要性。

Tarski constructed strictly the calculus of classes and its metalanguage,then defined some important concepts of the calculus of classes,such as sentential function,free variable, sentence,operation,consequence.

塔斯基严格地构造出了类演算语言，然后又构造出了类演算语言的元语言，并且在元语言中定义出类演算语言的语句函项、自由变元、语句、运算、后承等重要概念。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

In this thesis, we implement a computational procedure to categorize and classify 3-D objects from their contour under a simple environment. First, we use foreground detection, Canny edge detection and speedy GVF snake to obtain the object's contour. The contour is then used to establish the object's features. Two databases are built using methods which compute similarity by modified aspect-combination algorithm proposed by Cyr and Kimia and new proposed aspect-combination algorithm. By using these two databases, we recognize 3-D objects using four recognition methods and compare their performance. Finally, a conclusion is made that our newly proposed algorithm is better than the modified algorithm proposed by Cyr and Kimia.

在本论文中，对一个在单纯环境下的三维物体，由撷取到辨识出此物体做了一个完整的实现，首先，利用前景侦测结合肯尼边缘侦测法和加速的梯度向量流动态轮廓侦测法，来得到物体轮廓，接著利用此轮廓找寻出物体的特徵，然后配合计算相似度的方法，代入修改后的Cyr and Kimia的外观结合演算法（aspect-combination algorithm）和新提出的外观结合演算法去建资料库，然后，对於三维物体则依据两种不同方法所建出的资料库，利用四种辨识的方法来辨识并比较其结果，最后得出新提出的外观结合演算法是优於修改后的Cyr and Kimia的外观结合演算法的结论。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

Ant routing use Swarm-Intelligence for route discovery and also have multi-paths for backup and balance. However, the efficiency of ant routing can more and more go down in large-scale mobile ad hoc networks. For solving such condition, improving the efficiency of ant routing, this research proposes the algorithm that combines both the GRID and ant routing, called grid-based ant routing algorithm. GARA can improve efficiency of ant routing in large-scale mobile ad hoc networks.

对於解决路由上的一些问题，也因此有各种不同类别的路由方法被探讨，蚂蚁路由演算法利用群体智慧(swarm-intelligence)找寻路径，而且同时能够找到多条备援路径，但是，蚂蚁路由演算法会因为行动主机数目愈来愈多情况下，而导致路由演算法效率降低，因此本论文以GRID为概念，融入蚂蚁演算法中，让蚂蚁是采用网格对网格(grid-by-grid)方式传输，改善蚂蚁路由演算法在行动主机数目愈来愈多情况下的效率与效能。

A commutation error is then considered in addition to the conventional residual error to generate the innovative residual error. Such an error is applied into cost functions to derive finite impulse response and infinite impulse response filter-based adaptive algorithms for ANC applications, referred to as FxRLS/CE and FuRLS/FRE+CE algorithms, respectively. Convergence analyses based on Lyapunov stability criteria for time-varying discrete-time systems can be carried out for the FxLMS/CE, FxRLS/CE and FuRLS/ FRE+CE algorithms to ensure stability. Computer simulations and experiments demonstrate that the innovative residual error-based adaptive algorithms can free the restriction of the slow-adaptation assumption in the conventional ANC approaches.

本文中也定义一交换误差并且加入到传统残留误差行形成新残留误差来改善适应性演算法的收敛速度，使用新残留误差推导出了有限脉冲响应滤波器与无限脉冲响应滤波器之适应演算法的新适应性演算法分别为： FxLMS/CE、 FxRLS/CE 和 FuRLS/FRE+CE 演算法，并且以离散时间的 Lyapunov 稳定性准则来证明演算法的收敛性，电脑模拟与实验也显示新演算法免除以往滤波器的参数必须缓慢更新的条件。

Through the description on the firewall access and -calculus, it is indicated that the Robust Ambients holds its intrinsic stronger expression ability.

同时通过对防火墙跨越和多元异步-演算的描述，表明鲁棒环境演算在改进、优化动态环境演算安全性的同时保留了原有演算较强的表达能力。

First, the character clustering algorithm regards the character as our features and then it can cluster these sentences of our target words to the correct group without any other resources. The average precision is 66.1%. Second, in the concept clustering algorithm of the aggregate computing, we use HowNet as the knowledge base of our feature words and obtain the concepts of these words. We cluster the sentences which have the same or similar concepts of the feature words into the same group. And then we can complement some lacks of the character clustering algorithm. The average precision is 72.3%. Third, regarding the concept clustering algorithm of the sememe distance, we use the sememe distance to compute its concept similarity. It improved similarity measure of the concept clustering algorithm of the aggregate computing. It achieves 81% average precision and gets better cluster quality.

词形分群演算法不受语料资源限制，能将词形相似且词义相近的词汇所属的句子分到同一群，经过人工验证，得到了66.1%的平均正确率；基於集合计算的概念分群演算法使用了知网做为撷取特徵词汇的知识库，透过知网取得词汇的概念，将具相同或相似概念的特徵词汇所属的句子分成同一群，补足词形分群演算法的不足，得到72.3%的平均正确率；基於义原距离的概念分群演算法则利用义原间的距离计算特徵概念的相似度，进一步改善了基於集合计算的概念分群演算法在相似度衡量的问题，得到81%的平均正确率，达到更好的分群效果。

与演算相关的网络解释 [注：此内容来源于网络，仅供参考]

Algorithm Analysis：演算法分析

algorithm 演算法 | algorithm analysis 演算法分析 | algorithm, asynchronous parallel 異步並行演算法

Algorithmic Language：演算語言

"演算法","algorithm" | "演算语言","algorithmic language" | "演算常式","algorithmic routine"

calculus of classes：类演算

如命题演算(Calculus of proposition)、类演算(Calculus of classes)等. 此外"Calculus"一词还用来表示"微积分学". 计算机或计算器本身则被称之为"Calculator". 克、克拉与盎司都是质量(重量)的计量单位. "克拉(carat)一词来自希腊文,

lambda calculus：演算

λ演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统. 它由丘奇(Alonzo Church)和他的學生克莱尼(Stephen Cole Kleene)在20世纪30年代引入. Church 运用λ演算在1936年给出判定性问题(Entscheidungsproblem)的一个否定的答案.

predicate calculus logic：述詞演算邏輯

述詞演算 predicate calculus | 述詞演算邏輯 predicate calculus logic | 述詞轉換器 predicate converter

predicate calculus of the third order：三阶谓词演算

predicate calculus 谓词演算 | predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算

predicate calculus with identity：带恒等式的谓词演算

predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数

predicate calculus：谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...

propositional calculus：命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

sentential calculus：命题演算;语句演算

命题演算;语句演算 sentential calculus | 复合命题 sentential combination | 命题变元;语句变元 sentential variable