海式是什么时候提出的