递归域方程的分类理论解| IEEE会议出版物| IEEE Xplore