检索结果-南通市图书馆

逻辑函数的布尔除/符合展开在固定极性下化简的表格方法

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2008年第5期35卷 530-533页

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

阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方... 详细信息

阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序.

关键词：表格方法布尔除/符合展开固定极性函数化简

函数CRM展开式在固定极性下最小化的图形方法

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2006年第1期33卷 58-61页

作者：肖林荣赵美玲陈偕雄浙江大学信息与电子工程系绍兴文理学院机电工程系浙江绍兴312000

分析了dj图、K图的性质,在此基础上提出了基于dj图、K图的函数CRM展开式在固定极性下最小化的图形方法.它具有直观、简单、易于掌握等特点.

关键词： CRM展开式固定极性 dj图 K图图形法

基于K图的逻辑函数OC展开式在固定极性下的化简

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2006年第1期33卷 48-51,57页

作者：万旭唐金花陈偕雄浙江师范大学高等技术学院浙江金华321004 金华职业技术学院电子工程系浙江金华321017 浙江大学信息与电子工程系浙江杭州310028

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利... 详细信息

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点.

关键词： K图固定极性或符合展开

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2006年第5期33卷 540-543页

作者：许翔周振峰肖林荣嘉兴学院电子信息系浙江嘉兴314001 嘉兴学院电气工程系浙江嘉兴314001

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并... 详细信息

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发.

关键词：布尔减-异或代数系统布尔除-符合代数系统固定极性代数化简法图形化简法

在线全文

学校读者我要写书评

暂无评论

异或函数在固定极性下化简的新算法

杭州大学学报（自然科学版） 1992年第2期19卷 227-228页

作者：金瓯陈偕雄杭州大学电子工程系

文献[1]提出了基于b_i图的异或函数在固定极性下化简的算法,但对于n变量需要进行n-1次图形变换,因此有必要研究新的化简算法.

关键词：异或函数固定极性化简

基于K图的函数RM展开式在固定极性下的最小化

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（理学版） 2003年第4期30卷 405-408页

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

分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,... 详细信息

分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,从而省略了传统的把K图转变为bj图再求最小化的步骤.它具有直观、简单、易于掌握等特点.此外,文中还提出了该方法的改进算法.

关键词：逻辑电路逻辑函数 K图 RM展开式固定极性最小化 bj图聚合圈

带有固定极性电弧屏蔽罩的螺旋形触头间的真空电弧的运动

在线全文

学校读者我要写书评

暂无评论

真空电器技术 1999年第3期 21-27页

作者：张蔚平

用分帧摄像机可以研究两个螺旋形触头间的情况。这种研究是给弧柱施加一横向磁场，并将一圆筒形的电弧屏蔽罩焊接在固定电极上。当这一固定电极和屏蔽罩为阴极时，可以观察到，屏蔽罩上的阴极斑点是通过两种途径产生的。其中一种就是只... 详细信息

用分帧摄像机可以研究两个螺旋形触头间的情况。这种研究是给弧柱施加一横向磁场，并将一圆筒形的电弧屏蔽罩焊接在固定电极上。当这一固定电极和屏蔽罩为阴极时，可以观察到，屏蔽罩上的阴极斑点是通过两种途径产生的。其中一种就是只有当弧柱很强烈时才会产生阴极斑点，这种强烈的柱形电弧对阴极和阳极焊根（ＩＡＲＣ〉２５ｋＡ峰值）都有的侵蚀能力。这种情况下，当电弧弧柱沿着触头边缘被驱动时。

关键词：真空灭弧室真空电弧触头电弧屏蔽罩固定极性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于不相交项并行列表技术的FPRM实现

电子与信息学报 2014年第9期36卷 2258-2264页

作者：王玉花王伦耀夏银水宁波大学信息科学与工程学院宁波315211

针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效... 详细信息

针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效率低下甚至无法工作这种情况。另外,不同于已发表的用于实现大电路的转化算法,待处理的电路结构对该方法的性能影响很小。提出的算法用C语言编程实现,并用MCNC标准电路进行测试。实验结果表明所提算法可以对更大规模电路实现快速FPRM转换,并且算法速度对电路输入个数不敏感,但与待处理逻辑函数的不相交乘积项的数量有关。

关键词：数字电路 Reed-Muller(RM)逻辑固定极性并行列表技术逻辑优化

在线全文

学校读者我要写书评

暂无评论

基于近似计算技术的FPRM电路面积优化

电子学报 2019年第9期47卷 1868-1874页

作者：王伦耀夏银水储飞宁波大学信息科学与工程学院

近似计算技术通过降低电路输出精度实现电路功耗、面积、速度等方面的优化.本文针对RM(Reed-Muller)逻辑中“异或”运算特点,提出了基于近似计算技术的适合FPRM逻辑的电路面积优化算法,包括基于不相交运算的RM逻辑错误率计算方法,及在... 详细信息

近似计算技术通过降低电路输出精度实现电路功耗、面积、速度等方面的优化.本文针对RM(Reed-Muller)逻辑中“异或”运算特点,提出了基于近似计算技术的适合FPRM逻辑的电路面积优化算法,包括基于不相交运算的RM逻辑错误率计算方法,及在错误率约束下,有利于面积优化的近似FPRM函数搜索方法等.优化算法用MCNC (Microelectronics Center of North Carolina)电路进行测试.实验结果表明,提出的算法可以处理输入变量个数为199个的大电路,在平均错误率为5.7%下,平均电路面积减少62.0%,并在实现面积优化的同时有利于实现电路的动态功耗的优化且对电路时延影响不大.

关键词：近似计算 RM函数固定极性逻辑优化