头像

蒲飞

博士 副教授 | 硕士生导师

学科： 计算机科学与技术

职务：

研究中心：

导师类别： 硕士生导师

毕业院校： 中国科学院数学与系统科学研究院

办公电话：

地址：

邮编：

邮箱： 1150636618@qq.com
  • 个人简介
  • 开授课程
  • 科研成果
  • 教学成果
  • 其他

个人简介

博士、副教授、硕士生导师，中国计算机学会（CCF）会员。中科院数学与系统科学研究院计算机科学与技术专业博士，中科院计算机科学国家重点实验室博士后，澳大利亚西悉尼大学Research Fellow。

研究方向

大数据分布式计算，知识图谱、自然语言处理、跨模态检索、数据挖掘

社会服务领域

教育经历

  • 硕士研究生, 湖南大学, 硕士

  • 博士研究生, 中国科学院数学与系统科学研究院, 博士

工作经历

学术兼职

荣誉及奖励

研究生课程

本科生课程

  • 数据仓库和数据挖掘,本科生,2013-2014,第一学期,1,15,0,30

  • 课程设计(软件质量与测试),本科生,2011-2012,第一学期,19,19,0,1

  • 数据库原理,本科生,2009-2010,第二学期,1,16,0,48

  • 软件项目管理,本科生,2013-2014,第二学期,1,15,0,45

  • Python程序设计与实践,本科生,2014-2015,第二学期,1,15,1,30

  • 软件项目管理,本科生,2011-2012,第二学期,1,17,31,51

  • 软件需求工程(英),本科生,2012-2013,第一学期,1,16,30,32

  • 软件项目管理,本科生,2013-2014,第二学期,1,15,0,45

  • 软件需求工程(英),本科生,2010-2011,第一学期,1,15,0,30

  • 数据库原理,本科生,2012-2013,第一学期,1,17,66,51

  • 数据仓库和数据挖掘,本科生,2013-2014,第一学期,1,15,0,30

  • 软件需求工程(英),本科生,2010-2011,第一学期,1,15,0,30

  • 数据库原理,本科生,2012-2013,第一学期,1,17,66,51

  • Python程序设计与实践,本科生,2014-2015,第二学期,1,15,1,30

  • 数据库原理,本科生,2010-2011,第一学期,1,16,0,48

  • 数据库原理(管工),本科生,2014-2015,第一学期,1,16,34,48

  • 软件项目管理,本科生,2011-2012,第一学期,1,9,0,45

  • 课程设计(数据库应用)(管工),本科生,2014-2015,第一学期,19,19,34,1

  • 多媒体设计与制作,本科生,2019-2020,第一学期,1,10,28,30

  • 课程设计(数据库应用),本科生,2009-2010,第二学期,19,19,0,1

  • 课程设计(数据库应用)(管工),本科生,2015-2016,第一学期,19,19,34,1

  • 数据仓库和数据挖掘,本科生,2013-2014,第二学期,1,15,1,30

  • 软件需求工程(英),本科生,2009-2010,第一学期,1,16,0,32

  • 数据库原理,本科生,2010-2011,第二学期,1,16,0,48

  • 数据库原理(管工),本科生,2015-2016,第一学期,1,16,35,48

  • 数据库原理,本科生,2012-2013,第一学期,1,17,37,51

  • 软件需求工程(英),本科生,2009-2010,第一学期,1,16,0,32

  • 软件需求工程(英),本科生,2013-2014,第一学期,1,15,35,30

  • 软件需求工程(英),本科生,2013-2014,第一学期,1,15,35,30

  • 软件需求工程(英),本科生,2012-2013,第一学期,1,16,30,32

  • 数据库原理,本科生,2009-2010,第二学期,1,16,0,48

  • 数据库原理,本科生,2010-2011,第二学期,1,16,0,48

  • 毕业实习,本科生,2012-2013,第一学期,15,20,0,36

  • 数据仓库和数据挖掘,本科生,2014-2015,第二学期,1,15,3,30

  • 数据库原理(管工),本科生,2013-2014,第一学期,1,16,74,48

  • 软件项目管理,本科生,2011-2012,第一学期,1,9,0,45

  • 课程设计(数据库应用),本科生,2010-2011,第二学期,19,19,0,1

  • 多媒体设计与制作,本科生,2019-2020,第一学期,1,10,33,30

  • 数据库原理(管工),本科生,2013-2014,第一学期,1,16,74,48

  • 课程设计(数据库应用),本科生,2012-2013,第一学期,19,19,33,1

  • 多媒体设计与制作,本科生,2015-2016,第一学期,1,10,0

  • 数据仓库和数据挖掘,本科生,2014-2015,第一学期,1,15,0,30

  • 课程设计(数据库应用),本科生,2011-2012,第二学期,19,19,3,1

  • Python程序设计与实践,本科生,2017-2018,第一学期,1,15,37,30

  • 课程设计(数据库应用)(管工),本科生,2013-2014,第一学期,19,19,37,1

  • 数据采集与网络爬虫,本科生,2021-2022,第二学期,1,16,40,48

  • 数据科学工程实践,本科生,2021-2022,第二学期,1,16,30,64

  • 数据科学基础,本科生,2016-2017,第二学期,1,15,18,45

  • 数据科学工程实践,本科生,2018-2019,第二学期,1,15,17,60

  • Python程序设计与实践,本科生,2016-2017,第二学期,1,16,35,32

  • Hadoop与Spark开发技术,本科生,2021-2022,第一学期,1,16,69,48

  • Hadoop与Spark开发技术,本科生,2020-2021,第一学期,1,15,20,45

  • 课程设计(数据库应用),本科生,2016-2017,第一学期,19,19,37

  • Hadoop与Spark开发技术,本科生,2021-2022,第一学期,1,16,69,48

  • 面向对象程序设计(Java),本科生,2022-2023,第一学期,1,16,37,48

  • Hadoop与Spark开发技术,本科生,2018-2019,第一学期,1,15,18,45

  • Hadoop与Spark开发技术,本科生,2019-2020,第一学期,1,15,21,45

  • 大数据与知识工程,本科生,2015-2016,第二学期,1,15,45,45

  • Hadoop与Spark开发技术,本科生,2017-2018,第一学期,1,15,18,45

  • Python程序设计与实践,本科生,2016-2017,第一学期,1,15,40,30

  • 数据科学工程实践,本科生,2019-2020,第二学期,1,15,17,60

  • 大数据与知识工程,本科生,2015-2016,第二学期,1,15,46,45

  • Python程序设计与实践,本科生,2017-2018,第二学期,1,16,37,32

  • 面向对象程序设计(Java)实验,本科生,2022-2023,第一学期,4,14,39,33

  • 大数据与知识工程,本科生,2015-2016,第二学期,1,15,46,45

  • JAVA程序设计实验,本科生,2019-2020,第一学期,3,12,43,30

  • Python程序设计与实践,本科生,2016-2017,第二学期,1,16,36,32

  • 计算机大类专业导论,本科生,2022-2023,第一学期,1,16,47,48

  • 大数据与知识工程,本科生,2015-2016,第二学期,1,15,46,45

  • 数据挖掘基础,本科生,2017-2018,第一学期,1,15,19,45

  • 数据科学工程实践,本科生,2019-2020,第二学期,1,15,17,60

  • 面向对象程序设计(Java)实验,本科生,2021-2022,第一学期,4,14,62,33

  • Hadoop与Spark开发技术,本科生,2017-2018,第一学期,1,15,18,45

  • 面向对象程序设计(Java)实验,本科生,2022-2023,第一学期,4,14,39,33

  • 软件需求工程,本科生,2016-2017,第一学期,1,15,71,30

  • 大数据与知识工程,本科生,2016-2017,第二学期,1,15,76,45

  • 面向对象程序设计(Java),本科生,2022-2023,第一学期,1,16,37,48

  • Python程序设计与实践,本科生,2018-2019,第二学期,1,16,45,32

  • 数据科学工程实践,本科生,2020-2021,第二学期,1,15,25,60

  • Hadoop与Spark开发技术,本科生,2021-2022,第一学期,1,16,29,48

  • 计算机大类专业导论,本科生,2021-2022,第一学期,1,16,43,48

  • Hadoop与Spark开发技术,本科生,2020-2021,第一学期,1,15,20,45

  • 数据挖掘基础,本科生,2017-2018,第一学期,1,15,19,45

  • 大数据与知识工程,本科生,2016-2017,第二学期,1,15,76,45

  • 软件需求工程,本科生,2016-2017,第一学期,1,15,71,30

  • 计算机大类专业导论,本科生,2020-2021,第一学期,9,12,44,48

  • 数据科学工程实践,本科生,2021-2022,第二学期,1,16,30,64

  • 大数据与知识工程,本科生,2015-2016,第二学期,1,15,45,45

  • Hadoop与Spark开发技术,本科生,2021-2022,第一学期,1,16,29,48

  • 面向对象程序设计(Java)实验,本科生,2021-2022,第一学期,4,14,62,33

  • 面向对象程序设计(Java),本科生,2021-2022,第一学期,1,16,58,48

  • 计算机大类专业导论,本科生,2018-2019,第一学期,8,8,36,15

  • 数据科学基础,本科生,2016-2017,第二学期,1,15,18,45

  • 数据科学工程实践,本科生,2020-2021,第二学期,1,15,25,60

  • 大数据与知识工程,本科生,2016-2017,第二学期,1,15,76,45

  • 面向对象程序设计(Java),本科生,2020-2021,第一学期,1,16,39,48

  • Hadoop与Spark开发技术,本科生,2022-2023,第一学期,1,16,70,48

  • Hadoop与Spark开发技术,本科生,2019-2020,第一学期,1,15,21,45

  • 数据科学工程实践,本科生,2017-2018,第二学期,1,15,18,60

  • 面向对象程序设计(Java),本科生,2021-2022,第一学期,1,16,58,48

  • 面向对象程序设计(Java)实验,本科生,2020-2021,第一学期,3,13,37,33

  • 计算机大类专业导论,本科生,2019-2020,第一学期,17,18,44,32

  • 数据科学工程实践,本科生,2017-2018,第二学期,1,15,18,60

  • 面向对象程序设计(Java),本科生,2022-2023,第一学期,1,16,37,48

  • 面向对象程序设计(Java),本科生,2020-2021,第一学期,1,16,39,48

  • Hadoop与Spark开发技术,本科生,2022-2023,第一学期,1,16,42,48

  • Hadoop与Spark开发技术,本科生,2020-2021,第一学期,1,16,38,48

  • 面向对象程序设计(Java)实验,本科生,2022-2023,第一学期,4,14,39,33

  • 数据采集与网络爬虫,本科生,2020-2021,第二学期,1,15,18,45

  • 面向对象程序设计(Java)实验,本科生,2020-2021,第一学期,3,13,37,33

  • Hadoop与Spark开发技术,本科生,2022-2023,第一学期,1,16,42,48

  • Hadoop与Spark开发技术,本科生,2022-2023,第一学期,1,16,70,48

  • 数据采集与网络爬虫,本科生,2021-2022,第二学期,1,16,40,48

  • 课程设计(数据库应用),本科生,2018-2019,第一学期,18,18,27,15

  • Java程序设计,本科生,2019-2020,第一学期,1,15,44,45

  • Hadoop与Spark开发技术,本科生,2018-2019,第一学期,1,15,18,45

  • Python程序设计与实践,本科生,2018-2019,第二学期,1,16,44,32

  • 课程设计(数据库应用),本科生,2018-2019,第一学期,18,18,26,15

  • 数据科学工程实践,本科生,2018-2019,第二学期,1,15,17,60

  • 数据采集与网络爬虫,本科生,2022-2023,第二学期,1,16,0,48

  • 数据科学工程实践,本科生,2022-2023,第二学期,1,16,0,32

  • 数据科学工程实践,本科生,2022-2023,第二学期,1,16,0,32

  • 数据采集与网络爬虫,本科生,2022-2023,第二学期,1,16,0,48

发表论文


  • Jie Cui*, Fei Pu*, and Bailin Yang. Dual-dimensional Refinement of Knowledge Graph Embedding Representation, Proceeding of the 16th International Conference on Knowledge Science, Engineering and Management (KSEM 2023), Lecture Notes in Computer Science, 2023.

  • Fei Pu, Zhongwei Zhang, Yan Feng, et al. Learning Context-based Embeddings for Knowledge Graph Completion, Journal of Data and Information Science, 2022, 7(2), 84–106.

  • Fei Pu, Bailin Yang, Jianchao Ying, et al. A Contextualized Entity Representation for Knowledge Graph Completion, Proceeding of the 13th International Conference on Knowledge Science, Engineering and Management (KSEM 2020), Lecture Notes in Computer Science, vol 12274，77-85.

  • Fei Pu, Wenhui Zhang. Bounded Correctness Checking of the Universal Fragment of eCTL. Frontiers in Artificial Intelligence and Applications, 2017: 326-333.

  • Fei Pu. Locally Weighted Support Vector Clustering, 3rd IEEE International Conference on Computer and Communications (ICCC 2017), 2252-2256.

  • Fei Pu. Bounded Correctness Checking for Knowledge with eCTLK. 5th International Conferenc on Geo-Spatial Knowledge and Intelligence (GSKI 2017), Communications in Computer and Information Science, vol 848, 480-491.

  • Fei Pu, Wenhui Zhang. Combining search space partition and abstraction for LTL model checking. Science China - Series F: Information Sciences, 2007, 51(6): 793-810.

  • 蒲飞, 陆维明, 宋文. 共享合成Petri网系统的语言递归性与系统活性, 软件学报, 2004, 15(03): 317-326.

    蒲飞, 陆维明. 同步合成Petri网系统活性与无死锁性的保持性, 软件学报, 2003, (12): 1977-1988.

  • 蒲飞, 张文辉. 结合搜索空间划分和抽象进行LTL模型检测, 中国科学E辑：信息科学, 2007, 37(12), 1504-1520.

  • 应坚超, 蒲飞, 徐晨鸥, 等. 基于互逆与对称关系补全的知识图谱数据扩展方法[J]. 西南大学学报（自然科学版）, 2020, 42(11): 43-51.

  • 蒲飞, 陆维明. 同步合成 Petri 网系统可回复性的保持性, 系统工程理论与实践, 2005, 25(10), 83-94.

  • Fei Pu, Wenhui Zhang. Partition Refinement in Abstract Model Checking, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering(TASE 2007), 209-218.

  • Fei Pu, Wenhui Zhang. LTL Model Checking via Search Space Partition,Sixth International Conference on Quality Software (QSIC 2006), 418-428.

  • Fei Pu, Wenhui Zhang, Shaochun Wang. An Improved Case-Based Approach to LTL Model Checking. Second International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005), Lecture Notes in Computer Science, vol 3943, 190-202.




纵向科研


  • 基于人工智能的数字诊疗设备及系统研发-基于生长规律与多源组学的肺亚实性结节个性化智能诊疗系统研发,2022-01-01至2024-12-31,浙江省科技厅

  • 浙江省科技特派员服务云平台建设关键技术研究与示范,2020-01-01至2022-12-31,浙江省科技厅

  • 智能政务开放创新服务平台开发及应用示范--智慧司法关键技术研究与应用示范,2018-09-01至2021-12-05,浙江省科技厅

  • 工业互联网数据保护与信息安全关键技术研究及应用-面向工业互联网安全的数据保护与应急指挥关键技术及应用研究,2019-12-06至2022-12-31,浙江省科技厅

  • 面向反例解释的可信软件错误诊断研究,2013-01-01至2015-12-31, 浙江省自然科学基金委

  • 反例导向的可信软件错误检测与定位,2010-09-08至2012-05-31, 中科院软件所

  • 网络学习社区用户的知识传播与接受研究,2017-06-30至2022-03-21,全国哲学社会科学规划办公室

  • 基于经验加权学习机制的谈判策略演化研究，2017-06-28至2019-12-31,浙江省教育厅

  • 基于现货体验分享的预售机制建模与策略演化研究,2018-07-31至2021-06-30,国家教育部


横向科研

出版专著

软件成果

专利

  • 基于对称和互逆关系统计的知识图谱数据扩展方法,3,国内发明专利,授权,202010848473.2,20220426,计算机与信息工程学院

教学论文

教学项目

出版教材

教学奖励

其他

手机扫描二维码

即可访问本教师主页

总访问量：10
11:18