概述
代飛,男,博士,教授,
碩士生導師,博士生導師,雲南省萬人計畫“青年拔尖”人才,雲南省中青年學術和技術帶頭人後備人才,國家林業局森林生態大數據重點實驗室副主任,雲南省供應鏈管理區塊鏈工程研究中心副主任,雲南省高校生物多樣性大數據挖掘與套用重點實驗室主任,CCF昆明分部的監督委員會主席(2019-2022)、雲南省高等學校計算機科學與技術專業教學指導委員會秘書(2012-2016)、雲南省高等學校軟體工程專業教學指導委員會委員(2018-2022)、雲南省高等學校計算機科學與技術專業教學指導委員會委員(2018-2022)、CCF YOCSEF昆明分論壇學術秘書(2014-2016)和副主席(2016-2017)、中國計算機學會軟體工程專委會委員、中國計算機學會服務計算專委會委員。在《IEEE Internet of Things Journal》、《IEEE Transactions on Industrial Informatics》、《IEEE Transactions on Services Computing》、《Complexity》、《軟體學報》、《
計算機研究與發展》等期刊及會議發表學術論文70篇,其中,被SCI、EI檢索40餘篇,獲第9界Cloud Computing會議的最佳論文1篇;主持
國家自然科學基金項目2項、省部級項目7項;獲準
軟體著作權10餘項;授權發明專利共1項。主要研究領域為:服務計算、軟體工程、
業務流程管理、區塊鏈。
教育背景
(1)2008-9至2011-7,雲南大學,系統分析與集成,理學,導師:李彤
(3)2001-9至2005-7,雲南大學,軟體工程,工學
教學課程
1. 計算機科學與技術專業,本科生:《軟體工程》、《軟體測試》、《軟體過程》
3. 計算機技術專業,專業型碩士研究生:《軟體工程》、《形式化方法》
4. 系統科學專業,學術型研究生:《
系統科學概論》、《複雜系統建模與分析》。
2018年以來的主要學術論著
期刊論文:
1. Fei Dai, Hao Chen, Zhenping Qiang*, Zhihong Liang, Bi Huang, Leiguang Wang. Automatic Analysis of Complex Interactions in Microservice Systems. Complexity, 2020, Accepted. (SCI,中科院2區,IF=2.591)
2. Fei Dai, Qi Mo, Zhenping Qiang, Bi Huang WeiLi Kou, and Hongji Yang. A Choreography Analysis Approach for Microservice Composition in Cyber-PhysicalSocial Systems. IEEE Access, 2020, Accepted. (SCI,中科院2區,IF=4.098)
3. Fei Dai, Qi Mo, Tong Li, Bi Huang, Yongji Yang, Youjie Zhao.Refactoring Business Process Models with Process Fragments Substitution. Wireless Networks, 2020, Accepted. (SCI,中科院3區,IF=2.405)
4. Xiaolong Xu, Ruichao Mo,Fei Dai*, Wenmin Lin, Shaohua Wan, Wanchun Dou. Dynamic Resource Provisioning with Fault Tolerance for Data-Intensive Meteorological Workflows in Cloud. IEEE Transactions on Industrial Informatics, 2019, DOI: 10.1109/TII.2019.2959258.(SCI,中科院1區,IF=7.377)
5. Xiaolong Xu, Xihua Liu, Zhanyang Xu, Fei Dai*, Xuyun Zhang, Lianyong Qi. Trust-Oriented IoT Service Placement for Smart Cities in Edge Computing, IEEE Internet of Things Journal, 2019, DOI: 10.1109/JIOT.2019.2959124.(SCI,中科院1區,IF=9.515)
6. Qi Mo, Wei Song, Fei Dai*, Leilei Lin, Tong Li. Development of Collaborative Business Processes: A Correctness Enforcement Approach. IEEE Transactions on Services Computing, 2019, DOI: 10.1109/TSC.2019.2961346(SCI,中科院1區,IF=5.707)
7. Qi Mo,Fei Dai*, Da Liu, Jianglong Qin, Zhongwen Xie and Tong Li. Development of Private Processes: A Refinement Approach. IEEE Access, 2019, 7(1):31517-31534. doi: 10.1109/ACCESS.2018.2889715(WOS:000462859900001)(SCI,中科院2區,IF=4.098)
8. Qi Mo, Lirui Bai, Fei Dai*, Jianglong Qin, Zhongwen Xie, Tong Li. A Correctness Enforcement Approach for Collaborative Business Processes,IEEE Access, 2019, 7(1): 87069-87084. DOI: 10.1109/ACCESS.2019.2926097(WOS:000476872400001)(SCI,中科院2區,IF=4.098)
9. Xiaolong Xu, Hao Cao, Qingfan Geng, Xihua Liu,Fei Dai*, Chuanjian Wang. Dynamic Resource Provisioning for Workflow Scheduling under Uncertainty in Edge Computing Environment. Concurrency and Computation-Practice & Experience, 2020, DOI: 10.1002/cpe.5674. (CCF-C,SCI)
10. Xiaolong Xu, Renhao Gu, Fei Dai, Lianyong Qi, Shaohua Wan*. Multi-Objective Computation Offloading for Internet of Vehicles in Cloud-Edge Computing, Wireless Networks, DOI: 2019, 10.1007/s11276-019-02127-y. (SCI,中科院3區,IF=2.405)
11. Youjie Zhao, Xinyi Liu, Ran Guo, Kunrong Hu, Yong Cao*, Fei Dai*. Comparative genomics and transcriptomics analysis reveals evolution patterns of selection in the Salix phylogeny. BMC Genomics, 2019, 20(1):253. (SCI,中科院 2區,IF=3.501)(WOS:000460744000087)
12. Xiaolong Xu, Shucun Fu, Weimin Li, Fei Dai, Honghao Gao, Victor Chang. Multi-Objective Data Placement for Workflow Management in Cloud Infrastructure Using NSGA-II. IEEE Transactions on Emerging Topics in Computational Intelligence, 2019, Accepted.
13. 林雷蕾, 周華, 代飛*, 朱銳, 李彤. .一種從無“aba”模式的日誌中挖掘2度循環的方法.軟體學報, 2018, 29(11):3278-3294 (EI Accession number: 201903066377986)(CCF推薦中文期刊A類)
14. 代飛, 趙文卓, 楊雲, 莫啟, 李彤, 周華. BPMN2.0編排的形式語義和分析, 軟體學報, 2018, 29(4):1094-1114 (EI Accession number: 20182805531441) (CCF推薦中文期刊A類)
15. 代飛, 陳鳳強, 莫啟, 王煒, 李彤, 梁志宏. 一種保持編排與參與者間行為一致的映射方法, 軟體學報, 2018,29(5):1451-1470. (EI Accession number: 20182805536543) (CCF推薦中文期刊A類)
16. 莫啟, 代飛*, 朱銳, 笪建, 林雷蕾, 李彤. 從私有過程提取公共過程構建業務協同的方法, 計算機研究與發展, 2017, 54(9) :1892-1908. (EI Accession number: 20174504376856) (CCF推薦中文期刊A類)
17. 莫啟,
代飛, 朱銳, 笪建, 鄭明, 李彤, 林雷蕾, 戴翼超. 參與組織需求與協同業務過程一致性驗證方法[J].
計算機集成製造系統, 2018, 24(7):1608-1620. (EI Accession number: 20184406002061)
18. 莫 啟, 笪 建*, 代 飛, 朱 銳,林雷蕾,李 彤.正確性保證的私有過程建模方法, 電子學報, 2018, 46(10):2551-2560。(CCF推薦中文期刊A類)
19. 林雷蕾, 周華,
代飛*, 聞立傑. 莫啟. 一種挖掘二度循環的擴展Alpha算法,
計算機集成製造系統,2018, 24(3):591-601. (EI Accession number: 20183605782197)
20. 梁志宏,代飛*,曹鵬 ,黃宇翔,秦明明. 基於CUDA的Bezier曲線生成算法並行化研究,計算機科學與套用, 2018, 8(3), 354-365
國際會議論文:
1. Fei Dai, Miao Liu, Qi Mo, Bi Huang, Tong Li. Refactor Business Process models for Efficiency Improvement, CloudCom2019, Best Paper.(EI)
2. Zhenping Qiang, Libo He, Fei Dai. Identification of Plant Leaf Diseases Based on Inception V3 Transfer Learning and Fine-Tuning. In proceedings of the International Conference on Smart City and Informatization on Smart City and Informatization, 1122:118-127, 2019.(EI)
3. Jinmei Yang, Penggui Huang, Fei Dai, Yongke Sun, Leiguang Wang, Huang Bi*. Application of Deep Learning in Wood Classification. In Proceedings of the International Conference on Computer Science and Educational Informatization, 2019, 124-129.
4. Zhenping Qiang, Fei Dai, Hong Lin, Yueyu Dong. Research on the Course System of Data Science and Engineering Major. In Proceedings of the International Conference on Computer Science and Educational Informatization, 2019, 90-93.
5. Qingyi Kang, Yong Yu, Fei Dai*. Automatic Recognition of Business Process Images. In Proceedings of the International Conference on Computer Science and Educational Informatization, 2019, 104-113.
6. Ruiqiong Wu, Qing Duan, Fei Dai*. Realizability of BPMN 2.0 Choreography using CSP#. In Proceedings of the International Conference on Computer Science and Educational Informatization, 2019, 118-123.
7. Ruiqiong Wu, Qing Duan, Fei Dai, Hongji Yang, Yi Zhang and Biseng Xie. Research on the Realizability of Microservice Interaction Contract Based on CSP#. 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), Milwaukee, WI, USA, 2019, pp. 622-627.doi: 10.1109/COMPSAC.2019.10277(CCF-C類會議)
授權發明專利與軟體著作權
1. 代飛,陳鳳強 ,趙文卓,莫啟.一種基於Petri網的挖掘WS-CDL編排並行性的方法,中國,ZL201510845886.4, 已授權,2019.4.2
2. 基於深度學習的木材識別軟體V1.0”,獲軟體著作權登記證書,登記號: 2019SR1291338,著作權人為:楊金梅,
代飛, 黃鵬桂, 劉國志,
西南林業大學。
3. “Peer映射工具軟體”,獲軟體著作權登記證書,登記號: 2016SR24270,著作權人為:陳鳳強,代飛,林雷蕾,莫啟,楊雲
4. “BPMN 2.0編排的暢通性檢測工具”,獲軟體著作權登記證書,登記號: 2016SR24270,著作權人為:趙文卓,代飛,林雷蕾,莫啟,王亞博
6. “編排及編排實現等價檢驗工具軟體”,獲軟體著作權登記證書,登記號: 2019SR0357436,著作權人為:西南林業大學
7. “參與者異步並發組合工具軟體”,獲軟體著作權登記證書,登記號: 2019SR0357426,著作權人為:西南林業大學
8. “編排映射為參與者工具軟體”,獲軟體著作權登記證書,登記號: 2019SR0357478,著作權人為:西南林業大學
主要科研項目
1. 2019年7月-2022年6月,雲南省高校生物多樣性大數據挖掘與套用重點實驗室,縱向,主持人代飛,排名第一,
雲南省教育廳,經費90萬元,項目在研
2. 2018年10月-2021年9月,雲南省套用基礎研究計畫項目“過程感知信息系統的業務過程模型重構技術研究”(2018FB105),縱向,主持人代飛,排名第一,
雲南省科技廳,批准經費10萬元,項目在研
3. 2018年1月-2020年12月,
國家自然科學基金項目“業務過程模型的重構技術研究”(61702442),縱向,主持人代飛,排名第一,國家自然科學青年基金,批准經費20萬元,項目在研
4. 2015年1月-2018年12月,國家自然科學基金項目“過程感知信息系統的跨組織業務過程建模與分析研究”(61462095),縱向,主持人代飛,排名第一,國家自然科學地區基金,批准經費44萬元,結題
5. 2016年11月-2019年11月,雲南省軟體工程重點實驗室開放基金面上項目“BPMN 2.0 中編排與公共流程間的垂直對齊研究”(2017SE201),縱向,主持人代飛,排名第一,雲南省軟體工程重點實驗室,批准經費5萬元,結題
6. 2016年10月-2019年9月,雲南省套用基礎研究計畫項目“過程編排定義和可實現性研究”(2016FB102),縱向,主持人代飛,排名第一,
雲南省科技廳,批准經費10萬元,實際到校經費10萬元,結題
7. 2016年10月-2019年9月,雲南省軟體工程重點實驗室專項研究項目“面向交通大數據的高效物流原型系統”(2016SE202),縱向,主持人代飛,排名第一,雲南省軟體工程重點實驗室,批准經費6萬元,結題
8. 2015年11-2018年10月,第十八批雲南省中青年學術和技術帶頭人後備人才培養經費(2015HB008),主持人代飛,排名第一,雲南省科技廳,批准經費6萬元,結題
9. 2014年6月-2017年6月,第五批雲南大學“中青年骨幹教師培養計畫”(XT412003),縱向,主持人代飛,排名第一,雲南大學,批准經費8萬元,結題
10. 2012年10月-2015年9月,雲南省套用基礎研究計畫項目“軟體過程實施的偏離診斷與處理方法研究”(2012FD005),縱向,主持人代飛,排名第一,雲南省科技廳,批准經費6萬元,結題
主要學術任職
·中國計算機學會軟體工程專委會委員
·中國計算機學會軟體工程專委會委員
·CCF昆明分部的監督委員會主席(2019-2022)
·雲南省高等學校計算機科學與技術專業教學指導委員會秘書(2012-2016)
·雲南省高等學校
軟體工程專業教學指導委員會委員(2018-2022)
·雲南省高等學校計算機科學與技術專業教學指導委員會委員(2018-2022)
·CCF YOCSEF昆明分論壇學術秘書(2014-2016)和副主席(2016-2017)
·2020 International Conference on Blockchain and Trustworthy Systems, Track: Blockchain, micro service and edge computing的主席
·第十五屆全國軟體與套用學術會議(NASAC2016)組織委員會主席
·第6、7、8和9界中國業務過程管理大會程式委員會委員
·《計算機學報》、《軟體學報》、《計算機科學》、《
計算機科學與探索》的期刊審稿人。