赵春娜
- 博士,教授,博士生导师
- 联系方式:chunnazhao@163.com
- 地址:1066vip威尼斯下载呈贡校区信息学院楼1418
赵春娜,1066vip威尼斯下载教授、博导,2006年毕业于东北大学,获得博士学位。2008年8月东北大学博士后出站。2015年底作为引进人才来到1066vip威尼斯下载信息学院工作。系国家自然科学基金委、北京市科学基金委的通讯评审专家;担任中国系统仿真学会会员,辽宁省人工智能学会会员;兼职国际期刊审稿人,重要国际会议的审稿人。先后主持国家自然科学基金、北京市教委、优秀人才及人才强教项目等项目;获北京市优秀教学成果奖、辽宁省科技进步奖、北京市计算机教学精彩交流一等奖、云南省高校教师教学大赛一等奖等奖项,荣获“北京市优秀青年知识分子”、云南省千人计划青年人才荣誉称号。
教育经历
博士毕业于东北大学,信息科学与工程学院,模式识别与智能系统专业,
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.