[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2002, Vol. 28 Issue (5) :481-489    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
��δ1, ������1, ��Ծ��2, ���1*
1. �������պ����ѧ �������ѧ�빤��ϵ;
2. �й���ѧԺ ���㼼���о���
Convergent Infinite Computation and Applications
LI Wei1, MA Shi-long1, SUI Yue-fei2, XU Ke1*
1. Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering;
2. Chinese Academy of Sciences,Institute of Computing Technology

Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ������㲻�ܺܺõؿ̻�����������Ϊ.������ʽϵͳ���м��伫��,����һ���Ϊ����������������,ּ�ڽ����̻���������ڱ仯�Ļ�������ν������ݻ��Լ��ݻ��ļ���״̬���߼����ۻ���.�����������������һ���߼�������ϵͳ,������������һ���߼�.�����ھ������ģ��ͼ��(Turing)������ʽϵͳ���м��伫��,�����������������ģ��,��Ϊ����ģʽ.�ڼ��޼����������,���������������Turing����ʵ������.�����������о��������ھ��е�Ӧ��,��������������о��������ھ�ļ�����Ϊ.
Email Alert
�ؼ����� ����   ����   ����   �����������   ����ģʽ     
Abstract�� 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.
Keywords�� computation   distance   limits   convergent infinite computation   procedure scheme     
Received 2002-06-12;


About author: �� δ(1943-),��,������,Ժʿ,100083,����.
��δ, ������, ��Ծ��, ���.����������㼰��Ӧ��[J]  �������պ����ѧѧ��, 2002,V28(5): 481-489
LI Wei, MA Shi-long, SUI Yue-fei, XU Ke.Convergent Infinite Computation and Applications[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2002,V28(5): 481-489
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2002/V28/I5/481
Copyright 2010 by �������պ����ѧѧ��