期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于布尔差分的数字逻辑电路故障诊断 被引量:4
1
作者 杨俊华 尚志恩 吕锋 《电子科技大学学报》 EI CAS CSCD 北大核心 2005年第4期517-520,共4页
讨论了数字系统的故障分析的内涵,阐述了故障的可测性定理,并以组合逻辑电路为例,介绍如何利用布尔差分法求解其全部测试码,给出了多重故障测试码的公式,说明了布尔差分法数字系统故障诊断的局限性。
关键词 故障诊断 测试码 组合逻辑电路 布尔差分
在线阅读 下载PDF
计算布尔差分与布尔偏导数的表格方法 被引量:2
2
作者 刘观生 陈偕雄 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2006年第9期1486-1489,共4页
为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过... 为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过两次变换产生新积项,并删除相同积项来得到.一阶布尔偏导数作为一阶布尔差分,二阶布尔偏导数通过对积项中相应位作两次连续的1到0的变换来得到.该方法用表格模拟了计算布尔差分与布尔偏导数的过程.应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适合求解多变量逻辑函数以及计算机编程. 展开更多
关键词 RM展开 表格方法 布尔差分 布尔偏导数
在线阅读 下载PDF
一阶布尔差分在组合逻辑电路测试生成中的应用 被引量:1
3
作者 欧阳一鸣 杜晓荣 梁兴琦 《微电子学与计算机》 CSCD 北大核心 1999年第1期38-41,共4页
文章给出了一阶布尔差分的几种求法,并对这几种方法进了分析、比较,进而通过具体逻辑电路阐述如何用布尔差分及其性质迅速求出逻辑电路的单故障测试集。
关键词 布尔差分 逻辑电路 测试 数字电路
在线阅读 下载PDF
计算含无关项布尔差分及布尔偏导数的表格算法 被引量:2
4
作者 邵梁 厉晓华 《科技通报》 2019年第3期119-122,共4页
为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项... 为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项来计算布尔差分及布尔偏导数。表格算法与代数方法、图形方法相比,具有快速便捷,适用多变量布尔函数及易于计算机编程等优点。 展开更多
关键词 无关项 布尔函数 布尔差分 布尔偏导数 表格算法
在线阅读 下载PDF
基于布尔差分的数字电路路径时滞故障测试生成算法
5
作者 赵莹 丁晶晶 +1 位作者 蔡永强 宫海艳 《煤矿机械》 北大核心 2008年第4期207-209,共3页
针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换法则把数字电路转换成与之相对应的部分分支电路,然后用布尔差分的方法对部分分支电路的单固定故障生成... 针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换法则把数字电路转换成与之相对应的部分分支电路,然后用布尔差分的方法对部分分支电路的单固定故障生成测试矢量,最后把生成的测试矢量转换成为原数字电路路径时滞故障的测试矢量对。在ISCAS’85国际标准电路上的实验结果表明了本算法的可行性和有效性。 展开更多
关键词 布尔差分 路径时滞故障 测试生成
在线阅读 下载PDF
基于FPGA和布尔差分的某型雷达电路故障诊断
6
作者 周俊杰 常硕 +1 位作者 王德功 祁晓明空军航空大学航空控制工程系 《吉林大学学报(信息科学版)》 2010年第3期314-319,共6页
为解决求解布尔差分异或运算量大的问题,针对高速实时数据处理的需要,提出了用现场可编程门阵列(FPGA:Field Programmable Gate Array)实现故障测试码生成的方法,并阐述了用该方法对某型机载雷达电路进行故障诊断的全过程。通过仿真结... 为解决求解布尔差分异或运算量大的问题,针对高速实时数据处理的需要,提出了用现场可编程门阵列(FPGA:Field Programmable Gate Array)实现故障测试码生成的方法,并阐述了用该方法对某型机载雷达电路进行故障诊断的全过程。通过仿真结果得出,采用48 MHz的时钟,对八输入的电路生成全部测试码只需43μs,尤其是对较复杂电路,优势更为明显,为实现该雷达的快速故障诊断提供了一条新思路。 展开更多
关键词 布尔差分 测试码 现场可编程门阵列 故障诊断
在线阅读 下载PDF
正规式布尔函数NPN等价匹配算法
7
作者 张菊玲 郭文强 +2 位作者 杨晓梅 朱义鑫 杨国武 《电子科技大学学报》 EI CAS CSCD 北大核心 2023年第1期102-107,共6页
通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提... 通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提出了一种基于正规式的布尔函数NPN等价匹配算法。通过对大量MCNC标准电路库中电路和随机生成电路的7-22变量布尔函数的匹配实验,在两个实验电路集上本文算法与基于高阶通用特征匹配算法相比,匹配过程中的搜索空间平均减少了58.8%、布尔匹配的速度提高了45.6%,能够为电路优化和电路映射提供更加快速和有效的布尔匹配。 展开更多
关键词 布尔差分 正规式 NPN等价 独立变量 香农分解
在线阅读 下载PDF
或-符合型通用逻辑门组合电路的故障检测 被引量:2
8
作者 潘张鑫 陈偕雄 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2007年第8期1260-1264,共5页
针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,给出了在该组合电路中计算布尔差分的链式算法以及故障压缩定理.在此基础上,得到了电路单固定故障及双固... 针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,给出了在该组合电路中计算布尔差分的链式算法以及故障压缩定理.在此基础上,得到了电路单固定故障及双固定故障的检测方法.结果表明,在或-符合代数中布尔差分的计算较为简便,链式算法能有效地求得电路输出对全部原始及内部输入线的布尔差分,从而使得用布尔差分法对该组合电路进行故障检测具有简单、直捷的特点.并且用或-符合型三变量通用逻辑门实现函数连线数相对较少,因此在数字设计中使用这种逻辑门有利于故障检测. 展开更多
关键词 通用逻辑门 或-符合展开 布尔差分 故障检测
在线阅读 下载PDF
潜艇指控系统故障诊断技术研究
9
作者 郑文荣 王树宗 朱华兵 《弹箭与制导学报》 CSCD 北大核心 2008年第1期254-256,共3页
介绍一种以潜艇指控系统电路板作为被测对象故障诊断技术,对指控系统电路的测试由布尔差分法产生可检测和可区分故障的测试向量,采用模拟开关菊花链连接方式实现多通道多类型测试激励信号的生成和响应采集。运用该技术设计的自动测试仪... 介绍一种以潜艇指控系统电路板作为被测对象故障诊断技术,对指控系统电路的测试由布尔差分法产生可检测和可区分故障的测试向量,采用模拟开关菊花链连接方式实现多通道多类型测试激励信号的生成和响应采集。运用该技术设计的自动测试仪可对某型潜艇指控系统各种类型电路板进行测试和故障诊断。 展开更多
关键词 指控系统 故障诊断 布尔差分 菊花链
在线阅读 下载PDF
组合电路的故障测试生成D算法研究 被引量:2
10
作者 陈永刚 张彩珍 《兰州铁道学院学报》 2002年第6期14-16,共3页
测试生成指针对电路中一个故障找出能检测该故障的测试码,测试生成算法的好坏决定着测试技术的好坏.确定性测试中,测试算法的研究显得尤为重要.分析了组合电路的故障测试生成D算法,以施耐得计数器电路为例,研究了D算法在组合电路故障测... 测试生成指针对电路中一个故障找出能检测该故障的测试码,测试生成算法的好坏决定着测试技术的好坏.确定性测试中,测试算法的研究显得尤为重要.分析了组合电路的故障测试生成D算法,以施耐得计数器电路为例,研究了D算法在组合电路故障测试生成中的应用,并给出了D算法与通路敏化法、布尔差分法的应用比较结果. 展开更多
关键词 组合电路 测试生成算法 D算法 通路敏化法 布尔差分 故障测试
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部