2007

Books

1. 李子明等，《计算机代数》，清华大学出版社，2007。
2. 闫振亚，复杂非线性波的构造性理论及其应用, 北京：科学出版社，2007。

patents

1. 由圆柱副、圆柱副和球面副构成的并联机构。发明人：高小山、廖启征。专利号：ZL 2004 1 0073712.2, 授权时间：2007年5月2日

Journal Papers

1. Bingyu Li, Zhuojun Liu and Lihong Zhi: A Fast Algorithm for Solving the Sylvester Structured Total Least Squares Problem, Signal Processing, 87 (2007) pp. 2313-2319. (SCI)
2. Bingyu Li, Zhuojun Liu and Lihong Zhi: A Structured Rank-revealing Method for Sylvester Matrix, Journal of Computational and Applied Mathematics, February, 2007. (SCI)
3. Dongxia Sun and Lihong Zhi: Structured Low Rank Approximation of a Bezout Matrix, Mathematics in Computer Science, Birkhäuser, Basel, 2007.
4. X. Zhao and X.S. Gao, Binary Affinity Genetic Algorithm, Journal of Heuristics, 13, 133-150, 2007. (SCI)
5. X. Zhao, X.S. Gao, and Z. Hu, Evolutionary Programming Based on Non-uniform Mutation, Applied Mathematics And Computation, 192, 1-11, 2007. (SCI)
6. W.T. Wu and X.S. Gao, Mathematics Mechanization and Applications after Thirty Years, Front. Comput. Sci. China, 1(1), 1-8, 2007.
7. Q. Lin, X.S. Gao, Y Liu, G Dai, Complete Method Based on Geometric Constraint Solving (in Chinese), Journal of CAD and CG, 19(7), 828-834, 2007. (EI)
8. J. Li, L. Shen, X.S. Gao, Proper Reparametrization of Rational Ruled Surface, accepted by JSCT. (SCI)
9. X.S. Gao and M. Zhang, Decomposition of Differential Polynomials, accepted by AAECC. (SCI)
10. Zheng Xie and Hongbo Li , Exterior Difference System on Hypercubic Lattice，Acta Appl. Math. (2007) 99: 97–116. (SCI)
11. D. Wang, H. Li , Elliptic Equation’S New Solutions and Their Applications to Two Nonlinear Partial Differential Equations, Applied Mathematics And Computation 188: 761-772, 2007. (SCI)
12. D. Wang, H. Li, Symbolic Computation and Non-Travelling Wave Solutions of (2+1)-Dimensional Nonlinear Evolution Equations, Chaos, Solitons and Fractals 2007, doi: 10.1016/j.chaos.2007.07.062. (SCI)
13. D. Wang, H. Li, J. Wang , The Novel Solutions of Auxiliary Equation and Their Application to the (2+1)-Dimensional Burgers Equations, Chaos, Solitons and Fractals 2007, doi: 10.1016/j.chaos.2006.11.025. (SCI)
14. 张宁、李洪波, 仿射括号代数理论与算法及其在几何定理机器证明中的应用, 中国科学A辑, 2007, 37(5): 523-531. (SCI)
15. Z. Li, M. Wu, On Solutions of Linear Functional Systems and Factorization of Laurent-Ore Modules, Latest Advances in Symbolic Algorithms, World Scientific, 2007.
16. Shengqiang Liu, Zhuojun Liu, Jianliang Tang, A Delayed Marine Bacteriophage Infection Model, Applied Mathematics Letters, 20 (2007) pp. 702 – 706. (SCI)
17. Shengqiang Liu, Zhuojun Liu, Permanence of General Stage-Structured Consumer-Resource Models, Journal of Computational and Applied Mathematics, 201 (2007) pp. 381—388. (SCI)
18. L.P. Huang, Z.J. Liu, Similarity Reduction of Matrix over a Quaternion Division Ring, Linear Algebra and Its Applications 427 (2-3): 317-332 Dec 1, 2007. (SCI)
19. 刘卓军，代理签名研究进展，北京电子科技学院学报，Vo. 15, No. 2, 2007. pp. 5--10.
20. 张艳硕、刘卓军，基于差分的特殊权限（m+n,t1+t2）门限秘密共享, 计算机工程与应用, 2007年4月12期 2007，vol.43（12）20-22.
21. 张艳硕、刘卓军、杜耀刚，特殊权限下权重不同参与者之间的广义门限秘密共享方案，计算机工程与应用，2007年6月17期，vol.43（17）15-17.
22. 张艳硕、刘卓军，基于特殊权限的另一门限秘密共享方案，计算机工程与应用，2007年7月（20）：143-144.
23. 张艳硕、刘卓军，基于特殊差分方程的安全的多重秘密门限共享方案，计算机应用，2007年8月：1913-1914.
24. 张艳硕、刘卓军，基于特殊差分方程的安全可验证的门限秘密共享，计算机工程与应用，2007（23）：6-7.
25. Yanshuo Zhang, Zhuojun Liu, Dynamic and Verifiable Secret Sharing among Weighted Participants, J. Syst. Sci. & Complexity, (2007) 20: 481– 485. (SCI)
26. 张艳硕、刘卓军, 有门限可认证的多重秘密密钥协商方案, 计算机应用, 2007（10）: 2450 – 2452.
27. 张艳硕、刘卓军 无可信中心的动态多重秘密(m+n,t1+t2)门限方案，通信学报, Vol. 28, No. 11A, Nov. 2007, pp. 172 – 176.
28. 刘卓军、吴尽昭，集成电路验证技术，中国基础科学，2007(3)，第9卷，总第57期，pp. 11 – 14.
29. 王培宏、刘卓军、唐志鹏，基于数据包络分析的风险投资环境有效性研究，管理科学，第4卷，第5期，2007年9月，pp. 584 – 587.
30. 刘卓军、周城雄，中国数字内容产业的创新模式分析，中国软科学，2007(6), 总第198期，pp. 111 – 114.
31. 马玉杰, 最大Abel商群为局部循环群的可解群, 数学学报, 50:4, 2007.
32. Y. Ma, On a Characterization of Quasicyclic Groups, Glasnik Matematicki, Vol. 42, No.2 (2007).
33. D. Wang, An Algorithm for Decomposing a Polynomial System into Normal Ascending Sets, 中国科学 (A辑)， 2007卷50期: 1441－1450. (SCI)
34. 吴天骄，关于吴方法在双层规划中的应用, 武汉数学物理学报，Vol.27, No.1, Ser. A, 2007.
35. Z. Yan, Separation Transformation and Envelope Solutions of the Higher Dimensional Complex Nonlinear Klein–Gordon Equation. Phys. Scr., 75 (2007) 320. (SCI)
36. Z. Yan, New Exact Solution Structures and Nonlinear Dispersion in the Coupled Nonlinear Wave Systems. Phys. Lett. A, 361 (2007) 194. (SCI)
37. Z. Yan, Similarity Transformations and Exact Solutions for A Family of Higher- Dimensional Generalized Boussinesq Equations. Phys. Lett. A, 361 (2007) 223. (SCI)
38. Z. Yan, Hopf Bifurcation in the Lorenz-Type Chaotic System, Chaos, Solitons and Fractals, 31 (2007) 1135. (SCI)
39. Z. Yan, Multiple Solution Profiles to the Higher-Dimensional Kadomtsev Petviashvilli Equations via Wronskian Determinant, Chaos, Solitons and Fractals, 33 (2007) 951. (SCI)
40. Z. Yan, Globally Exponentical Hyperchaos (Lag) Synchronization in a Family of Modified Hyperchaotic Rossler Systems. Int. J. Bifurcation and Chaos, 17 (2007) 1759-1774. (SCI)
41. Z. Yan, Linear Feedback Control, Adaptive Feedback Control and Their Combination for Chaos (Lag) Synchronization of Lc Chaotic Systems,Chaos, Solitons and Fractals, 33 (2007) 419. (SCI)
42. H. Li, L. Zhao, Y. Chen, A Symbolic Approach to Polyhedral Scene Analysis by Parametric Calotte Propagation, Robotica, doi: 10.1017/S0263574707003918, 04 Dec. 2007. (SCI)
43. Yingpu Deng, Lifeng Guo; Mulan Liu, Constructions for Anonymous Secret Sharing Schemes Using Combinatorial Designs, Acta Math. Appl. Sinica,English Series, 23 (2007), 67--78.
44. Y.G. Xu, Y. Han, Hochschild (Co) Homology of Exterior Algebras, Comm. Algebra, 35 (2007), 115-131. (SCI)
45. Y.G. Xu, Y. Han and Wenfeng Jiang, Hochschild Cohomology of Truncated Quiver Algebras, Science in China, Ser. A. 50 (2007), 1-10. (SCI)
46. Banghe Li; Zhi Lu, Smooth Free Involution of H \Bbb CP3 and Smith Conjecture for Imbeddings of S3 in S6, Math. Ann. 339 (2007), 879--889. (SCI)
47. Banghe Li, Yaqing Li, Guangtian Zhu, Application of Irreducible Decomposition of Polynomials over Algebraic Extension Fields in Cryptography,Acta Anal. Funct. Appl. 9 (2007), 18--20.
48. Banghe Li, Tianjun Li, On the Diffeomorphism Groups of Rational and Ruled 4-Manifolds, J. Math. Kyoto Univ. 46 (2006), 583--593.
49. Banghe Li, Relating Fourier Hyperfunctions and Extended Fourier Hyperfunction to Hermite Heat Equation. Acta Anal. Funct. Appl. 8 (2006), 295--303.
50. Banghe Li, Explicit Relation between the Solutions of the Heat and the Hermite Heat Equation, Z. Angew. Math. Phys. 58 (2007), 959-968
51. Banghe Li, Tianjun Li, Circle-Sum and Minimal Genus Surfaces in Ruled 4-Manifolds, Proc. Amer. Math. Soc. 135 (2007), 3745--3753. (SCI)
52. Zhexian Wan, Kai Zhou, On the Complexity of the Dual Basis of a Type I Optimal Normal Basis, Finite Fields Appl. 13 (2007), 411--417. (SCI)
53. Mulan Liu, Liangliang Xiao, Zhifang Zhang, Multiplicative Linear Secret Sharing Scemes Based on Connectivity of Graphs, IEEE Transactions on Information Theory, 53 (2007), 3973--3978. (SCI)
54. 刘木兰，肖亮亮，张志芳，一类基于图上随机游动的密钥共享体制，中国科学E辑: 信息科学, 第37卷, 第2期, 199-208, 2007. (SCI)
55. Yu Shang, Guidong Wang, Xiaoning Wu, Shikun Wang and Yun-Kau Lau, Solitonic Information Transmission in General Relativity, Commun. Theor. Phys. (Beijing, China), 2007, No.4, pp. 663-664.
56. Guihua Tian, Shikun Wang and Shuquan Zhong, Stability Problem of Rindler spacetime, Chinese Physics, Vol. 16 No. 10, October (2007), pp. 2889-2895.
57. Guihua Tian, Shikun Wang and Shuquan Zhong, Approach to a Cauchy Problem in Stability study of the Schwarzschild Black Hole, Chinese Phys. Lett., Vol. 24, No. 6 (2007), pp. 1475.
58. 王世坤、张会萍，紧黎曼面上一类线丛截面空间的基, 数学学报，Vol. N0. 1, Jan, pp. 1-10 (2007）(SCI)
59. Xiangmao Ding，Guidong Wang and Shikun Wang, On Current Superalgebra and Twisted Conformal Field Theory, Commun. Theor. Phys. (Beijing, China) 47 (2007), pp. 69-77.

Papers on Conference Proceedings

1. Lihong Zhi, Numerical Optimization in Hybrid Symbolic-numeric Computation, In Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, New York, N. Y., 2007. ACM Press, pp. 33-35. (EI)
2. Erich Kaltofen, Zhengfeng Yang and Lihong Zhi, On Probabilistic Analysis of Randomization in Hybrid Symbolic-Numeric Algorithms. InProceedings of the 2007 International Workshop on Symbolic-Numeric Computation, New York, N. Y., 2007. ACM Press, pp. 11-17. (EI)
3. Bin Li, Jiawang Nie and Lihong Zhi, Approximate GCDs of Polynomials and SOS Relaxation. In Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, New York, 2007. ACM Press, pp. 205-206. (EI)
4. Erich Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, and Lihong Zhi, Lower Bounds for Approximate Factorizations via Semidefinite Programming,  In Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, New York, N. Y., 2007. ACM Press, Pp. 203-204. (EI)
5. J.S. Cheng, X.S. Gao, and C.K. Yap, Complete Numerical Isolation of Real Zeros in General Triangular Systems, Proc. ISSAC 2007, 92-99, ACM Press, New York, 2007. (EI)
6. H. Li, A Recipe for Symbolic Geometric Computing：Long Geometric Product, BREEFS, and Rational Clifford Factorization, Proc. ISSAC 2007, 261-268, ACM Press. (EI)
7. Zhuojun Liu and Zuowen Tan, A New Type of Collusion Attacks against Threshold Proxy Signature Schemes. International Conference on Convergence Information Technology, Korea, 2007.
8. Ziran Tu, Yingpu Deng, Algebraic Immunity Hierarchy of Boolean Functions. 密码学进展－ChinaCrypt’2007，中国密码学会2007年会论文集, 3-8 (2007).
9. 张志芳，保护隐私的联合求解线性方程组，密码学进展－Chinacrypt 2007, 217-224.
10. Xinan Ren, Shikun Wang, A solution of Yang-Mills Equation on BdS Spacetime, Proc. of IS-CJW, Ursula Carow-Watamura et al. (eds.) World Scientific, 2007.