我国电力系统正向着大机组、超高压、远距离的输电方向发展，电力工业市场化改革使得输电网开放，导致了大量的电力运转和频繁的输电交易，这些为电力系统的安全稳定运行带来了新的挑战。本课题致力于研究适用于电力市场环境下电力系统安全性分析的理论、数学模型、计算方法，以及在一些重要领域的应用，如可用输电能力(Available Transfer Capability-ATC)和阻塞管理（Congestion Management-CM）。我们将运用数学中新的理论与方法，如半光滑函数和半光滑牛顿法建立保证系统安全性的新模型和高效的数值方法，从而确定系统的安全裕度。此外，针到实际问题中存在多种传输方式，我们将推广ATC问题到ATC域的研究，建立ATC域的新模型；进一步我们将建立同时满足系统安全性和稳定性要求的可用输电能力的新模型及数值方法。