申立勇

申立勇，2005畢業於中國科技大學數學系，獲博士學位。現任中國科學院大學數學科學學院教授，博士生導師。

基本介紹

• 中文名：申立勇
• 國籍：中國
• 職業：教授
• 畢業院校：中國科技大學

基本信息

姓名 申立勇

中國科學院大學數學科學學院 教授

專業 理學-數學類，計算科學，套用數學

研究領域

計算機輔助幾何設計，幾何造型，數控技術
圖像處理，數據挖掘

程式驗證，程式終止性分析

招生信息

招生專業

070102-計算數學

070104-套用數學

招生方向

計算機輔助幾何設計，數控技術，圖像處理，數據挖掘

教育背景

2000-09--2005-07中國科學技術大學研究生

1996-06--2000-09中國科學技術大學學生

工作經歷

2008-12~至今, 中國科學院大學, 教師

1. 2018-06~2018-06,德國WIAS研究所，訪問學者
2. 2017-09~2017-10,西班牙阿爾卡拉大學, 訪問學者
3. 2016-05~2017-04,美國萊斯大學, 訪問學者
4. 2015-11~2016-01,美國萊斯大學, 訪問學者
5. 2015-09~2015-10,日本新瀉大學, 訪問學者
6. 2010-02~2010-05,香港大學, 訪問學者

2007-07~2008-12,華東師範大學, 教師

2005-09~2007-07,中科院系統所, 博士後

社會兼職

2015-12-01-今,Mathematical reviewer of American Mathematical Society(AMS),
2012-07-01-今,中國工業與套用數學學會幾何設計與計算專業委員會, 委員
2012-01-01-今,中國數學會計算機數學委員會, 委員

教授課程

Matlab在科學計算中的套用

計算機輔助幾何設計引論
符號計算軟體編程及套用
線性代數
數學軟體套用：Maple
工程套用中的擬合方法
科學工程計算概論
數值逼近
現代計算機代數
計算機輔助幾何設計
數值分析
數學軟體選講：maple

專利與獎勵

2017年，首屆“吳文俊計算機數學青年學者獎”

2017年，Best Paper Award-International Conference on Geometric Modeling and Processing (GMP 2017)

2015年，合作課題“大型石油儲罐主動安全防護系統”獲國家安監總局科技成果二等獎

2014年，中國科學院數學與系統科學研究院優秀教師

2014，2010年，中國科學院大學優秀個人

2015-2017，2008-2010，聘期考核優秀

出版信息

International Refereed Journals

1.Fengming Lin,Liyong Shen, ChunMing Yuan, Zhenpeng Mi,Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines,Computer-Aided Design. Vol. 106, 13-29,2019.

2.Liyong Shen, Ron Goldman,Combining complementary methods for implicitizing rational tensor product surfaces,Computer-Aided Design, 104, 100-112, 2018

3.Liyong Shen, Ron Goldman,Implicitizing Rational Tensor Product Surfaces Using the Resultant of Three Moving Planes.ACM Transactions on Graphics,Vol. 36, No. 5, Article 167, 2017.

4.Liyong Shen, Ron Goldman,Strong µ-bases for rational tensor product surfaces and extraneous factors associated to bad base points and anomalies at infinity.SIAM Journal on Applied Algebra and Geometry,Vol.1(1), 328-351,2017.

5.Liyong Shen, Ron Goldman,Algorithms for Computing Strong μ-Bases for Rational Tensor Product Surfaces.Computer Aided Geometric Design, 52-53, 48 – 62. Geometric Modeling and Processing 2017 (Best Paper Award).

6.Sonia Pérez-Díaz andLiyong Shen,Parametrization of translational surfaces.To appear in Theoretical Computer Sciences, 2017.

7.Zhenpeng Mi, Chun-Ming Yuan, Xiaohui Ma,Liyong Shen, Tool orientation optimization for 5-axis machining with C-space method,The International Journal of Advanced Manufacturing Technology, Vol.88(5), 1243–1255, 2017.

8.Liyong Shen,Computingμ-bases from algebraic ruled surfaces,Computer Aided Geometric Design, Vol. 46, 125-130, 2016.

9.Ruyong Feng,Liyong Shen,Computing the intersections of three conics according to their Jacobian curve,Journal of Symbolic Computation, Vol. 73, 175-191,2016.

10.Liyong Shenand Sonia Pérez-Díaz,Numerical proper reparametrization of parametric plane curves,Journal of Computational and Applied Mathematics. Vol. 277, 138–161, 2015.

11.Zhengyuan Yang,Liyong Shen, ChunMing Yuan, XiaoShan Gao,Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines,Computer-Aided Design. Vol. 66, 62-72,2015.

12.Liyong Shenand Sonia Pérez-Díaz,Determination and (re)parametrization of rational developable surfaces,Journal of Systems Science and Complexity, Vol. 28, 1426-1439, 2015.

13.Bao Hai,Liyong Shen,Active and Passive Factors of Oil Prices,Journal of Donghua University (English Edition), Vol.2, 284-287, 2015.

14.Liyong Shenand Sonia Pérez-Díaz,Characterization of rational ruled surfaces,Journal of Symbolic Computation. Vol. 63, 21-45, 2014.

15.Liyong Shen, Min Wu Zhenfeng Yang, Zhenbin Zeng,Generating Exact Nonlinear Ranking Functions by Symbolic-Numeric Hybrid Method,Journal of Systems Science and Complexity, Vol. 26, 291-301, 2013.

16.Liyong shen,Singularities of the Determinantal Curve of Three Conics,Journal of information and computational science, Vol. 9(3) : 575- 582, 2012.

17.Bin Wu,Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng,Generating Preconditions for Termination of Loop Programs,International Journal of Advancements in Computing Technology, Vol.4(7), 349-359, 2012.

18.Liyong Shen, Jinsan Cheng, Xiaohong Jia,Homeomorphic approximation of the intersection curve of two rational surfaces,Computer Aided Geometric Design, Vol. 29(8), 613-625, 2012.

19.Liyong Shen, Chunming Yuan, Xiaoshan Gao,Certified Approximation of Parametric Space Curves with Cubic B-spline Curves,Computer Aided Geometric Design, Vol. 29(8), 648-663, 2012.

20.Liyong Shen, Engwee Chionh, Xiao-Shan Gao and Jia Li,Proper reparametrization for inherently improper unirational varieties,Journal of System science and Complexity, Vol.24 (2): 367-380, 2011.

21.Yin Chen,Liyong Shenand Chunming Yuan,Collision and intersection detection of two ruled surfaces using bracket method,Computer Aided Geometric Design, Vol.28, 114-126, 2011.

22.Liyong Shenand Chunming Yuan,Implicitization using univariate resultants,Journal of System science and Complexity, Volume 23, Number 4, 804-814, 2010.

23.Jia Li,Liyong Shenand Xiao-Shan Gao,Proper Reparametrization of Rational Ruled Surface,Journal of Computer Science and technology, Vol. 23(2): 290-297, Mar. 2008.

24.Falai Chen,Liyong Shenand Jiansong Deng,Implicitization and Parameterization of Quadratic and Cubic Surfaces by μ-Bases,Computing, Springer, Vol.79, No.2-4, 131-142, 2007.4.

25.Engwee Choinh, Xiao-Shan Gao andLiyong Shen,Inherently Improper Surface Parametric Supports,Computer Aided Geometric Design, 23, 629-639, 2006.

National Refereed Journals

26.Yuanyuan Wu, Liyong Shen, Imbalanced fuzzy multiclass support vector machine algorithm based on class-overlap degree undersampling,Journal of University of Chinese Academy of Sciences, Vol.35(4), 536-543, 2018, in Chinese.

27.Xiaohui Ma, Fengming Lin,Liyong Shen,Optimal subdivision parameters of planar Bezier curves,Journal of University of Chinese Academy of Sciences, Vol.33(3), 311-316, 2016, in Chinese.

28.Zhengyuan Yang,Liyong Shen,B-spline curve fitting the gasexplosion datacurvefitting with multi-constraints,Journal of graphics, Vol.35(4), 595-602, 2014, in Chinese.

29.Xiaohua Chen, Yufu Chen,Liyong Shen,Parametrization of a rational developable surface using the μ-basis,Journal of the graduate school of Chinese Academy of Sciences, Vol.29(3), 289-293, 2012.

30.Liyong Shen,The mu-basis and implicitization of space curves,Journal of computer aided design and computer graphics, 900-904, Vol.7, 2009, in Chinese.

31.Liyong Shen, Chunming Yuan,Approximation proper reparametrization of rational curves,Journal of computer aided design and computer graphics,924-929, Vol.7,2009, in Chinese.

32.Liyong Shen, zhangjin Huang,A class of curve subdivision schemes with several parameters,Journal of computer aided design and computer graphics, Vol.4, 468-472, 2007, in Chinese.

33.Yang Liu,Liyong Shen,An Algebraic Condition for Classifying the Positional Relationship of Two Planar Ellipses,Journal of computer aided design and computer graphics, 555-560, 2003, in Chinese.

34.Liyong Shen, yang Liu,An Algebraic Condition for the Positional Relationship of an Ellipse and a Parabola(Hyperbola),Journal of system simulation,1208-1211, 2002, in Chinese.

Conference Proceedings

35.Yuanyuan Wu,Liyong Shen, Sanguo Zhang,Fuzzy multiclass support vector machines for unbalanced data, Proc. of 29th Chinese Control And Decision Conference (CCDC’2017), 2227-2231, 2017.

36.Liangyu Chen, Tuo Leng,Liyong Shen, Min Wu, Zhengfeng Yang and Zhenbing Zeng,Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations, Proc. of Computer Mathematics, Springer-Verlag Berlin Heidelberg, 223-241,ASCM’2014, 2014

37.Sonia Pérez-Díaz andLi-Yong Shen,Parametrization of translational surfaces, Proc. 2014 Internat. Symp. on Symbolic-numeric Comput. (SNC 2014),128-129.

38.Liyong Shen,Error Bounded Conic Spline Approximation for NC Code, Proc. ofICMV’2011, SPIE 8439.

39.Bin Wu,Liyong Shen, Zongqin Bi and Zhenbin Zeng,Termination of loop programs with polynomial guards, Proc. of International Conference on Computational Science and Applications (ICCSA 2010), LNCS 6019, 482–496.

40.Bin Wu,Liyong Shen, Zongqin Bi and Zhenbin Zeng,Termination of a Class of the Program with Polynomial Guards. Proc. of IEEE International Conference on Information management and engineering (ICIME 2009), 274-277, 2009.

41.Liyong Shen, Min Wu and Zhengfeng Yang,Simplification of numerical rational surfaces. Prof. of IEEE International Joint Conference on Computational Sciences and Optimization (CSO 2009), Vol.1, 617-621.

42.Liyong Shen, Min Wu, Zhengfeng Yang and Zhenbin Zeng,Finding Positively Invariant Sets of a Class of Nonlinear Loops via Curve Fitting, ACM Symbolic and Numerical Computation (SNC 2009), 185-190.

43.Liyong Shen, Falai Chen, Bert Juttler and Jiansong Deng,Approximate μ-Bases of Rational Curves and Surfaces, Proceedings ofGMP’2006, M.S. Kim and K. Shimada eds., LNCS, 4077, 175-188, 2006.

44.Jiansong Deng, Falai Chen, andLiyong Shen,Computing the μ-bases of Rational Curves and Surfaces Using the Polynomial Matrix Factorization, Proceeding ofISSAC’2005, 132-139, ACM Press, 2005.

Book

Li-Yong Shen, Haohao Wang, Jerzy Wojdylo,Linear Algebra, Mercury Learning & Information, Dulles, Virginia, Boston, Massachusetts, New Delhi, ISBN: 978-1-68392-376-3 Pub Date: January 2019.

Li-Yong Shen, Haohao Wang, Jerzy Wojdylo,Linear Algebra,Overseas Press India Private Limited,ISBN: 978-81-938368-7-3 Pub Date:2018.

科研活動

（ 1 ）國家自然科學基金面上項目，面向CAD/CNC的曲線/曲面表示理論與方法研究，61872332，2019-01--2022-12

（ 2 ）國家自然科學基金重點項目，數據與模型混合驅動的數據逐級再表達最佳化理論與方法，11731013,參加，2018-01--2022-12

（ 3 ）中國科學院大學校所科研合作專項基金,數控技術中若干數學問題的研究,2017-01--2018-12

（ 4 ）湖北省協同創新中心開放課題重點課題：突發事件演化機制與模型庫構建研究,2015-11--2018-06

（ 5 ）國家安監總局，石油儲備庫火災可視化智慧型監測和滅火系統,2014-01--2015-06

（ 6 ）北京科委，北京市科技新星計畫, 2012-12--2015-12

（ 7 ）國家能源局項目，“關於國際油價波動預警指標的定性定量分析”，2010-01--2011-12

（ 8 ）國家自然科學基青年項目，幾何造型若干重要問題的誤差可控算法,2009-01--2012-12