师资队伍
您的位置>>首页 > 师资队伍
师资队伍

张树功

基本情况
姓名: 张树功
性别:
职称: 教授
所在系别: 信息与计算数学系
是否博导:
最高学历: 研究生
最高学位: 博士
电话:
Email:
详细情况
所在学科专业: 计算数学
所研究方向: 符号计算,图像处理及其应用
讲授课程: 1) 《计算机代数》,数学学院高年级本科生选修;
2) 《数值分析(上)-数值代数》,数学学院本科生。
教育经历: 1978.02--1982.02 东北工学院数学系 学生
1982.02--1984.12 吉林大学数学所 硕士研究生
1991.09--1993.12 吉林大学计算中心 博士研究生
工作经历: 1984.12~1991.09 东北工学院数学系 助教、讲师
1993.12--1996.01 吉林大学计算机科学系 博士后
1996.01--1999.12 吉林大学数学学院 副教授
2000.01--现在 吉林大学数学学院 教 授
2001.06--现在 吉林大学数学学院 博士生导师
科研项目: 曾经承担项目
1)“973”项目--“定理机器证明及其应用”,项目成员;
2)“973”项目--“数学机械化与自动推理平台”,项目成员;
3)“973”项目--“数学机械化方法及其在信息领域中的应用”,项目成员;4)自然科学基金面上项目--“CAGD中若干基本问题的代数几何理论与可行算 法”,批准号 10471055,2005.01--2007.12,负责人;
在研项目
1)自然科学基金面上项目--“多元代数插值的计算机数学方法”,批准号11171133,2012.01--2015.12,负责人。
学术论文: 1.高允彦,贾光霖,史玉升,孙庆新,张树功, 线性电磁搅拌时金属运动规律的数学模型,《东北工学院学报》,1991年 12卷 3期,起止页码:292-297.
2.A new type of reduced dimension path following methods. J. Comput. Math. 10 (1992), no. 3, 263--272. (Reviewer: G. J. Miel) 65H20
3.Reducing the multivariate polynomial system to eigenvalue problem. Northeast. Math. J. 8 (1992), no. 3, 253--256. (Reviewer: José A. Hermida-Alonso) 15A18 (13F20)
4.The eigenvalue problem equivalent to multivariate polynomial system, Numerical Algebra: Proceedings of '92 Shanghai International Numerical algebra and its Applications Conference(1992, Shanghai), 62-65.
5.The Eigenvalue Problem Equivalent to Multivariate Polynomial System, Numer. Math. J. Chinese Universities(English Series), Vol.2 (1993), No.2, 234-241,1995.
6.The Eigenvalue Method for Solving Multipolynomial System, Lecture Notes in Num. Appl. Anal., 14, 1-8(1995), edited by H. Fujita and M. Yamaguti, Kinokuniya, Tokyo.
7.The Structure of Solutions to Algebraic System and Matrices in Eigenvalue Method, Northeast. Math. J., Vol. 11, No. 4 (1995), 383-386.
8.Converting Multipolynomial systems into eigenproblems via well arranged bases, proceedings of First Asian Technology conference in Mathematics, Singapore(Dec.,1995), Editors: D. T. Le, V. Saito, B. Teissier, World Scientific(1995).
9.The Structure of Solutions to Algebraic System and Matrices in Eigenvalue Method, Proceedings of Asian Symposium on Computer Mathematics, 43-53, edited by He Shi and H. Kobayashi, Scientists Incorporated, Tokyo, 1995.
10.冯果忱 张树功 张传林 , Eigenvalue Methods for Computing High-dimensional Varieties, Northeast. Math. J., Vol. 12, No. 1 (1996), 1-4.
11.张传林,冯果忱,张树功,计算代数方程组流形解的特征值方法,应用数学与计算数学学报,1997,02.
12.Clifford Algebra and Mechanical Geometry Theorem Proving, Proceedings of Asian Symposium on Computer Mathematics, edited by Li Zhibin(1998),49-63.
13.A Clifford algebraic method for geometric reasoning. In: Proc. 2nd ADG(Beijing, China, August 1-3,1998), in the Lecture Notes in Artificial Intelligence series (1669), Springer-Verlag(1998).
14.The Multiplicity of Zeros of Algebraic System in Eigenvalue Method, J of Computer Science and Technology, Vol.14, No.5(1999),510-517.
15.Hyper finite Interpolation, Wu’s Method and Blending of Implicit Algebraic Surfaces, J of Computer Science and Technology, Vol.14, No.5 (1999), 518-529.
16.The eigenvalue approach to polynomial system solving. Mathematics mechanization and applications, 75--93, Academic Press, San Diego, CA, 2000. 65H05 (03B35 68W30) (2000)
17.Minkowskian空间的Clifford代数表示,《数学与数学机械化》,林东岱、李文林、虞言林编,山东教育出版社(2001)。
18.Zhang Shuong, Dong Tian and Feng Guochen, Algebraic Interpolation on Manifold and the Instability of the Interpolation Nodes,Northeast. Math. J.,19(2),107-110,2003.
19.厉玉蓉,雷娜,张树功,用最低次曲面光滑拼接多个二次曲面的判别条件,吉林大学学报(理学版)41(2), 157-158,2003。
20.董天,张树功,非均匀网格点上的插值基,吉林大学学报(理学版)41(2), 159-161,2003。
21.Zhang Shugong, Li Yurong and Lei Na, Existence Criteria of Blending Surfaces of Three Quadric Surfaces—Wu Wen-tsun’s Formulae, Northeast. Math. J.,19(3),201-204,2003.
22.Feng, G.C. et al, Blending Several Implicit Algebraic Surface with Ruled Surfaces, AMS/IP Studies in Advanced mathmatics, Vol.34(2003), p89-111.
23.Li,Lei & Z, Constructive Theory and Algorithm for Blending Several Implicit Algebraic Surfaces ,In: Computer Algebra and Geometric Algebra with Application, H. Li, P. Olver and G. Sommer (eds), Springer, Berlin, 2005. (SCI) Lecture Notes in Computer Science,Volume 31 of 2065, 83-96.
24.李庆春, 张树功, 矩阵对角占优性的推广及应用,吉林大学学报(理学版) 2005; 第43卷 (第5期): 561-566。
25. 董天, 张树功, 冯果忱,代 数 流 形 上 的 插 值 问 题, 吉林大学学报(理学版) 2005; 第43卷 (第6期): 707-715。
26.Cai Shoufeng, Zhang Shugong, A Recursive algorithm on rational interpolation, Northeastern Mathematical Journal, Vol. 21,No.3(2005),253-256.
27.Cai Shoufeng, Zhang Shugong,, The algebraic method of rational interpolation, Numerical mathematics A J of Chinese Universities, Vol.14. No.4(2005), 375-382.
28.Na Lei, Shugong Zhang, Tian Dong, Guochen Feng, The Existence and Expression of Osculatory Rational Interpolation,Journal of Information and Computational Science,Volume 2 Number 3, September 2005, 493-500.
29.Tian Dong, Shugong Zhang, Na Lei,Interpolation Basis for Nonuniform Rectangular Grid,Journal of Information and Computational Science.,Volume 2 Number 4, December 2005, 671-680。
30.解滨、韩力文、张树功,一类四次隐式代数曲面的参数化,吉林大学学报(理学版),2006, 44(4), 536-540
31.李庆春, 张树功, 孙玉祥,矩 阵 对 角 占 优 性 的 推 广,吉林大学学报(理学版),2006, 44(5),700-704
32.Li Qingchun , Zhang Shugong,The Criterions for Coneigenvalues of a Matrix, Advances in Matrix Theory and Applications,World Academic Press, 2006,12-15.
33.牛立尚, 张树功, MIMO 系统的约束广义预测控制,信息技术, 2006, 第11期, 90-93.
34.李俊玲,张树功, 有约束无模型控制, 控制工程, 2007年第14卷第3期, 245-248.
35.陈 涛, 董 天, 张树功, Tower节点集上的极小次数牛顿基, 吉林大学学报(理学版) 2007; 第45卷 (第六期): 932-934.
36.丁秀欢 付治国 张树功, 基于XTR体制的盲签名方案的改进, 计算机应用 2008, 28(5) 1133-1135.
37.李俊玲, 张树功, 附加有界扰动系统开环MMMPC的可行性和稳定性, 吉林大学学报(理学版) 2008; 第46卷 (第一期): 48-50.
38. 李俊玲, 张树功, 时变不确定系统的变时域鲁棒模型预测控制, 吉林大学学报(理学版) 2008, 46(06) 1007-1012.
39.王礼萍, 张树功, 命题逻辑推理的代数化证明, 计算机工程与科学, 2008,8(10), 78-84.
40.王礼萍 张树功, 重言式和矛盾式的代数化证明, 《计算机与数字工程》2009年 第8期, 17-21.
41.Li Junling,Zhang Shugong. Some improvements on model free controller, Intelligent Control and Automation, 2008. WCICA 2008. 7th World Congress on, Publication Date: 25-27 June 2008,8164-8168, 2008.
42.Xiaoying Wang, Shugong Zhang and Tian Dong, Newton basis for multivariate Birkhoff interpolation, J Comput Appl Math 228(1):466-479 (2009).
43.谭 畅, 张树功, 零维代数簇短系数有理单变量表示的可分元计算, 吉林大学学报(理学版) 2009, 47(02) 174-178.
44.王小芳, 王瑞芳, 张树功, 基于最优化控制模型的文本主题域划分, 吉林大学学报(理学版) 2009, 47(4) 769-776.
45.陈少田, 夏 朋, 张树功, 金 凯, 模上的Groebner基与切触有理插值, 吉林大学学报(理学版) 2009, 47(03) 502-504.
46.付治国, 术洪亮, 张树功, 亏格为3的超椭圆曲线除子类群的计算公式, 吉林大学学报(理学版) 2009, 47(02) 201-206.
47.王礼萍 张树功, 重言式和矛盾式的代数化证明, :《计算机与数字工程》2009年 第8期 , 17-21.
48.Li Junling,Zhang Shugong. Feasibility and stability of a kind of model predictive control of additive uncertainties, Communications in Mathematical Research, 25,299-308,2009.
49.赵雪, 张树功, 徐俊彦, 刘庆怀, 求解水平线性互补问题的同伦方法, 吉林大学学报(理学版) 2010, 48(05) 766-770.
50.王小芳, 王瑞芳, 张树功, 一种无监督文本特征计算模型, 吉林大学学报(理学版) 2010, 48(1) 79-84.
51.陈少田, 夏朋, 郭岩, 张树功, 多元矩阵值切触有理插值, 吉林大学学报(理学版) 2010, 48(03) 353-360.
52.付治国,丁秀欢,张树功, 亏格2超椭圆曲线除子类群的直接算法, 吉林大学学报(理学版) 2010, 48(05) 774-776.
53.王筱颖, 张树功, 董天, 李冬梅, 二元极小次数Lagrange插值, 吉林大学学报(理学版) 2010, 07(4) 609-611.
54.韩晓乐,蔡宇,董天,徐明飞, 由共面圆确定摄像机参数的线性方法, Computer Engineering and Applications 计算机工程与应用 2010, 46(1),160-163.
55.Xiaoying Wang, Shugong Zhang, Tian Dong: A bivariate preprocessing paradigm for the Buchberger-Möller algorithm. J.Computational Applied Mathematics (JCAM) 234(12):3344-3355 (2010).
56.Tan Chang, Zhang Shugong, Computation of the Rational Representation for Solutions of High-dimensional Systems, Communications in Mathematical Research,2010,26(2),119-130.
57. Ding Xiuhuan,Zhang Shugong,Tan Chang, Modification of Algorithm for Selected Term of the Integer Extended Euclidean Matrix Sequence, Journal of Systems Science and Mathematical Sciences, 30(3), 2010, 417-424.
58.Peng Xia, Shugong Zhang, Na Lei: A Fitzpatrick algorithm for multivariate rational interpolation. J. Computational Applied Mathematics (JCAM) 235(17):5222-5231 (2011).
59. Zhe Li, Shugong Zhang, Tian Dong: On the existence of certain error formulas for a special class of ideal projectors. Journal of Approximation Theory (JAT) 163(9):1080-1090 (2011)
60.刘莉莉, 陈少田, 夏朋, 张树功, 一元Birkhoff型有理插值问题, 吉林大学学报(理学版) 2011, 49(03) 369-372.
61.蔡宇 董天 张树功, 一种鲁棒的摄像机标定方法, 吉林大学学报(理学版) 2011, 49 (02) 267-272.
62.李喆 张树功 董天 刘莉莉, 基于约束总体最小二乘方法的近似消逝理想算法, :《系统科学与数学》2010年 第11期, 1478-1490.
63.赵雪, 张树功, 徐俊彦, 刘庆怀, 求解水平线性互补问题的同伦方法, 吉林大学学报(理学版), 2010年第48卷第5期.
着作教材: 1)《数值分析》,东北工学院出版社,1990,沈阳,参编;
2)《计算机代数基础》,吉林大学出版社,1997 长春,主编;
3)《计算机代数基础》,科学出版社,2005, 北京 主编;
4)《数值分析(I)》,高等教育出版社,2007,北京,参编。
获奖情况: 无。
社会兼职: 吉林大学教育部《符号计算与知识工程》重点实验室副主任。