5.4 DNV-OS-J101（2014）规范公式的推导