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 making use of Boolean logic algebra and logic circuit networks find dynamics transition of genetic regulatory from genetic regulatory Boolean networks.
为了重构基因调控网络，提出可以通过基因之间的布尔逻辑代数和逻辑电路网络得到基因调控的动态转换。
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.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
The reasoning process called for by Boolean algebra are implemented through switches acting as electronics logic circuits.
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
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组合电路的逻辑设计自动化算法。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Linear algebra content is more abstract, logic is stronger.
线性代数内容比较抽象，逻辑性比较强。
Some of such query languages are based on algebra, some are based on calculations, others are based on logic programming.
这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。
Courses include algebra, calculus, technical mathematics, logic, probability theory, and various computer programming languages.
课程涵盖代数，微积分，科技数学，逻辑学，概率论，和多种电脑程序语言。
Thinking clearly is a conscious act that writers must force on themselves, as if they were working on any other project that requires logic: making a shopping list or doing an algebra problem.
写作者必须把清晰的思考当作一项自觉的行动，就像做所有讲求逻辑的事比如列购物单或做代数题一样。
It includes instruction in algebra. calculus. functional analysis. geometry. number theory. logic. topology and other mathematical specializations.
代数，演算，功能分析，几何，数论，逻辑，拓扑和其他数学专业。
It includes instruction in algebra. calculus. functional analysis. geometry. number theory. logic. topology and other mathematical specializations.
代数，演算，功能分析，几何，数论，逻辑，拓扑和其他数学专业。
应用推荐