线性分区模型的全局可识别性——一种计算机代数算法| IEEE Journals&Magazine | IEEE Xplore