能量守恒的半拉格朗日计算格式的构造