华师大软件学院历培养研究生学位论文情况.docx
《华师大软件学院历培养研究生学位论文情况.docx》由会员分享，可在线阅读，更多相关《华师大软件学院历培养研究生学位论文情况.docx（32页珍藏版）》请在冰点文库上搜索。
华师大软件学院历培养研究生学位论文情况
华东师范大学软件学院历年培养研究生学位论文情况
论文题目
论文作者
论文时间
指导教师
论文层次
（硕士、博士）
学科
专业
论文关键词
非线性系统的对称性与可积性
胡晓瑞
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
钱卫宁
硕士
计算机科学与技术
计算机软件与理论
学术论文，作者预测，排序学习，Ranksvm
面向不确定图的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
王长波
硕士
计算机科学与技术
计算机应用技术
LatticeBoltzmann方法；流体模拟；图形处理器
论文题目
论文作者
论文时间
指导教师
论文层次
（硕士、博士）
学科
专业
论文关键词
数字互动教室无线传输功能的实现
赵录旗
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
张惠娟
硕士
计算机科学与技术
软件工程
嵌入式LinuxARMAT91RM9200内核
蛋白质数据库去冗余程序的研究与开发
刘鹏飞
2007
曾振柄
硕士
计算机科学与技术
计算机软件与理论
生物信息学；图论；代表序列；去冗余；Blast
面向IP的PSL重用设计方法研究
倪韬雍
2007
董军
硕士
计算机科学与技术
计算机软件与理论
性质规范语言,基于IP的设计,语义,重用
论文题目
论文作者
升级会员 