演算

A bigraphical representation of a Seal calculus without replication is provided in this paper,and structural correspondence and operational correspondence between the Seal calculus and its bigraphical representation are analyzed.

文中给出了一种不带复制进程表达式的Seal演算的偶图表示，分析了该Seal演算与其偶图表示间的结构对应和操作对应。

The main difference between ours and LTF-MES is that we consider the execution order of tasks that may reduce the frequency of memory contentions.

而我们提出的演算法和最大工作量任务优先之演算法最大的不同在於，我们考虑任务的执行顺序，可因此减少核心之间相互竞争记忆体的频率。

The oblique projection algorithm's main advantage is that it can achieve almost same result with the orthogonal projection algorithm, while its implementation is easier and faster.

倾斜投影演算法的主要优点在於它能提供与正交投影演算法几乎同样的结果，实作上更容易实现且速度又快。

The process of the oblique projection algorithm is derived using B-spline function and can provide good effect that is only inferior to the orthogonal projection algorithm.

倾斜投影演算法的处理程序中会使用到B-spline函数来实作影像的放大与缩小，它能提供仅次於正交投影演算法的效能。

The event calculus is a theory for reasoning about action based on first-order predicate calculus.

事件演算是基于一阶谓词演算的行动推理理论。

A legitimate expression of the predicate calculus.

一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.

命题逻辑：也叫命题演算或句子演算，研究命题的真值条件：复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

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.

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