期刊文献+

基于粗糙集的组合逻辑优化算法 被引量:6

An algorithm of combinatory logic optimization based on rough set
下载PDF
导出
摘要 运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果. Rough set-based method of combinatory logic optimization was presented by using knowledge expression of logic function with rough set theory, and its corresponding algorithm was given, also. This algorithm was checked by means of illustration of combinatory logic standards Benchmark-89, 91, and 93 compatible logic matrix. It was shown by the result that this algorithm was valid and of remarkably simplified one.
出处 《兰州理工大学学报》 CAS 北大核心 2007年第1期88-91,共4页 Journal of Lanzhou University of Technology
基金 江苏省自然科学基金(BK2001130)
关键词 粗糙集 组合逻辑 优化 rough set combinatory logic optimization
  • 相关文献

参考文献9

  • 1BRAYTON R.Logic minimization algorithms for VLSI synthesis[M].Boston,MA:Kluwer Academic Publishers,1984:169-186.
  • 2IEEE.Proceedings IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS' 01)[C].Gyor:IEEE,2001:291-298.
  • 3Proceedings of the Design Automation Conf[C].Anaheim,CA:Springer,1992:36-39.
  • 4DUTSCH I.A logic for rough sets[J].Theoretical Computer Science,1997,179:427-436.
  • 5PAWLAK Z.Rough sets[M].Massachusetts:Kluwer Academic Publishers,1991:128-142.
  • 6Proceedings of the 10th International Symposium on Methodologies for Intelligent Systems (ISMIS' 97)[C].Berlin:Spriuger-Verlag,1997:117-126.
  • 7Proceedings of AMSMA' 2000[C].Guangzhou:AMSMA,2000:1 008-1 011.
  • 8张义清,管致锦,李洵.逻辑函数的粗糙集表达及最小化方法[J].黑龙江大学自然科学学报,2006,23(2):265-268. 被引量:1
  • 9Proceedings of the Third International Workshop on Rough Sets and Soft Computing[C].California:RSSC,1994:310-317.

二级参考文献4

  • 1BRAYTON R K.Logic minimization algorithms for VLSI synthesis[M].Boston,MA:Kluwer Academic Publishers,1984.
  • 2COUDERT O,MADRE J C.Implicit and incremental computation of primes and essential primes of Boolean functions[A].Proc of the Design Automation Conf[C].Anaheim,CA,1992.36 -39.
  • 3DUTSCH I.A Logic for rough sets[J].Theoretical Computer Science(B),1997,179:427 -436.
  • 4NGUYEN H S,SKOWRON A.Boolean reasoning for Feature Extraction Problems[A].10th International Symposium on Foundations Intelligent Systems[C].1997.116-127.

同被引文献57

引证文献6

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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