文档介绍：上海交通大学硕士学位论文
↑
（宋体小 2 号字）
基于概率推断的动态切片裁剪方法
硕 士研究生： 夏嘉斌
学号： 1100379015
导 师： 梁阿磊副教授
申请学位： 工学硕士
学科： 计算机科学与技术
所 在 单 位： 软件学院
答 辩 日 期： 2013 年 1 月
授予学位单位： 上海交通大学
Dissertation Submitted to Shanghai Jiao Tong University
for the Degree of Master
↑
（Times New Roman 小 2 号字）
PRUNING DYNAMIC SLICES WITH
PROBABILISTIC INFERENCE
↑
（Times New Roman 2 号字加粗，题目太长时可用小 2 号字）
Candidate： Jiabin Xia
Student ID: 1100379015
Supervisor： Prof. Alei Liang
Academic Degree Applied for： Master of Science
Specialty： Computer Science and Technology
Affiliation： School of Software
Date of Defense： Jan. 2013
Degree-Conferring-Institution： Shanghai Jiao Tong University
↑
（Times New Roman 4 号字）
上海交通大学
学位论文原创性声明
本人郑重声明：所呈交的学位论文《基于概率推断的动态切片裁
剪方法》，是本人在导师的指导下，独立进行研究工作所取得的成果。
除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已
经发表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集
体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果
由本人承担。
学位论文作者签名：
日期： 2013 年 1 月 9 日
上海交通大学
学位论文版权使用授权书
本学位论文作者完全了解学校有关保留、使用学位论文的规定，
同意学校保留并向国家有关部门或机构送交论文的复印件和电子版，
允许论文被查阅和借阅。本人授权上海交通大学可以将本学位论文的
全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫
描