助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   boolean equation 的翻译结果: 查询用时:0.008秒
图标索引 在分类学科中查询
所有学科
数学
计算机硬件技术
更多类别查询

图标索引 历史查询
 

boolean equation
相关语句
  布尔方程
     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-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社