查询词典 Boolean matrix

Satisfiability is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.

满足的问题是确定的变量，如果某一布尔公式可分配的方式，使公式评价为

On one hand, many conventional methods, such as truth table and canonical sum-of-products, are insufficient to represent Boolean Functions ; On the other hand, advances in VLSI technology still continue to increase its complexity.

此外，高性能VLSI系统发展迅速，为了保证系统正确可靠的运行，电路的时间特性对电路的逻辑功能的影响越来越受到人们的重视。

Boolean circuits provide a model of computation that is not equivalent with the Turing machine.

布尔电路提供了一个模型的计算是不等同的图灵机。

In addition, boolean values are now all bits set or all bits unset.

同时，布尔值是所有bit都被设置或者所有bit都没有设置。

Complicated geological structure ; TIN technology ; Digital terrain model; Wire frame model ; Boolean operation

复杂地质构造； TIN技术；数字表面模型；线框模型；布尔运算

When compared to Boolean matching method, BOSC method has advantages of simplicity and hence convenience to users.

与布尔匹配方法相比，BOSC方法具有简单方便的优点。

BOSC method is independent of Boolean function's common structural representation, and has the worst time complexity propotional to cube of the number of input variables, so it is suitable for combinational macro-cell matching.

BOSC方法不依赖于布尔函数通常的结构表示，最坏时间复杂性与输入变量数的立方成正比，适用于结构匹配方法失败的组合逻辑宏单元匹配。

The canonic OC expansion of the first-order Boolean partial derivative of the OC type logic function was discussed.

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式。

Closable boolean When set to true, the tab panel will show a closable button which can click to close the tab panel.

当设置为true时，标签面板会显示出可闭按钮，可以点击关闭选项卡面板。

By means of the decidable theory of boolean expressions, we present a new approach to check bisimulations of the finite-control π-calculus.

利用关于其布尔表达式的可判定理论，本文对有穷控制π-演算的互模拟验证问题给出了一种新的解决方法。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。