查询词典 calculus

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

The three states are transformed via two-dimension liquid crystal element and polarizators, and ternary arithmetic operation and ternary logic al calculus completed directly in this way.

三值光计算机用相互垂直的两个线偏振光和零光强三个独立的光状态表示信息；用二维液晶器件和偏振器实现此三个状态间的转换；采用三进制算术运算；直接处理三值逻辑运算；拥有巨大的数据位数(容易超过10~4位)；具有光运算、光传送、电控制等结构特色，具有很强的空间、时间并行性。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.

与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分。

In the calculus of proof the concept of forming a more in-depth study of mathematical logic of an independent branch.

在演算中证明的概念的更深入研究形成了数理逻辑的一个独立分支。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

The calculus of maxima and ''.

正定积分的极大与极小的微积分学。

This paper, by means of Rolle theorem, introduces constant method to demonstrate mean value theorem for differential calculus and attains the corresponding supplementary function of the demonstrating method.

借助于Rolle定理，用待定常数法证明了微分中值定理，得到了该证明方法的辅助函数簇，这种证明方法对解决同类问题有很好的推广应用价值。

In the modern period, independent discoveries relating to calculus were being made in early 17th century Japan , by mathematicians such as Seki Kowa , who expanded upon the method of exhaustion .

在现代时期，独立发现有关演算正在作出在17世纪初的日本，由数学家如关兴，谁扩大的方法用尽。

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.

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