《计算机学报》靳小龙程学旗学术论文