| Citation: | Ma Shilong. Practical and efficient method for computations over real closed fields[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(10): 847-851. (in Chinese)
|
|
[1] Rabin M O. Decidable theories. In:Barwise J ed. Handbook of Mathematical Logic. Amsterdam:Horth-Holland Publishing Company,1977. 595~630 [2] Wu Wen-tsüun. On zeros of algebraic equations——an application of Ritt's principle [J]. Kexue Tongbao, 1986,31(1):1~5 [3] Buchberger B. Gr bner bases:an algorithmic method in polynomial ideal theory. In:Bose N K ed. Recent Trends in Multidimensional Systems Theory. Boston:D Reidel Publ Comp, 1985 [4] Ning S, Ma S, Kewt K H, et al. A cubic system with eight small amplitude limit cycles [J]. Applied Mathematics Letters, 1994,7(4):23~27 [5] Ma S, Ning S. Deriving some new conditions on the existence of eight limit cycles for a cubic system [J]. Computers & Mathematics with Applications, 1997,33(7):59~84 [6] Ma S, Ning S. Practically solving some problems expressed in the first order theory of the real closed field [J]. International Journal of Computer Mathematics, 1998,69(3-4):265~282 [7] Lu Z, Ma S. Centers, foci and limit cycles for polynomial differential systems. In:Wang D, Gao X ed. Mathematics Mechanization and Applications. London:Academic Press,2000, 365~387 [8] Demidovich B P, Maron I A. Computational mathematics [M]. Translated from the Russion by George Yankovsky, Moscow:Mir Publishers, 1981
|
| [1] | XU Zhiqiang, GUO Yudong, ZHANG Wenqiang, LIU Yatong, LI Ang, WANG Anni. Research on aerodynamic flow field characteristics of guide-injected icing detector[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0767 |
| [2] | RAN Y T，PAN B F. A method for calculating reachability regions of lift re-entry vehicles with multiple constraints[J]. Journal of Beijing University of Aeronautics and Astronautics，2025，51（3）：904-909 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2023.0157. |
| [3] | DONG J C，GAO Q H，LIU Z H. Planar motion control of distributed-driven vehicles considering dynamic hysteresis[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（12）：3842-3853 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0887. |
| [4] | WANG Su, HUANG Hongdian, ZHAO Jianwen, ZHOU Hongjin, LI Qian. Master-slave AUV cooperative localization algorithm based on factor graph[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0378 |
| [5] | CHEN Kejia, XIA Ruidong, LIN Hongxi. Textual sentiment classification incorporating dual emoji attention mechanisms[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0318 |
| [6] | LIU H B，SHI X M，QU J B，et al. Design of Bayesian acceptance scheme for missile hit accuracy based on multinomial distribution[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（6）：1991-2000 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0516. |
| [7] | LI Z B，SUN W，ZHANG Y N，et al. Computation on aerodynamic and aeroacoustic characteristics of scissor tail-rotor under sideslip condition[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（12）：3794-3805 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2023.0037. |
| [8] | MAO Qinghua, ZHAO Bing, LI Yang. CHAOS ephemeran algorithm combining polynomial difference learning and dimensional variation[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0698 |
| [9] | YANG B，LIU Z，WEI X J，et al. A safety analysis approach for embedded system[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：1930-1939 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0185. |
| [10] | GONG K Q，WEI H K，LI J W，et al. Trajectory optimization algorithm of skipping missile based on deep reinforcement learning[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（6）：1383-1393 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0436. |
| [11] | HAN X，WANG Y X，CHENG X C，et al. A decentralized multi-sensor fusion estimator using finite memory buffers[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（2）：335-343 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0240. |
| [12] | ZHAO G R，GU H L，HAN X，et al. NNS distributed fusion estimator under multiple network constraints[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（2）：229-241 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0225. |
| [13] | ZHAO Q，FENG K. Noncontact damage imaging method in lattice sandwich structures[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（1）：206-211 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0194. |
| [14] | SUN Y Q，QIANG H R，DONG K H，et al. Derivation and application of iterative scheme for angle-only orbit determination[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（12）：3245-3252 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0062. |
| [15] | FU J W，WANG C. Configuration and multibody separation scheme of compact missile swarm[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（7）：1630-1638 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0508. |
| [16] | CHEN Y，CHEN J，TAO M F. Mural inpainting progressive generative adversarial networks based on structure guided[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（6）：1247-1259 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0440. |
| [17] | LI Yongchang, DAI Yuting, YANG Chao. Fluid and structure coupling analysis of split drag rudder[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(12): 2494-2501. doi: 10.13700/j.bh.1001-5965.2021.0151 |
| [18] | ZHANG Zhiwen, DU Wenjie, LIANG Junfei, ZHANG Yangang, WU Yawen. Layered control of hybrid power loader based on fuel cell[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(11): 2165-2176. doi: 10.13700/j.bh.1001-5965.2021.0099 |
| [19] | ZHENG Rao, CHEN Xiaozhu, LI Shuangxi, ZHAO Xiang, SHI Renjie, SONG Zifeng. Opening characteristics of inlaid floating ring seal with high-speed gas film[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(11): 2111-2120. doi: 10.13700/j.bh.1001-5965.2021.0083 |
| [20] | LIU Yanbin, WANG Xuesheng, QIN Xinya, WANG Hao, CHEN Qinzhu, ZHAO Sai. Design and characteristics of reverse direct-acting high-pressure reducing valve for pneumatic actuator[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(7): 1164-1173. doi: 10.13700/j.bh.1001-5965.2021.0292 |
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
Shi Peng, Li Baojun, Zhao Yushanet al. Orbital maintenance and control of spacecraft fly-around with finite-thrust[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(07): 757-760. (in Chinese)
DownLoad: