一类含析取约束数学规划的可验证新平稳性概念

在本文中，我们考虑了一类足够广泛的含析取约束非线性数学规划，例如包括含互补/消失约束的数学规划。我们提出了对近期论文 [2] 中引入的 ${\mathcal Q}$-平稳性概念的扩展。${\mathcal Q}$-平稳性可以很容易地与众所周知的 M-平稳性概念相结合，以获得更强的所谓 ${\mathcal Q}_M$-平稳性性质。我们展示了如何通过计算特定二次规划的 ${\mathcal Q}$-平稳解，有效地验证所考虑问题类的 ${\mathcal Q}_M$-平稳性（从而也包括 M-平稳性）性质。我们还进一步考虑了待测试 ${\mathcal Q}_M$-平稳性的点并非确切已知，而是由某个收敛序列近似的情况，这在应用某些数值方法时通常是这样的。