邵虎，男，1979年出生，英国威廉希尔唯一官网，教授，博士，博士生导师，williamhill威廉希尔官网数学学科建设与指导委员会主任，英国威廉希尔唯一官网教授委员会副主任、最优化理论与应用研究所所长，江苏省应用数学(williamhill威廉希尔官网)中心副主任。江苏省高校优秀共产党员，江苏省“青蓝工程”优秀教学团队带头人、优秀青年骨干教师，williamhill威廉希尔官网青年学术带头人，williamhill威廉希尔官网年度优秀教师，江苏省运筹学会副理事长，徐州市工业与应用数学学会副理事长。主持4项国家自然科学基金项目(面上3项，青年1项)，主持江苏省教改重点项目1项，在《Transportation Research Part B》《Transportation Research Part C》《Transportation Research Part E》《管理科学学报》《Journal of Optimization Theory and Applications》等刊物发表科研论文50余篇，教学研究论文10篇，出版第一作者专著1部，参编教材2部，获得江苏省教学成果一等奖、教育部2018年度高等学校科学研究优秀成果奖自然科学奖二等奖、中国煤炭工业科学技术奖三等奖、williamhill威廉希尔官网教学贡献奖等100余项奖励。
主要从事问题驱动型“应用数学”研究，研究方向涉及最优化理论应用、交通网络建模与算法设计、数据驱动下的网络建模与算法、机器学习的应用等，具体包括：交通网络可靠性分析、不确定性条件下的路径优化问题、交通需求与行程时间估计、交通数据采集传感器布置、公交排班算法等。
一、学历
1998.9 – 2002.7，学士(数学与应用数学)，williamhill威廉希尔官网理学院数学系；
2002.9 – 2007.6，博士(计算数学)，南京大学数学系 (硕博连读)。
二、工作经历
2007.7 – 2009.12，williamhill威廉希尔官网理学院数学系，讲师。
2010.1 – 2015.12，williamhill威廉希尔官网理学院数学系，副教授。
2016.1 – 现在，英国威廉希尔唯一官网(原理学院)，教授。
三、教学情况
承担本科生课程：《线性代数》、《最优化方法》、《算法设计与分析》、《专业导论》、《数学建模与算法设计》，硕士生课程：《数值优化》、《高等数值分析》，博士生课程：《非光滑分析》、《实验数学》等10余门课程的教学工作。
主持教改项目：
省级：
类别：重点项目
经费来源：江苏省教育厅
课题主持人：邵虎、张慧星
起止年月：2021年10月~ 2023年9月
校级：
名称：面向理工科拔尖创新型人才培养的“五步进阶”大学数学教学改革与实践
项目编号：2021ZD02
经费：3万元
经费来源：williamhill威廉希尔官网教学研究项目
类别：重点项目
课题主持人：邵虎
起止年月：2021年9月~ 2024年9月
名称：2021年williamhill威廉希尔官网教学名师培育计划
培育类别：A类
经费：30万元
课题主持人：邵虎
起止年月：2021年9月~ 2024年8月
名称：服务于“应用型”人才培养—基于两级模式的《算法设计与分析》课程改革
项目编号：201036
经费：0.8万元
经费来源：williamhill威廉希尔官网课程建设与教学改革项目
课题主持人：邵虎
起止年月：2010年9月~ 2012年8月
名称：以培养创新人才为目标《数值优化》课程探究式教学方法研究与应用
项目编号：2013G34
经费：1万元
经费来源：williamhill威廉希尔官网课程建设与教学改革项目
课题主持人：邵虎
起止年月：2013年8月~ 2015年9月
指导学生情况：
1.指导大学生、研究生实践创新训练计划项目19项(国家级7项，省级2项)。指导大学生参加数学建模等科技竞赛获得全国、国际奖项60余项。
2.指导研究生情况：指导博士研究生12人，指导硕士研究生26人。
四、科研情况
主持项目：主持国家自然科学基金项目4项，其中3项结题绩效评估为“优”，1项在研。
名称：基于时空关联性的全路网行程时间和交通流量估计与预测
编号：72071202
经费：48万元(直接经费)
经费来源：国家自然科学基金委员会面上项目
起止年月：2021年1月~2024年12月
课题主持人：邵虎
名称：不确定条件下随机OD需求估计的交通网络传感器最优放置模型与算法
编号：71671184
经费：49.3万元(直接经费)
经费来源：国家自然科学基金委员会面上项目
起止年月：2017年1月~ 2020年12月(结题绩效评估为“优”)
课题主持人：邵虎
名称：基于平衡相关性的交通网络设计模型与算法研究
编号：71271205
经费：55万元
经费来源：国家自然科学基金委员会面上项目
起止年月：2013年1月~ 2016年12月(结题绩效评估为“优”)
课题主持人：邵虎
名称：基于需求不确定性的OD矩阵估计模型与算法研究
编号：70901073
经费：17.5万元
经费来源：国家自然科学基金委员会青年基金项目
起止年月：2010年1月~ 2012年12月(结题绩效评估为“优”)
课题主持人：邵虎
代表性论文10篇：
[1] Shao, H., Lam, W.H.K., Sumalee, A., Chen, A., Hazelton, M.L. (2014) Estimation of mean and covariance of peak hour origin–destination demands from day-to-day traffic counts, Transportation Research B, 68, 52-75.
[2] Shao, H., Lam, W.H.K., Sumalee, A., Hazelton, M.L. (2015) Estimation of mean and covariance of stochastic multi-class OD demands from classified traffic counts, Transportation Research Part C, 59, 92-110.
[3] Shen, L., Shao, H. (通讯作者), Wu, T., Lam, W.H.K., Zhu, E.C. (2019) An energy-efficient reliable path finding algorithm for stochastic road networks with electric vehicles, Transportation Research Part C, 102, 450-473.
[4] Lam, W.H.K., Shao, H., Sumalee, A. (2008) Modeling impacts of adverse weather conditions on a road network with uncertainties in demand and supply, Transportation Research Part B, 42(10), 890-910.
[5] Shao, H., Lam, W.H.K., Tam, M.L., Yuan, X.M. (2008) Modeling rain effects on risk-taking behaviours of multi-user classes in road networks with uncertainty, Journal of Advanced Transportation, 42(3), 265-290.
[6] Shao, H., Lam, W.H.K., Sumalee, A., Chen, A. (2013) Journey time estimator for assessment of road network performance under demand uncertainty, Transportation Research Part C, 35, 244-262.
[7] Shao, H., Lam, W.H.K., Meng, Q., Tam, M.L. (2006) Demand driven travel time reliability-based traffic assignment problem, Transportation Research Record, 1985, 220-230.
[8] Shao, H., Lam, W.H.K., Tam, M.L. (2006) A reliability-based stochastic traffic assignment model for network with multiple user classes under uncertainty in demand, Networks and Spatial Economics, 6, 173-204.
[9] Shao, H., Lam, W.H.K., Sumalee, A., Chen, A. (2018) Network-wide on-line travel time estimation with inconsistent data from multiple sensor systems under network uncertainty, Transportmetrica A: Transport Science, 14(1-2), 110-129.
[10]邵虎,林兴强, 孟强, 谭美琳, (2009) 基于出行时间可靠性的交通配流问题,《管理科学学报》, 12(5), 27-35.
近5年代表性论文：
交通网络建模：
[1] Sun, W.W., Shao, H. (通讯作者), Wu, T., Shao, F., Fainman, E. Z. (2022) Reliable location of automatic vehicle identification sensors to recognize origin-destination demands considering sensor failure[J]. Transportation Research Part C, 2022, 136, 103-551.
[2] Shen, L., Shao, H. (通讯作者), Wu, T., Fainman, E.Z, Lam, W.H.K. (2020) Finding the reliable shortest path with correlated link travel times in signalized traffic networks under uncertainty, Transportation Research Part E, 144,102159.
[3] Fu, H., Lam, W.H.K., Shao, H., Ma, W., Chen, B.Y., Ho, H.W. (2022) Optimization of multi-type sensor locations for simultaneous estimation of origin-destination demands and link travel times with covariance effects, Transportation Research Part B, 166, 19-47.
[4] Vo, K.D., Lam, W.H.K., Sumalee, A., Chen, A., Shao, H. (2020) A household optimum utility approach for modeling joint activity-travel choices in congested road networks, Transportation Research Part B, 134, 93-125.
[5] Shen, L., Wang, F.R., Hu, L., Lyu, X.Y., Shao, H. (通讯作者) (2022) Rescue vehicle allocation problem based on optimal reliable path under uncertainty, Journal of Central South University, 29, 3779-3792.
[6] Lei, Y., Shao, H. (通讯作者), Wu, T., Liu, P. J. (2023). An accelerating algorithm for maximum shortest path interdiction problem by upgrading edges on trees under unit Hamming distance[J]. Optimization Letters, 17(2), 1-17.
[7] Cao, S.H., Shao, H. (通讯作者), Shao, F. (2022) Sensor location for travel time estimation based on the user equilibrium principle: application of linear equations. International Journal of Applied Mathematics and Computer Science, 2022, 32(1), 23-33.
[8] Fu, H., Lam, W.H.K., Shao, H., Xu, X.P., Lo, H.P., Chen, B.Y., Sze, N.N., Sumalee, A. (2019) Optimization of traffic count locations for estimation of travel demands with covariance between origin-destination flows, Transportation Research Part C, 108C, 49-73.
[9] Fu, H., Lam, W.H.K., Shao, H., Kattan, L., Salari, M. (2022) Optimization of multi-type traffic sensor locations for estimation of multi-period origin-destination demands with covariance effects, Transportation Research Part E, 2022, 57:102-555.
[10] Lam, W.H.K., Shao, H., Cao, S.H., Yang, H. (2021) Origin-Destination Demand Estimation Models. In: Vickerman, Roger (eds.) International Encyclopedia of Transportation. vol. 4, 515-518. UK: Elsevier Ltd.
[11] Sun, W.W., Shao, H. (通讯作者), Shen, L., Wu, T., Lam, W.H.K., Yao, B.Z., Yu, B. (2021) Bi-objective traffic count location model for mean and covariance of origin-destination estimation, Expert Systems With Applications, 170, 114554.
[12]邵虎,卓越,刘鹏杰,邵枫.(2023).城市交通流量估计的运筹学方法. 运筹学学报, 27(02), 27-48.
[13]Cao, S.H., Lam, W.H.K., Liu, K.Q., Shao, H. (通讯作者), Tam, M.L., Wu, T., (2024) Equilibrium condition-based optimization models for network-wide travel time estimation using limited observed data, Transportmetrica A, https://doi.org/10.1080/23249935.2024.2304033.
数值优化算法：
[1] Shao, H., Guo, H., Wu, X.Y., Liu, P.J. (2023) Two families of self-adjusting spectral hybrid DL conjugate gradient methods and applications in image denoising, Applied Mathematical Modelling, 118: 393–411.
[2] Wu, X.Y., Shao, H. (通讯作者), Liu, P.J., Zhuo, Y. (2023) An inertial spectral CG projection method based on the memoryless BFGS update, Journal of Optimization Theory and Applications. 198, 1130-1155.
[3] Liu, P.J., Wu, X.Y., Shao, H. (通讯作者), Zhang, Y., Cao, S.H. (2023在线) Three adaptive hybrid derivative‐free projection methods for constrained monotone nonlinear equations and their applications, Numerical Linear Algebra with Applications, 30(2), DOI: 10.1002/nla.2471
[4] Liu, P.J., Shao, H. (通讯作者)., Wang, Y. Wu, X. Y. (2022) A three-term CGPM-based algorithm without Lipschitz continuity for constrained nonlinear monotone equations with applications[J]. Applied Numerical Mathematics, 175: 98-107.
[5] Wang, X.Q, Shao, H. (通讯作者), Liu, P.J., Yang, W.L. (2023在线) An inertial proximal splitting method with applications. Optimization, DOI: 10.1080/02331934.2023.2230994
[6] Wu, X.Y., Shao, H. (通讯作者), Liu, P.J., Zhang, Y., Zhuo, Y. (2023) An efficient conjugate gradient-based algorithm for unconstrained optimization and its projection extension to large-scale constrained nonlinear equations with applications in signal recovery and image denoising problems[J]. Journal of Computational and Applied Mathematics, 422, 114879
[7] Wang, X.Q, Shao, H. (通讯作者), Liu, P.J, Wu, T. (2023) An inertial proximal partially symmetric ADMM-based algorithm for linearly constrained multi-block nonconvex optimization problems with applications[J]. Journal of Computational and Applied Mathematics, 114821
[8] 刘鹏杰, 邵虎(通讯作者),王云,吴晓宇. (2023) 非凸优化带松弛步的对称ADMM局部线性收敛率分析. 系统科学与数学, 43(01), 78-93.
[9] 刘鹏杰, 邵虎,简金宝,宋丹.(2023) 两个谱共轭梯度法的全局收敛性及数值效果. 计算数学, 45(03), 299-308.
人工智能：
[1] Shao, F., Shao, H. (通讯作者), Wang, D.L., Lam, W.H.K., Tam, M.L. (2024) A generative adversarial network-based framework for network-wide travel time reliability prediction[J]. Knowledge-Based Systems, 283, 111184.
[2] Shao, F., Shao, H. (通讯作者), Wang, D. L., Lam, W.H.K., Cao, S.H. (2023) A generative model for vehicular travel time distribution prediction considering spatial and temporal correlations, Physica A: Statistical Mechanics and its Applications, 621, 1279.
[3] Guan, L.C., Shi, J.T., Wang, D. L., Shao, H. (通讯作者) Chen, Z. L., Chu, D. H. (2023) A trajectory prediction method based on bayonet importance encoding and bidirectional LSTM, Expert Systems With Applications, 223, 119888.
[4] Wang, Y.C., Zhu, S., Shao, H. (通讯作者), Feng, Y., Wang, L., Wen, S.P. (2022). Comprehensive analysis of fixed-time stability and energy cost for delay neural networks[J]. Neural Networks, 155, 413-421
[5] Wang, Y.C., Zhu, S., Shao, H. (通讯作者), Wang, L., Wen, S.P. (2022) Trade off analysis between fixed-time stabilization and energy consumption of nonlinear neural networks[J]. Neural Networks, 148, 66-73.
[6] 陈治彤, 邵虎(通讯作者), 冯雨, 吴婷, 韩苗. (2021) 基于浮动周期的动态煤炭价格预测模型, 数学的实践与认识, 51(11), 58-69.
参编教材：
[1] 祁永强, 韩苗, 邵虎, 张兴永. (2020) 数学建模, 科学出版社, 45万字, ISBN: 9787030637000, 2020年3月出版.
[2] 张慧星, 杨晓波, 孙永征, 邵虎, 吴彦强. (2022) Ordinary Differential Equations (常微分方程), williamhill威廉希尔官网出版社, 47万字, ISBN: 9787564655648, 2022年10月1日出版.
五、个人荣誉
1代表性获奖与荣誉
(1)2014.5，江苏省青蓝工程优秀青年骨干教师，独立完成。
(2)2017.9，2017年江苏省教学成果奖(高等教育类)一等奖(成果名称：面向创新人才培养的数学实践教学体系构建与实践)，排名第二。
(3)2019.1，教育部2018年度高等学校科学研究优秀成果奖自然科学奖二等奖(证书编号: 2018-073),(成果名称：复杂环境下交通系统运行可靠性与网络演化研究)，排名第三。
(4)2020.5，江苏省“青蓝工程”优秀教学团队(大学数学实践教学团队)带头人。
(5)2021.11，全国大学生数学建模竞赛优秀指导教师，独立完成。
(6)2021.6，江苏省2021年度全省高校优秀共产党员，独立完成。
(7)2021.12，中国煤炭工业科学技术奖三等奖(证书编号:2021-371-R09)，(成果名称：煤炭智慧营销决策支持系统研究及应用)，排名第九。
(8)2007.9，第九届全国青年管理科学与系统科学学术会议优秀论文，排名第一。
(9)全国煤炭教育优秀研究成果一等奖3项，二等奖1项，三等奖1项
(a) 2010.10，第四届全国煤炭教育优秀研究成果一等奖(成果名称：开展数学建模教育，培养高素质创新人才)，排名第二。
(b) 2010.10，第四届全国煤炭教育优秀研究成果三等奖(成果名称：信息与计算科学专业“算法设计与分析”课程教学改革)，排名第一。
(c) 2015.12, 全国煤炭行业教育教学成果奖一等奖(高等教育类)(成果名称：“数学”江苏省重点专业应用型教育体系与创新人才培养)，排名第六；
(d) 2017.11，全国煤炭行业教育教学成果奖一等奖(高等教育类)(成果名称：问题驱动的数学实践教育与创新人才培养)，排名第三；
(e) 2020.11，全国煤炭行业教育教学成果奖二等奖(高等教育类)(成果名称：线性代数课程“一点两面三线四环”教学范式的构建与实践)，排名第七。
(10) 2009，CTS国际会议最佳组织工作者，独立完成。
2校级荣誉
1) 校级教学类获奖
(1) williamhill威廉希尔官网教学成果(综合类)特等奖1项，一等奖3项，二等奖1项
(a)2014.11，williamhill威廉希尔官网教学成果(综合类)特等奖(成果名称：夯实数学基础，强化数学实践，培养创新人才)，排名第三；
(b)2010.6，williamhill威廉希尔官网优秀教学成果一等奖(成果名称：开展数学建模创新实践基地建设，提高大学生综合素质与创新能力)，排名第二；
(c)2020.07，williamhill威廉希尔官网优秀教学成果一等奖(成果名称：改革公共基础数学课教学模式，培养学生实践创新能力)，排名第三；
(d)2022.11，williamhill威廉希尔官网教学成果一等奖(成果名称：基于分类进阶模式的数学类专业内涵建设)，排名第一；
(e)2018年7月，williamhill威廉希尔官网教学成果(综合类)二等奖(成果名称：线性代数“三主线”教学模式探索与实践)，排名第五。
(2)2017.7，williamhill威廉希尔官网“校级优秀教学团队带头人”(线性代数教学团队)。
(3)2009.4，williamhill威廉希尔官网青年教师教案比赛三等奖，独立完成。
(4)2009.12，williamhill威廉希尔官网优秀教学一等奖，独立完成。
(5)2011.3，williamhill威廉希尔官网优秀青年骨干教师，独立完成。
(6)2014.5，williamhill威廉希尔官网2013年度“教书育人先进个人”，独立完成。
(7)2017.3，williamhill威廉希尔官网2015-2016大学生科技创新创业活动优秀指导教师，独立完成。
(8)2018.9，williamhill威廉希尔官网教学贡献奖，独立完成。
(9)2021.9，williamhill威廉希尔官网“2020-2021年度优秀教师”，独立完成。
(10)2022.9，2020-2022年度williamhill威廉希尔官网“师德模范”，独立完成。
(11)2022.10，williamhill威廉希尔官网第一届优秀青年教师奖教金，独立完成。
(12)2023.9，williamhill威廉希尔官网“教学模范”荣誉称号，独立完成。
(13) williamhill威廉希尔官网百佳本科教学教师4次，独立完成
(a) 2013.12，2012-2013学年度；
(b) 2014.11，2013-2014学年度；
(c) 2022.1，2020-2021学年度；
(d) 2023.4，2021-2022学年度。
(14) williamhill威廉希尔官网本科毕业设计(论文)优秀指导教师7次，独立完成
(a)2011.6，2011届；
(a)2013.6，2013届；
(b)2014.6，2014届；
(c)2017.6，2017届；
(d)2021.6，2021届；
(e)2022.6，2022届；
(f)2023.6，2023届。
(15) williamhill威廉希尔官网校优秀硕士毕业论文指导教师2次，(指导教师：邵虎)
(a)2011.6，2011年校优秀硕士学位论文；
(b)2023.7，2022-2023学年度williamhill威廉希尔官网优秀学术学位硕士学位论文。
2)校级其他荣誉
(1) 2013.9，williamhill威廉希尔官网2011-2013年度第八批校优秀青年骨干教师任期考核中为优秀，独立完成。
(2) 2014.9，williamhill威廉希尔官网2012-2014年度“十佳青年教职工”，独立完成。
(3) 2014.11，williamhill威廉希尔官网青年学术带头人，独立完成。
(4) 2021.6，2018-2021年度williamhill威廉希尔官网优秀共产党员，独立完成。
3指导学生竞赛类获奖
1)指导全国大学生数学建模竞赛获国家、省级奖17项，(指导教师：邵虎)
(a)国家二等奖3项 (2013年2项(参与)；2019年1项)；
(b)国赛江苏赛区一等奖4项(2017年1项；2019年1项；2021年1项；2023年1项)；
(c)国赛江苏赛区二等奖4项(2018年1项；2020年1项；2022年1项；2023年1项)；
(d)国赛江苏赛区三等奖6项(2018年1项；2020年2项；2022年1项；2023年2项)。
2)指导美国大学生数学建模竞赛获奖26项，(指导教师：邵虎)
(a)国际一等奖7项 (2014年1项；2017年1项；2018年1项；2019年2项；2021年1项；2022年1项)；
(b)国际二等奖19项(2013年1项；2015年1项；2016年1项；2017年1项；2018年6项；2019年1项；2020年1项；2022年1项；2022年4项；2023年3项)。
3)指导全国研究生数学建模竞赛获奖15项
(a)2013.9，指导研究生参加2013全国研究生数学建模竞赛获得国家二等奖2项，参与完成；
(b)2014.12，指导研究生参加2014全国研究生数学建模竞赛获得国家二等奖6项，三等奖7项，参与完成。
4)指导其他竞赛获奖5项
(1)全国大学生交通运输科技大赛奖2项
(a) 2021.7，第十六届全国大学生交通运输科技大赛优胜奖(成果名称：天眼行-基于道路车流量监控与预测的智能交通系统)，指导教师排名第一；
(b)2022.7，第十七届全国大学生交通运输科技大赛二等奖(成果名称：基于卡口语义特征的车辆轨迹预测系统)，指导教师排名第一；
(2)“互联网+”大学生创新创业大赛奖3项
(a)2021.6，第七届中国国际“互联网+”大学生创新创业大赛校赛二等奖(成果名称：准必达一一基于可靠性的路径导航系统)，指导教师排名第一；
(b) 2023.6，第九届中国国际“互联网+”大学生创新创业大赛校赛高教主赛道二等奖(成果名称：天眼数云-一基于大数据的智能车路分析云平台)，指导教师排名第一；
(c) 2023.6，第九届中国国际“互联网+”大学生创新创业大赛校赛“青年红色筑梦之旅”赛道二等奖(成果名称：益英科普结合高校优势的一助力提高中小学生科普素养的公益团队模式)，指导教师排名第三。
4其他荣誉
(1)2009.12，徐州市工业与应用数学学会优秀论文一等奖，排名第一。
(2)2009.4，第二届计算科学和优化国际会议最佳专题组织奖，排名第二。
(3)2010.10，徐州市自然科学优秀学术论文二等奖，排名第一。
(4)五一数学建模竞赛优秀组织工作者4次，优秀命题专家2次，优秀指导教师2次
(a)2010.6，第七届苏北数学建模竞赛优秀教练员，独立完成；
(b)2011.6，第八届苏北数学建模竞赛优秀组织工作者，独立完成；
(c)2013.6，第十届五一数学建模联赛优秀组织工作者，独立完成；
(d)2014.6，第十一届五一数学建模联赛优秀组织工作者，独立完成；
(e)2015.6，第十二届五一数学建模联赛优秀命题专家，独立完成；
(f)2015.6，第十二届五一数学建模联赛优秀组织工作者，独立完成；
(g)2018.6，五一数学建模竞赛优秀命题专家，独立完成；
(h)2018.6，五一数学建模竞赛优秀指导教师，独立完成。
(5)2015.7，徐州市第二十七届科普宣传周活动优秀组织者，独立完成。
六、知识产权
软著：线性代数知识图片教学软件（小智图谱）；排名第一；证书编号：13178159；2023年；登记号：2023SR0791007
软著：完全二叉树单位哈明距离下最短路径阻断问题计算系统（简称：路径阻断计算系统）；排名第二；证书编号：11631637；2022年；登记号：2022SR1364734
软著：车辆轨迹预测系统（简称车辆轨迹预测）；排名第二；证书编号：12002328；2022年；登记号：2022SR1631843
发明专利：一种融合卡口重要性与注意力机制的车辆轨迹预测方法；排名第二；2022年，申请号：202210314126.0
发明专利：一种基于嵌入词向量与PageRank算法的交通卡口重要性排序方法；排名第二，2022年，申请号：2022115489551.1
联系方式
Email: h.shao@163.com; shaohu@cumt.edu.cn
通讯地址：江苏徐州大学路1号williamhill威廉希尔官网(南湖校区)英国威廉希尔唯一官网A319室
邮政编码：221116