根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
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.
为了重构基因调控网络，提出可以通过基因之间的布尔逻辑代数和逻辑电路网络得到基因调控的动态转换。
In this paper making use of Boolean logic algebra and logic circuit networks find dynamics transition of genetic regulatory from genetic regulatory Boolean networks.
我们在讲非计算机专业的计算机文化基础“时，从逻辑代数讲起，阐明计算机是如何用逻辑运算完成数值计算的。”
We gave the lecture on the basis of logical algebra in order to illustrate how the computers operate numerical calculation by means of logical calculation.
分析了电磁轴承多传感器故障的基本特征，提出了电磁轴承多传感器故障诊断方法——基于序列变量的多值逻辑代数方法。
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.
本文提出定量安全评价与预测的动态安全指标，灰色逻辑代数，然后使用GM(1,1)给出了系统动态安全评价与预测的新方法。
Grey assessing and predicting safety in dynamic index system is raised. A method concerning the system is developed via the grey prediction model GM (1, 1) and based on the grey logic analysis.
这些基于SQL的新应用程序正在利用现代数据中心开发概念，某些概念强调将更多业务规则和逻辑推到数据库中的重要性。
These new SQL based applications are taking advantage of modern data centric development concepts that stress the importance of pushing more of the business rules and logic into the database.
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
The reasoning process called for by Boolean algebra are implemented through switches acting as electronics logic circuits.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
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.
本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。
On the basis of the multiple-valued switch-level algebra, this paper proposes a logic design automation algorithm for NMOS and CMOS combinational circuits.
离散事件动态系统（DEDS）矩阵模型是一种逻辑运算与代数运算的混合系统。
Matrix model for discrete event dynamic simulation (DEDS) is a hybrid system with logical and algebraic components.
代数拓扑方法用于逻辑综合得到最小覆盖，为了避免可能出现冒险，需要进行冒险问题的讨论。
Method of algebraical topology used in logic synthesis attained least covering, and in order to avoid audaciousness arising, auducious problem was discussed necessarily.
以泛布尔代数理论为依据，以城市主干道十字路口为研究对象，设计了一种新的交通灯逻辑控制模型。
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
写作者必须把清晰的思考当作一项自觉的行动，就像做所有讲求逻辑的事比如列购物单或做代数题一样。
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.
提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理。
The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.
这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。
Some of such query languages are based on algebra, some are based on calculations, others are based on logic programming.
本文综合运用概率论、代数学、逻辑函数频谱理论等方面的知识，对多输出函数的有关性质与构造进行了研究。
Using the theories of probability, algebra and spectral theory comprehensively, the dissertation investigates the properties and constructions of multi-output functions.
针对代数法和卡诺图法难以化简规模很大的逻辑函数问题，提出使用蚁群算法处理大规模逻辑函数化简。
As algebra way and map way can not simplify the given large scale logical function, a new way using Ant Colony Algorithm to simplify large scale logical function is put forward.
本文同意逻辑证明是检验现代数学真理的唯一标准，同时也讨论了逻辑证明是一种实践活动的问题。
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性。
With these algorithms and the equivalence theory, the several rules to logically optimize the accessing trees were presented and the correctness for the logical optimization was proved.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
给出基于连续值逻辑上的不分明化环的概念，从一个新的方向讨论了环的某些代数性质。
In this paper, we introduce the concept of fuzzifying rings based on continuous valued logic and ivestigate some of the their algebraic properties.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
It mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
It mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.
应用推荐