查询词典 boolean algebra

It can be integrated into existing applications. It is designed for application developer. The system provides power modeling. Users can widely select decision variables, such as integer, real, Boolean, etc. Users can also select extensive set of predefined constraints, such as primitive constraints and function constraints, local constraints and global constraints.

"明月"系统是开放的C++类库，可嵌入到具体的应用中，可扩展，是面向开发人员设计的；系统具有强有力的建模功能，用户可以广泛选择决策变量，例如整型、实型、布尔型等；可扩展的预定义约束集合，其中包括基本约束和功能约束，局部约束和全局约束。

Boolean sum projection, P〓P〓, interpolates to a primitive function f along lines; it is a transfinite interpolant.

布尔和曲面投影算子，即Pu〓Pw，沿着曲面片的边界曲线插值被逼函数f，因而这是一种超限插值。

In this dissertation, we mainly use character matrix to research cryptology characteristic of Boolean function and m-ary logic function.Firstly, by using properties of character matrix's row and column we get an equivalence condition of bent function. Then we have an entirely construct method of 4 variable bent function.

本文利用特征矩阵研究了密码学中逻辑函数的相关问题，主要做的工作有：首先，根据Bent函数的自相关特征，利用特征矩阵给出了Bent函数的一个新的等价判别条件，并由此得到了4元Bent函数的一个完全构造方法。

It used the inner product and discriminant rule to concentrate the row vectors of boolean matrix step by step, so the frequent item sets of transaction databases can be inducted quickly and intuitively.

即通过向量的内积运算和判别准则逐步浓缩布尔矩阵的行向量，从而快速、直观地归纳出事务数据库的频繁项集。

It used the inner product and discriminant rule to concentrate the row vectors of boolean matrix step by step, so the frequent item sets of transaction databases can he inducted quickly and intuitively.

即通过向量的内积运算和判别准则逐步浓缩布尔矩阵的行向量，从而快速、直观地归纳出事务数据库的频繁项集。

Based on the entity intersection sorting algorithm, the function of semiautomatically generatingthe die assembly graphics parts graphics is realized; And the rectangular and circularwindows clipping and overlaying, the Boolean operation of 2D closed graphics and localenlarging tools is developed, producing an initial appraticable die CAD system.

按照工厂要求，开发的冲裁模CAD系统应当具备以下功能：具有良好的用户界面，实现在层SOLID上线型为CONTINOUS的IJNE，ARC，CIRCDe，toLYLINE组合图形实体中自动追踪出链式图形，求出包络矩形参数，进而实现模具系列零件参数化图形生成和自动尺寸标注，最后通过覆盖剪裁装配消隐生成模具装配图。

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.

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

For example, if the shift register data type is Boolean, the initial value will be FALSE for the first run.

例如， 如果移位寄存器的数据类型是布尔量，它在第一次运行时的初始值将是FALSE。

Spline method of editing and added into the model, separation, welding, Boolean, split, wheel Guo, fillet, cut, cut, and the spline ...

样条线的编辑及成模方法附加，分离，焊接，布尔，拆分，轮郭，圆角，切角，打断，以及样条。。。

SubLoop – Boolean, 1=This missile will repeat a specific sequence as long as enough range is left, 0=This missile will play it's animation normally (as defined in the LoopAnim column).

SubLoop –布尔型，1＝投射物将尽可能久的重复指定的序列。0＝投射物将只正常的运行自己的动画

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。