刘红英，夏勇，周水生 编 北京航空航天大学出版社