由布尔函数求多数决定逻辑式的推导公式

本文介绍一种由布尔代数式表示的逻辑线路式推导多数决定逻辑线路式的方法。这里给出了一个有三个输入的多数决定逻辑元件,如用符号“#”表示逻辑式时,则得出其与布尔代数式的关系式如下:A#B#C=AB AC BC (1)如以 f_i 代表某一布尔函数,x 代表某一布尔变数时,则得出式(2)形式的关系式。这种关系应用数字归纳法极易证明:     

数字双极电路的开关级逻辑模拟

本文描述双极数字电路逻辑模拟的一种新方法。该方法是以晶体管开关电平模型的发展和用开关图表示电路为基础的。它自动地把电路划分为子电路,然后根据子电路的输入和初始条件表示的结点逻辑状态产生符号逻辑表达式。因此,该法从晶体管网络表或布局中提出了一个门级功能描述。利用求得的逻辑表达式或开关图模型能够完成逻辑和故障模拟。该法对共模逻辑(CML)双极电路设计的逻辑模拟已用计算机程序实现。     

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础，对多值逻辑函数进行逻辑优化的方法．通过对多值变量、多值函数的二进制矢量描述，将多值多维体转换为布尔表达式积项形式，从多值多维体的多值最小项出发，给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现，二值逻辑优化的结果最终再转换为多值多维体的表示形式。     

数据录入合法性检验语句VALID的活用

在@…GET语句中有四个与数据格式和数据合法性相关的子句,它们是:PICTURE、FUNCTION、RANGE和VALID,前三者在使用时必须按规定形式和符号描述数据的输入输出格式、类型和范围,而VALID子句的内容为一逻辑表达式,故而它在程序中的应用就较为灵活。VALID子句的逻辑表达式,可以是直接与当前录入数据相关的表达式,也可是用户自定义的函数组成,如果该逻辑表达式的值为真,该项输入被认为是正确的,结束该项输入;如果该逻辑表达式的值为假,该项输入则被认为是不正确的,要求用户重新输入数据,这一过程直到逻辑表达式的值为真或用户按下Esc键为止,正是由于可以在逻辑表达式中使用用户自定义函数,使得我们能对数据的录入及合法性检验实施更为有利的手段,事实上,恰当地运用这种方法,不仅能完成某种特殊的任务,甚至在一定的程     

基于双逻辑门级图形表示的功耗优化技术

针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势.     

由多维体运算求布尔差分

布尔差分(布尔导数)是对逻辑电路进行动态分析和求故障测试集的有效数学工具,自1968年由Sellers等人提出后被人们广泛采用.如果将逻辑函数的布尔表达式用多维体集合表示,利用自动逻辑综合中所定义的一些运算符和多维体集合之间的一些运算方法可以不需要展开为最小项而求布尔差分,因而占用存储单元较少.n个变量逻辑函数可以表示为:     

使用Petri网T—不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论，基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决子句推论问题。     

基于带路径布尔函数的电路冗余识别

带路径布尔函数的电路冗余识别算法(RDIBP)能够发现数字电路中的冗余故障.提出了基于SOP表达式形式的带中间节点信息的布尔函数表示方法,并为了便于发现冗余故障改进了传统的布尔函数化简方法.根据测试电路节点相关性将其分组以提高算法效率防止内存爆炸,通过调整控制参数确保算法在合理的时间内完成.算法对ISCAS85、ISCAS89和ITC99基准电路进行实验,且与其他算法结果进行了比较和分析.     

用"多叉树"构造SQL查询中的WHERE子句--"多叉树"在VB中的实现及应用

在编写管理信息系统时,一般都有信息查询功能,完成查询功能通常都要用到SQL语句,而WHERE子句的正确与否是查询结果正确与否的关键.文章介绍了一种生成WHERE子句的结构化的方法,该方法利用多叉树的结构性和层次性来表示一个条件表达式,再从这样的多叉树得到可作为WHERE子句的字符串形式的条件表达式.该方法用于应用软件的开发中,取得了很好的效果.     

使用Petri网T－不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．     

基于generalized dominator的BDD布尔表达式优化分解

BDD是布尔函数的一种图形表示方式,可以直观地反映出布尔函数的逻辑结构,利用BDD可以实现对布尔函数的分解和优化。针对BDD的数据结构和一种以generalizeddominators为基础的布尔表达式的优化方法进行研究,并且着重对其中的一种方法:连接的BDD分解方法(ConjunctiveBDDDecomposition)进行了详细的分析。     

基于generalized dominator的BDD布尔表达式优化分解

BDD是布尔函数的一种图形表示方式．可以直观地反映出布尔函数的逻辑结构，利用BDD可以实现对布尔函数的分解和优化。针对BDD的数据结构和一种以generalized dominators为基础的布尔表达式的优化方法进行研究，并且着重时其中的一种方法：连接的BDD分解方法（Conjunctive BDI）Decomposition）进行了详细的分析。     

用“多叉树”构造SQL查询中的WHERE子句——“多叉树”在VB中的实现及应用

在编写管理信息系统时,一般都有信息查询功能,完成查询功能通常都要用到SQL语句,而WHERE子句的正确与否是查询结果正确与否的关键。文章介绍了一种生成WHERE子句的结构化的方法,该方法利用多叉树的结构性和层次性来表示一个条件表达式,再从这样的多叉树得到可作为WHERE子句的字符串形式的条件表达式。该方法用于应用软件的开发中,取得了很好的效果。     

SHA-3轮函数中χ及θ变换的性质研究

Keccak自2012被宣布为新Hash函数标准SHA-3后受到众多学者的关注,成为当前的研究热点之一。χ及θ是Keccak轮函数中最重要也是最复杂的两个变换。首先对Keccak轮函数中唯一的非线性变换χ的性质进行分析,将χ表示为布尔函数表达式形式,对χ输入差分的32种情况逐一进行推导,得到32种输出差分的布尔函数表达式,进而构造出χ的输入输出差分分布表,并对其差分分布规律进行了分析。Double Kernel形式的差分保证差分通过θ变换时不被其扩散,针对文献[1]中的低汉明重量Double Kernel形式差分的搜索算法,提出了一种新的搜索算法,新算法的复杂度较之原算法有明显降低。实验和理论推导证明了汉明重量为4及以下的Double Kernel形式差分不存在。     

布尔函数和伪布尔函数多项式表示的快速实现算法

布尔函数和伪布尔函数在不同的领域有着广泛的应用,利用多项式表示有利于刻划它们的一些特征属性。论文首先在已知输入都能得到输出的条件下给出了布尔函数多项式表示的快速实现算法,该算法仅用到模2加运算,运算次数少,具有简洁、易于编程实现、准确而快速的特点,而且该算法很易推广为伪布尔函数多项式表示的快速实现算法,只需把模2加运算换成实数加运算即可。接着通过比较说明了伪布尔函数多项式表示的快速实现算法,同时指出任何伪布尔函数都能通过多项式形式表示出来。最后通过实例进一步验证了算法的正确性。     

AXIG及其基于双逻辑的面积优化

针对逻辑函数基于单一的传统布尔逻辑(TB逻辑)进行逻辑优化的局限性,提出基于TB逻辑和Reed-Muller逻辑(RM逻辑)的双逻辑图形表示的面积优化方法.首先将逻辑函数表示成以"与"、"异或"、"非"为运算集的AXIG(AND/XOR/INV graph),得到逻辑函数的双逻辑图形表示;然后将所得到的AXIG划分成适合TB逻辑和适合RM逻辑的2部分分别进行逻辑优化;最终实现逻辑函数的面积优化.实验结果表明,该方法优于已有的逻辑综合方法.     

多输出布尔函数的解析化简方法

1.多输出布尔函数 “逻辑最小化的解析方法”提出了一种运用于大规模逻辑综合的新方法,但没有解决带不顾的输出项的函数化简问题,本文是前文的发展和补充。 若多输出布尔函数的一个输出是     

逻辑模拟智能教学写作环境的研究

基于智能教学系统(ITS)模型,本文将数字系统自动化设计逻辑模拟的抽象级概念、描述工具及模拟算法等问题引入到计算机辅助教学研究领域,在对逻辑模拟教学环境进行分析的基础上,提出了一个由辅助教学系统写作环境支持下设计ITS教学策略、实现领城知识表示的方法,并将逻辑模拟ITS写作环境定义为二元组AE=(T,R),进而讨论了逻辑描述、逻辑图构造、指令负载描述、操纵逻辑模型运行的模拟机制以及为获取模型相关组织说明的学习机制的设计等问题。     

逻辑模拟验证中波形离散化及冒险问题研究

依照布尔过程论中有关波形的描述,研究并设计了便于逻辑模拟响应数据采集的激励输入方法,按照波形离散化的要求,控制两次激励的间隔时间,解决了响应数据间的干扰问题;通过采用加入逻辑门的方法,推迟指定跳变的发生时间,从而避免了冒险现象,同时还保留了原电路的逻辑关系.     

三类布尔函数的相关函数研究

布尔函数的相关函数能刻画其扩散特征和线性结构特征,所以研究相关函数的性质对于布尔函数理论具有重要作用。为此,根据自相关和互相关函数的定义,分析通过迹表示的二次布尔函数f(x)=Tr_1~n(x~(2~i+1)+x(2~′+1))的自相关函数值,给出互相关函数平方的一个表达式C_(f,g)~2(α)=(?)(-1)~(D_(f,g)(a)+D_(f,g)(a+ω)),利用该表达式给出任意三次布尔函数的自相关函数平方和的上界,并借助该上界进一步研究两类迹表示的三次布尔函数的绝对值指标上界问题。