赵春娜，云南大学教授、博导，2006年毕业于东北大学，获得博士学位。2008年8月东北大学博士后出站。2015年底作为引进人才来到云南大学信息学院工作。系国家自然科学基金委、北京市科学基金委的通讯评审专家；担任中国系统仿真学会会员，辽宁省人工智能学会会员；兼职国际期刊审稿人，重要国际会议的审稿人。先后主持国家自然科学基金、北京市教委、优秀人才及人才强教项目等项目；获北京市优秀教学成果奖、辽宁省科技进步奖、北京市计算机教学精彩交流一等奖、云南省高校教师教学大赛一等奖等奖项，荣获“北京市优秀青年知识分子”、云南省千人计划青年人才荣誉称号。

教育经历

博士毕业于东北大学，信息科学与工程学院，模式识别与智能系统专业，

2004.3-2006.9，师从薛定宇、陈阳泉教授，研究方向是分数阶系统。

硕士毕业于东北大学, 理学院，应用数学专业，

2001.8-2004.3，师从孙艳蕊、张祥德教授，研究方向是金融数学。

人工智能：时间序列预测、时间序列分类、序列建模

分数阶系统：分数阶建模、分数阶控制、基于分数阶的人工智能建模

学生培养

在读博士生：周程丽、叶俊杰

招生方向：时间序列、分数阶、自然语言处理、计算机视觉

升学就业

升学：实验室大力支持，优秀毕业生可推荐至知名高校攻读博士学位

就业：完成学业要求，鼓励实习          

2018年，云南省‘云岭青年人才’。

2018年，云南省高校教师教学大赛一等奖

2013年，北京市教育科研成果三等奖

2013年，北京市教学成果二等奖

2011年，北京市计算机精彩交流一等奖

2011年，北京市优秀青年知识分子。

[1]      云南省青年人才项目——分数阶控制系统的⾼阶逻辑形式化验证， 2020-2024年。

[2]      国家自然科学基金项目——基于高阶逻辑的分数阶PID控制器形式化分析与验证， 2019-2022年。

[3]      “西部计算机教育提升计划”Google人才引进/科研培育项目， 2016-2017年。

[4]      国家自然科学基金青年项目——基于高阶逻辑的分数阶建模与验证理论研究， 2012-2014年。

[5]      北京市委组织部优秀人才培养项目, 分数阶系统验证理论中非完备性研究 ， 2012-2014年。

[1]      Chunna Zhao, Licai Dai, Yaqun Huang. Fractional Order Sequential Minimal Optimization Classification Method. Fractal and Fractional, 2023, 7(8): 637. (SCI 2区)

[2]      Xiaojun Zhou, Chunna Zhao*, Yaqun Huang. A Deep Learning Optimizer Based on Grünwald–Letnikov Fractional Order Definition. Mathematics. 2023; 11 (2): math11020316. (SCI 2区)

[3]      Yuntong Liu; Chunna Zhao*; Yaqun Huang; A Combined Model for Multivariate Time Series Forecasting Based on MLP-Feedforward Attention-LSTM, Institute of Electrical and Electronics Engineers, 2022, 10：88644. (SCI 3区)

[4]      Zichao He; Chunna Zhao*; Yaqun Huang; Multivariate Time Series Deep Spatiotemporal Forecasting with Graph Neural Network, Applied Sciences, 2022, 12(11)：5731. (SCI 3区)

[5]      Chunna Zhao*; Murong Jiang; Yaqun Huang; Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic. Fractal and Fractional, 2022, 6(9)：485. (SCI 2区)

[6]      Jing Li; Chunna Zhao*; Improvement and Application of Fractional Particle Swarm Optimization Algorithm, Mathematical Problems in Engineering, 2022, 2022：1. (SCI 4区)

[7]      Hongwen Hu; Chunna Zhao*; Jing Li; Yaqun Huang; Stock Prediction Model Based on Mixed Fractional Brownian Motion and Improved Fractional-Order Particle Swarm Optimization Algorithm, fractal and fractional, 2022, 6(560). (SCI 2区)

[8]      Dong Wenhua; Zhao Chunna*; Stock price forecasting based on Hausdorff fractional grey model with convolution and neural network, Mathematical Biosciences and Engineering, 2021,18(4)：3323-3347. (SCI 4区)

[9]      赵春娜*; 赵刚; 函数极限的高阶逻辑形式化建模与验证, 计算机学报, 2020, 43(11)：2119-2133. (EI)

[10]   Chunna Zhao*; Murong Jiang; Yaqun Huan; Dali Chen; Formalization of fractional calculus and fractional order PI controller, Journal of Computational Methods in Sciences and Engineering, 2020(20)：113-119. (中国自动化学会推荐A刊)

[11]   Chunna Zhao*; Murong Jiang; Yaqun Huang; Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving, Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Anaheim, CA, USA., 2019-08-18至2019-08-21. (EI)

[12]   Die Li; Chunna Zhao*; Murong Jiang; Yaqun Huang; Yinghua Li; Fractional Order Edge Detection Method, 2019 IEEE 11th International Conference on Communication Software and Networks (ICCSN), Chongqing, China, 2019-06-01至2019-06-02. (EI)

[13]   赵春娜*; 陈大力; 分数阶PI控制器的高阶逻辑形式化验证,第30届中国过程控制会议, 云南昆明，中国, 2019-07-31至2019-08-02.

[14]   Chunna Zhao, Shanshan Li. Formalization of fractional order PD control systems in HOL4. Theoretical Computer Science, Vol.706: 22-34,2018. (CCF B)

[15]   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. (EI)

[16]   李姗姗, 赵春娜*,关永,施智平,王瑞,李晓娟,叶世伟. 分数阶微积分定义的一致性在HOL4中的验证. 计算机科学, Vol.43(3):23-27,2016.

[17]   Li Shanshan，Chunna Zhao*，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.

[18]   Chunna Zhao. Research on Linear Fractional Town Traffic Flow Model Tactic. Transactions on Machine Learning and Artificial Intelligence, Vol.3(6):70-79,2015.

[19]   赵刚,赵春娜,关永,吕兴利,李晓娟,施智平,王瑞,叶世伟. 拉普拉斯变换微积分性质在HOL4中的形式化, 小型微型计算机系统, Vol.9: 2177-2181,2014.

[20]   师丽坤,赵春娜,关永,施智平,李晓娟,叶世伟. 实数二项式系数在HOL4中的形式化, 计算机科学, Vol.2: 15-18,2014.

[21]   赵春娜,骆力明,石长地,赵雨,李英顺. 基于理想灰关联距离的课程评估方法，数学的实践与认识，2012年第42卷第2期，27-35.

[22]   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.

[23]   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.

[24]   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.

[25]   Chunna Zhao, 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.

[26]   Chunna Zhao; 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.

[27]   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.

[28]   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.

[29]   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.

学术专著

(1)      赵春娜; 蒋慕蓉; 分数阶系统高级逻辑形式化验证, 科学出版社，2023.

(2)      黄亚群、蒋慕蓉、赵春娜编著；离散数学，科学出版社，2020.

发表专利

(1)      赵春娜; A Data Classification Method Based on Fractional Sequential Minimal Optimization Algorithm， 2021-6-30至2031-6-30 NSFC-REPORT-2022, 其他国家，202006566.

(2)      赵春娜; Disease Data Classification Method Based on Fractional Order C-Support Vector Machine， 2021-6-30至2031-6-30,其他国家，202006567.

(3)      赵春娜; 机器人分数阶PID控制器稳定性的形式化验证，2020-1-3至2036-1-1, 中国，ZL201610485045.1.