论文部分内容阅读
利用递归函数显式化的一种新方法，给同了Ａｋｅｒｍａｎｎ函数显式表示法，从而确定Ａｋｅｒｍａｎｎ函数算法复杂度为２幂函数级。
浅析Ackermann函数
【摘 要】
：
利用递归函数显式化的一种新方法，给同了Ａｋｅｒｍａｎｎ函数显式表示法，从而确定Ａｋｅｒｍａｎｎ函数算法复杂度为２幂函数级。
【机 构】
：
中国民航学院计算机应用研究所
【出 处】
：
中国民航学院学报
【发表日期】
：
1996年6期
其他文献
本文介绍ＡＤＳＰ所制订的文件“ＡＤＳ指导材料”，全文分ＡＤＳ定义、功能目标、基本要求、报告格式、通信合同、数据链的初始化、运行要求，字场组成、示例等方面。最后说明其优点和保留意见。
本文通过对时分多址直接序列扩频移动通信系统中的扩频调制单元的研究,运用计算机模拟分析技术,对优选扩频码方案进行了论证,并重点讨论了选码过程中的部分相关性问题。最终
本文介绍了轻型塔架的挠度速算法,并以三角形截面的钢塔架为例题作了计算公式推导。这种方法具有计算简单和具有足够精度的优点。
本文叙述了微分控制在飞机和船舶控制系统中的作用,举出了一些实际应用的微分控制方法,并简述了这些方法的优缺点。
研究了如何用已知噪声数据，推算远距离的目标点接受到噪声数据的方法。根据航空器取证噪声数据和声衰减算法，计算了飞机飞越城市上空时，地面可接受到的等效噪声数据，并且编写程序
】阐述了高等数学标准化测试计算机辅助教学软件开发的环境，它是在Ｗｉｎ－ｄｏｗｓ中文环境中，利用ＦｏｘＰｒｏ数据库软件和Ｗｏｒｄ字处理软件编制的。介绍了高等数学标准化测试ＣＡＩ软件的功能及特点，通过ＤＤＥ技术实现高等
广州医药集团有限公司召开了“打造全国最大的中药现代化产业基地——中国现代化成果发布会”，多位中医药界专家共同见证了白云山复方丹参片防治老年痴呆症的重大突破。
ATC 模拟系统是一个比较复杂的,实时性很强的控制系统,要求整个系统的可靠性很高。而对于一个系统来讲,其中央存贮系统是保证整个系统正常工作的关键部件之一。在我们引进的
讨论了基于广播Banyan网做为路由网的点到多点通信问题，即传输信元的二进制地址到三进制地址的合并算法，本算法提出了采用树结构存储二进制地址以及合并成三进制地址的一般方法