本文研究了使用前馈神经网络 (FFNN) 实现静态非线性反馈的 Lur'e 形式非线性系统的局部稳定性。我们利用正性系统约束,并使用 Aizerman 猜想的局部变体来提供限制在紧致集内的轨迹指数稳定的充分条件。在此基础上,我们开发了两种估计吸引区域 (ROA) 的方法。首先,一种不太保守的基于 Lyapunov 的方法构建了满足线性矩阵不等式 (LMI) 的不变子层二次函数集。其次,提出了一种通过逐层传播线性松弛来计算 FFNN 严格局部扇区边界的新技术。这些边界被集成到局部 Aizerman 框架中以验证局部指数稳定性。数值结果表明,与基于积分二次约束的现有方法相比,在 ROA 大小和可扩展性方面有显著改进。