曾振柄
中科院-马普学会计算生物学伙伴研究所 教授
专业名称 生物信息处理技术
技术职务 教授
Email: zbzeng@sibs.ac.cn
研究工作 近五年
科研经费共75万元，年均15万元；在国内外重要刊物上发表论文共49篇。
研究方向: 生物信息处理技术
1. 生物数据的组合和几何结构分析的计算与推理技术Automated-reasoning technology for identifying and analyzing combinatorial and geometric aspects of biological data,
2. 距离几何及大分子结构分析Distance geometry of large molecules,
3. 生物学图像处理Image reconstruction in biology,
4. 生物信息学中的数据挖掘方法和人工智能技术Biological data mining.
目前承担的主要项目共3项，其中：国家级3项
组合几何全局最优化问题的机械化解法 国家自然科学基金委项目 2005－2008 主要负责人
数学机械化方法及其在信息技术中的应用 973项目 2004－2009 子课题负责人
可生存的海量信息系统软件设计理论 973项目 2005－2010 子课题负责人
获奖情况
1997 国务院特殊政府津贴
2001 四川省学术技术带头人后备人选
2002 四川省优秀青年科技奖
指导研究生情况
四川大学（协助指导博士研究生） 7人
中国科学院成都计算所 博士研究生 3人，硕士研究生 8人
华东师范大学 博士研究生2人，硕士研究生 10人
个人简介
1987.9—1990.3 中国科学院成都分院数理科学研究室 研究实习员、助研
1990.4—1993.12 德国Bielefeld大学数学系 博士研究生、科研助手
1994.6—2003.11 中国科学院成都计算机应用研究所 助研、副研究员、研究员、博士生导师
2003.11—今 华东师范大学软件学院 教授，博士生导师
2005.11—今 中国科学院——马普学会计算生物学伙伴研究所 研究组长
近期论文
Selected Publications:
[1] Yang Lu, Zeng Zhenbing, A Problem of Wetzel’s: Triangle in Rectangle, 10th Asian Technology Conference in Mathematics, December 12-16, 2005, Korea National University of Education, Cheong-Ju, South Korea.
[2]Yang Lu, Zeng Zhenbing, Some Special Geometric Constraints Solved by Invariant Methods, Proc. of the Seventh Asian Symposium on Computer Mathematics, December 8-10, 2005), S. Bae and H. Park eds., pp. 115-117, Korea Institute for Advanced Study, 2005.
[3]Yang Lu, Zeng Zhenbing, Symbolic Solution of a Piano Mover's Problem with Four Parameters, Lecture Notes in Artificial Intelligence 3763, H. Hong and D. Wand eds., pp. 59-69, Springer Verlag.
[4]曾振柄, 李传中, 基于Bezier曲线逼近的二次曲线快速作图(A fast algorithm for drawing ellipses and hyperbolas using piecewise Bezier approximation), 第12次全国图象图形学学术会议 (2005年10月12-14日, 北京, The 12th National Conference on Image and Graphics) 会议录,中国图象图形学学会编, 清华大学出版社出版社, 第442—449页.
[5]Fu Hongguang, Zhong Xiuqin, Zeng Zhenbing, Rule-Based Automated Simplification of Trigonometric Expressions, Proceedings of the International Lisp Conference 2005, Stanford University, June 19-22, 2005, pp385-391.
[6]Yang Lu, Zeng Zhenbing, An Open Problem on Metric Invariants of Tetrahedra, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC2005, July24-27, Beijing), Manuel Kauers, Editor., pp362-364, ACM Press.
[7]王鹏, 单保慈, 谢千河, 曾振柄, 基于小波变换的正电子断层扫描(PET)图像分析(Position Emissron Tomogrphy (PET) Images Analysis Based on Wavelet Transform), 航天医学与医学工程, 第17卷第3期(2004年3月), 214—218页.
[8]Zhiwei Xu, Wei Li, Hongguang, Fu, Zhenbing Zeng, Mathematics Education over Internet Based on Vega Grid Technology, Journal of Distance Education Technologies, 1(3), pp. 1-13, 2003.
[9]曾振柄, 符红光, 计算机辅助教学软件设计中的人工智能技术, 计算机应用, 第22卷增刊(2002年10月).
[10]陈光喜, 曾振柄, 智能知识系统的学习算法与实现, 计算机应用, 第22卷增刊(2002年10月).
[11]曾振柄, 求合取范式可满足性问题全部解的一个算法, 计算机科学2002年增刊(第四次全国理论计算机学术会议会议录, 长沙, 2002年10月), 152—154页.
[12]Zeng Zhenbing, Fu Hongguang, Subresultants and Discriminant Sequences, Automated Deduction in Geometry 2002, Risc Uni Linz., Sept. 2002, Linz, Austria.
[13]Fu Hongguang, Zeng Zhenbing, A New Dynamic Geometry Software with a Prover and a Solver, Proc. Visit-Me2002(Vienna Int. Symp. on Integral Technology into Mathematical Educations), July 2002, Vienna, Austria.
[14]陈帆, 曾振柄, 几何定理自动证明的一种数值测试辅助算法, 计算机应用, 第22卷第10期(2002年10月), 21-24页.
[15]吴文渊, 曾振柄, 符红光, 基于ontology的平面几何知识库设计, 计算机应用, 第22卷第3期(2002年3月), 10-14页.
[16]Yang Lu, Zeng Zhenbing, Equi-Cevaline Points of Triangles, Lecture Notes Series on Computing Vol. 8, Computer Mathematics(Proceedings of the Fourth Asian Symposium 2000), pp130-137, World Scientific, Singapore, 2000.
[17]Chen Guangxi, Li Chuanzhong, Wang Xiaojing, Zeng Zhenbing, A Physics ICAI System Based on Theorem Proving, ATCM2000, pp.66-72, Dec. 17-21, Thailand
[18]Zeng Zhenbing, A Mechanical Theorem Discovering Algorithm for Construction Problem of Real Geometry Configurations, Proceedings of ADG 2000, pp.92-97, The Third International Workshop on Automated Deduction in Geometry, Zurich, Switzerland, Sept. 25-27, 2000.
[19]曾振柄, 符红光, 基于模式识别的因式分解算法及其在智能教学软件设计中的应用. 计算机应用, 第20卷第8期(2000年8月).
[20]Zhang Weinian, Hou Xiaorong, Zeng Zhenbing, Weak Centers and Bifurcation of Critical Periods in Reversible Cubic System, Computer and Mathematics with Applications, 40 (6-7): 771-782 SEP-OCT 2000.
[21]Fu Hongguang, Yang Lu, Zeng Zhenbing, A recursive algorithm for constructing generalized Sturm sequence, Science in China (Series E) Vol. 43, No. 1(February 2000), pp. 32-41.
[22]Fu Hongguang, Yang Lu, Zeng Zhenbing, A new algorithm producing generalized Sturm sequence for polynomials with symbolic coefficients, Proceedings of the Third Asian Technology Conference in Mathematics(ATCM'98), August 24-28, 1998, Tsukuba, Japan, 313-322.
[23]侯晓荣, 曾振柄, 平面代数剖分样本点的一个有效算法, 计算机应用, 第17卷第5期(1997年10月).
[24]Fu Hongguang, Zeng Zhenbing, A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry, the 14th International Conference on Automated Deduction, July 13-17, 1997, Townswille, North Queensland, Australia, In: Springer's LNAI 1249, pp. 73-86 (1997)
[25]Andreas Dress, Yang Lu, Zeng Zhenbing, Heilbronn problem for seven points in a planar convex body, in Minimax and Applications, edited by Du Dingzhu and Panos M. Pardalos, Nonconvex optimization and it’s applications, 1995.
[26]Yang Lu, Hou Xiaorong, Zeng Zhenbing, A complete discrimination system for polynomials, Science in China, Ser. E 39:6(1996), 628-646.
[27]Yang Lu, Hou Xiaorong, Zeng Zhenbing, An alternative algorithm for determining the number of real roots of a polynomial, Logic and Software Engineering, pp.151-161, World Scientific, 1996.
[28]Andreas Dress, Yang Lu, Zeng Zhenbing, Heilbronn problem for six points in a planar convex body, Combinatorics and Graph Theory '95, Vol 1, pp 97-118, World Scientific, 1995. //in Minimax and Applications, edited by Du Dingzhu and Panos M. Pardalos, Nonconvex optimization and it’s applications, 1995.
