基于凸优化的可达无效验证| IEEE期刊和杂志| IEEE Xplore