您当前位置:首页>>教师名录>>教师简介

行政人员--毕忠勤教师简介

没有上传照片 姓名:毕忠勤 性别:
学历:博士研究生 职称:副教授
电话: Email:zqbi@shiep.edu.cn
系所:行政人员 办公地址:浦东校区行政楼205室
个人简介:
2009年毕业于华东师范大学,获系统分析与集成专业理学博士学位,副教授,硕士生导师。2010年荣获"上海电力学院青年教师讲课比赛二等奖"。2012年荣获"上海电力学院优秀青年教师"和"上海电力学院优秀共产党员"荣誉称号。现担任上海电力学院计算机科学与技术学院副院长,主要负责教学、实验室工作。
研究方向:
不确定数据管理、云计算、符号计算、数据质量控制技术
主讲课程:
《面向对象分析与设计》
《软件过程》
《离散数学》
《计算机应用基础》
《C语言程序设计》
《数据库原理》
科研成果:
[1] Zhongqin Bi, Meijing Shan. Review of Data Dependencies in Data Repair. Journal of Information & Computational Science 9: 15 (2012) 4623–4630.(EI检索)
[2] Zhongqin Bi, Meijing Shan. Parameterized Cache Coherence Protocol Verification using Invariant. Journal of Computational Information Systems. 2011: 7(10): 3739-3746.(EI检索)
[3] Zhongqin Bi, Meijing Shan, Xiuxia Tian. Automatic Generation of Non-linear Loop Invariant. Journal of Computational Information Systems. 2010:6(10), 3335-3344.(EI检索)
[4] Zhongqin Bi, Meijing Shan, Bin Wu. Automated Generation of Algebraic Invariant for Petri Net. ICCA2009, Christchurch, New Zealand, 2009: 1493-1496. (EI检索)
[5] Zhongqin Bi. Mechanical Algorithm for Proving a Geometric Theorem. ICCET2010, Chengdu, China, 2010: V4284-V4286. (EI检索)
[6] Zhongqin Bi, Meijing Shan. Termination Analysis of Linear Programs with Conditionals. ICACTE2008, Phuket, Thailand, 2008: 450-456. (EI检索)
[7] Zhongqin Bi, Meijing Shan, Bin Wu. Termination Analysis of P-Solvable Loops with Assignments Only. ISISE2008, Shanghai, China. 2008: 125-129. (EI检索)
[8] Zhongqin Bi, Meijing Shan, Bin Wu. Non-Termination Analysis of Linear Loop Programs with Conditionals. ASEA2008. Hainan Island, China. 2008: 159-164. (EI检索)
[9] Xiuxia Tian, Zhongqin Bi, Jianping Xu, Daming Liu. A novel dynamic role-based access control scheme in user hierarchy. Journal of Computational Information Systems. 2010:6(7), 2423-2430. (EI检索)
[10] Bin Wu, Zhongqin Bi. Termination of Nested Loop. ISCSCT2008. Shanghai, China. 2008: 536-539.(EI检索)
[11] Yongquan Wang, Zhiqing Shao, Zhongqin Bi. Computing invariants of hybrid system using quantifier elimination. ICIS2010, Chengdu, China. 2010: 407-410. (EI检索)
[12] Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng. Termination of loop programs with polynomial guards. LNCS Vol6019, 482-496. (EI检索)
[13] Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng. Termination of a class of the program with polynomial guards. ICIME 2009. Kuala Lumpur, Malaysia. 2009: 274-277. (EI检索)
[14] Bin Wu, Yingwu Hu, Zhongqin Bi. Detecting unsatisfiability of nonlinear constraints using DISCOVERER. ITCS 2009, Kiev, Ukraine. 2009: 15-18. (EI检索)
[15] Guangxi Chen, Zhenbing Zeng, Zhongqin Bi. Machine Cognition and Learning based on Interactive Symbolic Computation. IPC2007. Jeju Island, Korea. 2007: 456-461. (EI检索)
[16] Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng. Termination of a class of the program with polynomial guard. ICIME2009. Kuala Lumpur, 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.
科研项目:
[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, 主持.
  • Copyright 2012, 上海电力学院 版权所有.