查询词典 boolean algebra

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.

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

These models form a operation list, use Boolean operation. Finically finished 3D reconstruction.

对剖视图，只作了局部剖的部分情况的研究。

Finding the the essential prime implicants, This part determine the essential prime implicant that will form the boolean function we need.

寻找蕴涵的基本素，这部分确定的基本素蕴涵，这将成为我们需要的布尔函数。

INTOWN – Boolean, 1=I can enter towns, 0=I can't enter towns.

INTOWN – Boolean，1＝可以进入城镇，0＝不可以进入。

Collision – Unknown to both me and Brother Laz, but this boolean is related to the previous one, many missiles that have no "physical collision" but still perform a collision event will have this set to 1.

Collision –我和Brother Laz都不清楚这列是什么用。，但这布尔型关系到前一列，很多投射物没有&物理碰撞&但时依然旅行碰撞事件，在这里设置为1。

LastCollide – Unknown to both me and Brother Laz, but this boolean seams to be related to some special behavior on missiles that don't vanish upon collision, such as fire effects and some other effects that are client-side only.

LastCollide –我和Brother Laz都不清楚这列是什么用。但是布尔类型看起来象和投射物碰撞时某些特殊的行为相关，比如火效果和一些其他只在客户端的效果。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。