论文部分内容阅读
研究了无穷计算的基本性质，引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较，证明了过程模式可计算泛函概念是部分递归泛函概念的扩展，即部分递归泛函类是过程模式可计算泛函类的真子集。
基于相对可计算性理论的过程模式可计算泛函
【摘 要】
：
研究了无穷计算的基本性质，引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较，证明了过程模式可计算泛函概念是部分递归泛函概念的扩展，即部分递归泛
【机 构】
：
江苏科技大学电子信息学院
【出 处】
：
江苏科技大学学报：自然科学版
【发表日期】
：
2007年6期
【基金项目】
：
国家自然科学基金项目（60573064）,中国科学院计算技术研究所“智能信息处理重点实验室”开放课题资助
其他文献
换热管的穿孔腐蚀是硝基氯苯结晶器腐蚀失效的主要原因.经过分析,指出卧式结晶器换热管的穿孔腐蚀的机会要大于立式结晶器,结合实际提出通过化学保护和电化学保护的方法可延
利用数值密度矩阵重整化群方法对一种特殊的准一维海森堡反铁磁自旋系统的基态磁性序问题进行研究,计算了单个晶胞的基态能、自旋关联函数以及自旋能隙.研究表明这种准一维海
保障装备落后于主战装备,将会直接导致主战装备的作用难以充分发挥。解决这一问题的有效办法就是将保障装备和主战装备进行一体化建设。分析了我军保障装备与主战装备一体化
考虑了沉桩过程桩周土的挤土效应,根据实测的土体参数,用柱形孔扩张对沉桩模型试验进行了分析.分析结果与模型试验结果较吻合.计算结果表明,分析沉桩引起的应力和位移时,应考
1 概况安阳化学工业集团有限责任公司始建于1969年,是我国建成最早的以煤为原料的中型氮肥厂之一,原设计生产能力为年产6万t合成氨、11万t尿素,经过三十多年的发展,目前公司
紫砂是一门艺术语言,它富有情感与诗意,它的创作往往来源于艺人平常生活的点滴与见闻。在紫砂造型艺术里,对于纹络肌理的装饰,自供春起便屡见不鲜。艺术创作本是生活灵感的激
介绍了一水硫酸亚铁(FeSO4·H2O)生产中干燥工艺的改进,着重介绍了高温介质、物料温度、排风温度、除尘系统等对产品质量的影响,改进后达到了预期效果.