李晓娟 博士，教授
yl9193永利
北京市海淀区西三环北路56号，邮编: 100048
电子邮件: lixj@cnu.edu.cn 电话: 68901370 ext 216; 传真: 68416830
研究兴趣： 数据通信协议及分布式系统可靠性分析与验证，嵌入式系统形式化建摸与验证，机器学习
主讲课程：《网络基础》，《计算机网络原理》，《网络工程》，《高级计算机网络》(研究生)
科研项目：
1.国家自然科学基金：空间通信片上网络数字系统形式化验证(2014-2017)
2.国家重点研发计划子课题：经输尿管肾内介入诊疗机器人系统 (2017-2020)
3.国际科技合作研究计划：系统形式化验证及性能分析关键技术(2013-2015)
4.北京市自然科学基金：空间总线通信系统形式化方法研究(2012-2015)
部分论文：
1.YangXiaoHan, Li XiaoJuan*, Guan Yong, Song JiaDong, Wang Rui. Overfitting Reduction of Pose Estimation for Deep Learning Visual Odometry. [J]. China Communications. Vol(7), 2020,vol. 7 No.6 : 196 – 210
2.Wei wei, Xiaojuan Li*, GuanYong, Rui Wang, JieZhang. Model checking for the Goal-Feedback-Result Pattern in ROS. The 17th IEEE International Symposium on Parallel and Distributed Processing with Applications（ISPA2019）
3.孟瑶, 李晓娟*, 关永, 王瑞, 张杰. 机器人关节通信总线系统的建模与验证[J]. 软件学报, 2018, 29(6): 1699-1715.
4.Wang Xinyu, Li Xiaojuan*, Guan Yong, Song Jiadong，Wangrui. Bidirectional Potential Guided RRT* for Motion Planning. [J]. IEEE ACCESS. Vol(7), 2019: 95046 - 95057.
5.马倩倩, 李晓娟*, 施智平．轻量级卷积神经网络的机器人抓取检测研究 [J]．计算机工程与应用,2020, 056(010):141-148
6.ShunWang, LiXiaojuan*, Guanyong, Wangrui. Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT. Proceedings of 2018IEEE Ubiquitous Intelligence& Computing p308-315.
7.Yanan Liu，Yong Guan，Xiaojuan Li*，Rui Wang，Jie ZhangFormal Analysis and Verification of DDS in ROS2, 2018 ACM/IEEE International Conference on Formal Methods and Models for System Design. Beijing,China.
8.Zhang J, Kang M, Li X, et al. Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications [J]. Frontiers in Neurorobotics 2017, 11
9.李艳春，李晓娟*，关永，王瑞，张杰，魏洪兴. 基于xMAS模型的SpaceWire信誉逻辑的形式化验证 [J]. 计算机科学 2016, 43（2）, 113-118
10.Li Xiaojuan, Huo Yanyan, Guan Yong, Wang Rui, Zhang Jie. Formal Modelling and Analysis of TCP for Nodes Communication with ROS. Proceedings of International Conference on Collaborative Computing: Networking, Applications and Worksharing 2016. Doi:10.1007/978-3-319-59288
11.娄晨辉, 李晓娟*, 关永 机器人控制系统关键模块的形式化验证 [J]. 计算机测量与控制 24（6），315-318，2016
12.霍燕燕，关永，李晓娟，王瑞，张杰，魏洪兴, 基于PRISM的分布式实时操作系统任务调度的形式化验证 [J].小型微型计算机系统,2015,36(9) 2125-2129
13.高雅,李晓娟*,关永,王瑞,张杰,魏洪兴运用定理证明器ACL2验证机器人操作系统ROS节点间通信，小型微型计算机系统[J]. 2014,35(9) 2126-2130.
14.Yilin lu, Yong guan, Xiaojuan Li*, Rui Wang, Jie Zhang A framework of model checking guided test vector generation for the 6DOF manipulator, IEEE International Conference on Robotics & Automation (ICRA 2014), May 31-June 7, 4262-4267, HongKong, China.
15.Zhang J, Peng Y, Hung W N N,Huang, Xiaojuan Li. A Case Study on Formal Analysis of an Automated Guided Vehicle System[J]. Journal of Applied Mathematics, 2014(3).
16.Wei Hua, Xiaojuan Li*, Yong Guan, Zhiping Shi, Jie Zhang, Lingling Dong. On the Model Checking of the SpaceWire Link Interface. TELKOMNIKA vol.2 2013
17.Li Yuexing, Li Xiaojuan*, Song Xiaoyu, Zhangjie, Guan Yong, Wang Rui, Probabilistic Analysis Of The SpaceWire Communication Process, International Spacewire Conference 2013, 10 - 14 June, Gothenburg, Sweden.
18.Luo Ping, RuiWang, Xiaojuan Li*, Yong Guan, Jie Zhang，Wei Hongxing， Model Checking for SpaceWire Link Interface Design Using Uppaal. IEEE 37th Computer Software and Applications Conference Workshops (COMPSACW), Jul.21-25,2013 Kyoto, Japan.
19.李月星，李晓娟*，关永，王瑞，张杰，魏洪兴. SpaceWire协议的形式化建模与概率分析, 小型微型计算机系统[J], 34(3) 2013, p2025-2030
20.Wei Hua, Xiaojuan Li*, Yong Guan, ZhipingShi, Lingling Dong, Formal Verification for SpaceWire Communication Protocol Based on Environment State Machine. WICOM2012. Sept.21-24,2012, Shanghai, China.
授权发明专利：
1)李晓娟 关永 李艳春等. 一种用于机器人分布式系统的形式建模方法. ZL2016 1 1197597.9.
2)李晓娟，关永，施智平，王瑞，张杰，赵春娜等, 一种用于高可靠通信系统验证与性能分析的形式化方法. ZL201210533633.X
获奖&荣誉：
2011年北京市科学技术二等奖
2011年"百川杯"优秀研究生导师
2008年北京市委组织部优秀人才资助
2008年优秀本科生指导教师
2007年北京市高校教师多媒体课件大赛三等奖