小明设计了一个用拉力传感器验证机械能守恒定律的实验，如图所示。