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

Practical and efficient method for computations over real closed fields

  • Received Date: 05 Jun 2003
  • Publish Date: 31 Oct 2003
  • The conventional methods do not work in practice when dealing with large polynomials because of their high complexity. Thus, finding practical and efficient methods (not necessary to be decision method) to solve systems of large polynomial equations and inequalities is very important in symbolic computation. Ritt-Wu's method was combined with Budan-Fourier's theorem to do such task. Though incomplete for the problems in general, the proposed method was found to be computationally more efficient in practice on many examples.

     

  • [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
  • Relative Articles

    [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
  • 加载中

Catalog

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

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

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

    Article Metrics

    Article views(3095) PDF downloads(9) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return