查询词典 algebra over k

The theoretical research on the fault tree analysis of the system based on the Boolean algebra and the probability theory has achieved a great success, and its engineering application also makes a lot of achievements.

基于布尔代数和概率论的系统故障树分析的理论研究已取得很大成功，工程应用也取得了许多成果。

Among the elements of a Boolean algebra are two distinguished elements: 0, corresponding to the empty set; and 1, corresponding to the universal set.

在布尔代数的元素中有两个特殊的元素： 0 ，对应于空集； 1 ，对应于全集。

The new method can guide the design and simplification of cell circuits. It has a actual application significance to further consummate the Boolean algebra system.

本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义。

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阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48