充型过程数学模型离散化处理