下列四位科学家中,对大气压强研究做出重大贡献的是(  )