华东师范大学软件学院历年培养研究生学位论文情况
论文题目
论文作
者
论文时
间
指导教
师
论文层次
(硕士、
博士)
学科
专业
论文关键词
经典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
香
博士
科学与
应用技
分之二互模拟;完整迹;度量;拓
模型研究
技术
术
扑
基于符号计算方法
系统科
系统分
程序正确性,程序验证,循环不变
的程序验证技术研
武