期刊文献+

用图灵机计算Klein—Gordon方程 被引量:1

Computing Klein—Gordon Equation on Turing machine
下载PDF
导出
摘要 研究了带初值的线性Klein-Gordon方程解算子的可计算性.首先,给出TTE的一些基本概念,然后,通过傅立叶变换把这个偏微分方程转化为积分方程,最后,证明了这个积分方程的解算子是图灵可计算的,从而原方程的解算子也是可计算的. in this paper we studied Turing computability of the solution operations of the initial- value problems for the linear Klein - Cordon equation. First, we gave some basic definitions of TIE. Second, we transformed the partial differential equation to the integral equation by Fourier transform. Furthermore, we proved that the solution operations of the integral equation are Turing- computable, Finally, the question was solved accordingly.
机构地区 江苏大学理学院
出处 《佳木斯大学学报(自然科学版)》 CAS 2007年第2期268-269,共2页 Journal of Jiamusi University:Natural Science Edition
基金 国家自然科学基金资助项目(10420130638)
关键词 图灵机 KLEIN-GORDON方程 初值问题 turing machine Klein - Gordon equation initial value problem
  • 引文网络
  • 相关文献

参考文献5

  • 1M.B.Pour-El,J.I.Richards.Computabi Lity in Analysis and Physics.Perspe-ctives in Mathematical Logic[J].Springer,Berlin,1989.
  • 2K.Weihrauch,N.Zhong.Is Wave Propag-ation Computable or can Wave Computers Beat the Turing Machine[J].Proc.London MathSoc,2002,85(2):312-332.
  • 3K.Weihrauch,N.Zhong.Computing the Solution of the Korteweg-de Vries Equation with Arbitrary Precision on Turing Machines[J].Theoret.Comput.Sci,2005,332(1-3):337-366.
  • 4K.Weihrauch.Computable Analysis[M].Springer,Berlin,2000.
  • 5N.Zhong,K.Weihrauch.Computability Theory of Generalized Functions[J].J.Assoc.Comput.Mach,2003,50(4):469-505.

同被引文献8

  • 1王强.四则运算图灵机的构造[J].内蒙古师范大学学报(自然科学汉文版),2004,33(3):275-277. 被引量:2
  • 2胡宝洁,赵忠文,曾峦,张永继.图灵机和图灵测试[J].电脑知识与技术,2006(8):132-133. 被引量:9
  • 3赵正平.图灵机及其构造研究[J].电脑知识与技术,2006,1(9):192-194. 被引量:1
  • 4[1]Klaus Weihrauch.Computable Analysis:An Introduction[M].New York:Springer,2000.
  • 5[2]Oliver Aberth.Computable Analysis[M].New York:Mcgraw-Hill,1980.
  • 6[3]Lenore Blum,Felipe Cucker,Michael Schub,et al.Complexity and Real Computation[M].New York:Springer,1998.
  • 7[4]Ning Zhong.Recursively enumerable subsets of in two computing models:Blum-Shub-Smale machine and Turing machine[J].Theoretical Computer Science,1998,197:79-94.
  • 8刘义,田静,李帅.基于图灵机的计算问题[J].黑龙江科技信息,2008(14):81-81. 被引量:1

引证文献1

;
使用帮助 返回顶部