布尔逻辑

Finally, their applications in the logic synthesis based on the partial linear function and calculating Boolean difference of logical functions are discussed.

最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用。

This paper studies default logic using Boolean ring rewriting system.

利用重写系统研究缺省逻辑姜云飞（吉林大学计算机科学系长春130023）摘要本文在布尔环重写系统中研究了缺省逻辑。

This curriculum mainly narrated the VHDL complete characteristic, also has contained the related number system design knowledge, the content including the electronic design automation tool's use, CMOS and the programmable logical craft, the Boolean algebra and the combinatory logic design basic principle

本课程主要讲述了VHDL的全部特征，也包含了有关数字系统设计的知识，内容包括电子设计自动化工具的使用，CMOS和可编程逻辑工艺、布尔代数和组合逻辑设计的基本原则，各种建模的技术，有限状态机的设计，以及三个重要的可测试设计；扫描路径、内置自检和边界扫描等。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

In the light of logical formula, an automatic circuit will be devised to control the energy in the refrigeration system.

用布尔代数可以完整地表达制冷机组提供冷量与其负载对冷量需求的阶梯性的内在的逻辑关系，这种关系可以用具有同样逻辑功能的电路来实现，将这个电路应用到制冷系统中就成了制冷系统能量梯级控制电路。

To simplify the process of calculating Boolean difference and partial derivation of Reed-Muller type logic function, a new method based on tabular was proposed.

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法。

In logic level, the application of the binary decision diagrams, Markov Chain and boolean difference in power estimation is introduced first, the strategy about how to make a balance between estimation accuracy and estimation velocity is introduced secondly, after that, the new problems emerged in the power estimation of the sequential circuit and the resolution is given out, the power estimation method based on the logic simulation is introduced at last.

在逻辑级功耗估计方法中，首先介绍了二叉判决图、马尔可夫链、布尔差分在功耗估计中的使用，其次研究了功耗估计速度和精度之间进行折衷的方法，然后介绍了时序电路功耗估计中出现的问题以及解决方法，最后介绍了基于逻辑模拟的功耗估计方法。

Emulation result makes clear, be based on extensive the control of logistic control method of Boer algebra is simple, agile, convenient, effective, this logistic control algorithm fits typical ship lift structure, have apparent aseismatic damping effect, achieved ship lift structure requirement of aseismatic pilot project.

仿真结果表明，基于泛布尔代数的逻辑控制方法控制简单、灵活、方便、有效，该逻辑控制算法适合典型的升船机结构，具有明显的抗震减震效果，达到了升船机结构抗震控制的工程要求。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Then the above results are extended to the general form of quasi monotone decomposition. In conclusion, we give the necessary and sufficient conditi...

最后将上述结果推广到布尔函数拟单调分解的一般形式，给出一个布尔函数可以分解成 k个单调函数的逻辑组合的充分必要条件。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。