关于强迫折返的可计算曲线

来源 :逻辑学研究 | 被引量 : 0次 | 上传用户:hqxt2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
平面曲线是指单位闭区间在连续函数映射下的影像。这样的函数叫做曲线的参数化。如果一条曲线有一个单调的参数化函数,该曲线是简单曲线。如果一条曲线有可计算的参数化函数,则相应的曲线是可计算的。Gu、LutzHMayordomo最近证明了,有些可计算的简单曲线没有可计算的参数化函数。这样的曲线叫做强迫折返的。本文探讨的是强迫折返的次数对曲线复杂性的影响。
其他文献
3月20日,由水电七局承建的长河坝水电站首台机组座环吊装成功,为如期实现发电目标奠定了坚实的基础。
管道流体摩擦引起两个问题:数值计算上摩阻项的(显)隐式有限差分近似;(非恒定)摩阻引起的水锤波衰减.后者一直未得到合理解释.本文先总结传统的在拟恒定假设基础上对摩阻的处
文章在系统分析了工程索赔过程及索赔相关方关系的基础上,依据系统论和神经网络思想,建立了工程索赔管理系统化模型,对此模型进行了详细阐述,并对模型状态进行了分析。利用该
为改善高海拔地区水泥稳定碎石的抗裂性和抗冲刷能力,分别研究了水泥用量、聚乙烯醇纤维掺量与龄期对水泥稳定碎石的路用性能的影响规律,确定了适用于高海拔地区水泥稳定碎石
通过近似解析法在某电站右高线公路隧道中的运用及对隧道贯通精度影响的分析,简要地阐述了有别于传统解析法的近似解析法在困难地区控制网布设的新方法。
向家坝水电站是金沙江下游梯级电站开发中的最末一个梯级电站,位于四川省宜宾县,云南省水富县境内。
2008年1月4日,四川省科学技术奖励大会在成都隆重召开,会上颁发了第五届四川省科技杰出贡献奖和2007年四川省科技进步奖。成都院荣获5项省科技进步奖,陈五一副院长代表成都院领
都江堰供水区渠道纵横交错使得岷江与沱江形成了一个不闭合流域,灌区内地表水与地下水交换频繁,使计算灌区内水资源量成为一个难题。摸清灌区内水资源情况才能更好地合理调配水
阐述了坝面填筑系统在土石坝施工仿真模拟中的作用、仿真原理及约束条件,对土石坝施工仿真中气象因素的影响进行了分析,并提出了解决方案.
9月,风和日丽,秋高气爽。我随国家经贸委组织的培育和发展市场研讨班赴日本学习考察。所见所闻,深感日本经济发达,市场规范,市品丰富,贸易活跃,交通方便,社会秩序良好,人们安居乐业。