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

华东师范大学软件学院历年培养研究生学位论文情况 论文题目 论文作者 论文时间 指导教师 论文层次（硕士、博士） 学科 专业 论文关键词 非线性系统的对称性与可积性 胡晓瑞 ?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 ?杨路