两个带有初的偏微分方程解算子的图灵可计算性.pdf

万方数据
学位论文作者签名:关缸格独创性声明加莎年乡月彪日本人郑重声明:所呈交的学位论文,是本人在导师的指导下,独立进行研究工作所取得的成果。除文中已注明引用的内容以外,本论文不包含任何其他个人或集体已经发表或撰写过的作品成果,也不包含为获得江苏大学或其他教育机构的学位或证书而使用过的材料。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。
万方数据
学位论文作者签名:关钮括学位论文版权使用授权书如崮月“日缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致,允许论文被查阅和借阅,同时授权中国科学技术信息研究所将本论文编入《中国本学位论文属于不保密留。江苏大学、中国科学技术信息研究所、国家图书馆、中国学术期刊馀贪电子杂志社有权保留本人所送交学位论文的复印件和电子文档,可以采用影印、学位论文全文数据库》并向社会提供查询,授权中国学术期刊馀贪电子杂志社将本论文编入《中国优秀博硕士学位论文全文数据库》并向社会提供查询。论文的公布ǹ授权江苏大学研究生院办理。指导教师
万方数据
摘要学家和数学家们越来越关注对方程及其解的研究。偏微分方程的研究在计算机的高速发展下变得更便捷,因此,方程的可计算性受到了极大的关注。。首先,应用压缩映象原理,证明了方程有唯一的解。其次,用二型图灵机到整个空间,从而得到该方程的解是图灵可计算的。本文的研究结果为这两个方程的解的准确计算提供了理论依据,本文的方法可以用于研究相似方程的可计算关键词:.匠蹋呶慕籽Χㄚ谭匠蹋馑阕樱杉扑阈裕琓理因为偏微分方程在自然科学,社会活动,工程设计等领域的应用增多,物理理论,证明该方程的局部解是可计算的。最后,构造可计算函数把解从局部延拓性。论江苏大学硕士学位论文
万方数据
甌瑃簍.,两个带初值问题的偏微分方程解算子的图灵可计算性瓾,,,瑂瑂..瑆甌—。
万方数据
录目髀邸可计算理论的发展历程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..图灵机和募蚪椤本文研究的主要内容和意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..け钢J丁基本概念和引理⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..傅里叶变换的定义及性质⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.匠探馑阕拥耐剂榭杉扑阈浴呶慕籽Χㄚ谭匠探馑阕油剂榭杉扑阈浴结束语⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.致谢⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯在读期间发表的硕士论文⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.巴拿赫空间定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯压缩映像和巴拿赫不动点定理⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯索伯列夫空间⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯常见的可计算空间及其性质⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯预备知识⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯主要结论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯预备知识⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.江苏大学硕士学位论文
万方数据
髀可计算理论的发展历程世纪后期,人们才开始研究计算本身。所谓的算法理论,或可行性理论,就是研究计算自身性质的理论。算法理论是在建立像抽象计算机这样的数学模型的基础上,准确区分什么是可计算的,什么是不可计算的。计算的过程就是执行算法的运行的程序就是算法。根据图灵的研究,我们知道,计算就是计算者按照指令,对两头无限延伸的纸带上的一串蚻进行运算,经过有限的环节,获得一个符合之前规定的符号串的变化的过程。在此基础上他提出了图灵机。图灵机就是一个计算模型,图灵机的工作就是计算,能够在它上面运行的都是可计算的。可计算函数就是存在算法并可以计算其值的函数,即存在可以在抽象计算机上运行的程序并能计算其值的函数。根据可计算函数的定义,我们能够讨论哪些是可计算世纪初,为了研究是否每个问题都有解决的算法,学者们给出了一些可家们发现用多重递归定义的函数不是原始递归函数。所以,数学家们又在定义中加上一个“极小”算子,得出了广义递归函数。┦P偷募扑隳芰κ窍嗤摹K裕鞘堑燃鄣摹:算函数和一般的递归函数是等价的。,可计算性理论在研究数理逻辑时得到,为后来电子计算机的一直以来,计算无论在生活中还是在科学研究中都是必不可少的。直到过程。可计算性理论就是研究计算本身的。它的重要的研究方向之一,是精确算法这一直观概念。