被校验的信息位K和校验位r之间的关系应该满足k+r<=^r–;检测得到的有错结论可靠