期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

可逆编程语言R-JAVA及其语言处理系统的设计 被引量：8

Design of reversible programming language R-JAVA and its language processing system
下载PDF
导出
摘要 为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA。首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段并将其翻译成分别对应正反语义的等价JAVA代码,再将翻译后的JAVA代码交由JDK解释执行。最后通过示例程序表明R-JAVA源程序中的可逆函数既可正向运行,又可反向运行,从软件层次上实现了可逆计算。 To design reversible software system for reversible hardware platform based on reversible logic synthesis and reversible circuit,reversible programming language R-JAVA based on JDK is presented.Firstly the design principles of reversible programming language are summarized,then reversible language R-JAVA is built with JDK,including jobs of designing and implementing syntax rules and language processing system for it,the processing system extracts reversible parts from source code and translates it into equivalent JAVA code with positive semantics and reverse semantics respectively,and then the code is interpreted by JDK.Finally,the results of sample programs show that reversible functions of R-JAVA can proceed either forward or backward,implementing reversible computation on software level is demonstrated the conclusion.
作者 朱鹏程 管致锦 卫丽华
机构地区 南通大学杏林学院计算机科学与技术系 南通大学计算机科学与技术学院 紫琅职业技术学院软件工程系
出处 《计算机工程与设计》 CSCD 北大核心 2013年第10期3502-3510,共9页 Computer Engineering and Design
基金 国家自然科学基金项目(60873069)
关键词 可逆逻辑综合 可逆电路 可逆编程语言 语言处理系统 文法规则 可逆计算 reversible logic synthesis reversible circuit reversible programming language language processing system syntax rule reversible computation
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献6

二级参考文献83

  • 1冯刚,马光胜,杜振军.动态串扰优化的开关盒布线[J].Journal of Semiconductors,2005,26(2):399-405. 被引量：4
  • 2Shende VV, Prssad AK, Markov IL, Hayes JP. Reversible logic circuit synthesis. In: Prec. of the Int'l Conf. on Computer-Aided Design. 2002. 125-132. http://portal.aem.org/eitation.cfm?id=774572.774625.
  • 3Song X, Yang G, Perkowski M, Wang Y. Algebraic characteristics of reversible gates. Theory of Computing Systems, 2006,39:311-319.
  • 4Iwama K, Kambayashi Y, Yamashita S. Transformation rules for designing CNOT-based quantum circuits. Proc. of the Design Automation Conf., 2002,28(4):419-424.
  • 5Miller D M. Spectral and two-place decomposition techniques in reversible logic. In: Proc. of the 45th IEEE Int'l Midwest Symp. on Circuits and Systems. 2002.493-496. http://citeseerx.ist.psu.edu/viewdoc/download?doi= 10.1.1.130.3502&rep= rep1&type=pdf.
  • 6Miller DM, Maslov D, Dueck GW. A transformation based algorithm for reversible logic synthesis. Proc. of the DAC, 2003,20(1): 318-323.
  • 7Maslov D, Dueck GW, Miller DM. Toffoli network synthesis with templates. IEEE Trans. on Computer-Aided Design Integrated. Circuits Systems, 2005,24(6):807-817.
  • 8Mishchenko A, Perkowski M. Logic synthesis of reversible wave cascades. In: Proc. of the 11th IEEE Int'l Workshop on Logic Synthesis. 2002. 197-202. http://www.eecs.berkeley.edu/-brayton/publications/2002/iwls02_casc.pdf.
  • 9Gupta P, Agrawal A, Jha NK. An algorithm for synthesis of reversible logic circuits. IEEE Trans. on Circuits and Systems-1, 2006,25(11):807-817.
  • 10Shende VV, Prasad AK, Markov IL, Hayes JP. Synthesis of reversible logic circuits. IEEE Trans. on CAD, 2003,22(6):723-729.

共引文献21

同被引文献38

  • 1Saeedi M, Markov IL. Synthesis and optimization of reversible circuts-a survey [J]. ACM Computing Surveys, 2013, 45 (2) : 1-34.
  • 2Hirata Y, Nakanishi M, Yamashita S, et al. An efficient con- version of quantum circuits to a linear nearest neighbor architec- ture [J]. Quantum Information Computation, 2011, 11 (1): 142-166.
  • 3Axelsen HB, Gltick R, Yokoyama T. Reversible machine code and its abstract processor architecture [G]. LNCS 4649: Computer ScienceTheory and Applications. Heidelberg: Springer, 2007: 56-69.
  • 4Thomsen MK, Axelsen HB, Gluek R. A reversible processor architecture and its reversible logic design [G]. LNCS 7165: Reversible Computation. Heidelberg: Springer, 2012: 30-42.
  • 5Axelsen HB. Clean translation of an imperative reversible pro- gramming language [G]. LNCS 6601: Compiler Construction. Heidelberg: Springer, 2011: 144-163.
  • 6Dastan F, Haghparast M. A novel nanornetric reversible signed divider with overflow checking capability [J]. Research Journal of Applied Sciences, Engineering and Technology, 2012, 4 (6): 535-543.
  • 7Dastan F, Haghparast M. A novel nanometric fault tolerant reversible divider [J]. International Journal of the Physical Sciences, 2011, 6 (24): 5671-5681.
  • 8Moallem P, Ehsanpour M. A novel design of reversible multi plier circuit (technical note) [J]. International Journal of En gineering-Transactions C: Aspects, 2013, 26 (6): 577.
  • 9VIDEO TRANSCRIPT. Excerpts from a conversation with gordon moore:moorels law [Z]. Intel Corporation, 2005.
  • 10KANELLOS, MICHAEl.. New life for moore's law[EB/OL], ht- tp://news, enet. com/New-life-for-Moores-Law/2009-1006 _ 3- 5672485. html.

引证文献8

二级引证文献19

计算机工程与设计
2013年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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