李志斌

国务院学位委员会第七届学科评议组（系统科学）成员

非线性系统、计算机符号计算

   长期从事计算机符号计算及其在非线性科学中的应用研究工作。在国内率先开展数学物理方程解析解的符号计算研究，在非线性数学物理领域发表SCIE检索论文百余篇（他引次数超过1600次）、出版学术专著一部。作为骨干连续参加国家攀登计划“机器证明及其应用”、“数学机械化及其应用”和国家重点基础研究发展计划“数学机械化与自动推理平台”、“数学机械化及其在信息技术中的应用”等项目的研究。主持完成过多项国家自然科学基金项目、甘肃省自然科学基金项目、上海市自然科学基金项目以及教育部博士点专项基金项目。先后获得过霍英东教育基金会高校青年教师奖、国家优秀教学成果二等奖和上海市曙光学者称号。

研究论文

1、李志斌，一类具不变性质的变系数偏微分方程的特解，数学研究与评论，7(2): 283-288，1987

2、李志斌，Heisenberg群上一类偏微分方程的初值问题，数学年刊A辑，10(5): 571-579，1989

3、Li ZB, Luo XB，The initial-value problem for the generalized heat operator on the Heisenberg-group，CHINESE SCIENCE BULLETIN，36(9): 710-712，1991

4、Li ZB, Wang ML，Travelling wave solutions to the two-dimensional KdV-Burgers equation，JOURNAL OF PHYSICS A: MATHEMATICS AND GENERAL，26(21): 6027-6031，1993

5、Wang ML, Zhou YB, Li ZB，Application of a homogeneous balance method to exact solutions of nonlinear equations in mathematical physics，PHYSICS LETTERS A，216(1-5): 67-75，1996

6、李志斌，张善卿，非线性波方程准确孤立波解的符号计算，数学物理学报，17(1): 81-89，1997

7、Wang ML, Zhou YB, Li ZB，A nonlinear transformation of the dispersive long wave equations in (2+1) dimensions and its applications，JOURNAL OF NONLINEAR MATHEMATICAL PHYSICS，5(2): 120-125，1998

8、Zhang GX, Li ZB, Duan YS，Exact solitary wave solutions of nonlinear wave equations，SCIENCE IN CHINA SERIES A-MATHEMATICS，44(3): 396-401，2001

9、Li ZB, Liu YP，RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations，COMPUTER PHYSICS COMMUNICATIONS，148(2): 256-266，2002

10、Liu YP, Li ZB，An automated Jacobi elliptic function method for finding periodic wave solutions to nonlinear evolution equations，CHINESE PHYSICS LETTERS，19(9): 1228-1230，2002

11、Yao RX, Li ZB，New exact solutions for three nonlinear evolution equations，PHYSICS LETTERS A，297(3-4): 196-204，2002

12、Xu GQ, Li ZB，A Maple package for the Painlevé test of nonlinear partial differential equations，CHINESE PHYSICS LETTERS，20(7): 975-978，2003

13、Zhou ZJ, Li ZB，A unified explicit construction of 2N-soliton solutions for evolution equations determined by 2 x 2 AKNS system，COMMUNICATIONS IN THEORETICAL PHYSICS，39(3): 257-260， 2003

14、Li ZB, Liu YP，RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equations，COMPUTER PHYSICS COMMUNICATIONS，163(3): 191-201，2004

15、Xu GQ, Li ZB，Symbolic computation of the Painlevé test for nonlinear partial differential equations using Maple，COMPUTER PHYSICS COMMUNICATIONS，161(1-2): 65-75，2004

16、Yao RX, Li ZB，An algorithm of constructing the conservation laws of nonlinear evolution equations，INTERNATIONAL JOURNAL OF MODERN PHYSICS B，18(17-19): 2633-2639，2004

17、Yao RX, Li ZB，Conservation laws and new exact solutions for the generalized seventh order KdV equation，CHAOS SOLITONS & FRACTALS，20(2): 259-266，2004

18、Yao RX,Qu CZ, Li ZB，On properties of new parameterized 5th-order nonlinear evolution equation，CHAOS SOLITONS & FRACTALS，21(5): 1145-1152，2004

19、Zhang SQ, Li ZB，Infinite-parameter potential symmetries and a new exact solution for the particle-cluster dynamic equation，CHINESE PHYSICS LETTERS，21(2): 223-226，2004

20、Xu GQ, Li ZB，Explicit solutions to the coupledKdVequations with variable coefficients，APPLIED MATHEMATICS & MECHANICS，26(1): 101-107，2005

21、Xu GQ, Li ZB，PDEPtest: a package for the Painlevé test of nonlinear partial differential equations，APPLIED MATHEMATICS & COMPUTATION，169(2): 1364-1379，2005

22、Zhang SQ, Zhang GX, Li ZB，ICS: a package for computing involutive characteristic set of algebraic partial differential equation systems，APPLIED MATHEMATICS & COMPUTATION，160(2): 551-577，2005

23、Yao RX, Li ZB，CONSLAW: A Maple package to construct the conservation laws for nonlinear evolution equations，APPLIED MATHEMATICS & COMPUTATION，173(1): 616-635，2006

24、Zhou ZJ, Fu JZ, Li ZB，An implementation for the algorithm of Hirota bilinear form of PDE in the Maple system，APPLIED MATHEMATICS & COMPUTATION，183(2): 872-877，2006

25、Gu HF, Li ZB，A modified Adomian method for system of nonlinear differential equations，APPLIED MATHEMATICS & COMPUTATION，187(1): 748-755，2007

26、Wang ZC, Qian HF, Li ZB，Hybrid proxy multisignature: A new type multi-party signature， INFORMATION SCIENCES，177(24): 5638-5650，2007

27、Zhang Y, Chen DY, Li ZB，The exact solution to Boussinesq equation through a limiting procedure，PHYSICA A，373(1): 174-182，2007

28、Chen Y, An HL, Li ZB，The function cascade synchronization approach with uncertain parameters or not for hyperchaotic systems，APPLIED MATHEMATICS AND COMPUTATION，197(1): 96-110，2008

29、Liu YP, Li ZB，Homotopy analysis method for nonlinear differential equations with fractional orders，ZEITSCHRIFT FUR NATURFORSCHUNG SECTION A-A JOURNAL OF PHYSICAL SCIENCES，63a: 241-247，2008

30、Qian HF, Zhou Y, Li ZB, Wang ZC, Zhang B，Efficient public key encryption with smallest ciphertext expansion from factoring，DESIGNS, CODES & CRYPTOGRAGH，49(1-3): 233-249，2008

31、Yang P, Chen Y, Li ZB，An approach for solving short-wave models for Camassa-Holm equation and Degasperis-Procesi equation，COMMUNICATIONS IN THEORETICAL PHYSICS，50(3): 583-586，2008

32、Zhaqilao, Li ZB，New multi-soliton solutions for the (2+1)-Dimensional Kadomtsev Petviashvili equation，COMMUNICATIONS IN THEORETICAL PHYSICS，49(3): 585-589，2008

33、Zhaqilao, Li ZB，Darboux transformation and bidirectional soliton solutions of a new (2+1)-dimensional soliton equation，PHYSICS LETTERS A，372(1): 1422-1428，2008

34、Zhaqilao, Li ZB，Darboux transformation and various solutions for a nonlinear evolution equation in (3+1)-dimensions，MODERN PHYSICS LETTERS B，22(30): 2945-2966，2008

35、Liu YP, Yao RX, Li ZB，An application of a homotopy analysis method to nonlinear composites，JOURNAL OF PHYSICS A-MATHEMATICAL & THEORETICAL，42(12): 125205+18p，2009

36、Wang ZC，Qian HF，Li ZB，Adaptively secure threshold signature scheme in the standard model，INFORMATICA，20(4): 591-612，2009

37、Zhao YL, Liu YL, Li ZB，A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs，COMPUTER PHYSICS COMMUNICATIONS，180(11): 2123-2128，2009

38、Zhaqilao, Li ZB，Positon, negaton, soliton and complexiton solutions to a four dimensional nonlinear evolution equation，MODERN PHYSICS LETTERS B，23(25): 2971-2991，2009

39、Zhaqilao, Li ZB，Solitary wave solutions to the generalized coupled mKdV equation with multi-component，JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS，359(2): 794-800，2009

40、He J，Qian HF，Zhou Y，Li ZB，Cryptanalysis and improvement of a block cipher based on multiple chaotic systems，MATHEMATICAL PROBLEMS IN ENGINEERING，Article ID 590590: 1-14，2010

41、Li F，Li ZB，Pi L，Variable exponent functionals in image restoration，APPLIED MATHEMATICS & COMPUTATION，216(3): 870-882，2010

42、Xu M, Chen LY, Zeng ZB, Li ZB，Reachability analysis of rational eigenvalue linear systems，INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE，41(12): 1411-1419，2010

43、Xu M, Chen LY, Zeng ZB, Li ZB，Termination analysis of linear loops，INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE，21(6): 1005-1019，2010

44、Xu M, Mu CD, Zeng ZB, Li ZB，A heuristic approach to positive root isolation for multiple power sums，JOURNAL OF UNIVERSAL COMPUTER SCIENCE，16(14): 1912-1926，2010

45、Yang P, Chen Y, Li ZB，Analytic approximations for the soliton solutions of short-wave models for Camassa-Holm and Degasperis-Procesi equations，COMMUNICATIONS IN THEORETICAL PHYSICS，53(6): 1027-1034，2010

46、Zhou ZJ, Fu JZ, Li ZB，Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations，APPLIED MATHEMATICS AND COMPUTATION，217(1): 92-104，2010

47、Lin YZ, Liu YP, Li ZB，Symbolic computation of analytic approximate solutions for nonlinear differential equations with initial conditions，COMPUTER PHYSICS COMMUNICATIONS，183(1): 106-117，2012

48、Liu YP, Liao, SJ, Li ZB，A maple package of automated derivation of homotopy analysis solution for periodic nonlinear oscillations，JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY，25(3): 594-616，2012

49、Rao F, Wang WM, Li ZB，Stability analysis of an epidemic model with diffusion and stochastic perturbation，COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION，17(6): 2551-2563，2012

50、Lin YZ, Liu YP, Li ZB，Exact solutions for pattern formation in a reaction-diffusion system，INTERNATIONAL JOURNAL OF NONLINEAR SCIENCES AND NUMERICAL SIMULATION，14(5): 307-315，2013

51、Lin YZ, Liu YP, Li ZB，Symbolic computation of analytic approximate solutions for nonlinear fractional differential equations，COMPUTER PHYSICS COMMUNICATIONS，184(1): 130-141，2013

52、Liu YP, Liao, SJ, Li ZB，Symbolic computation of strongly nonlinear periodic oscillations，JOURNAL OF SYMBOLIC COMPUTATION，55: 72-95，2013

53、Xu M, Li ZB，Symbolic termination analysis of solvable loops，JOURNAL OF SYMBOLIC COMPUTATION，50(1): 28-49，2013

54、Qian HF, Zhou Y, Li ZB, Chen ZJ，Generating signatures with optimal overhead: practical paddings for signature schemes，SECURITY AND COMMUNICATION NETWORKS，7(12): 2345-2355，2014

55、Xu M, Li ZB, Yang L，Quantifier elimination for a class of exponential polynomial formulas，JOURNAL OF SYMBOLIC COMPUTATION，68(1): 146-168，2015

56、Xu M, Huang CC, Li ZB, Zeng ZB，Analyzing ultimate positivity for solvable systems，THEORETICAL COMPUTER SCIENCE，609(2): 395-412，2016

学术专著

     李志斌，非线性数学物理方程的行波解，科学出版社（北京），2007