《华师大软件学院历年培养研究生学位论文情况》由会员分享，可在线阅读，更多相关《华师大软件学院历年培养研究生学位论文情况（15页珍藏版）》请在金锄头文库上搜索。
1、 华东师大学软件学院历年培养研究生学位论文情况论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词非线性系统的对称性与可积性胡晓瑞2012 勇博士系统科学系统理论经典Lie群、 Lie点对称、 修正的CK直接方法、 非局域对称、 Backlund变换、Darboux变换、守恒律、Bell多项式、群不变解、最优系统。状态转换系统的格值量化验证方法研究海玉2012 仪香博士计算机科学与技术计算机应用技术形式化验证; 互模拟关系;迹等价;模型检测; 时间自动机;时态逻辑;标号转换系统; Kripke 结构; 完备剩余格面向目标代码的实时操作系统形式化验证方法研究史建琦2012 何
2、积丰博士计算机科学与技术计算机应用技术形式化验证，实时操作系统，目标代码，中间语言基于Isabelle平台的一般拓扑学机械化与自动定理证明研究王建林2012 曾振柄博士系统科学系统分析与集成数学机械化；定理机器证明；一般拓扑学； Isabelle；形式化；高阶逻辑。嵌入式周期控制系统的建模与分析王政2012 何积丰博士计算机科学与技术计算机应用技术嵌入式周期控制系统; 形式化方法; 语义; 验证Web论坛数据抽取敬伟2012 周傲英博士计算机科学与技术计算机应用技术论坛数据抽取，用户生成容，抽取规则，归纳逻辑程序设计在线论坛用户兴趣图谱发现与个性化信息推荐召2012 周傲英博士计算机科学与技术
3、计算机应用技术在线论坛，个性化推荐，用户生成容，用户协趣图谱，用户容，兴趣图谱，逆向排序查询，领域专家基于图模型的微博数据分析与管理斌2012 周傲英博士计算机科学与技术计算机应用技术微博，随机游走，垃圾用户，重用检测，二分图，图聚类信号演算理论涌鑫2012 何积丰博士计算机科学与技术计算机应用技术信号演算；代数方法；指称语义；语义联接理论排序学习中的领域自适应研究蔡鹏2011 周傲英博士计算机科学与技术计算机应用技术领域自适应、排序学习、文档权重、查询权重、主动学习、领域独立特征、语义实体面向模型的组合理论研究钦2011 何积丰博士计算机科学与技术计算机应用技术模型, 组合理论, 形式化方法
4、, 程序统一理论基于属性的软件可信性度量模型研究红伟2011 仪香博士计算机科学与技术计算机应用技术软件可信性度量; 软件可信属性模型; 可信性质;静态分析; 用户预期非经典程序语言的形式语义模型研究吴恒洋2011 仪香博士计算机科学与技术计算机软件与理论模糊程序语言; 量子程序语言; 语义; 精化演算; 模糊余代数基于语言的软件可信性度量理论与其应用吴新星2011 仪香博士计算机科学与技术计算机应用技术可信性度量; 混成进程代数(HCSP); 霍尔逻辑(HL); 概率测度; 结构化程序设计语言; 构件匹配; 业务过程执行语言(BPEL); 进程演算(CCS); Ruby/Tk可积系统与混沌系
5、统中若干问题的符号计算研究云青2011 勇博士系统科学系统理论可积系统、延拓结构、伪势、Lax对、守恒律、自-Backlund变换、Bell多项式、双线性形式、分数阶混沌系统心电图形态特征的识别与其在分类中的作用研究嘉伟2011 董军博士计算机科学与技术计算机应用技术心电图，标准心电图数据库，形态特征，动态时间规整，模板选择与压缩，特征选择。图中配对控制集问题的机械化算法研究磊2010 曾振柄博士系统科学系统分析与集成配对控制集问题、距离配对控制集问题、带权配对控制集问题、控制集问题、NP-完全、APX-完全、近似算法、强弦图、块图、区间图若干非线性问题的对称约化与精确解董仲周2010 勇博士
6、系统科学系统理论群方法, 推广的直接方法, 群不变解最优系统, 同伦摄动方法, 对称约化, 守恒律, 精确解, 海洋大气, 格方程, 初值问题.软件的近似正确性与与环境交互度量模型研究马艳芳2010 仪香博士计算机科学与技术计算机应用技术软件实现；软件规；进程代数；概率进程代数；参数化互模拟；三分之二互模拟；完整迹；度量；拓扑基于符号计算方法的程序验证技术研究武斌2010 路博士系统科学系统分析与集成程序正确性,程序验证,循环不变式,终止性分析,前置条件,归纳断言映射Web日志挖掘与其应用研究鲍钰2009 黄国兴博士系统科学系统分析与集成WEB日志挖掘，智能知识提取系统，真实路径获取算法，页面
7、关联规则发现算法，站点结构调整，个性化搜索引擎，数据随机干扰处理方法基于实代数符号计算的程序验证技术研究毕忠勤2009 路博士系统科学系统分析与集成程序验证; 不变式; 归纳断言映射; 半代数变迁系统; 终止性分析; 秩函数若干逻辑自动推理方法研究郭远华2009 曾振柄博士系统科学系统分析与集成定理证明; 自动推理; 子句搜索方法; 一阶逻辑; 格值逻辑; tableau方法; 试探方法; 自然推理方法; 可读证明.并行符号算法若干问题的研究与应用良育2008 路博士系统科学系统分析与集成符号计算; 并行计算; 多项式矩阵行列式; 结式; 不等式证明; 差分代换;Heilbronn七点问题;
8、SGE; MPI; MathML; Maple; Matlab求解非线性实代数系统的混合算法研究单美静2008 曾振柄博士系统科学系统分析与集成非线性多项式方程组; 实根隔离; 区间估值；Hansen-Sengupta 算法; 平面代数剖分； Heilbronn三角形；根式不等式论文题目论文作者论文时间指导教师论文层次（硕士、博士）学科专业论文关键词Web事务的建模与其语义分析晶2008 何积丰博士系统科学系统分析与集成事务演算、形式语义、UTP理论、Web事务、补偿机制积分方程求解与一类机械化算法研究王玮明2008 曾振柄博士系统科学系统分析与集成积分方程, 求解, 算法, 数学机械化, 符
9、号计算,计算机代数系统基于流体模型的典型自然现象模拟戴金球2012 勇硕士计算机科学与技术计算机软件与理论SPH、LBM、流体模型、自然现象、火山喷发、烟雾基于外部资源的WEB数据抽取杜鹃2012 钱卫宁硕士计算机科学与技术计算机软件与理论语义实体，外部资源，用户产生数据, Web数据，信息抽取XML数据的动态编码和分布式管理技术远超2012 王晓玲硕士计算机科学与技术计算机软件与理论XML，动态编码，位字符串编码，向量编码，根号编码，分布式系统，HDFS，MapReduce，格雷码，Memcached海量遥感影像快速生成金字塔算法的研究与实现高峥2012 慧硕士计算机科学与技术计算机软件与理
10、论遥感影像；影像金字塔；N*M宫格划分；并行集群环境下聚类算法的并行化研究与实现胡俊2012 慧硕士计算机科学与技术计算机软件与理论聚类分析，集群式，并行化，K-Means基于动态符号执行的测试工具设计与实现思远2012 蒲戈光硕士计算机科学与技术计算机软件与理论符号执行，自动测试，白盒测试结合心电图的血压测量装置与算法皓2012 董军硕士计算机科学与技术计算机应用技术血压；心电图；脉搏波；检测仪；特征提取基于组视角的无线自组织网络的进程演算思2012 朱惠彪硕士计算机科学与技术计算机软件与理论无线自组织网络，进程演算，概率，组移动, 操作语义, 互模拟CPS系统的时空UML模型建模方法研究子
11、微2012 静硕士计算机科学与技术计算机软件与理论CPS系统，UML，MARTE，混成自动机，标记迁移系统，列车自动防护系统BPEL语言形式语义连接的仿真王倩2012 何积丰硕士计算机科学与技术计算机软件与理论BPEL，Prolog，Maude，形式语义，语义连接，仿真器随机算法机制设计与网络拍卖吴晶2012 仪香硕士计算机科学与技术计算机软件与理论算法机制设计，随机算法，随机机制设计，广义二价拍卖模型，纳什均衡，支配策略删除均衡，网络关键字拍卖.微博网络的结构分析与用户推荐威2012 宫学庆硕士计算机科学与技术计算机软件与理论推特，微博，社交网络，数据挖掘列车自动防护系统的形式化建模与验证方
12、法研究熊锡娇2012 静硕士计算机科学与技术计算机软件与理论形式化方法，时间自动机，rCOS，模型检测，ATP考虑偏好的网络数据可视化分析许彦如2012 王长波硕士计算机科学与技术计算机应用技术信息可视化、网络用户行为、行为偏好、情感模型PTSC语言形式化语义的仿真设计帆2012 朱惠彪硕士计算机科学与技术计算机软件与理论形式化语义，语义连接，Prolog，Maude, PTSC基于容与结构的论文作者分析玮茗2012 钱卫宁硕士计算机科学与技术计算机软件与理论学术论文，作者预测，排序学习，Rank svm面向不确定图的k最近邻查询旭2012 金澈清硕士计算机科学与技术计算机软件与理论不确定性数
13、据，不确定图，k最近邻，kMinDist面向室环境的路径查询和成员查询一桢2012 金澈清硕士计算机科学与技术计算机软件与理论移动数据管理，室环境，图模型，限制性路径查询，空间成员查询印刷体藏文识别研究周纬2012 曾振柄硕士计算机科学与技术计算机软件与理论印刷体藏文识别，文字识别，特征提取，图像理解心电图分类方法的改进与测试朱江超2012 董军硕士计算机科学与技术计算机应用技术心电图，分类，支持向量机、形态特征射频识别认证协议研究朱恺捷2012 豪硕士计算机科学与技术计算机软件与理论射频识别，隐私，安全，CKK协议MapReduce环境中基于列存储的一种高效的星型连接方法祝海通2012 周傲
