Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Beijing University of Aeronautics and Astronautics》 2002-05
Add to Favorite Get Latest Update

Convergent Infinite Computation and Applications

LI Wei MA Shi long(Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering)SUI Yue fei(Chinese Academy of Sciences,Institute of Computing Technology)XU Ke (Beijing University of Aeronautics and Astronautics,Dept. o  
Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computations and establish a logical framework for describing and analyzing how an infinite computation interacts and evolves in changing environments and what the limit of the evolution might be. A logic for convergent infinite computations was proposed by extending first order theories using Cauchy sequences,which has stronger expression power than the first order logic. A computation model,called procedure scheme,for convergent infinite computations was proposed,on the basis of classical Turing machine and formal theory sequences and their limits. It has stronger computing power than Turing machines and real machines in the sense of limit computations. As an example of application of the above study,the limit behavior of data mining was discussed by means of limits of theory sequences.
【Fund】: 国家重点基础研究发展规划资助项目 (G19990 3 2 70 1)
【CateGory Index】: TP301.6
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved