形式的内核相关论文