您要查找的是不是：
- Strings are arguments of boolean function. 中,函数boolean的参数是字符串。
- BDD is a diagrammatic representation of Boolean function. BDD是布尔函数的图形表示形式。
- Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function. 二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。
- Factoring is a technique of logic minimization to represent a Boolean function in a equivalent function with minimum literals. 摘要:抽取共同因子或因式是一种逻辑化简的技术，此技术可以将布林函式表现成一个使用较少变数出现量的等价函式。
- With the aid of positive Boolean function(PBF) descriptions, the generalized morphological filters are expressed as a kind of stack filters. 与那帮助积极的布尔数学体系的功能 (PBF) 描述, 那推广形态学的过滤器被表达当做一种堆叠过滤器。
- The researchers have introduced BDD and SAT engine for manipulating Boolean function to alleviate the explosion problem. 学术界先后提出采用二叉判定图(BDD)和可满足性问题(SAT)作为布尔操作的引擎来缓解爆炸问题。
- Every plane vector is formulated by a complex function, and the dataset is expressed as a complex function matrix. 每个平面矢量用一个复变函数来描述，整个数据集表达为一个复变函数矩阵。
- Based on the knowledge of Boolean function,a method for retrievingthe algebraic normal form of a single-cycle T-func-tion is proposed by continuous 2n-1states. 运用布尔函数的相关知识;给出了根据单圈T函数的连续2n-1个状态写出其代数标准型的一种方法.
- Parameters of controller were tuned by comparing with corresponding coefficients of an anticipant close-loop transfer function matrix. 通过比较系统闭环传递函数与期望传递函数的对应项系数，可以方便整定出控制器参数。
- Base on the applications of reflector matrix and merit function matrix, we develop the diffenent design method from traditional method. 其中，优化函数矩阵可以非常完整且明确地描述物在经过一连串任意的平坦边界成像后其像位变化。
- The simulation results on the system performance and the convergence of the strength update are obtained under the conditions of the 6-multiplexer Boolean function learning. 通过对六值布尔函数的学习，进一步对学习分类器系统的学习性能、分类器强度更新收敛性进行了仿真验证。
- The key to the restoration of rotational motion blurred image is how to restore the image under a low cost and to correct the irreversibility of the degradation function matrix. 旋转运动模糊图像的复原在电视制导、机器视觉等领域有着广泛的应用。
- Finding Annihilators of Boolean Function by Characteristic Matrix 利用特征矩阵求布尔函数的零化子
- Based on a fuzzy abstract algebraraic system subsuming the complementarity laW,of fuzzyBoolean algebra,the Reiter default rule is extended from Boolean logic to fuzzy logic usingthe convertibility between the fuzzy logic expression and Boolean function. 在一种含有补余律的模糊抽象代数系统（即FuzzyBoole代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；
- DGC does an optimization and technology mapping for an abstract description of boolean functions and state machines. DGC为布尔函数和状态机的抽象描述进行优化和技术映射。
- It can give BDD presentation of Boolean function or arbitrary combination logic circuits which are presented by CDL, and can realize different operation of Boolean function by the operation to BDD. 能完成对任意基于CDL语言描述的组合逻辑电路或布尔函数，实现其BDD表示并通过对BDD的操作实现对相应组合电路或布尔函数的操作。
- The undetected error probability for the second and the third classes of SAB codes are initially found out by Boolean functions in this paper. 前人已对第一类SAB码在ARQ系统中的不可检测错误概率的近似值作了研究.;在本文中首次利用布尔函数去研究SAB码并精确地计算出了第二、三类SAB码的不可检错误概率
- In analyzing the equivalence relationship of Boolean functions in S -box of AES, the second algorithm is about 20 times as fast as the Fuller-Millan algorithm. 应用于AES的S 盒的 8个布尔函数间等价关系的求取 ;算法 2比Fuller Millan算法提高速度近 2 0倍 .
- This paper is the continuation of reference 1.The exact value of the undetected error probability is initially presented for the fourth class of SAB codes by Boolean functions. 本文是文献[1]的继续.;利用布尔函数求出了第4类 SAB 码的不可检错误概率的精确值
- Partially Bent functions containing Bent functions are a larger class of Boolean functions presented by Claud Carlet to remedy the defects of Bent functions. 为了弥补Bent函数的不足 ;Claud Carlet提出了部分 Bent函数的概念 ;部分 Bent函数是包含 Bent函数的更大的函数类 .
