浮點計算模型控制定義