中科院软件所的一位博士的毕业论文。