期刊文献+

基于素数性质的布尔函数约简算法

A reduction algorithm for Boolean functions based on primes
下载PDF
导出
摘要 提出了基于素数性质的布尔函数约简算法,其主要思想是用素数表示布尔变量,以素数乘积有序对表示合取式,用算术运算取代原有的逻辑运算。将基于素数性质的布尔函数约简算法运用于粗糙集中,结果表明,该算法能够节省存储空间,提高运算效率,约简算法行之有效。 A reduction algorithm for Boolean functions based on primes is introduced here, where the Boolean variables are represented by primes, and a basic conjunction is denoted with an ordered pair of integers, and the original logic calculation is replaced with arithmetic manipulation. The algorithm is applied to rough set and the results show that the memory space is saved and the efficiency is improved, so it is effective.
出处 《长春工业大学学报》 CAS 2008年第6期607-610,共4页 Journal of Changchun University of Technology
基金 吉林省教育厅科研计划项目(2006第(自16)号)
关键词 布尔函数 算法 约简 素数 Boolean function algorithm reduction prime.
  • 相关文献

参考文献6

  • 1Karnaugh M. The map method of synthesis of combinational logic circuits[J].Commun Electron, 1953,9:593-599.
  • 2Akers S. B. Binary decision diagrams[J].IEEE Transactions on Computers, 1978,27(6) :509-516.
  • 3Tani S. , Hamaguchi K. , Yajima S. The complexity of the optimal variable ordering problems of shared binary decision diagrams,Proc. Int[J]. Symposium on Algorithms and Computation, 1993,762:389-398.
  • 4Masek W. A fast algorithm for the string editing problem and decision graph complexity[D]: [Master's Thesis]. [S.l.]:Department of Electrical Engineering and Computer Science, MIT, 1976.
  • 5Bern J. , Ch Meinel, Slobodov'a A. OBDD-based boolean manipulation in CAD beyond current limits [C]//Proc. 32nd ACM/IEEE Design Automation Conference.[S.l.]:[s. n.] ,1995:408-413.
  • 6Detlef Sieling, Ingo Wegener. A comparison of free BDDs and transformed BDDs[J]. Springer Science Business Media B. V., Formerly Kluwer Academic Publishers B. V. ,2001,19(3):223-236.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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