查询词典 logic level

In this paper, the formal definitions of a general logic topology structure and its fundamental features are givern firstly, and then an algorithm of broadcasts without message tags is proposed based on the general logic topology structure.

文中首先给出了逻辑拓扑结构的形式定义及基本性质，提出了一个基于一般逻辑拓扑结构的无消息标志广播通信算法。

A real time optical logic processor is presented, that can perform binary logic operations in parallel. Experimental result is given of the system as a half adder.

本文提出了一种能实时完成二进制逻辑运算的光学并行处理系统，并给出了作为半加法器的实验结果。

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

The character of research is that the development trend of flexible logic of intelligent decision support system is shown.The grey logic representing the incomplete and randomcity and induction method based on it are proposed.

其研究特点在于明确了智能决策决策支持系统的逻辑柔性化的发展方向，并给出了一种表示信息不完全性和随机性的具体的柔性逻辑推理方法。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

On one side, he inherits the tradition of pragmatism, on the other side , he emphasizes the effect to philosophy from logic and mathematics. His emphasis on mathematical logic, meaning theory and experience verify theory, which makes up pragmatic insufficience.

在刘易斯那里，他一方面继承实用主义的传统，另一方面又强调逻辑和数学对哲学的影响，重视对数理逻辑的研究，重视对意义理论、经验证实理论等等的探讨，弥补了实用主义在这方面的不足。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

Based upon the logic examination, this paper supplies a new conditional extreme value model for the proposition and generally reveals the wrong guide of Gauss's intrinsic geometry in logic.

在针对经典结论进行逻辑审查的基础上，为该命题重新构造了一个属于"条件泛函极值"范畴的形式定义，并大致叙述Gauss"内蕴几何"的在形式逻辑上必然存在的导向性错误。

This method combined with logic and game theory can achieve the balance between negotiation logic rationality and utility rationality and dynamically adjust utility and deal with irredeemable problems.

在此提出基于遗忘理论的多问题协商，结合逻辑学和对策论的方法，达到了Agent协商逻辑理性和效用理性的平衡。

Jevons's foundation to the probabilistic inductive logic, until the system of modern probabilistic inductive logic which Carnap represents.

内容摘要：概率归纳逻辑的发展历程，从中揭示其兴起的原因，并分析现代归纳逻辑发展的一些新趋势。

I was up all night because I was in pain, she said.

我整夜，因为我在疼痛，她说。

A crow caws /craoks.

乌鸦叫。 51-论文网