Halmos正逼近相关论文