改进了verification中的近似模拟方法，常规备份