布尔差分

作品数：21被引量：30H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：陈偕雄刘观生余党军厉晓华潘张鑫更多>>
相关机构：浙江大学金华职业技术学院哈尔滨理工大学合肥工业大学更多>>
相关期刊：《煤矿机械》《计算机应用研究》《科技通报》《电子测量技术》更多>>
相关基金：国家自然科学基金浙江省科技厅资助项目河北省自然科学基金河北省科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
正规式布尔函数NPN等价匹配算法
《电子科技大学学报》2023年第1期102-107,共6页张菊玲 郭文强 杨晓梅 朱义鑫 杨国武 
新疆维吾尔自治区自然科学基金(2019D01A27)。
通过对香农分解代数余子式的运算研究,发现了对称变量和独立变量在NP等价变换中的6个属性,充分利用变量的对称性和独立性NP变换后的不变性、独立变量相位不确定性、在NP匹配中独立变量识别其他变量和其他变量识别独立变量的不可用性,提...
关键词：布尔差分 正规式 NPN等价 独立变量 香农分解 
计算含无关项布尔差分及布尔偏导数的表格算法被引量：2
《科技通报》2019年第3期119-122,共4页邵梁 厉晓华 
2015年国家自然科学基金(61471314);2014年浙江省自然科学基金(LY14F010003)
为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项...
关键词：无关项 布尔函数 布尔差分 布尔偏导数 表格算法 
布尔差分故障检测算法在FPGA上的实现
《自动化仪表》2014年第1期70-73,共4页张敏 张云桃 孟宪民 
为了更加快捷、准确地进行故障诊断,研究了布尔差分法在数字逻辑电路中的故障检测。在建立合适的数字逻辑电路的基础上,利用二阶布尔差分法生成双故障测试矢量,并将其作为故障电路的激励测试电路的各个节点。同时,通过FPGA构造一系列测...
关键词：故障检测 布尔差分法 测试矢量 FPGA 故障列表 
特殊逻辑函数布尔差分及布尔e-导数的性质研究被引量：1
《浙江大学学报（理学版）》2013年第5期535-538,共4页方伟杰 厉晓华 杭国强 
国家自然科学基金资助项目(60971061)
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出...
关键词：布尔差分 布尔e-导数 线性函数 冗余函数 自反函数 自双反函数 
基于FPGA和布尔差分的某型雷达电路故障诊断
《吉林大学学报（信息科学版）》2010年第3期314-319,共6页周俊杰 常硕 王德功 祁晓明空军航空大学航空控制工程系 
为解决求解布尔差分异或运算量大的问题,针对高速实时数据处理的需要,提出了用现场可编程门阵列(FPGA:Field Programmable Gate Array)实现故障测试码生成的方法,并阐述了用该方法对某型机载雷达电路进行故障诊断的全过程。通过仿真结...
关键词：布尔差分 测试码 现场可编程门阵列 故障诊断 
含任意项逻辑函数布尔差分的图形化算法研究被引量：4
《浙江大学学报（理学版）》2009年第6期666-669,共4页王勇超 谢永凯 
针对包含任意项的逻辑函数,提出了一种利用该类逻辑函数K图和bj图的图形转换来实现一阶布尔差分和二阶布尔差分计算的方法.实例表明,该图形方法具有简单、直接、方便的特点.
关键词：布尔差分 任意项 图形转换 
基于BDD和布尔差分的组合电路测试生成方法
《计算机应用研究》2008年第5期1450-1452,1523,共4页欧阳一鸣 牟屹 梁华国 
国家自然科学基金重大研究计划资助项目(90407008);国家自然科学基金重点资助项目(60633060);安徽省自然科学基金资助项目(050420103)
引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销,并将布尔差分的理论方法应用于实际。实验表明,本方案可以有效地进行测试生成。
关键词：二元决策图 布尔差分 自动测试向量生成 
基于布尔差分的数字电路路径时滞故障测试生成算法
《煤矿机械》2008年第4期207-209,共3页赵莹 丁晶晶 蔡永强 宫海艳 
针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换法则把数字电路转换成与之相对应的部分分支电路,然后用布尔差分的方法对部分分支电路的单固定故障生成...
关键词：布尔差分 路径时滞故障 测试生成 
潜艇指控系统故障诊断技术研究
《弹箭与制导学报》2008年第1期254-256,共3页郑文荣 王树宗 朱华兵 
介绍一种以潜艇指控系统电路板作为被测对象故障诊断技术,对指控系统电路的测试由布尔差分法产生可检测和可区分故障的测试向量,采用模拟开关菊花链连接方式实现多通道多类型测试激励信号的生成和响应采集。运用该技术设计的自动测试仪...
关键词：指控系统 故障诊断 布尔差分 菊花链 
或-符合型通用逻辑门组合电路的故障检测被引量：2
《浙江大学学报（工学版）》2007年第8期1260-1264,共5页潘张鑫 陈偕雄 
针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,给出了在该组合电路中计算布尔差分的链式算法以及故障压缩定理.在此基础上,得到了电路单固定故障及双固...
关键词：通用逻辑门 或-符合展开 布尔差分 故障检测 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部