显式计算论文