查询词典 boolean algebra

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

Definition and research of disjoint product sum minimization from the point of view of Boolean function coverage, and proof of three theorems as well as putting forward a recurrent formula.

从布尔函数覆盖的角度定义和研究了最小不交化问题，给出并证明了几个有关的定理，并提出一个求布尔函数最小不交积之和的递推计算原理及公式； 3。

Nowrap boolean True to display data in one line.

真正显示在同一行数据。

On the home page of the Database of State Essential Druggery, type your search terms enter the query box. Select the field name to limit the search term, and then select Boolean operator to add multiple search terms. After than click the search button.

在本网站数据库栏目中选择"国家基本药物数据库"并点击"进入"至国家基本药物数据库单表检索界面，在其查询框中输入待检索的内容，选择相应的字段和逻辑关系（and ，or， not）来组织查询语句，然后点击"检索"按钮。

See the section on"edge-triggered latches" in How Boolean Logic Works for details.

查阅布尔逻辑工作原理详细了解边沿触发锁存器的情况

Corporate Libraries and Purchased Content: The only people who really care about taxonomy and boolean search are librarians, and unfortunately they usually don't know enough about their employer's business to know what to do with the esoterica that requires such tools anyway.

公司资料库和采购目录：要知道，世上唯一在乎分类学和逻辑搜索的人群就是图书管理员，但很不幸的是，他们通常都不够了解老板的生意，自然就对那些实际上渴求这两大学科的重要信息无从下手了。

Its mathematical foundation has been studied, several normal forms have been introduced, the deduction methods of Star algorithm have been dealt with and the expansion theorem which attaches Star algorithm to Boolean difference ha...

文章较详细地陈述了在组合网络诊断方面的应用；通过典型例子介绍了求测试码的算法，并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。

The word Boolean is derived from the 19th-century British mathematician George Boole, which, if nothing else, is a great factoid for your next dinner party.

布尔逻辑学是以19世纪英国数学家George Boole的名字命名的。下次晚餐聚会时，如果你没有别的话题可谈的话，大可把这作为很好的谈资来显示你的博学多才。

However, the Vector has an additional constructor argument, which is a Boolean value that specifies whether the Vector size is fixed or can be changed.

然而，Vector还有一个额外的变量，一个可以具体控制Vector长度是否可以改变的布尔值。

By studying measure theory, the students are asked to understand σ-algebras, measure, measurable functions, integral, the measure theory of product spaces, Fubini theorem, and the representation theory of Boolean algebras.

通过本课程学习，使学生掌握σ-代数、测度、可测函数、积分，初步掌握乘积测度空间的构造及Fubini定理，以及布尔代数的表示理论。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。