查询词典 Boolean value

The results imply that the El algebra representation is more accurate than Boolean matrix representation and we can apply these results to study more complex structure of fuzzy concept.

这进一步说明概念的EI代数描述比布尔矩阵表示更细致更精确，从而可以进一步研究模糊概念的结构。

Function mimajiance(mima:string):boolean

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

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

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

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，

The results obtained in the thesis are as follows: Firstly, the thesis proves that the inner measure and outer measure which defined by Fagin and Halpern are a kind of random sets, generalizes the concept of random sets to Boolean algebra's, and hence establishes the theory of the generalization of random sets.

本文的主要结果如下：①本文证明了Fagin和Halpern提出的内、外测度可表示为一种随机集合，并把随机集合的概念从幂集合推广到了布尔代数上，从而提出了广义随机集合理论。

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型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法。

Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply.

在不涉及偏序关系和序结构的前提下，用一种新的观点剖析了一个熟悉的代数系统———布尔代数，加深了离散数学中代数系统的有关概念的理解和认识。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。