华师大软件学院历年培养研究生学位论文情况

1、华东师范大学软件学院历年培养研究生学位论文情况论文作论文时指导教论文题目者间师非线性系统的对称胡晓瑞2012陈勇性与可积性状态转换系统的格陈仪值量化验证方法研潘海玉2012香究面向目标代码的实何积时操作系统形式化史建琦2012丰验证方法研究基于 Isabelle 平台的一般拓扑学机械化曾振王建林2012及自动定理证明研柄究嵌入式周期控制系何积王政2012统的建模与分析丰周傲Web 论坛数据抽取张敬伟2012英在线论坛用户兴趣周傲张召2012图谱发现与个性化英论文层次（硕士、博士）博士博士博士博士博士博士博士学科专业论文关键词经典 Lie群、 Lie 点对称、 修正的 CK 直接方法、 非局域对

2、称、系统科系统理Backlund 变换、 Darboux 变换、守学论恒律、 Bell 多项式、群不变解、最优系统。形式化验证 ; 互模拟关系 ;迹等价 ;计算机计算机模型检测 ; 时间自动机 ;时态逻辑 ;科学与应用技标号转换系统 ; Kripke 结构 ; 完备技术术剩余格计算机计算机形式化验证， 实时操作系统， 目标科学与应用技代码，中间语言技术术系统分 数学机械化； 定理机器证明； 一般系统科析与集 拓扑学；Isabelle；形式化；高阶学成逻辑。计算机计算机嵌入式周期控制系统 ; 形式化方科学与应用技法 ; 语义 ; 验证技术术计算机计算机论坛数据抽取， 用户生成内容， 抽科学与应用

3、技取规则，归纳逻辑程序设计技术术计算机计算机 在线论坛， 个性化推荐， 用户生成科学与应用技 内容，用户协同兴趣图谱， 用户内信息推荐技术术容，兴趣图谱， 逆向排序查询， 领域专家基于图模型的微博周傲赵斌2012博士数据分析与管理英何积信号演算理论赵涌鑫2012博士丰排序学习中的领域周傲蔡鹏2011博士自适应研究英面向模型的组合理何积李钦2011博士论研究丰基于属性的软件可陈仪陶红伟2011博士信性度量模型研究香非经典程序语言的陈仪吴恒洋2011博士形式语义模型研究香基于语言的软件可陈仪信性度量理论及其吴新星2011博士香应用可积系统与混沌系统中若干问题的符杨云青2011陈勇博士号计算研究计算

4、机计算机微博，随机游走， 垃圾用户， 重用科学与应用技检测，二分图，图聚类技术术计算机计算机信号演算；代数方法；指称语义；科学与应用技语义联接理论技术术计算机计算机 领域自适应、排序学习、文档权重、科学与应用技 查询权重、 主动学习、 领域独立特技术术征、语义实体计算机计算机模型 , 组合理论 , 形式化方法 , 程科学与应用技序统一理论技术术计算机计算机 软件可信性度量 ; 软件可信属性科学与应用技 模型 ; 可信性质 ;静态分析 ;用户技术术预期计算机计算机模糊程序语言 ;量子程序语言 ; 语科学与软件与义 ; 精化演算 ;模糊余代数技术理论可信性度量 ; 混成进程代数计算机计算机 (HC

5、SP); 霍尔逻辑 (HL);概率测科学与应用技 度 ;结构化程序设计语言; 构件匹技术术配 ;业务过程执行语言 (BPEL);进程演算 (CCS); Ruby/Tk可积系统、延拓结构、伪势、Lax系统科系统理 对、守恒律、自 -Backlund 变换、学论Bell多项式、 双线性形式、 分数阶混沌系统心电图形态特征的识别及其在分类中张嘉伟2011董军博士的作用研究图中配对控制集问曾振题的机械化算法研陈磊2010博士柄究若干非线性问题的董仲周2010陈勇博士对称约化及精确解软件的近似正确性陈仪及与环境交互度量马艳芳2010博士香模型研究基于符号计算方法的程序验证技术研武斌2010杨路博士究We

6、b 日志挖掘及其黄国鲍钰2009博士应用研究兴基于实代数符号计算的程序验证技术毕忠勤2009杨路博士研究若干逻辑自动推理曾振郭远华2009博士方法研究柄计算机计算机心电图， 标准心电图数据库， 形态科学与应用技特征，动态时间规整， 模板选择与技术术压缩，特征选择。配对控制集问题、 距离配对控制集系统分系统科问题、带权配对控制集问题、 控制析与集学集问题、 NP- 完全、APX- 完全、近成似算法、强弦图、块图、区间图李群方法 , 推广的直接方法 , 群不系统科系统理 变解最优系统 , 同伦摄动方法 , 对学论称约化 , 守恒律 , 精确解 , 海洋大气 , 格方程 , 初值问题 .软件实现；软

7、件规范；进程代数；计算机计算机概率进程代数； 参数化互模拟； 三科学与应用技分之二互模拟； 完整迹； 度量；拓技术术扑系统分 程序正确性 ,程序验证 ,循环不变系统科析与集 式 ,终止性分析 , 前置条件 ,归纳断学成言映射WEB 日志挖掘，智能网站知识提系统分 取系统， 真实路径获取算法， 页面系统科析与集 关联规则发现算法，站点结构调学成整，个性化搜索引擎， 数据随机干扰处理方法系统分 程序验证 ; 不变式 ; 归纳断言映系统科析与集 射 ; 半代数变迁系统 ; 终止性分学成析 ; 秩函数系统分 定理证明 ; 自动推理 ; 子句搜索方系统科析与集 法 ; 一阶逻辑 ; 格值逻辑 ; tab

8、leau学成方法 ; 试探方法 ; 自然推理方法 ;可读证明 .符号计算 ; 并行计算 ; 多项式矩阵系统分并行符号算法若干系统科行列式 ; 结式 ;不等式证明 ; 差分陈良育2008杨路博士析与集问题的研究与应用学代换 ;Heilbronn七点问题 ; SGE;成MPI; MathML; Maple; Matlab非线性多项式方程组 ; 实根隔离 ;求解非线性实代数系统分曾振系统科区间估值； Hansen-Sengupta 算法 ;系统的混合算法研单美静2008博士析与集柄学平面代数剖分；Heilbronn 三角究成形；根式不等式论文层论文作论文时指导教次论文题目学科专业论文关键词者间师（硕

9、士、博士）系统分事务演算、形式语义、 UTP 理论、Web 事务的建模及系统科李晶2008何积丰博士析与集其语义分析学Web 事务、补偿机制成系统分积分方程求解及一2008系统科积分方程 , 求解 , 算法 , 数学机械王玮明曾振柄博士析与集类机械化算法研究学化 , 符号计算 ,计算机代数系统成计算机计算机基于流体模型的典2012SPH、LBM 、流体模型、自然现象、戴金球陈勇硕士科学与软件与型自然现象模拟火山喷发、烟雾技术理论计算机计算机基于外部资源的语义实体， 外部资源， 用户产生数杜鹃2012钱卫宁硕士科学与软件与WEB 数据抽取据 , Web 数据，信息抽取技术理论XML 数据的动态编

10、计算机计算机 XML ，动态编码，位字符串编码，码和分布式管理技范远超2012王晓玲硕士科学与软件与 向量编码，根号编码，分布式系统，术技术理论HDFS ，MapReduce，格雷码，Memcached海量遥感影像快速计算机计算机遥感影像；影像金字塔； N*M 宫生成金字塔算法的高峥2012赵慧硕士科学与软件与格划分；并行研究与实现技术理论集群环境下聚类算计算机计算机聚类分析，集群式，并行化，法的并行化研究与胡俊2012赵慧硕士科学与软件与K-Means实现技术理论基于动态符号执行计算机计算机的测试工具设计与蒋思远2012蒲戈光硕士科学与软件与 符号执行，自动测试，白盒测试实现技术理论计算机计

11、算机结合心电图的血压血压；心电图；脉搏波；检测仪；李皓2012董军硕士科学与应用技测量装置与算法特征提取技术术基于组视角的无线计算机计算机无线自组织网络， 进程演算，概率，自组织网络的进程刘思2012朱惠彪硕士科学与软件与组移动 , 操作语义 , 互模拟演算技术理论CPS 系统的时空计算机计算机 CPS 系统， UML ，MARTE ，混成UML 模型建模方法刘子微2012刘静硕士科学与软件与 自动机，标记迁移系统， 列车自动研究技术理论 防护系统计算机计算机BPEL 语言形式语义BPEL ，Prolog ，Maude，形式语义，王倩2012何积丰硕士科学与软件与连接的仿真语义连接，仿真器技术

12、理论算法机制设计， 随机算法， 随机机计算机计算机随机算法机制设计制设计，广义二价拍卖模型， 纳什吴晶2012陈仪香硕士科学与软件与与网络拍卖均衡，支配策略删除均衡， 网络关技术理论键字拍卖 .计算机计算机微博网络的结构分谢威2012宫学庆硕士科学与软件与 推特，微博，社交网络， 数据挖掘析及用户推荐技术理论列车自动防护系统计算机计算机形式化方法， 时间自动机， rCOS，的形式化建模与验熊锡娇2012刘静硕士科学与软件与模型检测， ATP证方法研究技术理论计算机计算机考虑偏好的网络数信息可视化、 网络用户行为、 行为许彦如2012王长波硕士科学与应用技据可视化分析偏好、情感模型技术术计算机计

13、算机Prolog ，PTSC 语言形式化语形式化语义，语义连接，杨帆2012朱惠彪硕士科学与软件与义的仿真设计Maude, PTSC技术理论计算机计算机基于内容与结构的学术论文，作者预测，排序学习，张玮茗2012钱卫宁硕士科学与软件与论文作者分析Rank svm技术理论k 最计算机计算机k 最近面向不确定图的不确定性数据，不确定图，张旭2012金澈清硕士科学与软件与近邻查询邻， kMinDist技术理论计算机计算机面向室内环境的路移动数据管理， 室内环境，图模型，张一桢2012金澈清硕士科学与软件与径查询和成员查询限制性路径查询，空间成员查询技术理论计算机计算机印刷体藏文识别研印刷体藏文识别，

14、 文字识别， 特征周纬2012曾振柄硕士科学与软件与究提取，图像理解技术理论计算机计算机心电图分类方法的心电图， 分类，支持向量机、 形态朱江超2012董军硕士科学与应用技改进与测试特征技术术计算机计算机射频识别认证协议射频识别，隐私，安全，CKK 协朱恺捷2012陈豪硕士科学与软件与研究议技术理论MapReduce 环境中2012计算机计算机 星型连接， 列存储， HDbmp 索引，祝海通周傲英硕士基于列存储的一种科学与软件与 分布式数据管理高效的星型连接方技术理论法基于语义网的软件计算机计算机语义网、软件工程数据、数据建模、工程数据查询处理曹居易2011 宫学庆硕士科学与软件与查询处理技术

15、研究技术理论论文层论文作论文时指导教次论文题目学科专业论文关键词者间师（硕士、博士）计算机计算机大规模集群上的连连接，查询处理，查询优化，常洞霞2011钱卫宁硕士科学与软件与接处理与优化Map/Reduce，分布式计算技术理论自动化 DMARF 系统计算机计算机自动化，形式化方法， CSP，性质的形式化需求规范丁洁琦2011何积丰硕士科学与软件与验证及性质验证技术理论失衡样本分类问题计算机计算机的自动过滤算法的龚薇2011周傲英硕士科学与软件与 机器学习，分类，失衡样本 , SVM研究技术理论计算机计算机元数据管理； Hadoop；海量遥感海量遥感影像管理黄飞鹏2011赵慧硕士科学与软件与系统

16、的设计与实现数据；空间索引技术理论计算机计算机基于多点触摸技术人机交互， 多点触摸技术， 触摸手季红艳2011琚小明硕士科学与应用技的人机交互研究势，手势识别框架技术术分布式概率 Skyline计算机计算机不确定性数据，概率 Skyline ，通黎明江2011金澈清硕士科学与软件与查询研究信代价技术理论基于 Hadoop 的海量李波2011赵慧硕士计算机计算机 海量图像数据 ; Hadoop; 并行算图像数据管理科学与软件与 法； MapReduce技术理论海洋环境的高效建计算机计算机海洋环境、 卷浪、海底绘制、 实时模与实时绘制技术李晨辉2011王长波硕士科学与应用技交互、 GPU 加速研究

17、技术术骨髓病理图像中细计算机计算机骨髓病理； 图像分割； 形态学； 细胞与骨小梁的识别李玲2011曹桂涛硕士科学与应用技胞识别 ; 距离分布与定位技术研究技术术基于 JAVA 语言的设计算机计算机关系演算 ; 设计模式 ; UTP; JAVA计模式识别的研究苗康2011何积丰硕士科学与软件与虚拟机 ; 属性检查与应用技术理论基于 OSGi 的汽车信计算机计算机OSGi， 动汽车信息服务系统，息服务系统的应用钱智浩2011琚小明硕士科学与应用技态服务 , 智能交通研究技术术生命特征信号分类计算机计算机心电图； 特征识别； 分类；独立成若干方法的研究与沈蜜2011董军硕士科学与应用技分分析法；支持

18、向量机应用技术术自动化单元测试中计算机计算机软件测试 自动化单元测试 路径的路径空间缩减的孙涛2011何积丰硕士科学与软件与空间缩减研究技术理论计算机计算机蓝牙电子心音听诊汤洋2011曹桂涛硕士科学与应用技 心音，蓝牙，听诊器， 嵌入式系统器设计技术术计算机计算机心音信号的分析方心音信号，特征提取，心音分段 ,屠志海2011曹桂涛硕士科学与应用技法研究小波去噪，包络技术术计算机计算机Web 服务编排语言Web 服务组合 ,WS-CDL, 关系演算 ,肖浩2011蒲戈光硕士科学与软件与的分析与测试程序验证 ,符号执行 ,测试自动化技术理论计算机类图设计缺陷的检软件工 设计原则、软件度量、设计缺陷

19、、谢玲梅2011姜宁康硕士科学与测研究程缺陷检测技术基于模型检查的系计算机计算机模型检查， CBMC ，MOPS ，统程序的可靠性与徐震弘2011何积丰硕士科学与软件与OpenSSH，形式化方法安全性验证技术理论运用机械臂的计算计算机计算机机书法创作系统设薛环振2011董军硕士科学与应用技 计算机书法， 创作，机械臂， 接口计与开发技术术计算机UML 模型与形式模2011软件工 UML 模型，形式模型，双向转换 ,颜卫杜育根硕士科学与型双向转换的研究程逆向转换，形式化方法， UTP技术基于动态符号执行计算机计算机并行算法，自动化测试数据生成，的并行化测试数据余啸2011蒲戈光硕士科学与软件与符

20、号执行自动生成技术理论基于规则的论坛数计算机计算机 Web 数据管理，数据爬取，信息据爬取与抽取一体张灿2011钱卫宁硕士科学与软件与 抽取，基于规则的信息抽取， 在线化技术理论论坛基于 CAN 总线的汽计算机计算机汽车电子、 CAN 总线、 USB-CAN车信息平台的数据张剑武2011张剑武硕士科学与应用技适配器、 Linux 驱动获取技术术数字教室环境中电计算机计算机数字互动教室， 数字版权管理， 电子书数字版权保护张兴超2011刘献忠硕士科学与应用技子书，数字出版平台，分发控制的应用研究技术术基于格子 Boltzmann计算机计算机2011Lattice Boltzmann 方法；流体模

21、拟；的流体景观建模与张卓鹏王长波硕士科学与应用技图形处理器快速绘制技术术论文题目论文作 论文时间指导教论文层学科专业论文关键词者师次（硕士、博士）计算机计算机数字互动教室无线数字互动教室， 无线交互， 交互式赵录旗2011刘献忠硕士科学与应用技传输功能的实现电子书包， C/S， HTTP 协议。技术术基于 PVS 对 SCADE计算机计算机开发轨交控制系统轨道交通， 形式化方法， 建模，验周佳铭2011郭建硕士科学与应用技的形式化建模与验证， PVS， SCADE技术术证大规模集群下 XML计算机计算机2011XML, 关键字检索， Hadoop，关键字检索算法设周梦婕王晓玲硕士科学与软件与H

22、DFS ，Map/Reduce计与实现技术理论增强现实中动态纹计算机计算机动态纹理识别， 光流，水平集， 三理的识别与重建技周文玲2011全红艳硕士科学与应用技维重建术研究技术术多线程离散事件模计算机计算机 模型，形式化方法， 定理证明和验拟语言在 PVS 中的朱罕2011朱惠彪硕士科学与软件与 证，统一程序理论 , UTP,建模与验证技术理论 MDESL,PVS计算机计算机心电图特征参数获心电图、 特征提取、 峰值特征、 边朱侃杰2011董军硕士科学与应用技取技术及其应用界点特征、多导联决策技术术计算机计算机交互式电子白板中交互式电子白板； 坐标转换； 虚拟蔡莉莉2010董军硕士科学与应用技

23、白板模式的实现毛笔模型技术术计算机计算机异构数据库同步模陈舒2010姜宁康硕士科学与应用技 异构数据库，同步，封锁型的研究与实现技术术rCOS 的操作语义及冯利波2010何积丰硕士计算机计算机 设计模式，性质检查，关系演算，其在程序分析中的科学与应用技 操作语义应用技术术基于行为的 Web 服计算机计算机相容性、 替换性、 服务组合、 进程务相容性与可替换宫雪强2010刘静硕士科学与软件与代数、自动机性研究技术理论计算机计算机并行网络爬虫设计并行网络爬虫， Map/Reduce，龚秋艳2010曾振柄硕士科学与软件与与实现HttpClient ，URL 消重， DNS技术理论交互式电子白板视计算

24、机计算机交互式电子白板； 图像分割； 运动频压缩技术研究与顾晓祥2010刘献忠硕士科学与应用技估计；放大镜实现技术术基于电磁感应技术计算机计算机的交互式电子白板交互式电子白板 ; 坐标转换 ; 仿黄小辉2010刘献忠硕士科学与应用技系统中坐标转换算射变换 ; 透视变换 ; 单应性矩阵技术术法的研究计算机计算机声控遥控器设计与语音识别，红外，数字信号处理器，蒋秀锋2010琚小明硕士科学与应用技开发LPCC ， DTW技术术计算机计算机虚拟 Web 服务的研2010SOA ；虚拟 Web 服务；语义 Web李永钢杜育根硕士科学与软件与究与应用服务；服务匹配技术理论基于动态纹理区域计算机计算机增强现

25、实， 动态纹理， 速度，局部识别的增强现实关林俊隽2010全红艳硕士科学与应用技重建键技术研究技术术计算机计算机对多项式不等式若多项式不等式 , 差分代换 , 正半穆传东2010杨路硕士科学与软件与干证明技术的研究定 .技术理论心电图常见疾病的2010计算机计算机 心电图； 特征；贝叶斯分类； 支持童佳斐董军硕士统计模式识别分类科学与应用技 向量机；分类器组合方法的应用研究技术术基于模型检测的动计算机软件工 SOA 、服务协同、 UML 、模型检态协同服务间的一谢越2010刘静硕士科学与程测、 SPIN致性验证技术书法碑帖文字的笔计算机计算机书法，计算机模拟， 笔划提取， 轮划提取技术及其实赵

26、琪2010董军硕士科学与应用技廓恢复现技术术计算机计算机心音信号的分析与心音；去噪；希尔波特 -黄变换；赵秀敏2010曹桂涛硕士科学与应用技分类方法研究包络；支持向量机技术术商业智能技术在客计算机计算机 商业智能， 客户关系管理， 以客户户服务中心 CRM 系 蔡嘉琳2007黄国兴硕士科学与软件与 数据为中心的数据仓库，数据挖统中的研究与实现技术理论掘，微软决策树算法基于 AT91RM9200和 Linux 的嵌入式系计算机软件工 嵌入式 Linux ARM AT91RM9200华晶2007张惠娟硕士科学与统平台的研究与设程内核技术计蛋白质数据库去冗计算机计算机生物信息学； 图论；代表序列；

27、去余程序的研究与开刘鹏飞2007曾振柄硕士科学与软件与冗余； Blast发技术理论面向 IP 的 PSL 重用计算机计算机性质规范语言 , 基于 IP 的设计 ,倪韬雍2007董军硕士科学与软件与设计方法研究语义 , 重用技术理论论文层论文作论文时指导教次论文题目学科专业论文关键词者间师（硕士、博士）基于断言的仿真算法沈铖洁2007何积丰硕士计算机计算机 仿真器，动态验证，基于断言的与实现科学与软件与验证，自动机构造，性质规范语技术理论言计算机计算机数据挖掘在电信信息数据仓库、数据挖掘、决策树、吴淼2007黄国兴硕士科学与软件与化系统中的应用贝叶斯、聚类分析、时序算法技术理论计算机计算机基于真

28、实感场景漫游真实感场景， 三维引擎， DirectX ，夏炎2007杨路硕士科学与软件与引擎的研究与开发LOD 地形，水面渲染技术理论基于 SOA 架构实现符计算机计算机 SOA ，符号计算，数值计算，混号数值混合数学计算张骏2007曾振柄硕士科学与软件与 合数学计算平台， ESB, AquaLogic平台技术理论Service Bus基于对象的嵌入式实计算机执行流，超微内核，实时操作系软件工时操作系统的设计与陈晓华2006杨路硕士科学与统，嵌入式系统，面向对象，微程研究技术内核基于服务架构的企业计算机软件工 设计模式企业应用集成 面向服应用集成中设计模式陈跃文2006黄国兴硕士科学与程务架构服务的研究与实现技术计算机开源嵌入式操作系统2006软件工董磊鋆何积丰硕士科学与嵌入式操作系统，开源评测工具研究程技术计算机多功能一体机嵌入式软件工 嵌入式浏览器，多功能一体机，李迟颖2006黄