查询词典 Boolean algebra

Function mimajiance(mima:string):boolean

功能：密码检测，三次错误册退出。

In this paper, quasi monotone decomposition of Boolean functions on B 2 is discussed systematically.

系统地讨论了 B2 上布尔函数的拟单调分解。

A security measure for a most probable boolean value is assigned to each position of the code word by carrying out the assignment based on a Trellis representation.

通过根据格形表示进行分配，码字的每个位置被分配最可能布尔值的安全测量值。

Firstly, the stope vacancy was monitored using CMS, taking cavity measured data as foundation, cavity three-dimensional model of the stope opening was created using Surpac software and gain the stope three-dimensional configuration and the actual boundary accurately. Then, the stope designed model and ore-rock interface digital terrain model were established according to the stope design material. Finally, using ore-rock interface DTM to cut cavity model or through Boolean calculation among the models, ore remains, mining total volume, mullock, backfilling, pure ore and dilution rate of stope N3-4 were calculated accurately, thus the large-scale stope mining index visible calculation was realized effectively.

采用CMS探测三维采场空区，以空区实测数据为基础运用Surpac构建采空区三维可视化模型，获取采场空区的三维形态和实际边界；运用采场设计资料，建立采场回采设计模型及矿岩边界模型，通过模型间的布尔运算，计算出采场存留矿量、回采总体积、采下废石量、采下充填体量、采下纯矿石量、回采总量及回采贫化率等，从而有效地实现了大规模采场回采指标的可视化计算。

NAND gate 403 is a logic gate that performs a NAND Boolean logic function on the UP and DN signals to generate a voltage signal VIN.

NAND门403是对UP和DN信号执行NAND布尔逻辑功能以生成电压信号VIN的逻辑门。

In the first part, firstly, we introduce the nonstandard analysis theory simply. Using the axioms in nonstandard analysis, the nonstandard model is axiomatic approached, and the existence of nonstandard model and the consistence of axioms in nonstandard analysis are proved by the construction of nonstandard model. Secondly, some properties of nonstandard model are discussed, such as transitivity, Boolean properties, etc. Finally, Loeb measure spaceY,L

在第一部分里，首先对非标准分析理论进行了简单的概述，通过用非标准理论中的公理，给出了非标准模型，进而利用非标准模型的构造，证明了非标准模型的存在性和非标准模型中公理的一致性；其次，讨论了非标准模型的一些简单性质，如传递性，布尔代数运算性质等；最后，在内测度空间Y，

In this paper, a new kind of two-dimensional Cellular Automata is studied. Several algorithmic rules are discovered that can be used to design new Cellular Neural Networks which can implement shadow detector and overstriking for character recognition. Their Boolean expressions and learning algorithms are introduced detailedly.

摘要该文深入研究了一种新的二维细胞自动机，找到了几种新的算法规则可以用来实现字符的粗化处理和阴影检测，并且用这些规则设计了几种新的细胞神经网络，文中详细介绍了这些算法规则的布尔代数表达式和细胞神经网络学习算法。

To simplify the process of calculating Boolean difference and partial derivation of Reed-Muller type logic function, a new method based on tabular was proposed.

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法。

Finally, PNV had been mapped according to Boolean discrete methods to connect climate submodel and vegetation submodel by GIS. PNV map first represented the spatial distribution of all vegetation types of 4 physiognomic levels in Taiwan, also integrated the diverse comments of altitudinal vegetation zones and geographical climatic regions in the past. Besides, the scattered ranges of 36 dominant trees in the moisture-thermal regime and climatic zone had been drawn via coordinating 585 plot-data with MWI and WDI.

为达绘制潜在植群图之最终目标，本研究以MWI及WDI之网格图层代表气候亚模型，以潜在植群形相分类方案之各阶类型代表植群亚模型，藉由布林分离法联系此2亚模型之关系，建构气候–植群分类模型，并以地理资讯系统绘制出包含群系纲、群系亚纲、群系组、群系之潜在植群图，首次完整呈现台湾各阶植群类型之空间分布，合理说明了山地植群带分化、北部植群下降及西南部冬季乾旱等现象，亦整合过去各种有关垂直性山地植群带状分化与水平性地理气候区划分的复杂意见；另外，本研究将585个样区林木座标标定於MWI及WDI，绘制36种林木於水热境制及热量气候带之分布范围。

The LVC32A device performs the Boolean function Y = A + B or Y = A B in positive logic.

该LVC32A设备执行了积极的布尔逻辑函数Y =甲+乙或Y = AB公司。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。