基本信息
电子邮件：lyshen@ucas.ac.cn
联系电话：**
通信地址：北京市石景山区玉泉路19号（甲），或怀柔区怀北镇怀北庄380号,中国科学院大学 数学科学学院
邮政编码： 100049


研究领域计算机辅助几何设计，几何造型，数控技术
符号和数值计算，曲线、曲面隐式化、恰当化
程序验证，程序终止性分析

招生信息

招生专业应用数学
计算数学

招生方向计算机数学，计算机辅助几何设计，符号计算，计算几何
教育背景

学历2000~2005 博士 中国科学技术大学
1996~2000 学士 中国科学技术大学

出国学习工作2015.11~2016.1 美国，Rice大学计算机科学系访问
2015.9~2015.10 日本，新澙大学理学院访问
2010.2~2010.5 香港，香港大学计算机科学系访问
工作经历

工作简历2008.12 ~至今 中科院研究生院 数学科学学院
2007.07~2008.12 华东师范大学 软件学院计算机理论研究所
2005.07~2007.07 中科院数学与系统科学研究院 系统所
教授课程计算机辅助几何设计，计算机代数，数值分析，maple及其应用，matlab在科学计算中的应用，矩阵分析，数学建模

出版信息1.申立勇，刘洋, 椭圆与抛物线（双曲线）位置关系的代数条件，系统仿真学报，1208－1211, 2002. (EI)

2. 刘洋，申立勇, 椭圆位置关系的代数条件，计算机辅助设计与图形学学报，555－560, 2003. (EI)

3. 申立勇，黄章进, 一类多参数曲线细分格式，计算机辅助设计与图形学学报，Vol.4, 468－472, 2007.（EI）

4. 申立勇，空间曲线的μ基及隐式化，计算机辅助设计与图形学学报，900-904， Vol.7，2009. （EI）

5. 申立勇，袁春明，有理曲线的近似恰当化，计算机辅助设计与图形学学报，924-929，Vol.7，2009. （EI）

6. 杨峥园，申立勇，燃气燃爆实验数据的多约束B样条曲线拟合， 图学学报 ，Vol.32(4), 598-602 , 2014. (CSCD)

7. 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. (EI，ISTP)

8. 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. (SCI)

9. 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.（SCI）

10. Engwee Choinh, Xiao-Shan Gao and Liyong Shen, Inherently Improper Surface Parametric Supports, Computer Aided Geometry Design, 23, 629－639, 2006.（SCI）

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

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

13. Liyong Shen and Chunming Yuan, Implicitization using univariate resultants, Journal of Systems Science and Complexity Volume 23, Number 4, 804-814, 2010. （SCI）

14. 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. （EI）

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

16. 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 (SNC2009), 185-190.（EI）.

17. 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 2010, LNCS 6019, 482–496.（EI）.

18.Liyong Shen, Error Bounded Conic Spline Approximation for NC Code, Proc. of International Conference on Machine Vision (ICMV2011), SPIE 8349.（EI）

19. Yin Chen, Liyong Shen and Chunming Yuan, Collision and intersection detection of two ruled surfaces using bracket method, Computer Aided Geometry Design，vol.28, 114-126， 2011(SCI).

20. Liyong shen, Singularities of the Determinantal Curve of Three Conics, journal of information and computational scince,Vol. 9 (3) : 575- 582, 2012(EI)

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

22.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, Vol29(3), 289-293, 2012.(CSCD)

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

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

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(SCI)

26.Shen, Liyong and Perez-Diaz, Sonia, Characterization of rational ruled surfaces, Journal of Symbolic Computation. Vol. 63, 21-45, 2014. (SCI)

27. L.-Y. Shen and Pérez-Díaz, Determination and (re)parametrization of rational developable surfaces, Journal of Systems Science and Complexity. Accepted. (2014)

28.S. Pérez-Díaz and L.-Y. Shen, Parametrization of Translational Surfaces, Proceedings SNC2014, ACM, 128-129, 2014.（EI）.

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

30. Shen, Liyong and Perez-Diaz, Sonia, Numerical proper reparametrization of parametric plane curves, Journal of Computational and Applied Mathematics.Vol. 277, 138–161,2015. (SCI)

31. Zhengyuan Yang, Li-Yong Shen, Chun-Ming Yuan, Xiao-Shan Gao，Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines，Computer-Aided Design. Vol 66, 62-72,2015.(SCI)

32.Ruyong Feng, Li-Yong Shen, Computing the intersections of three conics according to their Jacobian curve, Journal of Symbolic Computation. Volume 73, March–April 2016, Pages 175-191. (SCI)
科研活动科研项目

1.2013年安全生产重大事故防治关键技术科技项目“石油储备库火灾可视化智能监测和灭火系统”2013.7-2014.12，主持人。
2.企业项目“ 牙刷植毛机上料自动化”2013.7-2014.7，主持人
3.北京市科技新星计划Z**2065， 2012.12-2015.12，主持人。
4. 中国博士后基金特别资助项目“二次曲线簇与三次曲线对应关系的研究”， 2010.11~2012.11，主持人。
5. 国家自然科学基金青年基金项目“几何造型若干重要问题的误差可控算法”，批准号**，2010.01~2012.12，主持人。
6.项目“关于国际油价波动预警指标的定性定量分析”，2010.1~2011.12，主持人。
7. 中科院数学与系统科学院，数学机械化重点实验室开放课题“数控技术中曲线、曲面的研究”，项目号：KLM0912, 2009.11~2011.12，主持人。
8. “大型设备火灾主导防御系统的中理论模型分析与研究”，2011.1-2012.12，主持人。
9. 973项目子课题“事故致灾过程和事故致因理论课题”2011.1-2012.12，参与人员。
10. 资环局专项课题“气孔密度可塑性与空间格局的关系”，2011.1-2013.12，参与人员。
11. 国家自然科学基金重点项目“基于计算机代数的嵌入式软件分析与验证方法及工具”，10/250W,批准号**，2008.01~2010.12，主要参加人员，完成。
12. 中科院数学与系统科学院，数学机械化重点实验室开放课题“数控系统中的数学方法”，2008.06~2009.05，主持人，完成。

参与会议

1. International Conference on Software and Computing Technology Otc. 2010, Kunming, China.

2. The Thirteenth Annual Chinese-American Kavli Frontiers of Science Symposium, Irvine, CA, Sept. 2010

3.第三届全国计算机数学会议，上海，中国，十月，2010。

4.International Conference on Algebraic Geometry and Geometric Modeling, July 21-26, 2009, Lijiang, China. 30 minutes report.

5.International Conference on Mathematics Mechanization-In honor of Prof. Wen-Tsun Wu’s ninth birthday. Beijing, May 11-13, 2009.

6.IEEE International Joint Conference on Computational Sciences and Optimization (CSO 2009), Sectional Report. Sanya, China, April 23-27, 2009.

7.第十五届计算机辅助设计与图形学学术会议（CAD/CG2008），辽宁，大连，2008，07，会议报告。

8.International Seminar on Symbolic Real Algebra and Trustworthy Computing, ECNU, Shanghai, China，3，2008，(Organization Committee).

9.The 4th International Conference on Computers in Scientific Discovery, ECNU, Shanghai, China，4，2008，(Organization Committee).

10.International conference of computer aided design and computer graphics 2007， 11，2007，beijing， China

11. 第十四届计算机辅助设计与图形学学术会议（CAD/CG2006），山东，济南，2006，会议报告。

12. International Symposium on Symbolic and Algebraic Computation ISSAC2005, Beijing, 07, 2005.




合作情况

项目协作单位