离散系统的数学模型