形计算相关论文