本科生课程：《企业物流管理》、《系统集成技术》

研究生课程：《企业建模理论与方法》 

社会/学术兼职：

《物流技术与应用》助理主编。

IEEE Senior Member，中国计算机学会高级会员，中国自动化学会会员。

Member of IEEE Technical Committees on Automation in Logistics，中国计算机学会服务计算专业委员会委员，中国自动化学会网络信息服务专业委员会委员。

近20次担任了国内或国际学术会议的程序委员会委员(PC Member)，具体包括：IEEE International Conference on Advanced and Trusted Computing (ATC)、Asia-Pacific Services Computing Conference (APSCC)、International Conference on Service Science (ICSS)、中国业务过程管理大会(CBPM)、中国计算机学会服务计算学术会议(CCF NCSC)，等等。另外，担任了多个国内外重要学术期刊的审稿人，国家自然科学基金信息学部的通讯评议人。

教育经历：

1996.09-2000.07   郑州大学          计算机软件专业，学士

2000.09-2003.07   郑州大学          计算机软件与理论专业，硕士

2003.09-2006.06   中国铁道科学研究院   交通运输规划与管理专业，博士

工作经历：

2006.07-2008.06   清华大学自动化系，博士后

2008.07-2013.09   3777金沙娱场城物流工程系，讲师

2013.10至今      3777金沙娱场城物流工程系，副教授

代表性论著：

先后主持完成了包括国家自然科学基金项目(面上项目、青年基金)，北京市自然科学基金项目，中国博士后基金项目和中央高校基本科研业务费资助项目等纵向课题。已经在国内外重要权威期刊和会议上发表或录用60余篇论文，包括《IEEE Transactions on Industrial Informatics》(大区小区都是中科院1区，2020年最新IF>10)、《IEEE Transactions on Dependable and Secure Computing》(CCF A类)、《IEEE Transitions on Automation Science and Engineering》、《IEEE Transactions on Engineering Management》等国外高水平期刊；以及《机械工程学报》、《软件学报》、《电子学报》、《系统工程理论与实践》等国内重要权威期刊。

论文研究成果多次受到包括多名中国科学院/工程院院士、欧洲科学院院士、加拿大工程院院士、新西兰皇家学会院士、IEEE Fellow、权威期刊编辑在内的国内国际同行的引用以及正面评价。

近年来，部分重要代表性论著如下(本人为第一作者或通讯作者，其中*表示通讯作者)：

[1] Helan Liang, Bincheng Ding, Yanhua Du*, Fanzhang Li. Parallel Optimization of QoS-aware Big Service Processes with Discovery of Skyline Services. Future Generation Computer Systems (FGCS), 2021, 125: 496-514.

[2] Yanhua Du, Yang Wang, Benyuan Yang, Hesuan Hu*. Analyzing Security Requirements in Timed Workflow Processes. IEEE Transactions on Dependable and Secure Computing (TDSC), Online DOI: 10.1109/TDSC.2020.2975163.

[3] Yanhua Du, Na Li, Hesuan Hu*. Self-Adaptive Execution of Data-aware Workflow Processes. IEEE Transactions on Industrial Informatics (TII), 2020, 16(12): 7295-7305.

[4] Yanhua Du, Li Wang, Gege Mu, Xitong Li*. Dynamic Monitoring of Service Outsourcing for Timed Workflow Processes. IEEE Transactions on Engineering Management (TEM), 2019, 66(4): 715-729.

[5] Yanhua Du*, Ze Yu, Benyuan Yang, Yang Wang. Modeling and Simulation of Time and Value Throughputs for Data-aware Workflow Processes. Journal of Intelligent Manufacturing (JIM), 2019, 30(6): 2355-2373.

[6] Yanhua Du, Benyuan Yang, Hesuan Hu*. Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes with Dynamic Changes. IEEE Transactions on Industrial Informatics (TII), 2019, 15(5): 2617-2627.

[7] Helan Liang, Yanhua Du*, Ting Jiang, Fanzhang Li. A Comprehensive Multi-objective Approach of Service Selection for Service Processes with Twofold Restrictions. Future Generation Computer Systems (FGCS), 2019, 92: 119-140.

[8] Yanhua Du, Benyuan Yang, Hesuan Hu*. Model Checking of Timed Compatibility for Mediation-Aided Web Service Composition: A Three Stage Approach. Expert Systems with Applications (ESWA), 2018, 112: 190-207.

[9] Helan Liang, Yanhua Du*, Fanzhang Li. Business Value-Aware Task Scheduling for Hybrid IaaS Cloud. Decision Support Systems (DSS), 2018, 112: 1-14.

[10] Helan Liang, Yanhua Du*. Dynamic Service Selection with QoS Constraints and Inter-service Correlations Using Cooperative Coevolution. Future Generation Computer Systems (FGCS)，2017, 76: 119-135.

[11] Yanhua Du, Li Wang, Xitong Li*. Analyzing Degree of Parallelism for Concurrent Timed Workflow Processes with Shared Resources. IEEE Transactions on Engineering Management (TEM), 2017, 64(1): 42-56.

[12] Yanhua Du, Wei Tan*, MengChu Zhou. Timed Compatibility Analysis of Web Service Composition: A Modular Approach based on Petri nets. IEEE Transactions on Automation Science and Engineering (TASE), 2014, 11(2): 594-606.

[13] Yanhua Du*, Xitong Li, PengCheng Xiong. A Petri Net Approach to Mediation-aided Composition of Web Services. IEEE Transactions on Automation Science and Engineering (TASE), 2012, 9(2): 429-435.

[14] Yanhua Du, Pengcheng Xiong*, Yushun Fan, Xitong Li. Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (TSMCA), 2011, 41(6):1166-1181.

[15] Yanhua Du*, Benyuan Yang, Wei Tan. A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services. The 22nd IEEE International Conference on Web Services (ICWS 2015), June 27- July 2, 2015, New York, USA: 567-574.

[16] 杜彦华*, 于泽. 时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理. 系统工程理论与实践. 2016, 36(8): 2108-2126.

[17] 杜彦华*, 王啸飞, 吴秀丽, 范玉顺. 服务流程动态分割执行中的时序一致性的实时验证, 计算机集成制造系统, 2012, 18(6): 1315-1326.

[18] 杜彦华*, 吴秀丽, 钱程, 刘春煌. 基于科学工作流的铁路行车安全评价系统研究. 铁道学报. 2012, 34(12): 76-82.

[19] 杜彦华*, 范玉顺. 资源约束下多过程的不确定时间建模与分析. 机械工程学报, 2010(04): 169-176.

[20] 杜彦华*, 范玉顺. 工作流多过程动态时序一致性的实时模型检测, 机械工程学报, 2010, 46(2): 185-191.

近年来，部分代表性纵向科研项目如下(本人为主持人)：

(1) 国家自然科学基金-面上项目(61473035), 云计算环境下时序感知服务流程的动态适配与运行保障研究. 2015-2018.

(2) 国家自然科学基金-青年科学基金项目(61004109), 企业协同中服务流程的适配分析、动态验证与性能评价研究. 2011-2013. 

(3) 北京市自然科学基金-预探索项目(4133087), 时序约束下服务流程的兼容性分析、动态监测及异常处理研究. 2013.01-2014.06.

(4) 中国博士后基金, 工作流的不确定性时间建模与分析研究. 2007-2008.

成果与荣誉:

(1) 2019.01 3777金沙娱场城2017-2018学年“优秀本科生班导师”荣誉称号；

(2) 2013.10 3777金沙娱场城2011-2013年度“优秀共产党员”荣誉称号；

(3) 2013.05 指导学生参加“安吉杯”第四届全国大学生物流设计大赛，获得一等奖；

(4) 2011.12 讲授的《企业物流管理》课程获得3777金沙娱场城免检课堂称号；

(5) 2005.03 中国铁道学会科技优秀论文一等奖。

在人才培养方面，已经毕业了10多名硕士研究生，主要从事互联网或国企总部的信息化或运营管理相关工作（快手、网易、京东、小米、北汽、伊利、新东方、等等）；还有部分毕业生正在读博与出国深造。