求翻译：while the latter generalizes first- and second-order optimality conditions to the case of bilevel programs with quadratic strictly convex lower-level problems是什么意思？