语义公式相关论文