基本信息

申立勇  男  教授,博导  数学科学学院,中科院大数据挖掘与知识发现重点实验室
电子邮件: lyshen@ucas.ac.cn
通信地址: 北京石景山玉泉路19号甲
邮政编码: 100049

研究领域

计算机辅助几何设计

数控技术,智能制造
图像处理,数据挖掘

招生信息

   
招生专业

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,中科院系统所, 博士后


社会兼职
2019-08-24-今,CCF计算机辅助设计与图形学专业委员会, 委员
2019-03-01-今,《系统科学与数学》编委,
2015-12-01-今,Mathematical reviewer of American Mathematical Society(AMS),
2012-07-01-今,中国工业与应用数学学会几何设计与计算专业委员会, 委员
2011-12-31-今,中国数学会计算机数学专业委员会, 委员

教授课程

矩阵论
Matlab在科学计算中的应用
符号计算软件编程及应用
计算机辅助几何设计引论
线性代数
数学软件应用:Maple
工程应用中的拟合方法
科学工程计算概论
数值逼近
现代计算机代数
计算机辅助几何设计
数值分析
数学软件选讲:maple

专利与奖励

2020年度中国科学院青年科学家国际合作伙伴奖

2019年度中国科学院大学“唐立新优秀学者奖

2017首届“吴文俊”计算机数学青年学者奖

2017几何造型与处理国际会议最佳论文奖

2015国家安监总局科技成果二等奖

2014中国科学院数学与系统科学研究院优秀教师


出版信息

国际期刊

1.      Sonia Pérez-Díaz and Liyong Shen, Computing the μ-basis of algebraic monoid curves and surfaces, Computers & Graphics, Volume 97, June 2021, Pages 78-87.

2.      Sonia Pérez-Díaz and Liyong Shen, The μ-basis of improper rational parametric surface and its application, Mathematics, 9(6), 640, 2021

3.      Chunming Yuan, Sonia Pérez-Díaz and Liyong Shen. A Survey of the Representations of Rational Ruled Surfaces. Journal of Systems Science and Complexity, https://doi.org/10.1007/s11424-020-0018-8, 2021.

4.      Sonia Pérez-Díaz and Liyong Shen, Inversion, Degree, Reparametrization and Implicitization of Improperly Parametrized Planar Curves Using µ-Basis, Computer Aided Geometric Design, Vol.84, 101957, 2021.

5.      Chunming Yuan., Zhenpeng Mi, Xiaohong Jia, Fenming Lin, and Liyong Shen,   Tool Orientation Optimization and Path Planning for 5-Axis Machining. Journal of Systems Science and Complexity, Vol. 34, 83–106, 2021.

6.      Sonia Pérez-Díaz and Liyong Shen, Parametrization of rational translational surfaces. Theoretical Computer Sciences, Vol. 835, 156-167, 2020.

7.      Sonia Pérez-Díaz, Liyong Shen, A Symbolic-Numeric Approach for Parametrizing Ruled Surfaces, Journal of Systems Science and Complexity, Vol.33, 799–820, 2020.

8.      Shanshan Yao, Yifei Feng, Xiaohong Jia, Liyong Shen, A package to compute implicit equations for rational curves and surfaces, ACM Communications in Computer Algebra, Vol 53(2), 33-36, 2019 (Software Presentation in ISSAC’2019).

9.      Liyong Shen, Sonia Pérez-Díaz, Ron Goldman, Yifei Feng, Representing rational curve segments and surface patches using semi-algebraic sets, Computer Aided Geometric Design, Vol.74, 101770, 2019.

10.  Liyong Shen, Sonia Pérez-Díaz, Zhengfeng Yang, Numerical Proper Reparametrization of Space Curves and Surfaces, Computer-Aided Design, Vol.106, 13-29, 2019.

11.  Liyong Shen, Sonia Pérez-Díaz, Numerical polynomial reparametrization of rational curves, Computer Aided Geometric Design, Vol. 71, 90-104, 2019. (GMP’2019)

12.  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. (Invited paper presentation in SIAM/GD 2019)

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

14.  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. (Presented in Siggraph 2018)

15.  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.

16.  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).

17.  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.

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

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

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

21.  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.

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

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

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

25.  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.

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

27.  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.

28.  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.

29.  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.

30.  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.

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

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

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

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

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

国内期刊

36.  Shitao He, Liyong Shen, A Class of Parameterization Method of Accumulated Average Arc Length for Parametric Curves, Journal of Jilin University (Science Edition ), 59(2), 286-294, 2021, in Chinese.

37.  Yan Gao, Liyong Shen, Screen Defect Detection Based on Edge Detectionaccepted by J. Sys. Sci. & Math. Scis., 2021, in Chinese.

38.  Shitao He, Liyong Shen, A Class of Parameterization Method of the Accumulated Average Arc Length for Parametric Curves, accepted by Journal of Jilin University, in Chinese 2021.

39.  Zhirong Jin, Liyong Shen, Time Optimal Trajectory Planning Based on Quadratic B-Spline, J. Sys. Sci. & Math. Scis., Vol.38(12), 1364-1375, 2018, in Chinese.

40.  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.

41.  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.

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

43.  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.

44.  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.

45.  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.

46.  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.

47.  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.

48.  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.

国际会议

49.  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

50.  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

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

52.  Liyong Shen, Error Bounded Conic Spline Approximation for NC Code, Proc. of ICMV’2011, SPIE 8439.

53.  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.

54.  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.

55.  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.

56.  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.

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

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

 图书:

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.       一种面向数控加工的自由曲面的分割方法及系统 公布号:CN112330679A 申请号:2020112085792

2.       一种数控机床加工前瞻处理方法及系统 公布号:CN111880484A 申请号:2020106788201

3.       一种基于直线段和圆弧路径的多周期最优拐角的插补方法 公布号:CN111736532A申请号:2020106834869

4.       一种屏幕检测方法及系统 公布号:CN111724375A申请号:2020105735495

软件著作权:

1.       有理曲线曲面隐式化maple程序软件包V1.0 登记号:2020SR0139477.


科研活动

科研项目

  1. 重点研发计划变革性技术关键科学问题“数理模型耦合驱动的自由曲面一体化加工理论与算法”项目课题“数理模型驱动的高速高精插补方法研究”,2020YFA0713703,2020.12-2025.11, 主持

  2. 中国科学院大学青年教师提升重点项目“多源输入、分析与加工一体化高精验证平台”2020.10-2022.10, 主持

  3. XXX项目,复杂装备智能设计的数学方法,2019.12-2021.12, 主持

  4. 北京市自然科学基金重点研究专题项目“智能制造中的数学基础与应用”,Z190004,2019-10--2023-10, 主持

  5. 国家自然科学基金面上项目“CAD/CNC的曲线/曲面表示理论与方法研究”,61872332,2019.01-2022.12,主持

  6. 国家自然科学基金重点项目“数据与模型混合驱动的数据逐级再表达的优化理论与方法” 11731013, 参加,2018.0-2022.12

  7. 中国科学大学青年国际访学项目支持,2016.05-2017.05

  8. 中国科学院高级国际访学项目支持,2015.11-2016.01

  9. 国家安监总局安全生产重大事故防治关键技术科技项目“石油储备库火灾可视化智能监测和灭火系统”2014.06-2015.12, 主持

  10. 北京科委,北京市科技新星计划,  2012-12--2015-12

  11. 国家能源局项目,“关于国际油价波动预警指标的定性定量分析”,2010-01--2011-12, 主持

  12. 国家自然科学基青年项目,几何造型若干重要问题的误差可控算法, 2009-01--2012-12, 主持