9.4.1 软间隔定义