检索结果-南通市图书馆

电子科技大学学报 2005年第4期34卷 517-520页

作者：杨俊华尚志恩吕锋河北师范大学职业技术学院石家庄050016 河北师范大学数学与信息科学学院石家庄050016

讨论了数字系统的故障分析的内涵,阐述了故障的可测性定理,并以组合逻辑电路为例,介绍如何利用布尔差分法求解其全部测试码,给出了多重故障测试码的公式,说明了布尔差分法数字系统故障诊断的局限性。

关键词：故障诊断测试码组合逻辑电路布尔差分

在线全文

学校读者我要写书评

暂无评论

计算布尔差分与布尔偏导数的表格方法

浙江大学学报（工学版） 2006年第9期40卷 1486-1489页

作者：刘观生陈偕雄浙江大学信息与电子工程学系浙江杭州310028

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过... 详细信息

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过两次变换产生新积项,并删除相同积项来得到.一阶布尔偏导数作为一阶布尔差分,二阶布尔偏导数通过对积项中相应位作两次连续的1到0的变换来得到.该方法用表格模拟了计算布尔差分与布尔偏导数的过程.应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适合求解多变量逻辑函数以及计算机编程.

关键词： RM展开表格方法布尔差分布尔偏导数

特殊逻辑函数布尔差分及布尔e-导数的性质研究

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2013年第5期40卷 535-538页

作者：方伟杰厉晓华杭国强浙江大学信息中心浙江杭州310027 浙江大学城市学院信息与电气工程学院浙江杭州310015

布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出... 详细信息

布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础.

关键词：布尔差分布尔e-导数线性函数冗余函数自反函数自双反函数

在线全文

学校读者我要写书评

暂无评论

含任意项逻辑函数布尔差分的图形化算法研究

浙江大学学报（理学版） 2009年第6期36卷 666-669页

作者：王勇超谢永凯浙江大学网络与信息中心浙江杭州310028

针对包含任意项的逻辑函数,提出了一种利用该类逻辑函数K图和bj图的图形转换来实现一阶布尔差分和二阶布尔差分计算的方法.实例表明,该图形方法具有简单、直接、方便的特点.

关键词：布尔差分任意项图形转换

基于BDD和布尔差分的组合电路测试生成方法

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2008年第5期25卷 1450-1452,1523页

作者：欧阳一鸣牟屹梁华国合肥工业大学计算机与信息学院合肥230009

引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销,并将布尔差分的理论方法应用于实际。实验表明,本方案可以有效地进行测试生成。

关键词：二元决策图布尔差分自动测试向量生成

计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2007年第2期34卷 176-180页

作者：刘观生练益群陈偕雄浙江大学信息与电子工程学系浙江杭州310028 浙江传媒学院电子信息系浙江杭州310018

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,... 详细信息

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较.本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点.

关键词：或-符合展开 OC型逻辑函数布尔偏导数布尔差分表格方法

计算逻辑函数布尔差分及布尔偏导数的表格方法

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2006年第4期33卷 408-411,416页

作者：练益群陈偕雄浙江传媒学院电子信息系浙江杭州310018 浙江大学信息与电子工程学系浙江杭州310028

分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用f计算布尔差分与布尔偏导数的表格方法.本文提出的... 详细信息

分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用f计算布尔差分与布尔偏导数的表格方法.本文提出的表格方法与图形方法相比,具有不需画图,操作方便,易于计算机编程操作以及可用于多变量逻辑函数等优点.

关键词：逻辑函数布尔差分布尔偏导数表格方法

在线全文

学校读者我要写书评

暂无评论

基于K图的布尔差分计算的图形方法

浙江大学学报（理学版） 2002年第5期29卷 506-511页

作者：余党军程捷陈偕雄金华职业技术学院电子工程系浙江金华321017 浙江大学信息与电子工程系浙江杭州310028

基于 K图和降维 K图 ,讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法 .实例表明该方法具有直观、简单等特点 ,并且它能给出布尔差分的最简与 /或式 .

关键词：图形方法 K图降维K图布尔差分故障检测逻辑函数组合电路计算方法

基于布尔差分的数字电路路径时滞故障测试生成算法

在线全文

学校读者我要写书评

暂无评论

煤矿机械 2008年第4期29卷 207-209页

作者：赵莹丁晶晶蔡永强宫海艳北华大学电气信息工程学院吉林吉林132021

针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换法则把数字电路转换成与之相对应的部分分支电路,然后用布尔差分的方法对部分分支电路的单固定故障生成... 详细信息

针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换法则把数字电路转换成与之相对应的部分分支电路,然后用布尔差分的方法对部分分支电路的单固定故障生成测试矢量,最后把生成的测试矢量转换成为原数字电路路径时滞故障的测试矢量对。在ISCAS’85国际标准电路上的实验结果表明了本算法的可行性和有效性。

关键词：布尔差分路径时滞故障测试生成

在线全文

学校读者我要写书评

暂无评论

基于b_j图计算逻辑函数布尔差分的新方法

浙江大学学报（理学版） 2004年第1期31卷 43-47页

作者：吴桂初刘观生陈偕雄温州师范学院物理与电子信息科学系浙江温州325027 浙江大学信息与电子工程学系浙江杭州310028

分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.

关键词：逻辑函数布尔差分降维bj图二值模代数系统