稀疏多项式分区图:可达性分析的新集合表示| IEEE期刊与杂志| IEEE Xplore