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) |
[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.
|
[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 |