Li Minjiang, Gui Xingmin. Staggered finite volume method for turbomachinery viscous flow field numerical investigation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2004, 30(06): 577-582. (in Chinese)
Citation: LI Wei, MA Shi-long, SUI Yue-fei, et al. Convergent Infinite Computation and Applications[J]. Journal of Beijing University of Aeronautics and Astronautics, 2002, 28(5): 481-489. (in Chinese)

Convergent Infinite Computation and Applications

  • Received Date: 12 Jun 2002
  • Publish Date: 31 May 2002
  • 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.

     

  • [1] Abiteboul S,Vardi M Y, Vianu V. Computing with infinitary logic[J]. Theoretical Computer Science,1995,149(1):101~128.[2]Vardi M Y,Wolper P.Reasoning about infinite computations[J]. Information and Computation,1994,115(1):1~37.[3]李 未.一个开放的逻辑系统[J].中国科学(A辑),1992,10:1103~1113.[4]Blum L,Shub M,Smale S. On a theory of computation and complexity over the real numbers:NP-completeness,recursive function and universal machines,bull(New Series)[J]. Amer Math Soc,1989,21(1):1~46.[5]Chadzelek T,Hotz G.Analytic machines[J].Theoretical Computer Science,1999,219:151~167.[6]Nienhuys-Cheng S H. Distance between herbrand interpretations:a measurefor approximations to a target concept. In:Proceedings of the 7th International Workshop on Inductive Programming, 1997.LNAI1297.[7]Li W. A logical framework for inductive inference and its rationality. In:Fu N, ed.Advanced Topics in Artificial Intelligence, 1999.LNAI1747.[8]Dahr M. Deductive databases:theory and applications[M].USA:International Thomson Computer Press,1997.[9]Li W,Ma S,Sui Y,et al. A logical framework for convergent infinite computations. [10] Li W,Ma S. A framework for analytic-intelligent agents. In:Proceedings of the International Conference on Artificial Intelligence. Las Vegas:CSREA Press,2000.691~697.
  • Relative Articles

    [1]TANG X H,DOU Y R. Design and verification of airworthiness compliance of equivalent endurance test cycle of turbofan engine[J]. Journal of Beijing University of Aeronautics and Astronautics,2025,51(1):133-140 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0953.
    [2]HUANG X G,WU Y F,LIU D Y. Position analysis of seven-link Barranov truss based on conformal geometric algebra[J]. Journal of Beijing University of Aeronautics and Astronautics,2025,51(1):265-271 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0961.
    [3]CAI Y,SI Y H,WANG Y Z,et al. Analysis and control of influencing factors of cross coupling of flexible gyro[J]. Journal of Beijing University of Aeronautics and Astronautics,2025,51(1):141-151 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0968.
    [4]XU J M,HUANG Z G,LI R. LEO satellite positioning method and simulation verification aided by airborne navigation equipment[J]. Journal of Beijing University of Aeronautics and Astronautics,2024,50(10):3230-3238 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0759.
    [5]FU Honglan, ZHANG Hao. Close robust rendezvous on distant retrograde orbits[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0560
    [6]CHENG Y,QIU B W,YU L,et al. Influence of maneuvering modes on flared landing performance of parafoil system[J]. Journal of Beijing University of Aeronautics and Astronautics,2024,50(12):3940-3946 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0914.
    [7]ZHEN X D,WANG Z A,HU R C,et al. Aircraft flight qualities of short take-off and vertical landing[J]. Journal of Beijing University of Aeronautics and Astronautics,2024,50(5):1576-1585 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0413.
    [8]NIU G C,WANG X N. A multi-task traffic scene detection model based on cross-attention[J]. Journal of Beijing University of Aeronautics and Astronautics,2024,50(5):1491-1499 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0610.
    [9]YANG Z J,ZHANG C F,ZHAO R J,et al. Thermal deformation analysis and experimental verification of spatial deployable antenna hinge[J]. Journal of Beijing University of Aeronautics and Astronautics,2024,50(1):243-249 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0219.
    [10]HUANG Mengdie, WANG Lufeng, HUANG Xuxing, LI Shuang. Space target collision risk analysis algorithm based on the square Mahalanobis distance[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0167
    [11]ZHANG Y X,WANG X J,WANG S P,et al. Mechanism of butterfly forward flight and prototype verification based on characteristic motion observation[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(7):1651-1660 (in Chinese). doi: 10.13700/j.bh.1001-5965.2021.0497.
    [12]HAN Xiao, ZHOU Ying, HUANG Hai, SHAO Jing-yi. Design and Verification of High-precision Dynamic Temperature Control System[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0297
    [13]ZHANG P,CHI H H,LI J B,et al. Lattice based strong designated verifier signature scheme[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(6):1294-1300 (in Chinese). doi: 10.13700/j.bh.1001-5965.2021.0445.
    [14]XIE C C,ZHANG D Y,AN C. Reduced order method for large flexible wing structure based on dynamic response data[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(6):1319-1330 (in Chinese). doi: 10.13700/j.bh.1001-5965.2021.0439.
    [15]HAN X L,SHANGGUAN H,ZHANG X,et al. A low-dose CT image denoising method based on artifact estimation[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(2):491-502 (in Chinese). doi: 10.13700/j.bh.1001-5965.2021.0263.
    [16]LIU M,AN J S. Research and design of SpaceWire multi-priority hierarchical scheduling crossbar[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(12):3386-3396 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0101.
    [17]XIAO R Y,YU J,MA Z X. Applicability of convolutional autoencoder in reduced-order model of unsteady compressible flows[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(12):3445-3455 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0085.
    [18]HU G,LI Z X,ZHANG F M,et al. Dimension reduction of multivariate time series based on two-dimensional inter-class marginal Fisher analysis[J]. Journal of Beijing University of Aeronautics and Astronautics,2023,49(12):3537-3546 (in Chinese). doi: 10.13700/j.bh.1001-5965.2022.0128.
    [19]GUO Tai, QIAN Xin, GONG Qi, REN Wenming, YANG Shuanbao, XU Qinggang. Methodology for model based verification requirements capturing and application in civil aircraft development[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(10): 1933-1942. doi: 10.13700/j.bh.1001-5965.2021.0047
    [20]WANG Shaoping, CHEN Rentong, ZHANG Chao. Reliability estimation for aircraft hydraulic pump based on bivariate performance degradation analysis[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(9): 1613-1623. doi: 10.13700/j.bh.1001-5965.2022.0297
  • Cited by

    Periodical cited type(6)

    1. 唐冬来,李擎宇,周强,龚奕宇,谢飞,周朋,康乐. 基于故障因子的用电采集设备状态评估方法. 供用电. 2024(09): 98-106 .
    2. 尧阳烽,余永华,王康,聂方,胡嘉,徐德峰. 基于多源信号融合的往复式压缩机气阀健康评估. 机电工程. 2024(11): 2003-2011 .
    3. 刘莉萍,冯清贤,余志斌. 基于改进的ISODATA的超球覆盖仿生模式分类算法. 计算机应用研究. 2023(03): 689-695 .
    4. 文静,俞卫琴. 基于马氏距离的半监督近邻传播聚类算法. 软件导刊. 2023(07): 59-65 .
    5. 狄谱旭,李旭鹏,张润,张博,原昱,张璐. 应用FTIR技术对尸体内外精液留存时间的研究. 中国法医学杂志. 2023(06): 677-682 .
    6. 孔进,曹从咏,吴至锦,王晨. 一种改进的轨道车辆牵引电机性能评价方法研究. 电机技术. 2022(05): 20-25 .

    Other cited types(5)

  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views(2297) PDF downloads(1130) Cited by(11)
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return