期刊文献+

对称函数的d_j图表示及其应用 被引量:1

Denotation and application for d_j-Map of symmetric function.
在线阅读 下载PDF
导出
摘要 根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效. Symmetry is a significant property of a logic function. However, the conventional methods of detecting symmetry of a logic function are too complicated if the function is expanded to CRM in OR COINCIDENCE algebraic system. According to the property of symmetric function, the denotation about dj map of partially symmetric funcion and totally symmetric function was presented based on the K-map of symmetric function and bj map of symmetric function. Symmetry of the function can be detected by means of dj map of symmetric function, and some examples were given. The method has several advantages that the logic design based on the symmetry of logic function is simpler and more effective as compared with conventional design.
出处 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2006年第1期62-65,共4页 Journal of Zhejiang University(Science Edition)
关键词 DJ图 对称函数 和式项 或-符合代数系统 dj map symmetric functiom sum term OR-COINCIDENCE algebraic function
  • 相关文献

参考文献2

二级参考文献7

  • 1程捷.近代数宇理论与方法的研究[D].杭州:浙江大学信电系,2001.
  • 2GREEN D H. Reed-Muller expansions of incompletely specified functions . IEE pt E, 1987, 134(5) :228--236.
  • 3MILLER J F. Optimization of Reed-Muller logic functions. J Electronics, 1993,75(3) :451--466.
  • 4ALMAINI A E A. Using generic algorithms for the variable, ording of Reed-Muller binary decision diagrams . Microelectronics Journal, 1995,26:1 -- 10.
  • 5WU Xun-wei, CHEN Xie-xiong, HURST S L. Mapping of Reed-Muller coefficients and the minimisation of Exclusive-OR switching functions[J]. IEE pt E, 1982,129(1) : 15--20.
  • 6陈偕雄 沈继忠.近代数宇理论[M].杭州:浙江大学出版社,2001..
  • 7赵小杰,陈偕雄.将任意开关函数变换为对称函数的新方法[J].杭州大学学报(自然科学版),1990,17(4):401-408. 被引量:4

共引文献28

同被引文献16

  • 1练益群,厉晓华,陈偕雄.基于表格法的部分对称函数检测[J].科技通报,2005,21(2):214-217. 被引量:8
  • 2赵美玲,吴强,陈偕雄.CRM分解图的性质及其应用[J].浙江大学学报(理学版),2006,33(3):300-303. 被引量:1
  • 3Heinrich-Litan L, Molitor P. Least Upper bounds for the size of OBDDs using symmetry properties [J]. IEEE Trausations On Computers, 2000, 49(4): 360-368.
  • 4Rahaman H, Das D, Bhattacharya B. Mapping symmetric functions to hierarchical modules for delay fault testability [A]. Proceeding of the12th Asian Test Symposium [C]. Xian, China, 2003-12. 284-289.
  • 5Rice J, Muzio J. Antisymmetries in the realization of Boolean functions [A]. IEEE International symposium on Circuits and Systems [C]. Phoenix-Scottsdale, AZ, USA, 2002-05.69-72.
  • 6Peng Jie, Wu Quan-shui, Kan Hal-bin. On symmetric boolean functions with high algebraic immunity on even number of variables [J]. IEEE Transations on Information Theory, 2011, 57(10): 7205-7220.
  • 7Shpilka A, Tal A. On the minimal fourier degree of symmetric boolean functions [A]. The 26th Annual IEEE Conference on Computational Complexity [C]. San Jose, California USA, 2011-06. 200-209.
  • 8Chowdury M, Hasan G, Talukder K. A composition technique of multiple switching functions based on BDD [A]. Computer and Information Technology 13th International Conference [C]. Dhaka, Bangladesh, 2010-12. 337-342.
  • 9Acharya J, Jafarpour A, Orlitsky A. Expected query complexity of symmetric boolean functions [A]. Communication, Control and Computing 49th Annual Allerton Conference [C]. Urbana, USA, 2011-09.26-29.
  • 10Mukhopadhyay A. Detection of total or partial symmetry of a switching function with the use of decomposition charts [J]. IEEE Transations on Electronic Computers, 1963, EC(12): 553-557.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部