清华自动化系教师获得第八届吴文俊人工智能科学技术奖自然科学奖一等奖