符号计算方法相关论文