清华大学自动化系教材。