期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于表格法的RM展开系数与或-符合展开系数的转换 被引量：3
1
作者 姚茂群 方平 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第4期417-419,共3页
讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法.在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法.与图形方法相比,表格法具有不需... 讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法.在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法.与图形方法相比,表格法具有不需要画图,不受变量数限制以及易于计算机编程操作等优点. 展开更多
关键词 表格法 RM展开 或-符合展开 bj系数 dj系数
下载PDF
或-符合型通用逻辑门组合电路的故障检测 被引量：2
2
作者 潘张鑫 陈偕雄 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第8期1260-1264,共5页
针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,给出了在该组合电路中计算布尔差分的链式算法以及故障压缩定理.在此基础上,得到了电路单固定故障及双固... 针对或-符合型三变量通用逻辑门组合电路,提出了一种基于布尔差分的故障检测方法.引入了或-符合代数中的布尔差分定义和运算性质,给出了在该组合电路中计算布尔差分的链式算法以及故障压缩定理.在此基础上,得到了电路单固定故障及双固定故障的检测方法.结果表明,在或-符合代数中布尔差分的计算较为简便,链式算法能有效地求得电路输出对全部原始及内部输入线的布尔差分,从而使得用布尔差分法对该组合电路进行故障检测具有简单、直捷的特点.并且用或-符合型三变量通用逻辑门实现函数连线数相对较少,因此在数字设计中使用这种逻辑门有利于故障检测. 展开更多
关键词 通用逻辑门 或-符合展开 布尔差分 故障检测
下载PDF
基于异或运算的逻辑函数OC展开系数图与b_j图的转换 被引量：1
3
作者 方平 陈偕雄 练益群 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第6期649-652,共4页
分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这... 分析了逻辑函数的OC展开式与RM展开式,利用异或运算和符合运算的性质,推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法,并对这两种方法作了比较.通过实例显示,这些图形方法具有直观、有效等特点. 展开更多
关键词 或-符合展开 BJ图 DJ图
下载PDF
逻辑函数FGOC展开的最小化技术 被引量：1
4
作者 应时彦 肖林荣 杭国强 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第3期423-426,455,共5页
为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.... 为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数,可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程,研究了变量数与符合算法的运算次数的规律.结果表明,与图形法的FGOC展开最小化方法相比较,随着变量数的增加,符合运算次数大幅度减少.该方法适合于计算机编程实现,并能快速获得计算结果. 展开更多
关键词 或-符合展开 固定极性 逻辑函数化简 逻辑设计
下载PDF
任意极性或-符合型易测性网络及测试集 被引量：1
5
作者 潘张鑫 陈偕雄 阮谢永 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第3期407-411,共5页
为提高数字电路的可测性,提出了一种可实现任意逻辑函数的任意极性或-符合型易测性网络,并给出了测试网络中所有单固定故障的通用测试集.该网络基于逻辑函数的混合极性及同或积的或-符合表示,其同或部分分别采用了串联和树形结构.为提... 为提高数字电路的可测性,提出了一种可实现任意逻辑函数的任意极性或-符合型易测性网络,并给出了测试网络中所有单固定故障的通用测试集.该网络基于逻辑函数的混合极性及同或积的或-符合表示,其同或部分分别采用了串联和树形结构.为提高可测性,用同或串的网络结构只需增加2个控制端及1个观察端,用同或树的网络结构只需增加4个控制端及1个观察端.对于一个n变量的逻辑函数,2种结构下通用测试集的基数分别为n+7和n+10.这种短的通用测试集非常适合用内建自测试实现,从而有效地缩短了测试时间. 展开更多
关键词 通用测试集 可测性设计 或-符合展开 单固定故障
下载PDF
一种基于或-符合展开的新颖通用逻辑门
6
作者 郦可 练益群 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第2期161-164,共4页
提出了一种新颖的基于或-符合展开的三变量通用逻辑门(ULG3),讨论了逻辑函数或-符合展开的图形表示———dj图,利用降维dj图分析了所有3变量NPN型特征函数的降维dj图的特点.从而验证了该通用逻辑门能实现所有3变量的逻辑函数.
关键词 或-符合展开 DJ图 dj降维图 通用逻辑门
下载PDF
基于正极性或-符合展开的易测性网络
7
作者 潘张鑫 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第1期40-43,47,共5页
为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同... 为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同或串的实现结构只需增加1个控制端及1个观察端,同或树的实现结构只需增加3个控制端及1个观察端.对于1个n变量的逻辑函数,两种实现结构下通用测试集的基数分别为(n+4)和(n+5).这样短的通用测试集非常适合用内建自测试实现,从而有效地缩短测试时间. 展开更多
关键词 通用测试集 可测性设计 或-符合展开 单固定故障
下载PDF
计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法
8
作者 刘观生 练益群 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第2期176-180,共5页
讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,... 讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较.本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点. 展开更多
关键词 或-符合展开 OC型逻辑函数 布尔偏导数 布尔差分 表格方法
下载PDF
基于K图的逻辑函数OC展开式在固定极性下的化简 被引量：3
9
作者 万旭 唐金花 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期48-51,57,共5页
分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利... 分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点. 展开更多
关键词 K图 固定极性 或符合展开
下载PDF
或符合全展开式的分解转换算法 被引量：2
10
作者 杨萌 周学功 +2 位作者 唐璞山 童家榕 A.E.A. Almaini 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第7期998-1004,共7页
针对现有算法在处理多变量实际电路时间开销较大的问题,提出或符合全展开式的分解转换算法.cj最大项展开式和dj最大项展开式在相同极性下两者之间存在转换矩阵,而矩阵运算复杂度较高,把矩阵的运算简化成与和非的位运算,从而大量地节省... 针对现有算法在处理多变量实际电路时间开销较大的问题,提出或符合全展开式的分解转换算法.cj最大项展开式和dj最大项展开式在相同极性下两者之间存在转换矩阵,而矩阵运算复杂度较高,把矩阵的运算简化成与和非的位运算,从而大量地节省了运算时间;在此基础上,将cj最大项展开式分解到不同的分组中,提出了分解算法,避免了矩阵的重复计算,再次缩短了计算时间.为了避免cj最大项展开式中过多最大项而造成转化时间开销增加,还提出了基于cj最小项的分解算法.实验结果表明,包含算法适用于处理小变量,但在处理多变量时时间开销增大,而采用了分解算法后,可极大减少转换时间开销. 展开更多
关键词 逻辑综合 或符合展开式 Reed-Muller展开式
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部