非冗余形式相关论文