有限时间稳定性及其在递归神经网络求解时变西尔维斯特方程中的应用