查询词典 Boolean

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，

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.

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

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。