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

论文题目

论文作

者

论文时

间

指导教

师

论文层次

(硕士、

博士)

学科

专业

论文关键词

经典Lie群、Lie点对称、 修正

的CK直接方法、 非局域对称、

非线性系统的对称

胡晓瑞

2012

陈勇

博士

系统科

系统理

Backlund 变换、Darboux 变换、守

性与可积性

学

论

恒律、Bell多项式、群不变解、最

优系统。

形式化验证;互模拟关系；迹等价；

状态转换系统的格

陈仪

计算机

计算机

模型检测；时间自动机；时态逻辑；

值量化验证方法研

潘海玉

2012

香

博士

科学与

应用技

标号转换系统；Kripke结构；完备

究

技术

术

剩余格

面向目标代码的实

何积

计算机

计算机

形式化验证，实时操作系统，目标

时操作系统形式化

史建琦

2012

丰

博士

科学与

应用技

代码，中间语言

验证方法研究

技术

术

基于Isabelle平台的

系统分

数学机械化；定理机器证明；一般

一般拓扑学机械化

王建林

2012

曾振

博士

系统科

析与集

拓扑学；Isabelle；形式化；高阶

及自动定理证明研

柄

学

成

逻辑。

究

计算机

计算机

嵌入式周期控制系

王政

2012

何积

博士

科学与

应用技

嵌入式周期控制系统；形式化方

统的建模与分析

丰

技术

术

法；语义；验证

计算机

计算机

周傲

论坛数据抽取，用户生成内容，抽

Web论坛数据抽取

张敬伟

2012

英

博士

科学与

应用技

取规则，归纳逻辑程序设计

技术

术

在线论坛用户兴趣

张召

2012

周傲

博士

计算机

计算机

在线论坛，个性化推荐，用户生成

图谱发现与个性化

英

科学与

应用技

内容，用户协同兴趣图谱，用户内

言息推荐

技术

术

容，兴趣图谱，逆向排序查询，领

域专家

计算机

计算机

基于图模型的微博

赵斌

2012

周傲

博士

科学与

应用技

微博，随机游走，垃圾用户，重用

数据分析与管理

英

技术

术

检测，二分图，图聚类

计算机

计算机

何积

信号演算；代数方法；指称语义；

言号演算理论

赵涌鑫

2012

丰

博士

科学与

应用技

语义联接理论

技术

术

计算机

计算机

领域自适应、排序学习、文档权重、

非序学习中的领域

蔡鹏

2011

周傲

博士

科学与

应用技

查询权重、主动学习、领域独立特

自适应研究

英

技术

术

征、语义实体

计算机

计算机

面向模型的组合理

李钦

2011

何积

博士

科学与

应用技

模型，组合理论，形式化方法，程

论研究

丰

技术

术

序统一理论

计算机

计算机

软件可信性度量；软件可信属性

基于属性的软件可

陶红伟

2011

陈仪

博士

科学与

应用技

模型；可信性质；静态分析；用户

言性度量模型研究

香

技术

术

预期

计算机

计算机

非经典程序语言的

吴恒洋

2011

陈仪

博士

科学与

软件与

模糊程序语言；量子程序语言；语

形式语义模型研究

香

技术

理论

义；精化演算；模糊余代数

可信性度量；混成进程代数

基于语言的软件可

陈仪

计算机

计算机

(HCSP);霍尔逻辑(HL);概率测

言性度量理论及其

吴新星

2011

香

博士

科学与

应用技

度；结构化程序设计语言；构件匹

应用

技术

术

配；业务过程执行语言(BPEL)；

进程演算(CCS)； Ruby/Tk

可积系统、延拓结构、伪势、Lax

可积系统与混沌系

系统科

系统理

对、守恒律、自-Backlund变换、

统中若干问题的符

杨云青

2011

陈勇

博士

学

论

Bell多项式、双线性形式、分数阶

号计算研究

混沌系统

心电图形态特征的

识别及其在分类中

的作用研究

张嘉伟

2011

董军

博士

计算机

科学与

技术

计算机

应用技

术

心电图，标准心电图数据库，形态 特征，动态时间规整，模板选择与 压缩，特征选择。

配对控制集问题、距离配对控制集

图中配对控制集问

曾振

系统科

系统分

问题、带权配对控制集问题、控制

题的机械化算法研

陈磊

2010

柄

博士

学

析与集

集问题、NP-完全、APX-完全、近

究

成

似算法、强弦图、块图、区间图

李群方法，推广的直接方法，群不

若干非线性问题的

董仲周

2010

陈勇

博士

系统科

系统理

变解最优系统，同伦摄动方法，对

对称约化及精确解

学

论

称约化，守恒律，精确解，海洋大

气，格方程，初值问题.

软件实现；软件规范；进程代数；

软件的近似正确性

陈仪

计算机

计算机

概率进程代数；参数化互模拟；三

及与环境交互度量

马艳芳

2010

香

博士

科学与

应用技

分之二互模拟；完整迹；度量；拓

模型研究

技术

术

扑

基于符号计算方法

系统科

系统分

程序正确性，程序验证，循环不变

的程序验证技术研

武