泛函分析及其在自动控制中的应用,韩崇昭,1991