查询词典 boolean function

Software Description: XICalc is an integer calculator program with the following features: multiple precision integers with millions of digits; uses Hartley Transform to speed-up long multiplies; separate input and outputnotation, base 2 to base 36; greatest common divisor function; Modulo arithmetic options; Bernoullinumbers, Euler Numbers; Boolean functions; random number generator; prime factor algorithm using theElliptic Curve Method; number theoretic functions phi, sigma and tau; prime testing and searching using the Adleman function; algebraic notation; if-then-else statement; go-to statement; can run XICalc code from files; hot help from F1 key; and it抯 written in Microsoft Visual C#.

XICalc 是一款带有如下功能的综合性计算器软件：带有百万数位的多精度整数；使用 Hartley Transform 加速长整型多样化计算；以2到36为基数分隔输入和输出符号；最大公约数函数；模数算法选项；Bernoulli 数字；Euler 数字；布尔函数；随机数字生成器；使用圆周曲线算法的主要因素运算法则；π，τ，Σ的数字理论函数；使用 Adleman 函数的最初测试和搜索功能；代数符号；if-then-else 语法结构声明；go-to 语法结构声明；来自于文件的XICalc 代码；F1键的热点帮助；并且该软件是采用适用于 Windows 操作系统的微软 Visual C#。

The function argument must accept one parameter, and its return value is interpreted as a Boolean.

该函数参数必须接受一个参数，它的返回值会被当作布尔值处理。

Finally, their applications in the logic synthesis based on the partial linear function and calculating Boolean difference of logical functions are discussed.

最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用。

Function returns a Boolean value, so the Case Structure remains in its default Boolean form.

函数返回一个布尔量，那么分支结构将保留它默认的布尔量形式。

In the fourth chapter, firstly it introduces the Boolean functions algebraic expressions of the 2-value clock-controlled stop-and-go generator and Gunther generator. It reveals the balanced property of the two kinds of Boolean functions, and studies the Walsh cycle spectrum and the autocorrelation function. It also obtains the coincidence rate of their output sequences with affine sum of some bits of input sequences, and analyzes their ability of resisting the best affine approximation cryptanalysis and differential cryptanalysis. Secondly, we properly present a new definition of the Best Affine Approximation, namely BAA on the Boolean vector functions, followed by the spectral characteristic of such defined BAA attacks through using the decomposition formula of the union distribution for random variables. A lower bound of such BAA attacks is proposed. Finally, we also study the spectral characteristic of the second kind of nonlinearity of Boolean vector functions, followed by a higher bound of such nonlinearity. Furthermore, the limited relationship between the second kind of nonlinearity of Boolean vector functions and the linear structure of the linear combination of every component is analyzed.

在第四章中，首先给出了2值密钥流"停走生成器"和"衮特生成器"中实际存在的布尔函数的代数表示，揭示了这两类布尔函数的平衡性，随后研究了它们的Walsh循环谱和自相关函数等，得到了它们的输出序列与输入序列中的某些bit的仿射项的符合率，分析了它们抵抗最佳仿射逼近攻击和差分攻击的能力；其次，我们合理地给出了布尔向量函数最佳仿射逼近的新定义，利用布尔随机变量联合分布的分解式考察了相应的谱特征，并给出了布尔向量函数与其最佳仿射逼近的符合率的一个下界；最后，我们还考察了布尔向量函数第二类非线性度的谱特征，给出了布尔向量函数第二类非线性度的一个上界，并揭示了布尔向量函数第二类非线性度与其各个分量的线性和的线性结构之间存在的制约关系。

On the other hand, it is expressible as a Boolean expression if you accept including function calls in the Boolean expression.

但换个角度，如果你允许在布尔表达式中植入包含函数调用，则它就是一个布尔表达式可表述的属性。

With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems,a method of extending the function matrix is proposed,and the expanding theorem of the extended function matrix is proven.

提出了功能矩阵的概念，在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上，对功能矩阵进行扩展，并证明了扩展功能矩阵的展开定理；利用扩展功能矩阵逐步展开与约简，实现了功能的求解算法。

Actually function-tree is an application of Boolean theory. Function-tree can be optimized by using absorptive law and idempotent law in Boolean algebra to remove redundant information.

功能树本质上可视为是布尔代数理论的一种应用，从而利用布尔代数的吸收律、幂等律来消除功能树中的冗余信息，对功能树进行优化处理。

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方法不依赖于布尔函数通常的结构表示，最坏时间复杂性与输入变量数的立方成正比，适用于结构匹配方法失败的组合逻辑宏单元匹配。

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

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

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。