趙春娜，雲南大學信息學院副教授，先後主持國家自然科學基金、北京市教委、優秀人才及人才強教項目等項目；先後獲北京市優秀教學成果獎、遼寧省科技進步獎、北京市計算機教學精彩交流一等獎、雲南省高校教師教學大賽一等獎等獎項，榮獲“北京市優秀青年知識分子”榮譽稱號。
基本介紹
- 中文名：趙春娜
- 國籍：中國
- 畢業院校：東北大學
- 學位/學歷：博士
人物經歷,研究方向,獲獎紀錄,科研項目,部分論著,
人物經歷
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。
