本文研究一类双层规划问题的KKT条件，利用广义拟可微函数的研究成果(广义Farkas引理)及关于一类半无限规划问题的研究将一类双层规划优化问题转化为广义拟可微问题来研究，并推导其问题的KKT条件及更一般形式的双层规划问题的KKT条件。完善广义拟可微理论研究。 第1章介绍了凸集类对空间理论，及基于凸集类对空间理论介绍了广义拟可微函数的部分微分理论。由凸集类空间扩展的凸集类对空间是凸集类集合在合适的等价条件下的商空间。其后介绍了凸集类对空间的部分性质。微分理论中首先介绍了广义拟可微函数的定义，随后主要介绍了逐点极大值和逐点极小值函数的广义拟可微微分。 第2章介绍广义拟可微优化的最优性条件。在广义拟可微优化的最优性条件中除了介绍了无约束优化最优解的必要条件与充分条件及约束优化的一个必要条件外，主要介绍了广义Farkas引理的弱形式和广义Farkas引理，这是下章中一类双层规划问题KKT条件推导的理论基础。 第3章中首先介绍了一类半无限规划问题的部分理论研究成果。然后利用其理论研究成果并在更严格的限定下，将一类双层规划问题研究转化为一类广义拟可微问题来研究，并在其后利用上一章介绍的广义Farkas引理推出一类双层规划问题的KKT条件。并且对于此类更一般的双层规划问题也可类似推出其问题的KKT条件。以此丰富了广义拟可微理论研究。