當前位置: 首 頁 - 師資隊伍 - 教職員工 - 退休專家 - 正文

張樹功

發表于: 2017-11-30   點擊: 


基本情況
姓名: 張樹功  
性别:
職稱: 教授
所在系别: 信息與計算數學系
是否博導:
最高學曆: 研究生
最高學位: 博士
電話:
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,北京,參編。
獲獎情況: 無。
社會兼職: 吉林大學教育部《符号計算與知識工程》重點實驗室副主任。


上一篇: 馬富明

下一篇: 謝敬然

Baidu
sogou