个人简介
李晓娟，博士，教授，1999年7月毕业于中国农业大学机械电子工程系，获工学博士学位。1999年8月-2003年3月在中华人民共和国农业部信息中心网络处工作，任工程师、高级工程师，2003年4月至今在首都师范大学信息工程学院工作，任副教授、教授。近年来在国、内外核心期刊及一些重要的国际会议上发表学术论文40余篇，申请获得专利2项。目前主持国家自然科学基金1项，参与多项国家级和省部级研究项目。
主讲课程：
《计算机网络原理》,《高级计算机网络》(研究生)
在研项目：
1、国家自然科学基金面上项目“空间通信片上网络数字系统形式化验证与可靠性分析”，2014.1~2017.12.（主持）
2、国际科技合作研究计划“系统形式化验证及性能分析关键技术”
2012.1~2015.12.（参加）
研究领域
嵌入式系统形式化建摸与验证，数据通信协议的可靠性分析与验证
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
(1)WeiHua,XiaojuanLi,YongGuan,ZhipingShi,JieZhang,LinglingDong.OntheModelCheckingoftheSpaceWireLinkInterface.《TELKOMNIKA》vol.22013p740-746
(2)ProbabilisticAnalysisOfTheSpaceWireCommunicationProcess,InternationalSpacewireConference2013,10-14June,Gothenburg,Sweden(受邀大会专题报告).
(3)高雅,李晓娟,关永,王瑞,张杰,魏洪兴,运用定理证明器ACL2验证机器人操作系统ROS节点间通信，小型微型计算机系统,2014，35（9）：2126-2130.
(4)李月星，李晓娟，关永，王瑞，张杰，魏洪兴SpaceWire协议的形式化建模与概率分析,《小型微型计算机系统》,34（3）,2013,p2025-2030
(5)WeiHua1,XiaojuanLi1,YongGuan1,ZhipingShi,LinglingDong,FormalVerificationforSpaceWireCommunicationProtocolBasedonEnvironmentStateMachine.WICOM2012Sept.21-24,2012,Sh
(6)RuiWang,YongGuan,LuoLiming,XiaojuanLi,JieZhang,HongxingWei.Component-BasedFormalModelingofPLCSystems.JournalofAppliedMathematics.Vol.(2013),ArticleID721624
京公网安备 11010802027423号