列满秩 信赖域算法 试探步 等式约束问题 全局收敛性 精确罚函数