华东师范大学软件学院历年培养研究生学位论文情况论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词非线性系统的对称性与可积性胡晓瑞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日志挖掘，智能网站知识提取系统，真实路径获取算法，页面关联规则发现算法，站点结构调整，个...
VIP
