 | 姓名:毕忠勤 | 性别:男 |
| 学历:博士研究生 | 职称:副教授 | |
| 电话: | 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, 主持. | ||