火工矫正是利用（）时产生的拉伸力，使变形的构件得到矫正。