查询词典 algebra

Ada received further training from Augustus DeMorgan, today famous for one of the basic theorems of Boolean algebra

中： Ada 从 Augustus DeMorgan 被承认进一步的训练，为在今日著名的一个布尔代数基本定理

Finally, the equivalence properties between Boolean matrix representation and algebra representation of attribute reduction are proved.

建立了布尔矩阵与逻辑方程组的解和决策表中的属性集之间的关系；然后在此基础上给出了决策表中的粗糙集理论的布尔矩阵表示；最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。

This course includes (1) Introduction to computer hardware,(2) Number system,(3) Boolean algebra,(4) Computer Architecture and program execution,(5) Microprocessor and assembly language.

课程内容包含：(1)计算机硬体介绍，(2)数字系统，(3)布林代数，组合逻辑，(4)计算机基本结构与程式之执行，(5)微处理机及组合语言。

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

On the AFS theory, we define a homomorphism mapping between the EI algebra and the ring of Boolean matrix.

在EI代数的子代数的基础上，对概念的EI代数表示和布尔矩阵表示进行了讨论。

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

Without using Lie derivative and Lie bracket operation of differential geometry , we only use the algebra method to give a sufficient condition of single input exact feedback linearizable bilinear systems.

摘 要 研究了单输入的双线性系统的精确线性化及其鲁棒控制器设计问题，避免了用微分几何的李导数、李括号的复杂运算，只用纯代数的方法给出了一般单输入双线性系统精确线性化的充分条件。

In section 1.1. we define the mapping a on circle in double quiver Q of a quiver Q, and give a strict defition of bracket operation in Lie algebra,then prove it is a Lie bracket.

循环上的映射σ，用它给出了项链李代数括号运算的一个严格定义，并用此定义证明了这是一个李运算。

Let R be an arbitrary commutative ring with identity, gl the general linear lie algebra over R consisting of all n × n matricesover R and with the bracket operation = xy -yx, t the lie subalgebraof gl consisting of all n×n upper triangular (resp., strictly upper triangular ) matrices over R and d the lie subalgebra of gl consisting of all n×n diagonal matrices over R.

在第三章中，对R是交换环的情形，讨论了典型李代数的导子代数的结构问题：设R是一个含幺交换环，gl是R上一般线性李代数。t是gl的所有n阶上三角矩阵(相应地，严格上三角矩阵)构成的子代数，d是gl的所有n阶对角阵构成的李代数。

Some of them were ligated to the plasmid vector pCR 2.1 andsequenced,respectively.

将所获DNA片段克隆到pCR2.1载体进行测序，并与基因组数据库进行同源性比较。

Thinking since Google owns Blogger, I would be able to escalate this issue to the support team.

自谷歌的思考拥有Blogger的，我将能够缓解这一问题的支持团队。