导出等价标准型相关论文