图灵机论文

非线性波系统的精确解与解析近似解
论文摘要非线性偏微分方程的求解作为非线性科学中的前沿研究课题和热点问题,极具挑战性。目前,虽然国内外众多学者已经提出和发展了许多求非线性偏微分方程精确解和近似解的有效方法,但尚...
几个偏微分方程解算子的图灵可计算性
论文摘要最近，方程的计算机求解引起了人们的极大关注，从而推动了数学软件的蓬勃发展。但是，是否所有的方程都可以在计算机上实现求解呢?这是一个难以回答的问题。本文主要对线性Klei...
程序正确性验证的几个问题
论文题目:程序正确性验证的几个问题论文类型:博士论文论文专业:应用数学作者:范年柏导师:周叔子,张大方关键词:形式化验证,统一建模语言,模型检验,函数式语言,副作用,抽象数据类...