We define the partial models as the models of 3-valued logic.
我们把部分模型定义成三值逻辑的模型。
Multiple-valued logic is an important branch of computer science.
多值逻辑是计算机科学中的一个重要学科分支。
The algorithm is simple and suitable for 2-valued and many-valued logic.
本算法比较简单，适用于二值逻辑和多值逻辑。
Multiple-valued logic is an important branch of computer science and technology.
多值逻辑是计算机科学与技术的一个重要分支。
When a relational database system is implemented, three-valued logic is usually adopted to handle incomplete information.
在关系数据库系统的实现中，对不完全信息的处理通常采用三值逻辑。
The P-valued logic functions satisfying K order propagation criterion have been used widely in the design of block cipher.
满足K次扩散准则的p值逻辑函数在密码设计中有重要应用。
In narrow sense, fuzzy logic is the extension of many-valued logic, and in broad sense, fuzzy logic is the theory of fuzzy sets.
而广义模糊逻辑则是指模糊集理论，它的范围显然要比狭义模糊逻辑要广得多。
It was analyzed in detail about the way of fault diagnosis of the sensors of magnetic bearings in guidance with the multi-valued logic algebra.
分析了电磁轴承多传感器故障的基本特征，提出了电磁轴承多传感器故障诊断方法——基于序列变量的多值逻辑代数方法。
In this paper, we introduce the concept of fuzzifying rings based on continuous valued logic and ivestigate some of the their algebraic properties.
给出基于连续值逻辑上的不分明化环的概念，从一个新的方向讨论了环的某些代数性质。
The functional representations, the algorithmic and design method for describing this circuit structure using multiple-valued logic are also discussed.
同时利用多位逻辑，提出了描述这种电路构造的函数表达式、算法以及设计方法。
This paper gives a necessary introduction to the base operation of the multi-valued logic algebra system and fundamental gate circuit for realizing these base operation.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
The principle of modulation, demodulation and data error correction based on multi-valued logic is given in the text. And the expression of data error correction is deduced.
文中给出了多值逻辑条件下数据的调制解调原理和纠错原理，并推导出数字就错的最终求解公式。
A new three-valued logic (TVL) threshold gate circuit simple in structure and suitable for IC manufacturing is described. A three-valued t gate IC for multiple purposes is designed.
本文介绍了一种结构简单、适于集成化的三值“阈”门电路，并设计了一个多功能三值T门集成电路。
This paper presents an efficient sequential circuit automatic test generation algorithm. The algorithm is based on self - adapting algorithm and USES a seventeen - valued logic model.
本文提出了一种高效的时序电路测试生成算法，该算法是建立在自适应算法的基础上，并使用了十七值逻辑模型。
Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
This paper has discussed the logic behaviour of flip-flops using the four valued logic and its applications in the analysis and design of pulsed asynchronous sequential logical networks.
本文利用四值逻辑讨论了触发器的逻辑功能，并讨论四值逻辑在脉冲异步时序逻辑网络分析和设计中的应用。
The traditional model for utterance understanding is the code model based on the two-valued logic, which, however, cannot interpret how conversational implicature is inferred from utterance.
传统的话语理解模式是建立在严格追求精确理解的二值逻辑基础上的代码模式，它不能真正解决交际中话语含义的理解。
According to different partitions of a set of input variables of the three-valued logic function, the compatibility relations of column (row) vectors of the three-valued logic function can be found.
根据对三值逻辑函数输入变量集合的不同划分，可以求出三值逻辑函数列(行)向量的相容关系。
These digital logic circuits are viewed as implementations of Boolean functions that operate on a set of binary valued variables.
数字逻辑电路则用来表示二进制数集合上的各项逻辑运算功能的一种实现方式。
CMOS symmetrical three-valued ternary logic circuit was designed and fabricated, based on the information associated with symmetrical ternary logic combined with CMOS circuit processing features.
根据有关对称三进制逻辑的资料，结合CMOS电路生产工艺特点，设计并试制了对称三值逻辑CMOS系列电路。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
Multiple-valued optical logic implementation have firstly been demonstrated by using bistable laser diode (BILD) or bistable light emitting diode (BILED) circuits.
利用双稳态激光二极管(BILD)或双稳态发光二极管(BILED)回路首次得到了光学多值逻辑。
QBTL is designed specially for use as a four-valued threshold gate with which varied four-valued composite logic circuits can be formed.
其中QBTL设计成可单独作为四值“阀”门使用，用于构成其他四值组合逻辑。
On the basis of the multiple-valued switch-level algebra, this paper proposes a logic design automation algorithm for NMOS and CMOS combinational circuits.
本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。
The results show that the Multicell- Type Logic (DYL) circuit structure proposed in China is also very promising for implementation of multi-valued IC's.
实验表明：我国提出的多元逻辑（DYL）电路结构在实现多值集成电路方面同样有广阔前景。
From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。
This paper proposes a kind of fuzzy neural network control system based on learning algorithm and multi-valued function which derives from the fusion of the fuzzy logic and neural net…
本文进行了模糊神经网络控制器的应用研究，经过仿真实验证明该控制器能够获得较理想的控制效果。
This paper proposes a kind of fuzzy neural network control system based on learning algorithm and multi-valued function which derives from the fusion of the fuzzy logic and neural net…
本文进行了模糊神经网络控制器的应用研究，经过仿真实验证明该控制器能够获得较理想的控制效果。
应用推荐