2.3 确定型系统的数学模型