在估算混凝土空洞半径的公式中，t_max 代表缺陷处的最大声时值，t_m 代表无缺陷区的平均声时值，l 代表测距。通过声时的显著增加来推算空洞的半径大小。