计算机科学 ›› 2026, Vol. 53 ›› Issue (2): 124-132.doi: 10.11896/jsjkx.250200014
冀立光, 周蓓, 杨鸿儒, 周玉畅, 崔梦琦, 许瑾晨
JI Liguang, ZHOU Bei, YANG Hongru, ZHOU Yuchang, CUI Mengqi, XU Jinchen
摘要： 浮点计算程序广泛应用于航空航天、人工智能、国防军事、金融结算等领域,浮点程序的计算精度和性能直接关系到相关应用的安全和效果。最大浮点误差值是衡量浮点计算程序精度的核心关键指标,浮点误差的累积效应也会导致难以承受的灾难,因此需要研发一款精准高效的浮点数最大误差检测工具,为研究人员及时采取优化和干预措施提供支撑作用。对此,将浮点数最大误差检测问题转换为目标函数最大值搜索问题,充分发挥国产申威平台的主从架构两级并行计算模式的算力优势,深度挖掘粒子群启发式搜索算法的性能和精度潜能,采用“网格搜索、独立培养、分层汇聚、动态适应”的思想优化粒子群算法,根据搜索过程所处的不同阶段针对性地设置相关搜索参数,使得改进后的算法在搜索精度和搜索性能两个方面均有所提高。该算法为精确检测浮点数最大误差提供了一种新的实用工具和思路参考,同时进一步丰富了国产申威平台的工具库。
中图分类号:
| [1]MACHIANI H N,TALEIZADEH A A,TOLOO M,et al.Designing a new sustainable healthcare network considering the COVID-19 pandemic:Artificial intelligence-based solutions[J].Expert Systems with Applications,2025,260:125357-125357. [2]NING D.Computer Software Design Based on Cloud Platform High-Performance Computing[J].Journal of Physics:Confe-rence Series,2021,1915(3):032005. [3]LUСKIJ G,DOLHOLENKO O.Development of floating pointoperating devices[J].Technology Audit and Production Reserves,2023,5(2):11-17. [4]OHTA Y,OZAKI K.Extension of floating-point filters to absolute and relative errors for numerical computation[J].Journal of Physics:Conference Series,2019,1218(1):012011. [5]UBLAIR M,OBENSKI S,BRIDICKAS P.Patriot missile de-fense:software problem led to system failure at Dhahran,Saudi Arabia[R].Washington:United States Government Accountability Office,1992. [6]Wikipedia.Ariane-5 flight 50 1[EB/OL].http://en.wikipedia.Org/wiki/Ariane-5-Flight_501. [7]CNN.Toyota:Software to blame for Prius brake problems[EB/OL].http://edition.cnn.com/2010/WORLD/asiapcf/02/04/japan.prius.complaints/. [8]BAGNARA R,BAGNARA A,BISELLI F,et al.Correct ap-proximation of IEEE 754 floating-point arithmetic for program verification[J].Constraints,2022,27(1/2):29-69. [9]YI X,CHEN L,MAO X,et al.Efficient automated repair of high floating-point errors in numerical libraries[J].Proceedings of the ACM on Programming Languages,2019,3:1-29. [10]SARMA R,BHARGAVA C,KOTECHA K,et al.An Evolu-tionary Normalization Algorithm for Signed Floating-Point Multiply-Accumulate Operation[J].Computers,Materials & Continua,2022,72(1):481-495. [11]ZOU D M.Search-oriented error testing and analysis of floating-point programs[D].Beijing:Peking University,2020. [12]CHIANG W F,GOPALAKRISHNAN G,RAKAMARIC Z,et al.Efficient search for inputs causing high floating-point errors[C]//ACM SIGPLAN Notices.ACM,2014:43-52. [13]CHILENSKIJ J,MILLER S P.Applicability of modified condition/decision coverage to software testing[J].Software Engineering Journal,1994,9(5):193-200. [14]ZOU D,WANG R,XIONG Y,et al.A genetic algorithm for detecting significant floating- point inaccuracies[C]//Proceedings of the 37th International Conference on Software Engineering.IEEE,2015:529-539. [15]FU Z,BAI Z,SU Z.Automated backward error analysis for numerical code[C]//Proceedings of the 2015 ACM SIGPLAN International Conference on Object－Oriented Programming,Systems,Languages,and Applications.ACM,2015:639-654. [16]YIN X,CHEN L,MAO X,et al.Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries[C]//Proceedings of the ACM on Programming Languages.2019. [17]BARR E T,VO T,LE V,et al.Automatic detection of floating-point exceptions[C]//ACM SIGPLAN Notices.2013:549-560. [18]HUAYU F,DIAN L,HAIBING H,et al.A fast PSO algorithm based on Alpha-stable mutation and its application in aerodynamic optimization[J].Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University,2022,40(6):1385-1393. [19]MARCELA B S S,ARRIGO C,ALBERTOC T.Genetic algo-rithm with a Bayesian approach for multiple change-point detection in time series of counting exceedances for specific thre-sholds[J].Journal of the Korean Statistical Society,2023,52(4):982-1024. [20]SEIFOLLAHI S,BAGIROV A,BORZESHI Z E,et al.A simulated annealing-based maximum-margin clustering algorithm[J].Computational Intelligence,2019,35(1):23-41. [21]EBERHART R C,KENNEDY J.A New Optimizer Using Particle Swarm Theory[C]//Proceedings of the Sixth International Symposium on Micro Machine and Human Science.Nagoya,1995:39-43. [22]KENNEDY J,EBERHART R C.Particle Swarm Optimization[C]//Proceeding of IEEE International Conference on Neural Networks.1995:1942-1948. [23]MULLER J M,BRUNIE N,DE DINECHIN F,et al.Handbook of Floating-Point Arithmetic[M].Springer International Publishing,2018. [24]SOLOVYEV A,JACOBSEN C,RAKAMARIC′ Z,et al.Rigo-rous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions[C]//In 20th International Symposium on Formal Methods.New York:ACM,2015:532-550. [25]CHIANG W F,BARANOWSKI M,BRIGGS I,et al.Rigorous floating-point mixed-precision tuning[C]//Symposium on Principles of Programming Languages.New York:ACM,2017:300-315. [26]LIU L X.High performance data processing of distributed database and multi-core processor based on particle swarm optimization[J].Journal of Electronics and Information Science,2023,8(4):45-51. [27]SUGANTHAN P N.Particle Swarm Optimizer with Neighborhood Operator[C]//Proceedings of Congress on Evolutionary Computation.1999:1958-1962. [28]PANCHEKHA P,SANCHEZ-STERN A,WILCOX J R,et al.Automatically improving accuracy for floating point expressions[J].ACM SIGPLAN Notices,2015,50(6):1-11. [29]ZHANG Z Y,XU J C,HAO J W,et al.Hierarchical search algorithm for error detection in floating-point arithmetic expressions[J].The Journal of Supercomputing,2023,80:1183-1205. [30]CATTANEO D,BELLO A D,CHERUBIN S,et al.Embedded Operating System Optimization through Floating to Fixed Point Compiler Transformation[C]//21st Euromicro Conference on Digital System Design.Institute of Electrical and Electronics Engineers,2018:172-176. |
|
||
首页