查询词典 involutory algebra

Meanwhile, the relationship between the trace scalar solution set and the Bo properly K—efficient solution set of the Euclidean Jordan algebra vector optimization problem is es- tablished.

同时，还建立了特殊谱标量解集——迹谱标量解集与Bo恰当K-有效解集的包含关系。

This course mainly consists of 4 parts:1.Logical algebra and logical simplification, Karnaugh Map and Q-M approach.

本课程由4部分组成，分别是：逻辑代数与逻辑函数化简、组合逻辑分析与设计、同步时序逻辑分析与设计、可编程逻辑设计。

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

Due to the disadvatages of using applied algebra and scheme to calculate the synchronized sequence circuits logic value,the article proposes a quick component analysis method,which is based on sequence circuit on Karnaugh map .

针对应用代数法和列表法分析同步时序电路计算逻辑值工作量繁杂且容易出错的缺点，提出了一种基于时序电路的次态共卡诺图的快速分析法。

The course provides the fundamental concepts used in the design of digital systems, including the methodology to design the combinational and sequential circuits with Boolean Algebra, Karnaugh map, and the logic elements, such as basic logic gates, latches, and flip-flops,etc.

本课程在提供数位系统设计所须具备的基础能力，包括学习以布林代数、卡诺图来设计组合逻辑与序向逻辑电路的方法，以及培养基础逻辑元件的应用能力，包括基本逻辑闸、栓锁器、与正反器等等元件。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

Based on the transformation between position space and spinor space in geometric algebra system,the perturbing Kepler equation was transformed to a linear and regular form(also called Kustaanheimo-Stiefel equation or KS equation).

利用几何代数体系中的位置空间与旋量空间之间的转换关系，将摄动Kep ler方程转化为线性、正则的旋量方程，并给出Kep ler旋量方程的解。

The Laplacian eigenvalue is an active and important subject in Algebra Graph Theory.

本文主要研究了代数图论中的一个课题：图的Laplace特征值。

The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning.

格蕴涵代数为格值逻辑与不确定性推理的研究提供了一种理论基础。

On the generalization of rough set theory, molecular lattice was introduced into rough set theory as the base algebra.

关于粗糙集理论的拓展问题，将分子格引入到粗糙集理论，本文试图将近似算子作进一步抽象与推广。

Apllied the data of QuickBird-2——the highest resolution remote sensing,and based on the theory and methodology of fractal geometry,we have quantitatively studied remote sensing lineations in Gaolong gold deposit of Guangxi.

采用Quick Brid-2高分辨率卫星遥感数据，通过分形几何学的盒计维数法，定量研究广西高龙金矿区遥感线性构造。

So, sometimes, to change the color can not be your food (referring to the above-mentioned crustacean) has been a sign of boiling over.

所以，有时，来改变颜色，不能你的食物一直是沸腾了的迹象。