讨论微分包含关于非光滑区域生存性的判别问题.当右端集值映射为多面体,边界为次可微函数,且次微分为有限点集凸包时, 基于非光滑分析理论,给出了在一点处检验生存性条件是否成立的方法.该方法将生存性判别转化为判别线性不等式组的相容性或等价地转化为求解一个线性规划问题.最后讨论了次可微函数上图的生存性问题.