赵春娜

云南大学信息学院副教授
赵春娜，云南大学信息学院副教授，先后主持国家自然科学基金、北京市教委、优秀人才及人才强教项目等项目；先后获北京市优秀教学成果奖、辽宁省科技进步奖、北京市计算机教学精彩交流一等奖、云南省高校教师教学大赛一等奖等奖项，荣获“北京市优秀青年知识分子”荣誉称号。
人物经历
2006年9月毕业于东北大学，获得工学博士学位。2008年8月博士后出站。2015年底作为引进人才来到云南大学信息学院工作。系国家自然科学基金委、北京市科学基金委的通讯评审专家；担任中国系统仿真学会会员，辽宁省人工智能学会会员；兼职国际期刊审稿人，重要国际会议的审稿人。
研究方向
分数阶系统：分数阶建模分数阶控制。
高阶逻辑形式化验证：
定理库建立；
系统模型属性的验证。
获奖纪录
(1)北京市优秀青年知识分子称号 2011年
(2) 北京市优秀人才荣誉称号 2012年
(3) 云南省高校教师教学大赛一等奖2018年
(4) 北京市计算机精彩交流一等奖 2011年
(5) 分数阶系统分析与设计,北京市教育科研成果三等奖
(6) 软件工程专业工程化实践教学体系的构建与实施，北京市教学成果二等奖
科研项目
国家自然科学基金地区基金项目，基于高阶逻辑的分数阶PID控制器形式化分析与验证；
国家自然科学基金青年科学基金项目，基于高阶逻辑的分数阶建模与验证理论研究；
北京市委组织部优秀人才培养项目, 分数阶系统验证理论中非完备性研究 ；
北京市属高等学校人才强教深化计划——“中青年骨干人才培养计划”：课程评估分数阶建模方法研究；
北京市教委科技计划面上项目，基于分数阶的教学质量建模仿真及评估方法研究；
“西部计算机教育提升计划”Google人才引进励教金/科研培育项目
部分论著
赵春娜,李英顺,陆涛. 《分数阶系统分析与设计》,国防工业出版社, 2011
Chunna Zhao, Shanshan Li. Formalization of fractional order PD control systems in HOL4. Theoretical Computer Science, Vol.706: 22-34,2018.
Chunna Zhao,Likun Shi,Liming Luo,Yong Guan,Xiaojuan Li,Zhiping Shi. Formal Modeling and Verification of Fractional Order Linear Systems. ISA Transactions,Vol.62:87-93,2016.
李姗姗,赵春娜(*),关永,施智平,王瑞,李晓娟,叶世伟. 分数阶微积分定义的一致性在HOL4中的验证. 计算机科学, Vol.43(3):23-27,2016.
Li Shanshan，Zhao Chunna(*)，Guan Yong，Shi Zhiping，Li Xiaojuan，Wang Rui，Research on the Higher-order Logic Formalization of Fractance Element，IEEE/CAA Journal of Automatica Sinica,Vol.13(9):248-256,2016.
Chunna Zhao. Research on Linear Fractional Town Traffic Flow Model Tactic. Transactions on Machine Learning and Artificial Intelligence, Vol.3(6):70-79,2015.
赵刚、赵春娜、关永、吕兴利、李晓娟、施智平、王瑞、叶世伟 ，拉普拉斯变换微积分性质在HOL4中的形式化, 小型微型计算机系统, Vol.9: 2177-2181,2014.
师丽坤、赵春娜、关永、施智平、李晓娟、叶世伟 ，实数二项式系数在HOL4中的形式化, 计算机科学, Vol.2: 15-18,2014.
赵春娜，骆力明，石长地，赵雨，李英顺。基于理想灰关联距离的课程评估方法，数学的实践与认识，2012年第42卷第2期，27-35.
chunna zhao, liming luo, and yu zhao. Fractional modeling approach with mittag-leffler functions for linear fractional-order system. 2012 5th International Conference on Intelligent Computation Technology and Automation, ICICTA 2012, p 386-389, 2012。
chunna zhao, liming luo, and yingshun li. Ecological environment evaluation method based on ideal correlation degree. Advances in Biomedical Engineering, 2012, Vol. 7 : 142-148.
chunna zhao, liming luo, yingshun li and yu zhao. Fractional Modeling and Simulation on Urban Expressway Traffic Flow. Journal of Nanoelectronics and Optoelectronics, 2012, Vol.7, n 2: 191-194.
Zhao chunna, zhao yu, tan xiaohui,li yingshun, luo liming. Course evaluation method based on analytic hierarchy process. Lecture Notes in Electrical Engineering, Future Communication, Computing, Control and Management. Vol. 142(2), p 275-283, 2012。
Zhao, Chunna;Luo, Liming;Li, Yingshun. Fractional Modeling Method Based on Mittag-Leffler Functions for Curriculum Appraisal. Journal of Computational & Theoretical Nanoscience,2012,11(1):610-613.
Chunna Zhao, Yu Zhao, Yingshun Li, Yi Liu and Liming Luo. Missile-target Information Acquisition of PRS in Confrontation Environment. Key Engineering Materials Journal, Vol. 476, 2011, pp 40-49.
Chunna Zhao, Changdi Shi, Yu Zhao and Yi Liu. Complex Angle Measuring Method of Passive-Radar-Seeker, Applied Mechanics and Materials, Vols. 55, 2011, pp 272-275.
Chunna zhao, yu zhao, Liming Luo, Yingshun li.Fractional Modeling Method Research on Education Evaluation, Journal of Software,Vol 6, No 5, 2011, pp 901-907.
薛定宇, 赵春娜. 基于框图的分数阶非线性系统仿真方法及应用.系统仿真学报, 第18卷第9期, 2405-2408, 2006。
薛定宇，赵春娜. 分数阶系统的分数阶PID控制器设计. 控制理论与应用, 第24卷第5期, 771-776, 2007。