人船模型中的“s人+s船=船的长度”是怎么来的?