查询词典 Boolean calculation

On the basic theory, some concepts are proposed, such as partial derivative of waveform polynomial, waveform polynomial vector, delay matrix, multiple valued Boolean process, conditional sensitization, waveform distance with crosstalk and three-dimentional Boolean process. And based on these concepts, a sensitization theorem for sequential circuits and the transition numbers theorems for waveform polynomial are proposed; the model and data structure for the representation and manipulation of waveform polynomial are proposed.

基础理论方面，提出波形多项式偏导、波形多项式向量、延时矩阵、多值Boolean过程、条件可敏化、考虑串绕的波形距离及三维Boolean过程等概念，并在此基础上提出时序电路的敏化定理、波形多项式描述跳变数的定理以及波形多项式的多项式符号表示与运算的模型和数据结构。

On the design of algorithms, a novel exact hierarchical delay analysis method for general circuits is proposed; based on the sensitization theorem for sequential circuits, an exact minimizing clocking method is proposed; based on Boolean process, a waveform simulation method considering interconnecting delay for logic circuit and a parallel waveform simulation method are proposed; a new method that transforms bit-level waveform polynomial to word-level polynomial model is proposed; a multiple valued synthesis algorithm based on multiple valued Boolean process and a wire-centered delay synthesis policy are proposed, in which timing planning, floorplanning, wire planning and optimal clock skew in early design are considered; a two-layers channel routing method for minimizing crosstalk under grid mode is proposed; based on the transition numbers theorems for waveform polynomial, a new method for generation of test with noise effects is proposed.

算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法，在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

To prove that we can construct any boolean function using only NAND gates, we needonly show how to build an inverter, AND gate, and OR gate from a NAND (sincewe can create any boolean function using only AND, NOT, and OR).

为了证明使用NAND门我们能够构造任何布尔函数，我们只需要展示如何从一个NAND建立一个转换，与门，或门（因为我们可以用AND，OR，NOT建立任何布尔函数）。

In order to implement Boolean operations on open or closed mesh models with different complexities correctly,a new algorithm for 3D mesh model by using Boolean operations is presented,which is based on the orientability of manifold meshes and the topological relationship of the meshes.

为了快速正确地对各种复杂程度的网格模型进行空间布尔运算，根据复式网格的可定向性建立各元素间的拓扑关系，并根据这些拓扑关系判断网格面片的最终去舍，得到布尔运算结果。

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

Through deducing the representation of the nonlinearity part of the symmetric cipher in Boolean function, the equivalence between symmetric cipher design and Boolean function is verified.

通过推导分组密码的非线性部分的布尔函数表达式，验证了对称加密设计与布尔函数构造之间的等价关系。

In this paper, first we define a kind of transformation on the sequences of Boolean functions, and then analyze the changes of nonlinearity, algebraic degree and balancedness of Boolean functions under the transformation.

本文首先定义了对布尔函数的序列的一种变换，并分析了进行此种变换后布尔函数的非线性度、代数次数与平衡性的变化情况，最终在此基础上提出一种新的递归构造方法，可以构造出非线性度很高的n元m阶n-m-1次弹性函数。

The monadic Boolean operation the result of which has the Boolean value opposite to that of the operand.

一种一元布尔运算，其运算结果的布尔值与操作数的值相反。同NOT operation。

E' interessante anche il folder FiledTemplate in cui trovate come viene eseguito il rendering di uno specifico tipo, ad esempio il file Boolean.ascx e Boolean_Edit.ascx contengono il codice che viene generato a runtime tutte le volte che si deve generare la parte di pagina che visualizza una colonna del database di tipo boolean e, come avrete capito, il comportamento cambia se siamo in fase di visualizzazione piuttosto che editing del campo.

和'有趣 FiledTemplate 的文件夹找到，因为它是提供特定类型，如文件Boolean.ascx和Boolean_Edit.ascx，包含的代码，在运行时每次必须生成的页面部分生成显示类型的布尔数据库列，和，你会看到，该行为的变化，如果我们在观看，而不是编辑领域的过程中。

The redundant controller produces odd and even check code in setup time. After odd and even check code is calculated with Boolean function calculation, it is transformed into of Galois field. If the output of controller can satisfy odd and even check condition is checked with the function calculation to decide it exist fault or not.

该控制器在设定时间产生奇偶校验码，通过布尔函数逻辑运算转换成Galois域函数运算，检验其输出是否满足奇偶校验条件以判断是否存在故障。

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。