【摘 要】
：
为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA.首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规
【机 构】
：
南通大学杏林学院计算机科学与技术系,南通大学计算机科学与技术学院,紫琅职业技术学院软件工程系
【基金项目】
：
国家自然科学基金项目（60873069）
论文部分内容阅读
为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA.首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段并将其翻译成分别对应正反语义的等价JAVA代码,再将翻译后的JAVA代码交由JDK解释执行.最后通过示例程序表明R-JAVA源程序中的可逆函数既可正向运行,又可反向运行,从软件层次上实现了可逆计算.
其他文献
<正>金华直属库属亚热带季风性气候,四季分明,冬夏长,春秋短,光温充足,降雨丰沛,夏季高温持续时间较长,给实现准低温储粮带来一定的困难。利用空气调节器控制仓温,延缓粮堆温
一场"惊险"1995年9月26日,安理会为纪念联合国成立50周年,特意举行了一次外长级会议,回顾联合国安理会半个世纪以来的"功过成败".担任这次会议主席的是意大利女外长阿涅利夫
对几种高水分粮降水方法——人工摊晾法、烘干机处理法与就仓干燥法进行了对比分析,讨论了各自利弊;通过综合对比,分析了高水分粮处理的发展趋势,提出了高水分粮的处理对策。
在公选面试中,为了提高考试的难度,提高考察的深度和准确度,有些主考官往往会千方百计地设卡,别出心裁地出题,拟定一些刁钻古怪的面试题.因此,应试者要想在公选面试中获胜,就
利用TA.XT plus物性质构测试仪,对一百粒内蒙古产大豆进行受力、变形与面积的测量,根据胡克定律计算出弹性模量(E),测算出大豆的平均弹性模量为20.39MPa,并对弹性模量与有效
某人靠溜须拍马坐上了办公室主任的宝座后，倚仗正职领导的庇护，飞扬跋扈。他对副职领导不以为意，不屑一顾；对同级同事骄横霸道，吹毛求疵；对下级部属咄咄逼人。出口伤人。谁若敢有半
为保证在动态环境中及时跟踪到最新的真实Pareto前沿，保持解集的均匀性，提出一种基于档案交叉的动态多目标粒子群优化算法。着重利用保存在外部档案的最新非劣解，对这些非劣解进
明明是自认为优质的大蒜出口，却因检测出现质量问题而被全部退回，让以此经营致富的农民蒙受数额不小的损失，最近发生在山东兰陵的这件事，使人们对当前农民的艰辛又多了几分同情。
基于灰色层次法（grey analytic hierarchy process,GAHP）,采用B/S（浏览器/服务器）架构,设计开发了城市应急能力评估系统。层次分析法通过模拟决策者的思维,建立城市应急能力评估
在实仓条件下储藏小麦的高大平房仓,采用高浓度磷化氢环流熏蒸抗性锈赤扁谷盗Cryptolestes ferrugineus(Stephens)、嗜卷书虱Liposcelis bostrychophila Bodonnel、谷蠹Rhizo