个人简历

2009年毕业于华东师范大学，获系统分析与集成专业理学博士学位，副教授，硕士生导师。2010年荣获上海电力学院青年教师讲课比赛二等奖。2012年荣获上海电力学院优秀青年教师和上海电力学院优秀共产党员荣誉称号。现担任上海电力学院计算机科学与技术学院副院长，主要负责教学、实验室工作。
主讲课程:
《面向对象分析与设计》
《软件过程》
《离散数学》
《计算机应用基础》
《C语言程序设计》
《数据库原理》
科研项目:
[1]国家自然科学基金.基于节点社会性行为分析的车辆网络优化技术研究(No.61373157),2014.1-2017.12,排名第二（联合主持）;
[2]国家自然科学基金.基于云计算的海量网络数据管理与搜索技术(No.61073189).2011.1-2013.12,排名第二;
[3]国家自然科学基金.电力监测无线传感器网络中感知数据的容忍与查询(No.61272437).2013.1-2016.12,排名第二;
[4]上海自然基金.劣质容忍的电力负荷曲线数据质量控制技术研究(No.13ZR1417500).2013.7-2016.6,主持
[5]上海市科委地方能力建设项目.面向建筑能耗监控的自维持无线传感器网络关键技术研究(No.12510500700)，2012.9-2014.9，排名第二
[6]上海市教委科研创新项目重点项目.电力监测无线传感网中不确定数据质量控制与修复技术研究(No.13ZZ131),2013.1-2015.12,排名第二
[7]上海市科委基础研究重点项目.电力监测无线传感器网络的故障诊断与安全机制(No.12JC1404500).2013.1-2015.12，排名第四
[8]上海高校选拔培养优秀青年教师科研专项基金.基于UML的面向对象软件测试技术研究.2011.3-2012.12,主持.

研究领域

不确定数据管理、云计算、符号计算、数据质量控制技术

近期论文

[1]ZhongqinBi,MeijingShan.ReviewofDataDependenciesinDataRepair.JournalofInformation&ComputationalScience9:15(2012)4623–4630.(EI检索)
[2]ZhongqinBi,MeijingShan.ParameterizedCacheCoherenceProtocolVerificationusingInvariant.JournalofComputationalInformationSystems.2011:7(10):3739-3746.(EI检索)
[3]ZhongqinBi,MeijingShan,XiuxiaTian.AutomaticGenerationofNon-linearLoopInvariant.JournalofComputationalInformationSystems.2010:6(10),3335-3344.(EI检索)
[4]ZhongqinBi,MeijingShan,BinWu.AutomatedGenerationofAlgebraicInvariantforPetriNet.ICCA2009,Christchurch,NewZealand,2009:1493-1496.(EI检索)
[5]ZhongqinBi.MechanicalAlgorithmforProvingaGeometricTheorem.ICCET2010,Chengdu,China,2010:V4284-V4286.(EI检索)
[6]ZhongqinBi,MeijingShan.TerminationAnalysisofLinearProgramswithConditionals.ICACTE2008,Phuket,Thailand,2008:450-456.(EI检索)
[7]ZhongqinBi,MeijingShan,BinWu.TerminationAnalysisofP-SolvableLoopswithAssignmentsOnly.ISISE2008,Shanghai,China.2008:125-129.(EI检索)
[8]ZhongqinBi,MeijingShan,BinWu.Non-TerminationAnalysisofLinearLoopProgramswithConditionals.ASEA2008.HainanIsland,China.2008:159-164.(EI检索)
[9]XiuxiaTian,ZhongqinBi,JianpingXu,DamingLiu.Anoveldynamicrole-basedaccesscontrolschemeinuserhierarchy.JournalofComputationalInformationSystems.2010:6(7),2423-2430.(EI检索)
[10]BinWu,ZhongqinBi.TerminationofNestedLoop.ISCSCT2008.Shanghai,China.2008:536-539.（EI检索）
[11]YongquanWang,ZhiqingShao,ZhongqinBi.Computinginvariantsofhybridsystemusingquantifierelimination.ICIS2010,Chengdu,China.2010:407-410.(EI检索)
[12]BinWu,LiyongShen,ZhongqinBi,ZhenbingZeng.Terminationofloopprogramswithpolynomialguards.LNCSVol6019,482-496.(EI检索)
[13]BinWu,LiyongShen,ZhongqinBi,ZhenbingZeng.Terminationofaclassoftheprogramwithpolynomialguards.ICIME2009.KualaLumpur,Malaysia.2009:274-277.(EI检索)
[14]BinWu,YingwuHu,ZhongqinBi.DetectingunsatisfiabilityofnonlinearconstraintsusingDISCOVERER.ITCS2009,Kiev,Ukraine.2009:15-18.(EI检索)
[15]GuangxiChen,ZhenbingZeng,ZhongqinBi.MachineCognitionandLearningbasedonInteractiveSymbolicComputation.IPC2007.JejuIsland,Korea.2007:456-461.(EI检索)
[16]BinWu,LiyongShen,ZhongqinBi,ZhenbingZeng.Terminationofaclassoftheprogramwithpolynomialguard.ICIME2009.KualaLumpur,Malaysia.2009:274-277.(EI检索)
[17]毕忠勤,曾振柄,郭远华.非线性循环不变式的自动生成.计算机应用,2008,28(7):1854-1857.
[18]毕忠勤,单美静,陈光喜.基于DISCOVERER的Petri网不变式自动生成.计算机应用研究.2009,26(4):1320-1322.
[19]毕忠勤,陈光喜,单美静.可满足性问题全部解的求解算法.计算机工程与应用.2009,45(3):35-37.
[20]单美静,曾振柄,毕忠勤.寻找平面代数剖分样本点的改进算法.计算机应用,2007,27(4):997-999.
[21]郭远华,曾振柄,毕忠勤,郭远刚.基于动态几何技术的平面几何资源库检索.计算机应用,2008,28(1):239-241.