制导逻辑相关论文