TY - GEN
T1 - A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems
AU - Chen, Cheng
AU - Chen, Liangyu
AU - Zeng, Zhenbing
AU - Lin, Dang
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2022
Y1 - 2022
N2 - In this paper, we present an algorithm using the GPGPU machine to compute the interval solutions of isolated real zeros of multivariate polynomial functions in given ranges. To overcome the state space explosion in the process of searching zero points, we combine the branch-and-bound method and the Hansen-Sengupta method, and the interval arithmetic has been used throughout the computation to guarantee the reliability of results. The computation is implemented on GPGPU system, and experiments for 55 benchmark problems have been done. The result shows our method can produce reliable isolation for real zeros in accepted time.
AB - In this paper, we present an algorithm using the GPGPU machine to compute the interval solutions of isolated real zeros of multivariate polynomial functions in given ranges. To overcome the state space explosion in the process of searching zero points, we combine the branch-and-bound method and the Hansen-Sengupta method, and the interval arithmetic has been used throughout the computation to guarantee the reliability of results. The computation is implemented on GPGPU system, and experiments for 55 benchmark problems have been done. The result shows our method can produce reliable isolation for real zeros in accepted time.
KW - GPGPU
KW - Hansen-Sengupta method
KW - branch-and-bound method
KW - interval arithmetic
KW - multivariate polynomial functions systems
UR - https://www.scopus.com/pages/publications/85132365222
U2 - 10.1109/HPCC-DSS-SmartCity-DependSys53884.2021.00117
DO - 10.1109/HPCC-DSS-SmartCity-DependSys53884.2021.00117
M3 - 会议稿件
AN - SCOPUS:85132365222
T3 - 2021 IEEE 23rd International Conference on High Performance Computing and Communications, 7th International Conference on Data Science and Systems, 19th International Conference on Smart City and 7th International Conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021
SP - 713
EP - 720
BT - 2021 IEEE 23rd International Conference on High Performance Computing and Communications, 7th International Conference on Data Science and Systems, 19th International Conference on Smart City and 7th International Conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 23rd IEEE International Conference on High Performance Computing and Communications, 7th IEEE International Conference on Data Science and Systems, 19th IEEE International Conference on Smart City and 7th IEEE International Conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021
Y2 - 20 December 2021 through 22 December 2021
ER -