华东师范大学 计算机 博士 毕业论文,华师大软件学院历年培养研究生学位论文情况.docx...

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

论文题目

论文作

论文时

指导教

论文层次

(硕士、

博士)

学科

专业

论文关键词

经典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

博士

科学与

应用技

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

模型研究

技术

基于符号计算方法

系统科

系统分

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

的程序验证技术研

你可能感兴趣的:(华东师范大学,计算机,博士,毕业论文)