【摘 要】
：
停机问题是计算机科学领域的最经典问题之一，被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法，其中对角线是康托尔对角线法的延伸。通过对康托尔对角
【基金项目】
：
2014年湖北省自然科学基金项目（2014CFC1121）
论文部分内容阅读
停机问题是计算机科学领域的最经典问题之一，被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法，其中对角线是康托尔对角线法的延伸。通过对康托尔对角线法、图灵关于停机问题不可解的对角线证法以及判定程序证法的深入分析，揭示了判定程序证明的本质，指出了在不影响判定程序设计初衷（即拥有对所有其他程序是否停机的判定功能）的前提下，该证明否定不了这样的判定程序存在性。同时揭示了对角线证明方法的根本缺陷和谬误。
其他文献
在研究分析了以往对覆盖粗糙集处理方法的基础上,针对目前研究只是限制在改进对象间的关系,优化寻找对象关系类的条件领域,而论域覆盖空间的限制条件太过宽泛这一问题,文中结
青岛远先农机专业合作社成立于2013年4月,位于莱西市南墅镇石庙村,自成立以来,快速发展壮大,成员全员持股,由10户增加至50户,农业机械从25台(套)增加至58台(套)。合作社充分
杨来法,河南省洛阳市栾川县潭头镇拨云岭村支部书记,2012年成立栾川县同富种植专业合作社并担任监事长,通过带领成员走种植核桃、油用牡丹,树下养殖"走地鸡"和开拓乡村旅游的
为更好地宣传合作社,服务合作社,助力合作社转型提升、高质量发展,特面向各级农经干部、从事合作社研究的科研人员和广大农民合作社征集符合本刊定位的稿件。具体要求如下:"
针对大场景高清全景图的生成需求,提出了一种基于CUDA的SIFT特征与动态规划拼接缝的全景图生成方法。首先进行柱面投影保持各通道视频在重叠区域内成像的视觉一致性,并设计了基于CUDA的SIFT特征提取并行算法和基于RANSAC与特征点的变换模型鲁棒估计算法;然后通过基于HIS色彩空间与梯度空间的动态规划拼接缝实现相邻图像的缝合,并在缝合线两边采用基于三角函数的图像融合算法实现平滑过渡,最终生成高清
本文概要论述了信息素质教育的重要意义,以及对高校学生进行信息素质教育的必要性、基本内容和途径.
在信息过载时代,本体映射是本体相似度计算的关键步骤。针对当前本体映射中相似度计算没有充分利用本体富含的语义信息的问题,文中提出一种改进的多策略概念相似度计算方法。
为了提高数据流频繁模式挖掘的效率,文中基于经典的数据流频繁模式挖掘算法FP-Stream和分布式并行计算原理,设计了一种分布式并行化数据流频繁模式挖掘算法—DPFP-Stream（Dist
嘉兴市南湖区绿农植保专业合作社位于南湖区大桥镇十八里村,成立于2007年5月,现有成员116户,注册资金76.39万元。合作社以农业社会化服务为主要经营业务,为农业生产提供产前
相位式激光测距采用连续波测相,为实现高精度鉴相,单频测尺的调制频率相应地提高,导致测距系统的空间尺度变小。为实现大尺寸空间的激光测距,文中在FPGA上设计实现双频测尺的