98858威尼斯

Close

李薛剑


发表日期:2020-07-06 供稿:


导师简介


姓名:李薛剑

性别:男

出生年月:19817

导师类别:硕导

专业技术职称:高级实验师

招生专业代码及名称:

0812计算机科学与技术 0854电子信息 0835软件工程

研究方向:高可信软件,程序分析与验证,高性能计算

Email:lxj@ahu.edu.cn

个人简介

1999/09 - 2003/07,安徽大学,计算机科学与技术专业,学士;

2006/09 - 2009/07,安徽大学,计算机科学与技术学院,硕士,导师: 李龙澍教授;

2010年起,师从中国科学技术大学陈意云教授,开展程序分析与验证、计算机语言方向的研究;

2011/11 - 2017/12,安徽大学,计算机科学与技术学院,讲师;

2015/07 - 2015/12,科大国创软件股份有限公司高可信软件工程中心,软件研发工程师;

2016/09 - 2017/07,中国科技大学,计算机软件与理论专业,访问学者,导师:陈意云教授,冯新宇教授;

2018/12 - 至今,安徽大学,计算机科学与技术学院,高级实验师.

科研成果

一、论文

(1) 孙科,罗奇鸣,李薛剑,陈意云安全C语言验证器中形状系统的形状检查方法小型微型计算机系统. 2019,40(1):133-140.

(2)常欢,罗奇鸣,李薛剑,陈意云.一种基于栈区内存模型的C程序别名判断算法.小型微型计算机系统. 2019,40(2):353-358.

(3) 李薛剑*,雷政一种对集群回填作业调度改进的RB_HAR策略实验室研究与探索. 2018,37(9):126-130.

(4) 李薛剑*,刘梦雅,海健强等基于时间效应与隐语义模型的高校图书馆的个性化推荐研究计算机应用与软件. 2018,35(5):130-134.

(5) 李薛剑*,胡月月面向集群的系统性能可视化监控平台研究实验室研究与探索.2018,37(3):127-130.

(6) 李薛剑*. 部分冗余删除的证明变换研究小型微型计算机系统. 2017,38(1):15-19.

(7) 李薛剑*,李凯一种基于动态优先级的RQ作业调度算法小型微型计算机系统. 2017,38(1):124-128.

(8) 王玮,李薛剑*. 面向移动 APP 的高性能计算作业监控系统计算机应用与软件.2017,34(7):171-175.

(9) 李薛剑*,罗京. 3D_EW 在 MIC 并行编程中的移植与实现研究实验室研究与探索.2017,36(4):123-126.

(10) 李薛剑*,陈豪基于DTPS算法的异构集群优化策略实验室研究与探索. 2016,35(3):126-129.

二、发明专利

(1) 方贤勇,曹明军,李薛剑,孙恒飞,傅张军一种改进的运动目标检测VIBE算法. 201810498273. 实审.

(2) 方贤勇,张晶晶,李薛剑,孙恒飞,傅张军适用于视频图像中显著人体实例分割的方法. 201810498274. 实审.

(3) 方贤勇,丁成,汪粼波,王华彬,周健,李薛剑基于显著性的图像局部:觳夥椒. 201810498275. 实审.

三、软件著作权

(1) 安徽大学,高校图书馆个性化推荐系统,2017年;

(2) 安徽大学,高性能计算集群作业状态监控系统APP,2016年;

(3) 安徽大学,防雷监控平台系统,2014年;

(4) 安徽大学,图书编篡业务平台系统,2012年。

在研项目

(1)培训基地业务智能化信息管理平台,企业委托开发项目

(2)视频异常事件检测技术研究与系统开发,企业委托开发项目

(3)智慧监所实战平台开发,企业委托开发项目

获奖情况

指导学生参加ASC17大学生超级计算机竞赛获二等奖.


98858威尼斯-威尼斯城所有登入网址