【作者】 梁红瑾；

【导师】 冯新宇； 邵中；

【作者基本信息】 中国科学技术大学 ， 计算机软件与理论， 2014， 博士