4.3 半连续寿险模型