求解器函数