小明进行验证阿基米德原理实验。