| 1. | Pertaining to the processes used in the algebra formulated by george boole
指乔治?布尔提出的代数运算法则。 |
| 2. | Drag the cube , or the object you want to cut a bit out of , under the boole object
拖立方体,或反对,你想把一种异样的,在布尔物体 |
| 3. | Boole process theory is a new method that was advanced recent years for describing and analyzing circuits
Boole过程论是近年来出现的一种新的电路描述和解析的手段。 |
| 4. | George boole was an english mathematician who helped establish the field of mathematics called symbolic logic
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。 |
| 5. | 7 krishnan s , manocha d , gopi m , culver t , keyser j . boole : a boundary evaluation system for boolean combinations of sculptured solids
第二是它们是对偶表达的，一个参数化的表达一定与一个隐式的表达相对应。 |
| 6. | George boole develops a system of mathematics called boolean algebra , which uses binary operations . today , programmers still think and work in binary
乔治.布尔开发采用二进位制运算的数学体系，称为布尔代数学。今天，程序员们仍使用二进位制进行思索和工作。 |
| 7. | So we can simultaneously simulate logic functions and delay properties of digital circuits really by description and computing methods that are based on boole process
因此使用boole过程的描述和计算方法能够更真实地同时对电路的逻辑功能和延迟特性进行模拟。 |
| 8. | Logic computing is boole expression - based computing on level . it can realize simulating the instantaneous state of digital circuits . but it cannot simulate circuits continuously which have complex delay properties
逻辑运算是基于布尔表达式的逐级运算，它能够实现对数字电路瞬间状态的模拟，但对具有复杂延迟特性的电路进行连续时间的模拟就无能为力了。 |
| 9. | At the same time , the dissertation discuss some important problems in simulation and verification in detail , such as hazards finding , inertia delay , feedback treatment , false paths discerning , setting up and holding time , critical path and shortest path
与此同时，本文还针对逻辑模拟验证中涉及到的冒险检测、惯性延迟、反馈处理、伪路径识别、建立与保持时间、关键路径和最短路径等关键问题进行了详细的论述，并分别设计了基于boole过程的算法。 |
| 10. | For above problems , i design boole process - based algorithm . for example , hazards finding theory work out a formal method of finding hazards by waveforms computing ; waveforms increasing algorithm settle the defect of boole process in feedback cycle treatment ; false paths discerning algorithm can delete useless nodes in netlist effectively ; inertia conflict eliminating method describes the state of nodes truelier and reduces computing
其中，冒险检测定理给出了通过波形运算检测电路中冒险现象的哈尔滨工程大学硕士学位论文形式化方法;波形递增算法解决了boole过程在处理电路中反馈环问题上的缺陷;伪路径识别算法能够有效地去除电路网表中的无用节点;而惯性冲突消除法能使对节点状态的描述更加真实，并减少了计算量。 |
