论文部分内容阅读
从编程语言的角度研究了可逆计算。首先，给出可逆编程语言流程图的3种基本结构，从而构建一个可逆编程语言的可视模型；其次，证明可逆语言的可逆图灵机完备性，进而论证其与传统编程语言在计算能力上的一致性；最后，介绍了可逆编程语言Janus并进行了编程实践。
可逆编程语言相关理论及实践研究
【摘 要】
：
从编程语言的角度研究了可逆计算。首先，给出可逆编程语言流程图的3种基本结构，从而构建一个可逆编程语言的可视模型；其次，证明可逆语言的可逆图灵机完备性，进而论证其与传统编程
【机 构】
：
南通理工学院软件工程系
【出 处】
：
软件导刊
【发表日期】
：
2015年2期
【基金项目】
：
南通理工学院校级科研项目（2014002）
其他文献
在目前众多的电子商务推荐方法中,协同过滤的研究和应用最为广泛。但由于其自身存在的一些诸如数据稀疏性与缺少个性化等问题,导致推荐的准确度与效率不高。而且User-Based协
阐述数字水印技术的相关理论,探讨数字水印的特性、分类及应用;在分析几种常见攻击方法特点的基础上,提出相应的抵抗方法,最后对该技术进行总结和展望。
校园网是高校重要的信息化平台,对学校管理及教育教学作用巨大,但同时其安全问题日益突出。总结了高校校园网络存在的主要问题,提出了可行建议,并探讨了高校校园网安全整体解
将关联规则挖掘算法推广到图像标注领域,提出了适用于图像语义标注任务的加权关联规则挖掘算法。通过为每个标签及标签集合赋予一定权重,可以保留出现次数少却具有重要意义的
USB3.0接口速度快、简单、占用资源少,在实际设计工作中应用广泛。设计一种基于USB3.0接口的上位机软件,在C#.NET平台下实现USB3.0设备的读写、数据接收和发送、数据传输动态
针对经典的BP神经网络算法收敛速度慢,无法跳出局部极小值点等问题,提出加入动量因子α调节连接权值的方法。实例验证表明,该方法可使连接权值变化平缓,提高了收敛速度。
城市交通问题越来越受重视。现有的多种交通管理系统数据类型繁多,信息需求复杂多样,有些信息是可以共享的,特别是GIS系统中的空间位置信息,但是这些数据分散,分别由不同交通
会计凭证实训平台建设将解决会计专业学生企业实践困难的问题,为会计凭证填制实训提供一个新的途径。在对中职学校会计专业学生实训存在问题进行调研分析的基础上,分角色给出
集群式渲染系统已成为国内外电影、动画制作的重要组成部分。对当前主流的集群渲染系统结构进行了分析,其中主要涉及渲染任务管理、节点管理、任务调度等方面。从系统建构的
针对单优先级数据分发任务调度算法存在的缺陷,依据网格任务分发服务质量（QoS）效益函数理论,运用加权法将网格系统的性能指标转化为加权效益和函数,将加权效益和函数作为启发式