布尔运算

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#。

By means of Boolean matrix operation method, a study is made of defining the prime implicant of multi output function and the operation routine of the method is illustrated with some examples.

运用布尔矩阵运算的方法对确定多输出函数的质蕴涵进行了研究，并通过示例说明了这种方法的运算程序。

Graph theory and topology was researched to establish graphic interpreter, boolean multiplication ⊙ of a matrix is inferred and defined, and simple sub-graphs are disconnected from complex graph by the multiplication ⊙; parameterization of graph is realized through a sequence of sub-graph entities linked by constraints.

研究了图形翻译器的图论和拓扑学理论基础，推出并定义了矩阵布尔乘运算〓，使用矩阵运算〓将复杂的图形拆分成一系列简单子图；以约束关联的子图实体序列实现图形的参数化。

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1∧a2∧…∧an，其中∧是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

The redundant controller produces odd and even check code in setup time. After odd and even check code is calculated with Boolean function calculation, it is transformed into of Galois field. If the output of controller can satisfy odd and even check condition is checked with the function calculation to decide it exist fault or not.

该控制器在设定时间产生奇偶校验码，通过布尔函数逻辑运算转换成Galois域函数运算，检验其输出是否满足奇偶校验条件以判断是否存在故障。

The quantity computed is the expected clutter power at the output of any specified range gate by the method of integrating reflected energy between constant Doppler loci in range-gate circles with a model of sum and difference antenna gain pattern for APAR. Base on the analyzing of APAR terrain clutter spectrum, Rayleigh, Correlated Log-Normal and Weibull distribution terrain clutter of APAR general pulse signal was simulated with the method of zero memory nolinearity transform.④The Doppler frequency of target echo is simulated on video frequency in this dissertation.

该软件采用了用C语言建立框架结构，而在程序高重复部分和有运算速度要求的地方，用汇编语言编写具有高并行能力程序的方法，不仅满足了系统高运算速度和实时性的要求，也使得软件系统结构模块化，代码具有良好的维护性和重用性；③对机载相控阵雷达HPRF、MPRF的和、差通道地面杂波功率谱进行了较为全面的研究，通过建立由四个子波束构成的机载相控阵雷达杂波和差波束天线方向图数学模型，选取体现高度线杂波的修正的地面后向散射模型，以载机平飞为例，采用沿距离门——等多普勒线区域积分的方法，得到了杂波功率谱，并利用零记忆非线性变换法实现了机载相控阵雷达常规脉冲情况下瑞利分布、对数正态分布和韦布尔分布地面杂波的模拟；④提出了采用在视频上对目标回波的多普勒频率进行模拟的方法。

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的&合取范式&。

A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1∧a2∧…∧an，其中∧是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的&合取范式&。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失