无信息变量消除法相关论文