查询词典 Boolean calculation

The second motivation is the replacement of a Boolean algebra of sets by the distributive lattice of filters of a finite partially ordered set.

一个自然的问题是：能否给出射影空间中放置不同维数的线性族类似的公理体系？

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的名字命名的。下次晚餐聚会时，如果你没有别的话题可谈的话，大可把这作为很好的谈资来显示你的博学多才。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

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定理，以及布尔代数的表示理论。

With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems,a method of extending the function matrix is proposed,and the expanding theorem of the extended function matrix is proven.

提出了功能矩阵的概念，在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上，对功能矩阵进行扩展，并证明了扩展功能矩阵的展开定理；利用扩展功能矩阵逐步展开与约简，实现了功能的求解算法。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。