4.5 线性矩阵不等式问题