教授、硕士生导师

姓名：丁杰
出生年月：1978.2
性别：男
学历/学位：研究生/博士
专业技术职务：教授
博/硕导聘任时间：2019.7
教育和工作经历
工作经历：
[1]?2018.10-现在：上海海事大学中国（上海）自贸区供应链研究院 教授
[2]?2012.8-2018.9: 扬州大学信息工程学院 副教授
[3]?2010.2-2012.7: 扬州大学信息工程学院 讲师
教育经历：
[1]?2006.7-2010.1: 英国爱丁堡大学信息学院、工程学院, 计算机方向, 博士
[2]?2001.9-2004.4: 东南大学数学系, 概率论与数理统计专业, 理学硕士
[3]?1997.9-2001.6: 扬州大学数学系, 数学教育专业, 理学学士
教学情况
承担过的教学课程：随机过程（研究生）、小波分析（研究生）、图像处理（研究生、本科生）、软件工程中的形式化方法（研究生、本科生）、软件分析与验证（研究生）、编译原理、数字通信、随机信号处理（全英文）、概率论与数理统计、统计学习（研究生）
研究领域介绍
1. 物流、供应链系统的建模与分析
2. 计算机和通信系统的性能建模与评估
3. 应用数学
科研成果
科研项目（横向、纵向）
[1]?随机进程代数模型的Fluid逼近问题研究（国家自然科学基金面上项目，批准号**，2015.1-2018.12）
[2]?大规模随机进程代数模型的死锁检测和性能分析（国家自然科学基金青年项目，批准号**, 2012.1-2014.12）
[3]?大规模PEPA模型的功能与性能分析（江苏省自然科学基金面上基金项目，批准号BK**，2011.7-2013.12）
[4]?R演算的拓展及其极大缩减的算法研究（北京航空航天大学软件开发环境国家重点实验室开放课题，2011.8-2013.12）
[5]?大规模PEPA模型的功能与性能分析（教育部海外留学归国人员科研启动基金，2013-2015）
代表性论文
[1]?J. Ding, R. Wang, X. Chen, Y.E. Ge, Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra, IEEE Access, Vol. 6, 2018 (DOI 10.1109/ACCESS.2018.**)
[2]? J. Ding, X. Chen, R. Wang, A Compositional Analysis Method for Petri-net? Models, IEEE Access, Vol.5, 2017 (DOI 10.1109/ACCESS.2017.**)
[3]?J. Ding，L. J. Sha，X. S. Zhu，Calculating the response time based on action flow in Stochastic Process Algebra models，2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Budapest, Hungary, pp. 3618-3623
[4]?J. Ding, A comparison of fluid approximation and stochastic simulation for evaluating content adaptation systems, Wireless Personal Communications, Vol.84, No.1, 2015, pp. 231-250
[5]?X. Zhu, J. Ding, H. Dong, K. Hu and X. Zhang, Normalized Correlation based Quantization Modulation for Robust Watermarking, IEEE Transactions on Multimedia, Vol. 16, No. 7, Sept. 2014, pp. 1888 – 1904
[6]?J. Ding, H. Gu, Z. Lin, Fundamental results on the reaction-diffusion equations associated with a PEPA model, Applied Mathematical Modelling, vol.37, no.3, 2013,? pp.636-648
[7]?M. Tribaston, J. Ding, J. Hillston, S. Gilmore, Fluid rewards for a stochastic process algebra, IEEE Transactions on Software Engineering, vol. 38, no.4, 2012, pp.861-874
[8]?J. Ding, J. Hillston. Numerically Representing Stochastic Process Algebra Models, The Computer Journal, vol. 55. No. 11. 2012, pp.1383-1397
[9]?J. Ding, Z. Lin, T. Yu, On reaction-diffusion equations derived from a PEPA mode, Applied Mathematics Letters, vol.24, no.12, 2011, pp.2072-2076
[10]?J. Ding, J. Hillston, Structural analysis for stochastic process algebra models, Proceedings of the thirteenth International Conference on Algebraic Methodology And Software Technology, Lecture Notes in Computer Science, vol. 6486，Jan.2011, pp.1-27（大会特邀论文）
发明专利
[1]?丁杰，朱新山，唐元生，乔科，一种基于随机进程代数的并发系统死锁检测方法，授权发明专利(ZL 2013 1 **.9)，2016年7月6日
[2]?丁杰，朱新山，唐元生，李斌，一种基于随机进程代数的并发系统性能模拟方法，授权发明专利(ZL 2013 1 **.5)，2016年10月19日
[3]?丁杰，王旻毅，朱新山，一种较少冗余链路的无线传感器网络组网方法，授权发明专利(ZL 6.1), 2018年10月23日
联系方式
联系地址：中国（上海）自贸区供应链研究院楼405室
电子邮箱：jding@shmtu.edu.cn