【摘 要】
：
Ackermann functions are examples of nonprimitive recursive function which grow so fast with respect to their arguments. In this paper, we present Ackermann func
【机 构】
：
State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nan
论文部分内容阅读
Ackermann functions are examples of nonprimitive recursive function which grow so fast with respect to their arguments. In this paper, we present Ackermann functions in detail and introduce its influence on theoretical computer science.
其他文献
在高温真空及催化剂存在的条件下,加入一定量的甘油,可使高酸价米糠油中游离脂肪酸发生酯化反应.单因素与正交实验的研究结果表明,采用酯化脱酸的方法,可有效地降低高酸价米
利用DSC、偏光显微镜(PLM)等方法研究了PET/MFMB的逐渐降温结晶行为、形态结构和制品退火处理收缩率.结果表明,PET/MFMB中PET、PP的结晶起始温度(Tc′)、结晶温度(Tc)均比纯P
一、盘锦——魏书生魏书生创造了教育方面的许多神话。他放弃可能升迁厂级领导的机会,先后写了150多封申请书,坚决要求做一名教师。工作仅七年,就跻身中国教育名家行列。他担
介绍了航空结构胶接用SY-24中温固化胶接体系的全面胶接性能,该胶接体系的研究及在航空结构件上的使用概况.可以看出,这类经过改性的环氧树脂单组份胶粘剂适于大面积的金属结
着重分析了智能建筑中引发谐波畸变的各类扰动源 ,并针对谐波畸变的危害 ,提出相应的防范措施
Focusing on the various types of disturbance sources that cause harmonic
将粒子群算法引入大坝安全监控领域,并结合多元回归统计模型,建立基于粒子群算法的混凝土坝变形预报模型.利用粒子群算法的全局寻优能力以及该算法具有正反馈信息的仿生特点,
信号检测是双模噪声中的主要问题之一,本文对此进行了较完整的研究。混合噪声中信号的检测比高斯噪声中信号的检测复杂,可能为多门限判决。本文对不同情况给出了不同的最佳检
本文介绍了GPRS网络的基本结构和业务功能,提出了GPRS通信网管系统的功能结构、物理结构和信息结构,给出了一种基于Q3接口技术的GPRS网管实现方案
This article introduced
从材料的结构、合成、电化学性能、热稳定性和贮存性能几个方面综述了LiNi1-yCoyO2材料近期的研究开发状况.LiNi1-yCoyO2不仅具备了LiCoO2的特性(易合成、性能稳定),更兼有Li
使用网络通信技术实现驾驶仪器与轮机设备的集成监视、控制与管理是当前船舶自动化的发展方向.为了实现船舶驾驶台和机舱的集成监控与管理,论述了整个监控系统的设计,描述了