段莉华

  • 博士 副教授
  • 软件工程与数据技术系
  • Email: 该Email地址已收到反垃圾邮件插件保护。要显示它您需要在浏览器中启用JavaScript。
  • Tel: 510-85178525
  • Fax: 510-85178516
 

      计算机科学博士,自2010年任教于北京大学软件与微电子学院。累计发表10余篇学术论文,其中3篇被SCI收录,12篇被EI收录。主要研究方向包括物联网技术与应用、大数据技术、软件测试与验证。主持省部级科研项目1项,获得发明专利2项。

 
  • 2005-2009

    计算机科学博士,加拿大温莎大学

  • 2002-2005

    计算机科学硕士,加拿大温莎大学

  • 1995-1999

    通信工程工学学士,北京邮电大学

 
  • 2010-

    副教授,北京大学软件与微电子学院

  • 2008-2008

    讲师(兼职),加拿大温莎大学

  • 1999-2002

    工程师,浙江省邮电规划设计院

 
  1. 《算法设计与分析》
  2. 《面向对象技术高级课程》
  3. 《计算机科学技术基础》
  4. 《软件验证与测试》
 
  1. Zhitao Wan, Lihua Duan, Ping Wang. Cloud Migration: Layer Partition and Integration. EDGE 2017: 150-157.
  2. Zhitao Wan,Ping Wang, Lihua Duan, Fan Jing Meng,Jing Min Xu. Graph Similarity based Cloud Migration Service Composition Pattern Discovery.Int. J. Web Service Res. 12(2): 26-46 (2015).
  3. Lihua Duan and Jessica Chen. Exploring Alternatives for Transition Verification. Journal of Systems and Software, Volume 82, Issue 9, pp. 1388-1402, 2009. Elsevier.
  4. Lihua Duan and Jessica Chen. Error-preserving Reductions on Communication Protocols. Software Testing, Verification and Reliability, Volume 18, Issue 1, pp. 51-68, 2008. John Wiley & Sons.
  5. Samaneh Navabpour, Lihua Duan, and Jessica Chen. Webpage Traverse with History Stack. Proc. of the Ninth International Conference on Quality Software (QSIC'09), pp.98-107. IEEE Computer Society Press.
  6. Lihua Duan and Jessica Chen. An Approach to Testing with Embedded Context using Model Checker. Proc. of the Ninth International Conference on Formal Engineering Methods (ICFEM'08), Lecture Notes in Computer Science Vol. 5256, pp. 66-85, 2008. Springer-Verlag.
  7. Lihua Duan and Jessica Chen. Reducing Test Sequence Length Using Invertible Sequences. Proc. of the Ninth International Conference on Formal Engineering Methods (ICFEM'07), Lecture Notes in Computer Science Vol. 4789, pp. 171-190, 2007. Springer-Verlag.
  8. Lihua Duan and Jessica Chen. Alternative beta-sequences. Proc. of the Seventh International Conference on Quality Software (QSIC'07), pp. 127-136, 2007. IEEE Computer Society Press.
  9. Lihua Duan and Jessica Chen. A Formal Approach to Website Maintenance. Proc. of the Tenth IEEE High Assurance Systems Engineering Symposium (HASE'07), pp.419-420, 2007. IEEE Computer Society Press.
  10. Lihua Duan, Yan Wang, and Jessica Chen. Enhanced Traverse of Web Pages. Proc. of the Tenth IEEE. High Assurance Systems Engineering Symposium (HASE'07), pp. 113-122, 2007. Fast abstract. IEEE Computer Society Press.
  11. Jessica Chen and Lihua Duan. Conditions for Avoiding Controllability Problems in Distributed Testing. Proc. of the Eighth International Conference on Formal Engineering Methods (ICFEM'06), Lecture Notes in Computer Science Vol. 4260, pp. 460-477, 2006. Springer-Verlag.
  12. Jessica Chen and Lihua Duan. Optimal Synchronizable Test Sequence from Test Segments. Proc. of the Sixth International Conference on Quality Software (QSIC'06), pp. 266-273, 2006. IEEE Computer Society Press.
 
  1. 主持江苏省产学研前瞻性联合研究项目“物联网技术在智能仓库中的关键技术研究和产业化试点”,已结题。
  2. 主持索尼(中国)有限公司上海技术中心分公司横向项目“基于模型的测试生成工具研究与开发”,已结题。
  3. 主持西门子(中国)有限公司横向项目“中小企业工厂数字化关键技术研究与开发”,在研。
 
  1. 发明专利(第一作者):近距离2-5兆带宽模拟无线图传系统及信号处理方法(申请号201410588892.1)
  2. 发明专利(第一作者):窄带无线Mesh网络的RFID室内定位系统及方法(申请号201410589303.1)
  3. 软件著作权(第一作者):基于RFID的物联网智能仓库管理系统V1.0 (登记号2014SR193784)