伽利略在对落体运动的研究过程中，开创了如下一套科学研究方法，其中框图2中的方法是______，框图4中的方法是______．（选填“提出假设”，“实验验证”，“数学推理”）

岔线取送车作业推进运行时，只须根据运行距离确定是否使用简易紧急制动阀。