华师大软件学院历年培养研究生学位论文情况Word格式.docx
- 文档编号:7123425
- 上传时间:2023-05-07
- 格式:DOCX
- 页数:33
- 大小:26.01KB
华师大软件学院历年培养研究生学位论文情况Word格式.docx
《华师大软件学院历年培养研究生学位论文情况Word格式.docx》由会员分享,可在线阅读,更多相关《华师大软件学院历年培养研究生学位论文情况Word格式.docx(33页珍藏版)》请在冰点文库上搜索。
高阶逻辑。
嵌入式周期控制系统的建模与分析
王政
嵌入式周期控制系统;
形式化方法;
语义;
验证
Web论坛数据抽取
张敬伟
周傲英
论坛数据抽取,用户生成内容,抽取规则,归纳逻辑程序设计
在线论坛用户兴趣图谱发现与个性化信息推荐
张召
在线论坛,个性化推荐,用户生成内容,用户协同兴趣图谱,用户内容,兴趣图谱,逆向排序查询,领域专家
基于图模型的微博数据分析与管理
赵斌
微博,随机游走,垃圾用户,重用检测,二分图,图聚类
信号演算理论
赵涌鑫
信号演算;
代数方法;
指称语义;
语义联接理论
排序学习中的领域自适应研究
蔡鹏
2011
领域自适应、排序学习、文档权重、查询权重、主动学习、领域独立特征、语义实体
面向模型的组合理论研究
李钦
模型,组合理论,形式化方法,程序统一理论
基于属性的软件可信性度量模型研究
陶红伟
软件可信性度量;
软件可信属性模型;
可信性质;
静态分析;
用户预期
非经典程序语言的形式语义模型研究
吴恒洋
计算机软件与理论
模糊程序语言;
量子程序语言;
精化演算;
模糊余代数
基于语言的软件可信性度量理论及其应用
吴新星
可信性度量;
混成进程代数(HCSP);
霍尔逻辑(HL);
概率测度;
结构化程序设计语言;
构件匹配;
业务过程执行语言(BPEL);
进程演算(CCS);
Ruby/Tk
可积系统与混沌系统中若干问题的符号计算研究
杨云青
可积系统、延拓结构、伪势、Lax对、守恒律、自-Backlund变换、Bell多项式、双线性形式、分数阶混沌系统
心电图形态特征的识别及其在分类中的作用研究
张嘉伟
董军
心电图,标准心电图数据库,形态特征,动态时间规整,模板选择与压缩,特征选择。
图中配对控制集问题的机械化算法研究
陈磊
2010
配对控制集问题、距离配对控制集问题、带权配对控制集问题、控制集问题、NP-完全、APX-完全、近似算法、强弦图、块图、区间图
若干非线性问题的对称约化及精确解
董仲周
李群方法,推广的直接方法,群不变解最优系统,同伦摄动方法,对称约化,守恒律,精确解,海洋大气,格方程,初值问题.
软件的近似正确性及与环境交互度量模型研究
马艳芳
软件实现;
软件规范;
进程代数;
概率进程代数;
参数化互模拟;
三分之二互模拟;
完整迹;
度量;
拓扑
基于符号计算方法的程序验证技术研究
武斌
杨路
程序正确性,程序验证,循环不变式,终止性分析,前置条件,归纳断言映射
Web日志挖掘及其应用研究
鲍钰
2009
黄国兴
WEB日志挖掘,智能网站知识提取系统,真实路径获取算法,页面关联规则发现算法,站点结构调整,个性化搜索引擎,数据随机干扰处理方法
基于实代数符号计算的程序验证技术研究
毕忠勤
程序验证;
不变式;
归纳断言映射;
半代数变迁系统;
终止性分析;
秩函数
若干逻辑自动推理方法研究
郭远华
定理证明;
自动推理;
子句搜索方法;
一阶逻辑;
格值逻辑;
tableau方法;
试探方法;
自然推理方法;
可读证明.
并行符号算法若干问题的研究与应用
陈良育
2008
符号计算;
并行计算;
多项式矩阵行列式;
结式;
不等式证明;
差分代换;
Heilbronn七点问题;
SGE;
MPI;
MathML;
Maple;
Matlab
求解非线性实代数系统的混合算法研究
单美静
非线性多项式方程组;
实根隔离;
区间估值;
Hansen-Sengupta算法;
平面代数剖分;
Heilbronn三角形;
根式不等式
Web事务的建模及其语义分析
李晶
事务演算、形式语义、UTP理论、Web事务、补偿机制
积分方程求解及一类机械化算法研究
王玮明
积分方程,求解,算法,数学机械化,符号计算,计算机代数系统
基于流体模型的典型自然现象模拟
戴金球
硕士
SPH、LBM、流体模型、自然现象、火山喷发、烟雾
基于外部资源的WEB数据抽取
杜鹃
钱卫宁
语义实体,外部资源,用户产生数据,Web数据,信息抽取
XML数据的动态编码和分布式管理技术
范远超
王晓玲
XML,动态编码,位字符串编码,向量编码,根号编码,分布式系统,HDFS,MapReduce,格雷码,Memcached
海量遥感影像快速生成金字塔算法的研究与实现
高峥
赵慧
遥感影像;
影像金字塔;
N*M宫格划分;
并行
集群环境下聚类算法的并行化研究与实现
胡俊
聚类分析,集群式,并行化,K-Means
基于动态符号执行的测试工具设计与实现
蒋思远
蒲戈光
符号执行,自动测试,白盒测试
结合心电图的血压测量装置与算法
李皓
血压;
心电图;
脉搏波;
检测仪;
特征提取
基于组视角的无线自组织网络的进程演算
刘思
朱惠彪
无线自组织网络,进程演算,概率,组移动,操作语义,互模拟
CPS系统的时空UML模型建模方法研究
刘子微
刘静
CPS系统,UML,MARTE,混成自动机,标记迁移系统,列车自动防护系统
BPEL语言形式语义连接的仿真
王倩
BPEL,Prolog,Maude,形式语义,语义连接,仿真器
随机算法机制设计与网络拍卖
吴晶
算法机制设计,随机算法,随机机制设计,广义二价拍卖模型,纳什均衡,支配策略删除均衡,网络关键字拍卖.
微博网络的结构分析及用户推荐
谢威
宫学庆
推特,微博,社交网络,数据挖掘
列车自动防护系统的形式化建模与验证方法研究
熊锡娇
形式化方法,时间自动机,rCOS,模型检测,ATP
考虑偏好的网络数据可视化分析
许彦如
王长波
信息可视化、网络用户行为、行为偏好、情感模型
PTSC语言形式化语义的仿真设计
杨帆
形式化语义,语义连接,Prolog,Maude,PTSC
基于内容与结构的论文作者分析
张玮茗
学术论文,作者预测,排序学习,Ranksvm
面向不确定图的k最近邻查询
张旭
金澈清
不确定性数据,不确定图,k最近邻,kMinDist
面向室内环境的路径查询和成员查询
张一桢
移动数据管理,室内环境,图模型,限制性路径查询,空间成员查询
印刷体藏文识别研究
周纬
印刷体藏文识别,文字识别,特征提取,图像理解
心电图分类方法的改进与测试
朱江超
心电图,分类,支持向量机、形态特征
射频识别认证协议研究
朱恺捷
陈豪
射频识别,隐私,安全,CKK协议
MapReduce环境中基于列存储的一种高效的星型连接方法
祝海通
星型连接,列存储,HDbmp索引,分布式数据管理
基于语义网的软件工程数据查询处理技术研究
曹居易
语义网、软件工程数据、数据建模、查询处理
大规模集群上的连接处理与优化
常洞霞
连接,查询处理,查询优化,Map/Reduce,分布式计算
自动化DMARF系统的形式化需求规范及性质验证
丁洁琦
自动化,形式化方法,CSP,性质验证
失衡样本分类问题的自动过滤算法的研究
龚薇
机器学习,分类,失衡样本,SVM
海量遥感影像管理系统的设计与实现
黄飞鹏
元数据管理;
Hadoop;
海量遥感数据;
空间索引
基于多点触摸技术的人机交互研究
季红艳
琚小明
人机交互,多点触摸技术,触摸手势,手势识别框架
分布式概率Skyline查询研究
黎明江
不确定性数据,概率Skyline,通信代价
基于Hadoop的海量图像数据管理
李波
海量图像数据;
Hadoop;
并行算法;
MapReduce
海洋环境的高效建模与实时绘制技术研究
李晨辉
海洋环境、卷浪、海底绘制、实时交互、GPU加速
骨髓病理图像中细胞与骨小梁的识别与定位技术研究
李玲
曹桂涛
骨髓病理;
图像分割;
形态学;
细胞识别;
距离分布
基于JAVA语言的设计模式识别的研究与应用
苗康
关系演算;
设计模式;
UTP;
JAVA虚拟机;
属性检查
基于OSGi的汽车信息服务系统的应用研究
钱智浩
汽车信息服务系统,OSGi,动态服务,智能交通
生命特征信号分类若干方法的研究与应用
沈蜜
特征识别;
分类;
独立成分分析法;
支持向量机
自动化单元测试中的路径空间缩减的研究
孙涛
软件测试自动化单元测试路径空间缩减
蓝牙电子心音听诊器设计
汤洋
心音,蓝牙,听诊器,嵌入式系统
心音信号的分析方法研究
屠志海
心音信号,特征提取,心音分段,小波去噪,包络
Web服务编排语言的分析与测试
肖浩
Web服务组合,WS-CDL,关系演算,程序验证,符号执行,测试自动化
类图设计缺陷的检测研究
谢玲梅
姜宁康
软件工程
设计原则、软件度量、设计缺陷、缺陷检测
基于模型检查的系统程序的可靠性与安全性验证
徐震弘
模型检查,CBMC,MOPS,OpenSSH,形式化方法
运用机械臂的计算机书法创作系统设计与开发
薛环振
计算机书法,创作,机械臂,接口
UML模型与形式模型双向转换的研究
颜卫
杜育根
UML模型,形式模型,双向转换,逆向转换,形式化方法,UTP
基于动态符号执行的并行化测试数据自动生成
余啸
并行算法,自动化测试数据生成,符号执行
基于规则的论坛数据爬取与抽取一体化
张灿
Web数据管理,数据爬取,信息抽取,基于规则的信息抽取,在线论坛
基于CAN总线的汽车信息平台的数据获取
张剑武
汽车电子、CAN总线、USB-CAN适配器、Linux驱动
数字教室环境中电子书数字版权保护的应用研究
张兴超
刘献忠
数字互动教室,数字版权管理,电子书,数字出版平台,分发控制
基于格子Boltzmann的流体景观建模与快速绘制
张卓鹏
LatticeBoltzmann方法;
流体模拟;
图形处理器
数字互动教室无线传输功能的实现
赵录旗
数字互动教室,无线交互,交互式电子书包,C/S,HTTP协议。
基于PVS对SCADE开发轨交控制系统的形式化建模与验证
周佳铭
郭建
轨道交通,形式化方法,建模,验证,PVS,SCADE
大规模集群下XML关键字检索算法设计与实现
周梦婕
XML,关键字检索,Hadoop,HDFS,Map/Reduce
增强现实中动态纹理的识别与重建技术研究
周文玲
全红艳
动态纹理识别,光流,水平集,三维重建
多线程离散事件模拟语言在PVS中的建模与验证
朱罕
模型,形式化方法,定理证明和验证,统一程序理论,UTP,MDESL,PVS
心电图特征参数获取技术及其应用
朱侃杰
心电图、特征提取、峰值特征、边界点特征、多导联决策
交互式电子白板中白板模式的实现
蔡莉莉
交互式电子白板;
坐标转换;
虚拟毛笔模型
异构数据库同步模型的研究与实现
陈舒
异构数据库,同步,封锁
rCOS的操作语义及其在程序分析中的应用
冯利波
设计模式,性质检查,关系演算,操作语义
基于行为的Web服务相容性与可替换性研究
宫雪强
相容性、替换性、服务组合、进程代数、自动机
并行网络爬虫设计与实现
龚秋艳
并行网络爬虫,Map/Reduce,HttpClient,URL消重,DNS
交互式电子白板视频压缩技术研究与实现
顾晓祥
运动估计;
放大镜
基于电磁感应技术的交互式电子白板系统中坐标转换算法的研究
黄小辉
交互式电子白板;
坐标转换;
仿射变换;
透视变换;
单应性矩阵
声控遥控器设计与开发
蒋秀锋
语音识别,红外,数字信号处理器,LPCC,DTW
虚拟Web服务的研究与应用
李永钢
SOA;
虚拟Web服务;
语义Web服务;
服务匹配
基于动态纹理区域识别的增强现实关键技术研究
林俊隽
增强现实,动态纹理,速度,局部重建
对多项式不等式若干证明技术的研究
穆传东
多项式不等式,差分代换,正半定.
心电图常见疾病的统计模式识别分类方法的应用研究
童佳斐
特征;
贝叶斯分类;
支持向量机;
分类器组合
基于模型检测的动态协同服务间的一致性验证
谢越
SOA、服务协同、UML、模型检测、SPIN
书法碑帖文字的笔划提取技术及其实现
赵琪
书法,计算机模拟,笔划提取,轮廓恢复
心音信号的分析与分类方法研究
赵秀敏
心音;
去噪;
希尔波特-黄变换;
包络;
商业智能技术在客户服务中心CRM系统中的研究与实现
蔡嘉琳
2007
商业智能,客户关系管理,以客户数据为中心的数据仓库,数据挖掘,微软决策树算法
基于AT91RM9200和Linux的嵌入式系统平台的研究与设计
华晶
张惠娟
嵌入式LinuxARMAT91RM9200内核
蛋白质数据库去冗余程序的研究与开发
刘鹏飞
生物信息学;
图论;
代表序列;
去冗余;
Blast
面向IP的PSL重用设计方法研究
倪韬雍
性质规范语言,基于IP的设计,语义,重用
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 师大 软件 学院 历年 培养 研究生 学位 论文 情况