SR协议序列号和窗口长度需满足关系的公式咋来的？