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

华东师范大学软件学院历年培养研究生学位论文情况论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词非线性系统的对称性与可积性胡晓瑞2012 陈勇博士系统科学系统理论经典Lie群、 Lie点对称、 修正的CK直接方法、 非局域对称、 Backlund变换、Darboux变换、守恒律、Bell多项式、群不变解、最优系统。状态转换系统的格值量化验证方法研究潘海玉2012 陈仪香博士计算机科学与技术计算机应用技术形式化验证; 互模拟关系;迹等价;模型检测; 时间自动机;时态逻辑;标号转换系统; Kripke 结构; 完备剩余格面向目标代码的实时操作系统形式化验证方法研究史建琦2012 何积丰博士计算机科学与技术计算机应用技术形式化验证，实时操作系统，目标代码，中间语言基于Isabelle平台的一般拓扑学机械化及自动定理证明研究王建林2012 曾振柄博士系统科学系统分析与集成数学机械化；定理机器证明；一般拓扑学； Isabelle；形式化；高阶逻辑。嵌入式周期控制系统的建模与分析王政2012 何积丰博士计算机科学与技术计算机应用技术嵌入式周期控制系统; 形式化方法; 语义; 验证Web论坛数据抽取张敬伟2012 周傲英博士计算机科学与技术计算机应用技术论坛数据抽取，用户生成内容，抽取规则，归纳逻辑程序设计在线论坛用户兴趣图谱发现与个性化信息推荐张召2012 周傲英博士计算机科学与技术计算机应用技术在线论坛，个性化推荐，用户生成内容，用户协同兴趣图谱，用户内容，兴趣图谱，逆向排序查询，领域专家基于图模型的微博数据分析与管理赵斌2012 周傲英博士计算机科学与技术计算机应用技术微博，随机游走，垃圾用户，重用检测，二分图，图聚类信号演算理论赵涌鑫2012 何积丰博士计算机科学与技术计算机应用技术信号演算；代数方法；指称语义；语义联接理论排序学习中的领域自适应研究蔡鹏2011 周傲英博士计算机科学与技术计算机应用技术领域自适应、排序学习、文档权重、查询权重、主动学习、领域独立特征、语义实体面向模型的组合理论研究李钦2011 何积丰博士计算机科学与技术计算机应用技术模型, 组合理论, 形式化方法, 程序统一理论基于属性的软件可信性度量模型研究陶红伟2011 陈仪香博士计算机科学与技术计算机应用技术软件可信性度量; 软件可信属性模型; 可信性质;静态分析; 用户预期非经典程序语言的形式语义模型研究吴恒洋2011 陈仪香博士计算机科学与技术计算机软件与理论模糊程序语言; 量子程序语言; 语义; 精化演算; 模糊余代数基于语言的软件可信性度量理论及其应用吴新星2011 陈仪香博士计算机科学与技术计算机应用技术可信性度量; 混成进程代数(HCSP); 霍尔逻辑(HL); 概率测度; 结构化程序设计语言; 构件匹配; 业务过程执行语言(BPEL); 进程演算(CCS); Ruby/Tk可积系统与混沌系统中若干问题的符号计算研究杨云青2011 陈勇博士系统科学系统理论可积系统、延拓结构、伪势、Lax对、守恒律、自-Backlund变换、Bell多项式、双线性形式、分数阶混沌系统心电图形态特征的识别及其在分类中的作用研究张嘉伟2011 董军博士计算机科学与技术计算机应用技术心电图，标准心电图数据库，形态特征，动态时间规整，模板选择与压缩，特征选择。图中配对控制集问题的机械化算法研究陈磊2010 曾振柄博士系统科学系统分析与集成配对控制集问题、距离配对控制集问题、带权配对控制集问题、控制集问题、NP-完全、APX-完全、近似算法、强弦图、块图、区间图若干非线性问题的对称约化及精确解董仲周2010 陈勇博士系统科学系统理论李群方法, 推广的直接方法, 群不变解最优系统, 同伦摄动方法, 对称约化, 守恒律, 精确解, 海洋大气, 格方程, 初值问题.软件的近似正确性及与环境交互度量模型研究马艳芳2010 陈仪香博士计算机科学与技术计算机应用技术软件实现；软件规范；进程代数；概率进程代数；参数化互模拟；三分之二互模拟；完整迹；度量；拓扑基于符号计算方法的程序验证技术研究武斌2010 杨路博士系统科学系统分析与集成程序正确性,程序验证,循环不变式,终止性分析,前置条件,归纳断言映射Web日志挖掘及其应用研究鲍钰2009 黄国兴博士系统科学系统分析与集成WEB日志挖掘，智能网站知识提取系统，真实路径获取算法，页面关联规则发现算法，站点结构调整，个性化搜索引擎，数据随机干扰处理方法基于实代数符号计算的程序验证技术研究毕忠勤2009 杨路博士系统科学系统分析与集成程序验证; 不变式; 归纳断言映射; 半代数变迁系统; 终止性分析; 秩函数若干逻辑自动推理方法研究郭远华2009 曾振柄博士系统科学系统分析与集成定理证明; 自动推理; 子句搜索方法; 一阶逻辑; 格值逻辑; tableau方法; 试探方法; 自然推理方法; 可读证明.并行符号算法若干问题的研究与应用陈良育2008 杨路博士系统科学系统分析与集成符号计算; 并行计算; 多项式矩阵行列式; 结式; 不等式证明; 差分代换;Heilbronn七点问题; SGE; MPI; MathML; Maple; Matlab求解非线性实代数系统的混合算法研究单美静2008 曾振柄博士系统科学系统分析与集成非线性多项式方程组; 实根隔离; 区间估值；Hansen-Sengupta 算法; 平面代数剖分； Heilbronn三角形；根式不等式论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词Web事务的建模及其语义分析李晶2008 何积丰博士系统科学系统分析与集成事务演算、形式语义、UTP理论、Web事务、补偿机制积分方程求解及一类机械化算法研究王玮明2008 曾振柄博士系统科学系统分析与集成积分方程, 求解, 算法, 数学机械化, 符号计算,计算机代数系统基于流体模型的典型自然现象模拟戴金球2012 陈勇硕士计算机科学与技术计算机软件与理论SPH、LBM、流体模型、自然现象、火山喷发、烟雾基于外部资源的WEB数据抽取杜鹃2012 钱卫宁硕士计算机科学与技术计算机软件与理论语义实体，外部资源，用户产生数据, Web数据，信息抽取XML数据的动态编码和分布式管理技术范远超2012 王晓玲硕士计算机科学与技术计算机软件与理论XML，动态编码，位字符串编码，向量编码，根号编码，分布式系统，HDFS，MapReduce，格雷码，Memcached海量遥感影像快速生成金字塔算法的研究与实现高峥2012 赵慧硕士计算机科学与技术计算机软件与理论遥感影像；影像金字塔；N*M宫格划分；并行集群环境下聚类算法的并行化研究与实现胡俊2012 赵慧硕士计算机科学与技术计算机软件与理论聚类分析，集群式，并行化，K-Means基于动态符号执行的测试工具设计与实现蒋思远2012 蒲戈光硕士计算机科学与技术计算机软件与理论符号执行，自动测试，白盒测试结合心电图的血压测量装置与算法李皓2012 董军硕士计算机科学与技术计算机应用技术血压；心电图；脉搏波；检测仪；特征提取基于组视角的无线自组织网络的进程演算刘思2012 朱惠彪硕士计算机科学与技术计算机软件与理论无线自组织网络，进程演算，概率，组移动, 操作语义, 互模拟CPS系统的时空UML模型建模方法研究刘子微2012 刘静硕士计算机科学与技术计算机软件与理论CPS系统，UML，MARTE，混成自动机，标记迁移系统，列车自动防护系统BPEL语言形式语义连接的仿真王倩2012 何积丰硕士计算机科学与技术计算机软件与理论BPEL，Prolog，Maude，形式语义，语义连接，仿真器随机算法机制设计与网络拍卖吴晶2012 陈仪香硕士计算机科学与技术计算机软件与理论算法机制设计，随机算法，随机机制设计，广义二价拍卖模型，纳什均衡，支配策略删除均衡，网络关键字拍卖.微博网络的结构分析及用户推荐谢威2012 宫学庆硕士计算机科学与技术计算机软件与理论推特，微博，社交网络，数据挖掘列车自动防护系统的形式化建模与验证方法研究熊锡娇2012 刘静硕士计算机科学与技术计算机软件与理论形式化方法，时间自动机，rCOS，模型检测，ATP考虑偏好的网络数据可视化分析许彦如2012 王长波硕士计算机科学与技术计算机应用技术信息可视化、网络用户行为、行为偏好、情感模型PTSC语言形式化语义的仿真设计杨帆2012 朱惠彪硕士计算机科学与技术计算机软件与理论形式化语义，语义连接，Prolog，Maude, PTSC基于内容与结构的论文作者分析张玮茗2012 钱卫宁硕士计算机科学与技术计算机软件与理论学术论文，作者预测，排序学习，Rank svm面向不确定图的k最近邻查询张旭2012 金澈清硕士计算机科学与技术计算机软件与理论不确定性数据，不确定图，k最近邻，kMinDist面向室内环境的路径查询和成员查询张一桢2012 金澈清硕士计算机科学与技术计算机软件与理论移动数据管理，室内环境，图模型，限制性路径查询，空间成员查询印刷体藏文识别研究周纬2012 曾振柄硕士计算机科学与技术计算机软件与理论印刷体藏文识别，文字识别，特征提取，图像理解心电图分类方法的改进与测试朱江超2012 董军硕士计算机科学与技术计算机应用技术心电图，分类，支持向量机、形态特征射频识别认证协议研究朱恺捷2012 陈豪硕士计算机科学与技术计算机软件与理论射频识别，隐私，安全，CKK协议MapReduce环境中基于列存储的一种高效的星型连接方法祝海通2012 周傲英硕士计算机科学与技术计算机软件与理论星型连接，列存储，HDbmp索引， 分布式数据管理基于语义网的软件工程数据查询处理技术研究曹居易2011 宫学庆硕士计算机科学与技术计算机软件与理论语义网、软件工程数据、数据建模、查询处理论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词大规模集群上的连接处理与优化常洞霞2011 钱卫宁硕士计算机科学与技术计算机软件与理论连接，查询处理，查询优化，Map/Reduce，分布式计算自动化DMARF系统的形式化需求规范及性质验证丁洁琦2011 何积丰硕士计算机科学与技术计算机软件与理论自动化，形式化方法，CSP，性质验证失衡样本分类问题的自动过滤算法的研究龚薇2011 周傲英硕士计算机科学与技术计算机软件与理论机器学习，分类，失衡样本, SVM海量遥感影像管理系统的设计与实现黄飞鹏2011 赵慧硕士计算机科学与技术计算机软件与理论元数据管理；Hadoop；海量遥感数据；空间索引基于多点触摸技术的人机交互研究季红艳2011 琚小明硕士计算机科学与技术计算机应用技术人机交互，多点触摸技术，触摸手势，手势识别框架分布式概率Skyline查询研究黎明江2011 金澈清硕士计算机科学与技术计算机软件与理论不确定性数据，概率Skyline，通信代价基于Hadoop的海量图像数据管理李波2011 赵慧硕士计算机科学与技术计算机软件与理论海量图像数据; Hadoop; 并行算法；MapReduce海洋环境的高效建模与实时绘制技术研究李晨辉2011 王长波硕士计算机科学与技术计算机应用技术海洋环境、卷浪、海底绘制、实时交互、GPU加速骨髓病理图像中细胞与骨小梁的识别与定位技术研究李玲2011 曹桂涛硕士计算机科学与技术计算机应用技术骨髓病理；图像分割；形态学；细胞识别; 距离分布基于JAVA语言的设计模式识别的研究与应用苗康2011 何积丰硕士计算机科学与技术计算机软件与理论关系演算; 设计模式; UTP; JAVA虚拟机; 属性检查基于OSGi的汽车信息服务系统的应用研究钱智浩2011 琚小明硕士计算机科学与技术计算机应用技术汽车信息服务系统， OSGi， 动态服务, 智能交通生命特征信号分类若干方法的研究与应用沈蜜2011 董军硕士计算机科学与技术计算机应用技术心电图；特征识别；分类；独立成分分析法；支持向量机自动化单元测试中的路径空间缩减的研究孙涛2011 何积丰硕士计算机科学与技术计算机软件与理论软件测试 自动化单元测试 路径空间缩减蓝牙电子心音听诊器设计汤洋2011 曹桂涛硕士计算机科学与技术计算机应用技术心音，蓝牙，听诊器，嵌入式系统心音信号的分析方法研究屠志海2011 曹桂涛硕士计算机科学与技术计算机应用技术心音信号，特征提取，心音分段, 小波去噪，包络Web服务编排语言的分析与测试肖浩2011 蒲戈光硕士计算机科学与技术计算机软件与理论Web服务组合,WS-CDL,关系演算,程序验证,符号执行,测试自动化类图设计缺陷的检测研究谢玲梅2011 姜宁康硕士计算机科学与技术软件工程设计原则、软件度量、设计缺陷、缺陷检测基于模型检查的系统程序的可靠性与安全性验证徐震弘2011 何积丰硕士计算机科学与技术计算机软件与理论模型检查，CBMC，MOPS，OpenSSH，形式化方法运用机械臂的计算机书法创作系统设计与开发薛环振2011 董军硕士计算机科学与技术计算机应用技术计算机书法，创作，机械臂，接口UML模型与形式模型双向转换的研究颜卫2011 杜育根硕士计算机科学与技术软件工程UML模型，形式模型，双向转换,逆向转换，形式化方法，UTP基于动态符号执行的并行化测试数据自动生成余啸2011 蒲戈光硕士计算机科学与技术计算机软件与理论并行算法，自动化测试数据生成，符号执行基于规则的论坛数据爬取与抽取一体化张灿2011 钱卫宁硕士计算机科学与技术计算机软件与理论Web数据管理，数据爬取，信息抽取，基于规则的信息抽取，在线论坛基于CAN总线的汽车信息平台的数据获取张剑武2011 张剑武硕士计算机科学与技术计算机应用技术汽车电子、CAN总线、USB-CAN适配器、Linux驱动数字教室环境中电子书数字版权保护的应用研究张兴超2011 刘献忠硕士计算机科学与技术计算机应用技术数字互动教室，数字版权管理，电子书，数字出版平台，分发控制基于格子Boltzmann的流体景观建模与快速绘制张卓鹏2011 王长波硕士计算机科学与技术计算机应用技术Lattice Boltzmann方法；流体模拟；图形处理器论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词数字互动教室无线传输功能的实现赵录旗2011 刘献忠硕士计算机科学与技术计算机应用技术数字互动教室，无线交互，交互式电子书包，C/S，HTTP协议。基于PVS对SCADE开发轨交控制系统的形式化建模与验证周佳铭2011 郭建硕士计算机科学与技术计算机应用技术轨道交通，形式化方法，建模，验证，PVS，SCADE大规模集群下XML关键字检索算法设计与实现周梦婕2011 王晓玲硕士计算机科学与技术计算机软件与理论XML,关键字检索，Hadoop，HDFS，Map/Reduce增强现实中动态纹理的识别与重建技术研究周文玲2011 全红艳硕士计算机科学与技术计算机应用技术动态纹理识别，光流，水平集，三维重建多线程离散事件模拟语言在PVS中的建模与验证朱罕2011 朱惠彪硕士计算机科学与技术计算机软件与理论模型，形式化方法，定理证明和验证，统一程序理论, UTP, MDESL,PVS心电图特征参数获取技术及其应用朱侃杰2011 董军硕士计算机科学与技术计算机应用技术心电图、特征提取、峰值特征、边界点特征、多导联决策交互式电子白板中白板模式的实现蔡莉莉2010 董军硕士计算机科学与技术计算机应用技术交互式电子白板；坐标转换；虚拟毛笔模型异构数据库同步模型的研究与实现陈舒2010 姜宁康硕士计算机科学与技术计算机应用技术异构数据库，同步，封锁rCOS的操作语义及其在程序分析中的应用冯利波2010 何积丰硕士计算机科学与技术计算机应用技术设计模式，性质检查，关系演算，操作语义基于行为的Web服务相容性与可替换性研究宫雪强2010 刘静硕士计算机科学与技术计算机软件与理论相容性、替换性、服务组合、进程代数、自动机并行网络爬虫设计与实现龚秋艳2010 曾振柄硕士计算机科学与技术计算机软件与理论并行网络爬虫，Map/Reduce，HttpClient，URL消重，DNS交互式电子白板视频压缩技术研究与实现顾晓祥2010 刘献忠硕士计算机科学与技术计算机应用技术交互式电子白板；图像分割；运动估计；放大镜基于电磁感应技术的交互式电子白板系统中坐标转换算法的研究黄小辉2010 刘献忠硕士计算机科学与技术计算机应用技术交互式电子白板; 坐标转换; 仿射变换; 透视变换; 单应性矩阵声控遥控器设计与开发蒋秀锋2010 琚小明硕士计算机科学与技术计算机应用技术语音识别，红外，数字信号处理器，LPCC，DTW虚拟Web服务的研究与应用李永钢2010 杜育根硕士计算机科学与技术计算机软件与理论SOA；虚拟Web服务；语义Web服务；服务匹配基于动态纹理区域识别的增强现实关键技术研究林俊隽2010 全红艳硕士计算机科学与技术计算机应用技术增强现实，动态纹理，速度，局部重建对多项式不等式若干证明技术的研究穆传东2010 杨路硕士计算机科学与技术计算机软件与理论多项式不等式, 差分代换, 正半定.心电图常见疾病的统计模式识别分类方法的应用研究童佳斐2010 董军硕士计算机科学与技术计算机应用技术心电图；特征；贝叶斯分类；支持向量机；分类器组合基于模型检测的动态协同服务间的一致性验证谢越2010 刘静硕士计算机科学与技术软件工程SOA、服务协同、UML、模型检测、SPIN书法碑帖文字的笔划提取技术及其实现赵琪2010 董军硕士计算机科学与技术计算机应用技术书法，计算机模拟，笔划提取，轮廓恢复心音信号的分析与分类方法研究赵秀敏2010 曹桂涛硕士计算机科学与技术计算机应用技术心音；去噪；希尔波特-黄变换；包络；支持向量机商业智能技术在客户服务中心CRM系统中的研究与实现蔡嘉琳2007 黄国兴硕士计算机科学与技术计算机软件与理论商业智能，客户关系管理，以客户数据为中心的数据仓库，数据挖掘，微软决策树算法基于AT91RM9200和Linux的嵌入式系统平台的研究与设计华晶2007 张惠娟硕士计算机科学与技术软件工程嵌入式Linux ARM AT91RM9200 内核蛋白质数据库去冗余程序的研究与开发刘鹏飞2007 曾振柄硕士计算机科学与技术计算机软件与理论生物信息学；图论；代表序列；去冗余；Blast面向IP的PSL重用设计方法研究倪韬雍2007 董军硕士计算机科学与技术计算机软件与理论性质规范语言, 基于IP的设计, 语义, 重用论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词基于断言的仿真算法与实现沈铖洁2007 何积丰硕士计算机科学与技术计算机软件与理论仿真器，动态验证，基于断言的验证，自动机构造，性质规范语言数据挖掘在电信信息化系统中的应用吴淼2007 黄国兴硕士计算机科学与技术计算机软件与理论数据仓库、数据挖掘、决策树、贝叶斯、聚类分析、时序算法基于真实感场景漫游引擎的研究与开发夏炎2007 杨路硕士计算机科学与技术计算机软件与理论真实感场景，三维引擎，DirectX，LOD地形，水面渲染基于SOA架构实现符号数值混合数学计算平台张骏2007 曾振柄硕士计算机科学与技术计算机软件与理论SOA，符号计算，数值计算，混合数学计算平台，ESB, AquaLogic Service Bus基于对象的嵌入式实时操作系统的设计与研究陈晓华2006 杨路硕士计算机科学与技术软件工程执行流，超微内核，实时操作系统，嵌入式系统，面向对象，微内核基于服务架构的企业应用集成中设计模式的研究与实现陈跃文2006 黄国兴硕士计算机科学与技术软件工程设计模式 企业应用集成 面向服务架构 服务开源嵌入式操作系统评测工具研究董磊鋆2006 何积丰硕士计算机科学与技术软件工程嵌入式操作系统，开源多功能一体机嵌入式浏览器的设计与实现李迟颖2006 黄国兴硕士计算机科学与技术软件工程嵌入式浏览器，