设计时只要满足$M \le M_u$，无需验算$\xi \le \xi_b$。