【摘 要】
：
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。
This paper introduces a calculation
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机软件新技术国家重点实验室 南京 210093,南京 210093
论文部分内容阅读
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。
This paper introduces a calculation model based on the abacus, defines the concepts of “abacus” and “abacus computable”, and proves that the abacus computational ability is the same as that of the recursive function.
其他文献
近年来,航空航天领域轻量化进程发展迅速,镁合金在其中扮演着越来越重要的角色。然而,镁合金耐腐蚀性不佳的特点制约了镁合金的应用范围。本文综述了搅拌摩擦加工技术调控含
我国的探月工程采用"绕、落、回"三步走发展战略,测控系统作为工程五大系统之一,通过探月工程建成了全球布站的深空测控网和18 m测控网,并圆满完成了历次任务对探测器的测控,
分辨率和幅宽是成像雷达的核心指标。面向当今高分宽幅的任务趋势,基于毫米波的多通道合成-扫描接收体制是实现宽幅数据获取的有效技术途径,具有实践价值。除了单一通道成像
针对StarLink星座部署后带来的空间安全问题,对StarLink星座构型仿真,利用碰撞概率的算法,从碰撞风险的角度分析了StarLink星座部署后对其他卫星在轨安全的影响。结果表明:StarLink星座部署对低轨航天器将带来较大的碰撞风险,碰撞风险比部署前提升一个量级,对535～555 km空间区域的航天器影响尤为突出,一旦产生碰撞碎片将带来更大的碰撞风险。通过分析提出了警示,并针对大型卫星星
在未来可行走探月着陆器的总体设计中,如何降低着陆过程中的冲击载荷,实现柔顺落震以保护本体结构和有效载荷的安全,是一项重要内容。本文基于所设计的可行走着陆器整机构型对缓冲驱动一体化缓冲器优化分析。首先,对3种不同规格的铝蜂窝材料分别进行静压力试验,利用试验数据和蜂窝有效吸能模型对多级铝蜂窝的搭配方式进行优化;然后,采用Ansys/Ls-dyna对优化后的三级铝蜂窝进行仿真和试验验证,与传统的两种铝蜂
提出了一新型三输入单输出电压模式滤波器电路.该电路能实现低通、带通、高通、带阻及全通等五种滤波器.该电路具有输入阻抗高、固有频率与品质因数独立可调、所有RC无源元
随着对太空的探索逐渐深入,核动力电源的优势日益凸显。针对空间核动力电源中的斯特林循环,本文设计1台10 kW的空间用液态钠钾传热式斯特林发电机组,发电机的高温端钠钾换热
本文对谐波减速器的失效机理和寿命影响因素进行了专门的研究分析。通过改进谐波减速器的润滑方式,开展了固液复合润滑特性分析和月面环境适应性分析,并对固液复合润滑谐波减
日本共产党的"共斗"路线经历了三个艰难曲折的发展阶段。志位和夫出任委员长以来,对日共的"共斗"路线进行了修正,提出并发展了"一点共斗"理念,该理念以寻求政策共识为基础,以
中国特色社会主义与当代资本主义是有根本区别的两种经济制度。主要表现为:以"人民为中心"的发展理念与"以物的依赖性为基础"的发展形式、以公有制为主体的基本经济制度与生