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