• 简体中文  | 
  • English
师资队伍
 
01/师资队伍

叶剑虹: 副教授、博士后、工学博士,硕士生导师,2015-2016年以访问学者身份在美国新泽西理工学院(New Jersey Institute of Technology, United States)访学一年,2012年至2015年在西安电子科技大学机电工程学院从事博士后研究,2006年至2009年在电子科技大学计算机科学与工程学院攻读计算机软件与理论专业博士学位2007年至2008年以国家公派联合培养博士身份赴荷兰艾因霍温理工大学(Eindhoven University of Technology, The Netherlands)学习一年,主持参与多项国家级、省市级科研项目,已发表论文20余篇,拥有丰富的教学及科研经验。欢迎有志读研的同学报名,在大数据、物联网方向上开展深入学习研讨。

联系方式:

Email: leafever@163.com;

Mobile: +86-15980780638

研究方向:

大数据中的进程挖掘、自动化生产系统中的监督控制研究。

研究生要求:

主要招收学生做大数据的挖掘算法研究,形式化建模与分析。培养方案分成两种:1.如果你希望研究生毕业后能够继续深造读博,我会在三年内安排你进行较深入的理论学习,并帮助你联系导师,推荐你到211,985高校读博;2.如果你希望研究生毕业后能够参加工作,我会在研究生学习前一阶段安排你完成一定的理论学习,后一阶段安排你进行一定的项目实训,使得你的整个研究生学习期间既能有一定的理论深度,又能够具备一定的实际动手能力同时在未来尽可能的为你推荐就业岗位。

近年来毕业研究生去向

2013级 冯良磊 自主创业浙江宁波小匠电子科技有限公司

2014级 龙章潮 浙核新同花顺网络信息股份有限公司(国内第一家互联网金融信息服务行业上市公司)

2015级 易科 拟就业中国船舶重工集团公司(武汉) 中国最大的造修船集团之一,上市公司


学术任职:

国际SCI期刊IEEE Transactions on Systems, Man, and Cybernetics: System、Information science审稿人;国内《软件学报》、《电子学报》、《计算机应用研究》审稿人担任过14届全国Petri网理论与应用学术年的分会场主席,承担2008IEEE 29th International Conference on Applications and Theory of Petri Net2017 IEEE International Conference on Robotics and Automation 国际会议的审稿人。现为IEEE会员中国计算机学会高级会员、中国自动化学会会员和Petri网专委会委员。

主持参与的项目:

基于流算子的Petri网动态性质研究》 华侨大学基本科研业务费 国家自然科学基金培育计划专项基金资助(JB-ZR1130);资助金额7;2011.05-2014.05;项目排名第一,在研

《大数据中的过程挖掘及安全监测机制研究》 华侨大学科技创新团队和领军人才支持计划项目《网络信息安全》(2014KJTD13)之子项目; 2015.01-2018.12;总项目资助金额200万元,子项目资助金额10; 子项目负责人,在研。

《基于动态规范和约束转换的Petri网控制器设计》国家自然科学基金61573158National Science Foundation of China under Grant no. 61573158);资助金额 65万;2016.01-2019.12;项目排名第三,在研。

《基于流算子的Petri网结构技术研究》 华侨大学科研启动基金项目(09BS514);资助金额4万;2009.12-2011.12;项目排名第一,结题。

《基于混合模式的流媒体调度技术研究》 厦门市科技局科技计划创新项目(3502Z20103027);资助金额10万;2010.09-2012.06;项目排名第一,结题。

《基于多主体认知逻辑模型检测的 Web服务组合验证》国家自然科学基金(61170028);资助金额 60万;2012.01-2015.12;项目排名第三,结题。

面向闽南优势农业的信息资源挖掘与集成服务平台研发》 福建省科技厅科技计划重大项目(2010N5008) ;资助金额 80万;2010.03-2013.03;项目排名第五,结题。

移动空间信息服务关键技术及其应用研究》 厦门德诺迈斯信息技术有限公司(44201201)2012.09-2015.12;资助金额10万;项目排名第二,结题。

移动公众平台的研发》厦门鑫科安安全系统有限公司(43201297)2012.08-2016.08;资助金额12万;项目排名第二,结题。

发表论文:

2017年

[1] Jianhong YE, Ke YI, and Zhiwu Li. Processing Mining from incomplete logs based on constraints. IEEE Transactions on Systems, Man, and Cybernetics: Systems.(SCI, Under the 1rd round of reviews ), 2017

[2] Jianhong YE, Mengchu Zhou, Zhiwu Li, and Adbulrahman Al-Ahmari. Structural Decomposition and Decentralized Control of Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems (SCI, Under the Proofreading stage). 2017

[3] 易科, 叶剑虹. 基于事件日志的资源社区挖掘. 控制理论与决策, 20172月投稿. (EI)

[4] 龙章潮, 叶剑虹, 易科. 柔性制造系统中混惑检测及控制. 小型微型计算机系统,录用,预计20175月出版

2016年

[5] 龙章潮, 叶剑虹, 宋文. 基于Petri 网的柔性制造系统混惑检测与控制. 计算机应用研究, 2016, 33(12).

2015年

[6] Jianhong YE, Zhiwu Li, and Alessandro Giua. Decentralized Supervision of Petri nets with a coordinator. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 2015,45(6):955-966. (SCI)

[7] 陈晓亮,蒋忠远,叶剑虹. 工作流网的混或检测和预防策略. 西安电子科技大学学报, 2015,42(2): 87-94.Preprinting (EI).

2014年之前

[8] Xiao-liang Chen, Zhong-yuan Jiang, and Jian-hong Ye Confusion Analysis and Detection for Workflow Nets,Discrete Dynamics in Nature and Society, 2014: 1-14. (SCI)

[9] 叶剑虹, 叶双. YAWLBPMN的双向映射研究.系统仿真学报2013,25(1):1-5+11.

[10] 叶剑虹, 叶双. 基于混合模式的流媒体缓存调度算法. 计算机科学.,2013,40(2): 61-64,83.

[11] 叶双, 叶剑虹, 刘传才. 分布式工作流管理系统中的一种资源搜索策略 . 计算机集成制造系统,2012,18(8):1719-1725. (EI)

[12] 叶双, 叶剑虹,刘传才.混合内容分发网络的流媒体监控系统研究与实现. 小型微型计算机系统. 2012,9:2008-2013.

[13] 叶双, 叶剑虹, 刘传才. 基于Petri网的关键路径求解算法. 计算机科学, 2012,39(6):201-203

[14] 叶双, 叶剑虹 宋文, 孙世新. YAWLBPMN的映射研究,厦门大学学报(自然科学版) , 2011, 50(4): 714-718.

[15] 叶剑虹, 叶双, 宋文, 孙世新. 基于增广Petri网的实时交通信号控制系统. 厦门大学学报(自然科学版)2011,50(1): 28-32.

[16] 叶剑虹, 叶双, 宋文, 孙世新. 基于TdPN的迷宫问题求解. 计算机科学. 2011,38(7): 240-242+260.

[17] 叶剑虹, 叶双. 带抑制弧Petri网极小活标识的配置. 华侨大学学报(自然科学版).2011, 32(5): 525-529.

[18] JianHong YE, Wen SONG. Transformation of YAWL Nets to BPMN Diagrams. Journal of Software, 2010, 5(4): 396-404. (EI)

[19] 叶剑虹, 宋文, 孙世新. 空标识可再生网的运算和性质分析. 计算机研究与发展,2009, 46(8): 1378-1385. (EI)

[20] 叶剑虹, 孙世新, 张运生, 周益明. 基于P2P的自组织网络路由算法研究. 计算机应用研究, 2009, 26(1): 3819 - 3823.

[21] 叶剑虹, 孙世新, 张运生, 周益明. Petri网与蚁群算法在CDN网络路由中的应用.计算机工程与应用, 2008, 44(19): 31 - 35.

[22] JianHong YE, ShiXin SUN, Lijie Wen and Wen SONG. Transformation of BPMN to YAWL. Proceedings of 2008 International Conference on Computer Science and Software Engineering (CSSE'2008), IEEE Computer Society, 2008, 2: 354-359. (EI)

[23] JianHong YE, ShiXin SUN, Wen SONG and LijieWen. The Operations and Properties of Reproducibility of the Empty Marking. Proceedings of International Conference on computational Intelligence and Security (CIS'2008), IEEE Computer Society, 2008, 1: 139-144. (EI)

[24] JianHong YE, ShiXin SUN, Wen SONG and Lijie Wen. Formal Semantics of BPMN Process Models using YAWL. Proceedings of 2008 International Symposium on Intelligent Information Technology Application (IITA'2008), IEEE Computer Society, 2008, 2: 70-74. (EI)

[25] 叶剑虹, 宋文, 孙世新. 基于逻辑电路的Petri网化简方法. 软件学报, 2007, 18(7): 1553 - 1562. (EI)

[26] 唐明伟, 宋文, 叶剑虹. 发送-接收问题的Petri网建模与验证, 电子科技大学学报, 2007, 36(6): 1457 – 1460(EI)

[27] 叶剑虹, 宋文, 孙世新. 结构活网极小标识的一个求解算法. 四川大学学报(自然科学版), 2006, 43(4): 783-786.

[28] 叶剑虹, 宋文, 孟永刚. 基于Petri 网的哲学家就餐问题的模拟与验证. 系统仿真学报增刊, 2005, 17: 211 - 212 + 215. (EI)