回帖：一直想搞明白软件和实际之间的差别，如果能查出规律，那么计算的结果就能高质量的实现。但这个差别如何验证呢？