邵虎,男,1979年出生,中國礦業大學伟德bv,教授,博士,博士生導師,中國礦業大學數學學科建設與指導委員會主任,伟德bv教授委員會副主任、最優化理論與應用研究所所長,江蘇省應用數學(中國礦業大學)中心副主任。江蘇省高校優秀共産黨員,江蘇省“青藍工程”優秀教學團隊帶頭人、優秀青年骨幹教師,中國礦業大學青年學術帶頭人,中國礦業大學年度優秀教師,江蘇省運籌學會副理事長,徐州市工業與應用數學學會副理事長。主持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年度高等學校科學研究優秀成果獎自然科學獎二等獎、中國煤炭工業科學技術獎三等獎、中國礦業大學教學貢獻獎等100餘項獎勵。
主要從事問題驅動型“應用數學”研究,研究方向涉及最優化理論應用、交通網絡建模與算法設計、數據驅動下的網絡建模與算法、機器學習的應用等,具體包括:交通網絡可靠性分析、不确定性條件下的路徑優化問題、交通需求與行程時間估計、交通數據采集傳感器布置、公交排班算法等。
一、學曆
1998.9 – 2002.7,學士(數學與應用數學),中國礦業大學理學院數學系;
2002.9 – 2007.6,博士(計算數學),南京大學數學系 (碩博連讀)。
二、工作經曆
2007.7 – 2009.12,中國礦業大學理學院數學系,講師。
2010.1 – 2015.12,中國礦業大學理學院數學系,副教授。
2016.1 – 現在,中國礦業大學伟德bv(原理學院),教授。
三、教學情況
承擔本科生課程:《線性代數》、《最優化方法》、《算法設計與分析》、《專業導論》、《數學建模與算法設計》,碩士生課程:《數值優化》、《高等數值分析》,博士生課程:《非光滑分析》、《實驗數學》等10餘門課程的教學工作。
主持教改項目:
省級:
類别:重點項目
經費來源:江蘇省教育廳
課題主持人:邵虎、張慧星
起止年月:2021年10月~ 2023年9月
校級:
名稱:面向理工科拔尖創新型人才培養的“五步進階”大學數學教學改革與實踐
項目編号:2021ZD02
經費:3萬元
經費來源:中國礦業大學教學研究項目
類别:重點項目
課題主持人:邵虎
起止年月:2021年9月~ 2024年9月
名稱:2021年中國礦業大學教學名師培育計劃
培育類别:A類
經費:30萬元
課題主持人:邵虎
起止年月:2021年9月~ 2024年8月
名稱:服務于“應用型”人才培養—基于兩級模式的《算法設計與分析》課程改革
項目編号:201036
經費:0.8萬元
經費來源:中國礦業大學課程建設與教學改革項目
課題主持人:邵虎
起止年月:2010年9月~ 2012年8月
名稱:以培養創新人才為目标《數值優化》課程探究式教學方法研究與應用
項目編号:2013G34
經費:1萬元
經費來源:中國礦業大學課程建設與教學改革項目
課題主持人:邵虎
起止年月: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 (常微分方程), 中國礦業大學出版社, 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) 中國礦業大學教學成果(綜合類)特等獎1項,一等獎3項,二等獎1項
(a)2014.11,中國礦業大學教學成果(綜合類)特等獎(成果名稱:夯實數學基礎,強化數學實踐,培養創新人才),排名第三;
(b)2010.6,中國礦業大學優秀教學成果一等獎(成果名稱:開展數學建模創新實踐基地建設,提高大學生綜合素質與創新能力),排名第二;
(c)2020.07,中國礦業大學優秀教學成果一等獎(成果名稱:改革公共基礎數學課教學模式,培養學生實踐創新能力),排名第三;
(d)2022.11,中國礦業大學教學成果一等獎(成果名稱:基于分類進階模式的數學類專業内涵建設),排名第一;
(e)2018年7月,中國礦業大學教學成果(綜合類)二等獎(成果名稱:線性代數“三主線”教學模式探索與實踐),排名第五。
(2)2017.7,中國礦業大學“校級優秀教學團隊帶頭人”(線性代數教學團隊)。
(3)2009.4,中國礦業大學青年教師教案比賽三等獎,獨立完成。
(4)2009.12,中國礦業大學優秀教學一等獎,獨立完成。
(5)2011.3,中國礦業大學優秀青年骨幹教師,獨立完成。
(6)2014.5,中國礦業大學2013年度“教書育人先進個人”,獨立完成。
(7)2017.3,中國礦業大學2015-2016大學生科技創新創業活動優秀指導教師,獨立完成。
(8)2018.9,中國礦業大學教學貢獻獎,獨立完成。
(9)2021.9,中國礦業大學“2020-2021年度優秀教師”,獨立完成。
(10)2022.9,2020-2022年度中國礦業大學“師德模範”,獨立完成。
(11)2022.10,中國礦業大學第一屆優秀青年教師獎教金,獨立完成。
(12)2023.9,中國礦業大學“教學模範”榮譽稱号,獨立完成。
(13) 中國礦業大學百佳本科教學教師4次,獨立完成
(a) 2013.12,2012-2013學年度;
(b) 2014.11,2013-2014學年度;
(c) 2022.1,2020-2021學年度;
(d) 2023.4,2021-2022學年度。
(14) 中國礦業大學本科畢業設計(論文)優秀指導教師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) 中國礦業大學校優秀碩士畢業論文指導教師2次,(指導教師:邵虎)
(a)2011.6,2011年校優秀碩士學位論文;
(b)2023.7,2022-2023學年度中國礦業大學優秀學術學位碩士學位論文。
2)校級其他榮譽
(1) 2013.9,中國礦業大學2011-2013年度第八批校優秀青年骨幹教師任期考核中為優秀,獨立完成。
(2) 2014.9,中國礦業大學2012-2014年度“十佳青年教職工”,獨立完成。
(3) 2014.11,中國礦業大學青年學術帶頭人,獨立完成。
(4) 2021.6,2018-2021年度中國礦業大學優秀共産黨員,獨立完成。
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号中國礦業大學(南湖校區)伟德bvA319室
郵政編碼:221116