 全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多   boolean equation 的翻译结果: 查询用时：0.041秒 在分类学科中查询 所有学科 数学 计算机硬件技术 更多类别查询 历史查询  boolean equation 布尔方程(7)boolean方程(2)  布尔方程
 Representation and Application of the System-level Fault Diagnosis Based on Boolean Equation 基于布尔方程的系统级故障诊断表示及应用 短句来源 Multiple Fault Testing of Synchronous Sequential Circuit with Dynamic Boolean Equation Method 同步时序线路多故障测试的动态布尔方程方法 短句来源 The multiple fault testing of synchronous sequential circuit with the dynamic Boolean equation method which reduces the Exclusive-OR operation to the logic addition one is proposed. 本文提出了同步时序线路多故障测试动态布尔方程方法,它将同步时序线路中的“异或”运算归结为逻辑加运算,可一次求出被测线上双固定型故障s-a-1和s-a-0的全部测试集. 短句来源 A DECOMPOSITION METHOD FOR SIMPLIFYING COMBINATIONAL LOGIC DESIGN BASED ON BOOLEAN EQUATION 一个基于布尔方程的简化组合逻辑设计的分解方法 短句来源 According to a qualitative analysis of casing fault tree, and by taking casing failure as the top event, 47 different essential events are found out, and each event can be equaled to Boolean equation. 通过对以套管失效为顶事件的套管故障树的定性分析 ,得到了 4 7个可以等效为布尔方程的基本事件。 短句来源 更多 boolean方程
 A New Method for Solving BOOLEAN Equation 求解BOOLEAN方程的新方法 短句来源 This paper puts forward a new method for solving BOOLEAN equation. The basic idea of the method is to omit the redundancy computation, so as to greatly raise the efficiency of computation. 应用分离表提出了求解BOOLEAN方程的新方法,该方法的基本思想是在求解BOOLEAN方程的过程中,去掉冗余计算,使得其计算速度大大的提高。 短句来源 “boolean equation”译为未确定词的双语例句
 Solutions to a kind of Boolean equation 一类布尔方程组的解 短句来源 each column of A is orthogonal, the system of fixed-point Boolean equationshas the same set of orthogonal solutions and of orthonormal solutions as the linear Boolean equationThen we reduce the total number of orthonormal solutions of the system of fixed-point Boolean equation AX = X [theorem 2.3~2.4]. 有相同的直交解和正交解。 并依此在有限布尔代数上定出了列直交不动点方程组的全部正交解数[定理2.3～2.4]。 短句来源 查询“boolean equation”译词为用户自定义的双语例句

我想查看译文中含有：的双语例句  boolean equation
 This idea is described by mathematical logic formulae that can be converted into a single Boolean equation. Boolean equation systems (Bess) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence checking and model checking. CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems We would start with a truth-table, then write the canonical Boolean equation, then simplify. We develop a novel characterization of solutions for variables in disjunctive and conjunctive Boolean equation systems. 更多 For global data flow analysis various algorithms have been developed. It is well-known that all these algorithms are to obtain the minimal solution of Boolean equations. The main trouble comes from the presence of "diagonal terms" in the equations. In this paper it is proved that the "diagonal terms" have actually no influence on the minimal solution, i.e. if we alter or even omit the "diagonal terms", the minimal solution remains unchanged. Thus two transformations on Boolean equations can... For global data flow analysis various algorithms have been developed. It is well-known that all these algorithms are to obtain the minimal solution of Boolean equations. The main trouble comes from the presence of "diagonal terms" in the equations. In this paper it is proved that the "diagonal terms" have actually no influence on the minimal solution, i.e. if we alter or even omit the "diagonal terms", the minimal solution remains unchanged. Thus two transformations on Boolean equations can be introduced and a new algorithm can be devised which, unlike the algorithms mentioned above, imposes no restrictions on the flow graph of the problem.Moreover, through these transformations we can gain a better insight into the algorithms of Cocke-Allen and Kennedy. 全局数据流分析的各种算法,都是求布尔方程组的最小解。求解中的主要困难来自“对角线项”。本文证明,这种“对角线项”对最小解实际上并没有影响,因此在求最小解的过程中可以略去。利用这个结果,我们引进对布尔方程组的两种变换,并得到数据流分析的新算法。这个算法不用考虑流图是否可以归约。 还可以利用这些变换来说明Cocke及Allen算法及Kennedy算法的实质。我们还将指出,这些变换作为流图变换,是Hecht及Ullman的变换的扩充。 In this article a new method for finding the special solution of Boolean equations is introduced. As only odd-even parameters and exclusive-or operation are used, this method is both intuitive and simple. When implemented in a computer, the program is simple and the time for solution is short. Besides, more storage space can be saved. 本文提出了快速计算布尔方程组特解的一个新方法——通路求解法。该方法只用到通路的奇偶参数和“异或”运算,因此求解过程既直观又简单。在计算机上实现时,不仅模拟算法的程序系统简单,而且产生测试的效率较高,同时还较多的节省机器的存储空间。 In (1) and (2) some special Boolean equations are solved by means of Venn diagram or deduction, but it is difficult to solve complex Boolean equations by these methods.This article presents a general method to solve Boolean equations (or inequality) or system of simultaneous equations of an unknown or any number of unknowns. (1)和(2)中对一些特殊的布尔方程用文图法或演绎法求出了解,但这些方法很难用于解复杂的布尔方程。 我们在本文中给出了布尔方程(包括一元及多元布尔方程蛆和布尔不等式方程组)的一种通用解法。 << 更多相关文摘 相关查询

 CNKI小工具 在英文学术搜索中查有关boolean equation的内容 在知识搜索中查有关boolean equation的内容 在数字搜索中查有关boolean equation的内容 在概念知识元中查有关boolean equation的内容 在学术趋势中查有关boolean equation的内容

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索 2008 CNKI－中国知网 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社