一 理论模型的数理推导