通过模拟活动来验证猜想的方法，称为。