在岗研究生导师情况介绍
所系名称计算生物学研究所
性别男
专业名称计算生物学
技术职务研究员
行政职务无
Mail地址zbzeng@sibs.ac.cn
指导博士
生总数10指导硕士
生总数30已毕业学生通讯地址上海市岳阳路320号计算生物学研究所
目前博士
生数4目前硕士
生数2目前在校生邮政编码200031
研究方向生物信息处理技术
研究工作1.生物数据的组合和几何结构分析的计算与推理技术Automated-reasoningtechnologyforidentifyingandanalyzingcombinatorialandgeometricaspectsofbiologicaldata,
2.距离几何及大分子结构分析Distancegeometryoflargemolecules,
3.生物学图像处理Imagereconstructioninbiology,
4.生物信息学中的数据挖掘方法和人工智能技术Biologicaldatamining.
目前承担的主要项目共3项，其中：国家级3项
组合几何全局最优化问题的机械化解法国家自然科学基金委项目2005－2008主要负责人
数学机械化方法及其在信息技术中的应用973项目2004－2009子课题负责人
可生存的海量信息系统软件设计理论973项目2005－2010子课题负责人
获奖情况
1997国务院特殊政府津贴
2001四川省学术技术带头人后备人选
2002四川省优秀青年科技奖
指导研究
生情况
四川大学（协助指导博士研究生）7人
中国科学院成都计算所博士研究生4人，硕士研究生8人
华东师范大学博士研究生6人，硕士研究生22人
个人简介1987.9—1990.3中国科学院成都分院数理科学研究室研究实习员、助研
1990.4—1993.12德国Bielefeld大学数学系博士研究生、科研助手
1994.6—2003.11中国科学院成都计算机应用研究所助研、副研究员、研究员、博士生导师
2003.11—今华东师范大学软件学院教授，博士生导师
2005.11—今中国科学院——马普学会计算生物学伙伴研究所博士生导师
近期论文SelectedPublications:
[1]YangLu,ZengZhenbing,AProblemofWetzel’s:TriangleinRectangle,10thAsianTechnologyConferenceinMathematics,December12-16,2005,KoreaNationalUniversityofEducation,Cheong-Ju,SouthKorea.
[2]YangLu,ZengZhenbing,SomeSpecialGeometricConstraintsSolvedbyInvariantMethods,Proc.oftheSeventhAsianSymposiumonComputerMathematics,December8-10,2005),S.BaeandH.Parkeds.,pp.115-117,KoreaInstituteforAdvancedStudy,2005.
[3]YangLu,ZengZhenbing,SymbolicSolutionofaPianoMover'sProblemwithFourParameters,LectureNotesinArtificialIntelligence3763,H.HongandD.Wandeds.,pp.59-69,SpringerVerlag.
[4]曾振柄,李传中,基于Bezier曲线逼近的二次曲线快速作图(AfastalgorithmfordrawingellipsesandhyperbolasusingpiecewiseBezierapproximation),第12次全国图象图形学学术会议(2005年10月12-14日,北京,The12thNationalConferenceonImageandGraphics)会议录,中国图象图形学学会编,清华大学出版社出版社,第442—449页.
[5]FuHongguang,ZhongXiuqin,ZengZhenbing,Rule-BasedAutomatedSimplificationofTrigonometricExpressions,ProceedingsoftheInternationalLispConference2005,StanfordUniversity,June19-22,2005,pp385-391.
[6]YangLu,ZengZhenbing,AnOpenProblemonMetricInvariantsofTetrahedra,Proceedingsofthe2005InternationalSymposiumonSymbolicandAlgebraicComputation(ISSAC2005,July24-27,Beijing),ManuelKauers,Editor.,pp362-364,ACMPress.
[7]王鹏,单保慈,谢千河,曾振柄,基于小波变换的正电子断层扫描(PET)图像分析(PositionEmissronTomogrphy(PET)ImagesAnalysisBasedonWaveletTransform),航天医学与医学工程,第17卷第3期(2004年3月),214—218页.
[8]ZhiweiXu,WeiLi,Hongguang,Fu,ZhenbingZeng,MathematicsEducationoverInternetBasedonVegaGridTechnology,JournalofDistanceEducationTechnologies,1(3),pp.1-13,2003.
[9]曾振柄,符红光,计算机辅助教学软件设计中的人工智能技术,计算机应用,第22卷增刊(2002年10月).
[10]陈光喜,曾振柄,智能知识系统的学习算法与实现,计算机应用,第22卷增刊(2002年10月).
[11]曾振柄,求合取范式可满足性问题全部解的一个算法,计算机科学2002年增刊(第四次全国理论计算机学术会议会议录,长沙,2002年10月),152—154页.
[12]ZengZhenbing,FuHongguang,SubresultantsandDiscriminantSequences,AutomatedDeductioninGeometry2002,RiscUniLinz.,Sept.2002,Linz,Austria.
[13]FuHongguang,ZengZhenbing,ANewDynamicGeometrySoftwarewithaProverandaSolver,Proc.Visit-Me2002(ViennaInt.Symp.onIntegralTechnologyintoMathematicalEducations),July2002,Vienna,Austria.
[14]陈帆,曾振柄,几何定理自动证明的一种数值测试辅助算法,计算机应用,第22卷第10期(2002年10月),21-24页.
[15]吴文渊,曾振柄,符红光,基于ontology的平面几何知识库设计,计算机应用,第22卷第3期(2002年3月),10-14页.
[16]YangLu,ZengZhenbing,Equi-CevalinePointsofTriangles,LectureNotesSeriesonComputingVol.8,ComputerMathematics(ProceedingsoftheFourthAsianSymposium2000),pp130-137,WorldScientific,Singapore,2000.
[17]ChenGuangxi,LiChuanzhong,WangXiaojing,ZengZhenbing,APhysicsICAISystemBasedonTheoremProving,ATCM2000,pp.66-72,Dec.17-21,Thailand
[18]ZengZhenbing,AMechanicalTheoremDiscoveringAlgorithmforConstructionProblemofRealGeometryConfigurations,ProceedingsofADG2000,pp.92-97,TheThirdInternationalWorkshoponAutomatedDeductioninGeometry,Zurich,Switzerland,Sept.25-27,2000.
[19]曾振柄,符红光,基于模式识别的因式分解算法及其在智能教学软件设计中的应用.计算机应用,第20卷第8期(2000年8月).
[20]ZhangWeinian,HouXiaorong,ZengZhenbing,WeakCentersandBifurcationofCriticalPeriodsinReversibleCubicSystem,ComputerandMathematicswithApplications,40(6-7):771-782SEP-OCT2000.
[21]FuHongguang,YangLu,ZengZhenbing,ArecursivealgorithmforconstructinggeneralizedSturmsequence,ScienceinChina(SeriesE)Vol.43,No.1(February2000),pp.32-41.
[22]FuHongguang,YangLu,ZengZhenbing,AnewalgorithmproducinggeneralizedSturmsequenceforpolynomialswithsymboliccoefficients,ProceedingsoftheThirdAsianTechnologyConferenceinMathematics(ATCM'98),August24-28,1998,Tsukuba,Japan,313-322.
[23]侯晓荣,曾振柄,平面代数剖分样本点的一个有效算法,计算机应用,第17卷第5期(1997年10月).
[24]FuHongguang,ZengZhenbing,Apracticalsymbolicalgorithmfortheinversekinematicsof6Rmanipulatorswithsimplegeometry,the14thInternationalConferenceonAutomatedDeduction,July13-17,1997,Townswille,NorthQueensland,Australia,In:Springer'sLNAI1249,pp.73-86(1997)
[25]AndreasDress,YangLu,ZengZhenbing,Heilbronnproblemforsevenpointsinaplanarconvexbody,inMinimaxandApplications,editedbyDuDingzhuandPanosM.Pardalos,Nonconvexoptimizationandit’sapplications,1995.
[26]YangLu,HouXiaorong,ZengZhenbing,Acompletediscriminationsystemforpolynomials,ScienceinChina,Ser.E39:6(1996),628-646.
[27]YangLu,HouXiaorong,ZengZhenbing,Analternativealgorithmfordeterminingthenumberofrealrootsofapolynomial,LogicandSoftwareEngineering,pp.151-161,WorldScientific,1996.
[28]AndreasDress,YangLu,ZengZhenbing,Heilbronnproblemforsixpointsinaplanarconvexbody,CombinatoricsandGraphTheory'95,Vol1,pp97-118,WorldScientific,1995.//inMinimaxandApplications,editedbyDuDingzhuandPanosM.Pardalos,Nonconvexoptimizationandit’sapplications,1995.
