一、个人简介
何振学，中共党员，副教授，博士生导师，北京航空航天大学计算机系统结构专业博士。研究方向为进化计算、集成电路设计、路径规划等。现任bat365官网登录入口业务助理、学院学位评定委员会委员。兼任中国计算机学会高级会员、中国计算机学会集成电路设计专委会委员、中国计算机学会人工智能与模式识别专委会委员、中国计算机学会计算机辅助设计与图形学专委会委员、中国人工智能学会青工委委员、保定市科协科技创新智库专家、保定市工业和信息化局专家库专家。获邀担任IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems、IEEE Transactions on Geoscience and Remote Sensing、ACM Transactions on Design Automation of Electronic Systems、Applied Soft Computing、电子学报英文版、北京航空航天大学学报等多个国内外权威期刊和会议审稿人。
二、科研和教学项目
1. 国家自然科学基金青年基金，国家自然科学基金委，二值逻辑和三值逻辑混合多值Reed-Muller逻辑电路极性优化方法研究（编号：62102130），2022.01-2024.12，排名第1，30万元
2. 中央引导地方科技发展资金项目，河北省科技厅，布尔逻辑与Reed-Muller逻辑双逻辑大规模电路优化方法研究（编号：226Z0201G），2022.01-2025.06，排名第1，15万元
3. 河北省自然科学基金青年基金，河北省科技厅，多值FPRM逻辑电路极性优化方法研究（编号：F2020204003），2020.01-2022.12，排名第1，6万元
4. 河北省高等学校科学研究项目-青年拔尖人才项目，河北省教育厅，基于智能算法的Reed-Muller逻辑电路优化方法研究（编号：BJ2019008），2019.01-2022.01，排名第1，9万元
5. 河北省高等学校科学研究项目-青年基金项目，河北省教育厅，基于量子进化算法的多输出MPRM电路面积和功耗优化方法研究（编号：QN2024138），2024.01-2027.01，排名第1，5万元
6. bat365官网登录入口人才引进专项，bat365官网登录入口，RM逻辑电路优化方法研究（编号：YJ201829），2018.10-2023.10，排名第1，20万元
7. 教育部产学合作协同育人，教育部，高等农业院校信息技术师资培训模式探索（编号：230705181205854），2023.10-2026.10，排名第1，5万元
8. 河北省重点研发计划项目，河北省科技厅，农机协同作业优化调度与大数据智能决策管理平台（编号：21327407D），2021.01-2024.01，排名第2，40万元
9. 河北省高等学校科学技术研究项目-青年项目，河北省教育厅，固定极性RM电路优化方法研究（编号：QN2022095），2022.04-2024.12，排名第2, 3万元
10. 计算机体系结构国家重点实验室开放课题，中国科学院计算技术研究所，多输出RM逻辑电路极性优化方法研究，2016.01-2018.01，排名第2，5万元。
三、科研和教学论文
1. Yuhao Zhou,Zhenxue He*,Chen Chen,Tao Wang, Limin Xiao, Xiang Wang. An efficient power optimization approach for fixed polarity Reed-Muller logic circuits based on meta-heuristic optimization algorithm. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2022, 41(12): 5380-5393. SCI检索
2.Yuhao Zhou, Zhenxue He*, Jianhui Jiang, Jia Liu, Juncai He, Tao Wang, Limin Xiao, Xiang Wang. Fast area optimization approach for XNOR/OR-based fixed polarity Reed-Muller logic circuits based on multi-strategy wolf pack algorithm. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2023, 28(3): 1-16. SCI检索
3. Yuhao Zhou,Zhenxue He*, Tao Wang, Zhisheng Huo, Limin Xiao, Xiang Wang. Area and power optimization approach for mixed polarity Reed-Muller logic circuits based on multi-strategy bacterial foraging algorithm. Applied Soft Computing, 2022, 130: 109720, doi:10.1016/j.asoc.2022.109720.SCI检索
4. Yuhao Zhou,Zhenxue He*, Yan Zhang, Jia Liu, Tao Wang, Limin Xiao, Xiang Wang. Power optimization for mixed polarity Reed-Muller circuits based on multilevel adaptive memetic algorithm.International Journal of Intelligent Systems, 2023 (5):1-18. SCI检索
5. Yuhao Zhou,Zhenxue He*, Chen Chen, Limin Xiao, Xiang Wang. An area optimization approach taking into account polarity conversion sequence. Applied Soft Computing, 2023, 143:110414.SCI检索
6.Yuhao Zhou,Zhenxue He*, Jianhui Jiang.An efficient and fast area optimization approach for mixed polarity Reed-Muller logic circuits. Chinese Journal of Electronics, 2023, doi:10.23919/cje.2022.00.407. SCI检索
7. Dongge Qin, Zhenxue He*, Xiaojun Zhao, Jia Liu, Fan Zhang, Limin Xiao. Area and Power Optimization for Fixed Polarity Reed-Muller logic circuits based on Multi-strategy Multi-Objective Artificial Bee Colony Algorithm. Engineering Applications of Artificial Intelligence, 2023.121:105906. SCI检索
8. Juncai He, Zhenxue He*, Jia Liu, Yan Zhang, Fan Zhang, FangFang Liang, Tao Wang, Limin Xiao, Xiang Wang. An effective power optimization approach based on Whale Optimization Algorithm with two-populations and mutation strategies. Chinese Journal of Electronics, 2023, 33(2): 1-13. doi: 10.23919/cje.2022.00.358. SCI检索
9.Zhenxue He*, Xiaoqian Wu, Chao Wang,Zhisheng Huo, Limin Xiao, Xiang Wang. Delay optimization for ternary fixed polarity Reed-Muller circuits based on multi-level adaptive quantum genetic algorithm. International Journal of Intelligent Systems, 2021, 36(10):5981-6006.SCI检索
10.Zhenxue He*, Limin Xiao, Xiang Wang. Minimization for ternary fixed polarity Reed-Muller expressions based on ternary quantum shuffled frog leaping algorithm. Applied Soft Computing, 2021, 110:107647, DOI: 10.1016/j.asoc.2021.107647. SCI检索
11.Zhenxue He*, Yuhua Pan, Kejian Wang,Limin Xiao, Xiang Wang. Area optimization for MPRM logic circuits based on improved multiple disturbances fireworks algorithm. Applied Mathematics and Computation, 2021, 399: 126008,DOI: 10.1016/j.amc.2021.126008. SCI检索
12.Zhenxue He, Limin Xiao*, Li Ruan,Fei Gu, Zhisheng Huo, Guangjun Qin, Mingfa Zhu. A power and area optimization approach of mixed polarity Reed-Muller expression for incompletely specified Boolean functions. Journal of Computer Science and Technology, 2017, 32(2):297-311. SCI检索
13.Zhenxue He, Limin Xiao*, Fei Gu, et al. An efficient and fast polarity optimization approach for mixed polarity Reed-Muller logic circuits. Frontiers of Computer Science, 2017, 11(4):728-742. SCI检索
14.Zhenxue He*, Limin Xiao, Fei Gu, Li Ruan, Zhisheng Huo, Mingzhe Li, Mingfa Zhu, Longbing Zhang, Rui Liu, Xiang Wang. EDOA: an efficient delay optimization approach for mixed-polarity Reed-Muller logic circuits under the unit delay model. Frontiers of Computer Science, 2019, 13(5):1102-1115. SCI检索
15.Zhenxue He*, Limin Xiao, Zhisheng Huo, Chao Wang, Jia Liu, Xiang Wang. POA-FPRMs: power optimization approach of fixed polarity Reed-Muller expressions for incompletely specified Boolean functions. Chinese Journal of Electronics, 2019, 28(6): 1144-1151. SCI检索
16.Zhenxue He*, Jia Liu, Fan Zhang, et al. A novel logic detection algorithm for logic circuits. IEEE Access, 2019, 7:127895-127903. SCI检索
17.Zhenxue He*, Limin Xiao, Zhisheng Huo, et al. Fast minimization of fixed polarity Reed-Muller expressions. IEEE Access, 2019, 7:24843-24851. SCI检索
18.Zhenxue He*, Jia Liu, Limin Xiao, et al. A polarity optimization algorithm taking into account polarity conversion sequence. IEEE Access, 2019, 7:54809-54818. SCI检索
19.Zhenxue He, Limin Xiao*, Longbing Zhang, et al. EMA-FPRMs: an efficient minimization algorithm for fixed polarity Reed-Muller expressions. International Conference on Field-Programmable Technology, 2016:253-256. EI检索
20.Zhenxue He, Guangjun Qin, Limin Xiao*, et al. An efficient polarity optimization approach for fixed polarity Reed-Muller logic circuits based on novel binary differential evolution algorithm. IFIP International Conference on Network and Parallel Computing, 2017:118-121. EI检索
21. Limin Xiao,Zhenxue He*, Li Ruan, et al. Optimization of best polarity searching for mixed polarity Reed-Muller logic circuit. IEEE 28th International System-on-Chip Conference, 2015:275-280. EI检索
22. Xiang Wang, Mingzhe Li,Zhenxue He, et al. PAOA: a power and area optimization approach of Reed-Muller logic circuits. IEEE 60th International Midwest Symposium on Circuits and Systems, 2017:1394-1397. EI检索
23. Zhisheng Huo, Limin Xiao,Zhenxue He, et al. Throughput servicing time allocation of hybrid storage system based on client grouping mechanism. Chinese Journal of Electronics, 2019, 28(1): 62-70. SCI检索
24. Zhisheng Huo, Limin Xiao,Zhenxue He, et al. Dynamic throughput allocation among multiple servers for heterogeneous storage system. IEICE Transactions on Information and Systems, 2019, E102D(9): 1731-1739. SCI检索
25. Fei Gu, Jianwei Niu,Zhenxue He, et al. SmartBuddy: An Integrated Mobile Sensing and Detecting System for Family Activities. IEEE Global Communications Conference (GLOBECOM 2017), 2017: 233-238. EI检索
26. Fei Gu, Jianwei Niu,Zhenxue He, et al. FamilyPal: An Effective System for Detecting Family Activities Based on Smartphones. IEEE International Conference on Industrial Information, 2017: 155-160.EI检索
27. Fei Gu, Jianwei Niu,Zhenxue He, et al. CLMRS: Designing Cross-LAN Media Resources Sharing based on DLNA. IEEE International Conference on Cyber Security and Cloud Computing, 2015: 133-140. EI检索
28. Fei Gu, Jianwei Niu,Zhenxue He, et al. A Research on Mobile Cloud Computing and Future Trends. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016, 3(7): 9-16. EI检索
29. Tao Wang, Xiang Wang, Zongmin Zhao,Zhenxue He, et al. Measurement Data Classification Optimization Based on a Novel Evolutionary Kernel Clustering Algorithm for Multi-Target Tracking. IEEE Sensors Journal, 2018, 18(9): 3722-3733. SCI检索
30. Zhisheng Huo, Mingyi Guo, Limin Xiao,Zhenxue He, et al. TACD: a throughput allocation method based on variant of cob-douglas for hybrid storage system, Journal of Parallel and Distributed Computing, 2019, 128:43-56. SCI检索
31. Fei Gu, Jianwei Niu, Das Sajal K,Zhenxue He, et al. Detecting breathing frequency and maintaining a proper running rhythm. Pervasive and Mobile Computing, 2017, 42:498-512. SCI检索）
32. Fei Gu, Jianwei Niu, Das Sajal K,Zhenxue He, et al. RunnerPal: A Runner Monitoring and Advisory System Based on Smart Devices. IEEE Transactions on Services Computing, 2018, 11(2): 262-276. SCI检索
33. Xiang Wang, Rong Zhang, Weike Wang,Zhenxue He. Polarity Searching for MPRM Logic Circuit Based on Improved Adaptive Genetic Algorithm. IEEE Conference on Autonomic and Trusted Computing. 2015: 1354-1358. EI检索
34. Tao Wang, Xiang Wang, Zongmin Zhao,Zhenxue He. Target Localization and Tracking Based on Improved Bayesian Enhanced Least-Squares Algorithm in Wireless Sensor Networks. Computer Networks, 2019. SCI检索
35. Huo Jiantong, Huo Zhisheng, Xiao Limin,Zhenxue He. Research on key technologies of Edge Cache in Virtual Data Space across WAN. Frontiers of Computer Science, 2021. SCI检索
36. Xiyue Cao, Chao Wang, Biao Wang,Zhenxue He. A method to calculate the number of dynamic HDFS copies based on file access popularity. Mathematical Biosciences, 2022, 19(12): 12212-12231. SCI检索
37. Xiang Wang, Liping Wang, Yuanchen Bai,Zhenxue He. Optimization of Elliptic Curve Cryptography Resisting Power Attack Scalar Multiplication Algorithm in Security System on Chip. IEEE International Conference on Internet of People, 2015: 1397-1401. EI检索
38. Xiaoye Li, Kejian Wang, Hao Tang,Zhenxue He. Research on Simulation Model of Wind Speed Change before and after Protection Forest Belt. International Conference on Modeling, Simulation and Big Data Analysis, 2022(205):115254.EI检索
39. Jiantong Huo, Yaowen Xu, Zhisheng Huo, Limin Xiao,Zhenxue He. Research on key technologies of edge cache in virtual data space across WAN. Frontiers of Computer Science, 2023,17(1):171102. SCI检索
40. Tao Wang, Shu Wu, Lin Cao, Zongmin Zhao,Zhenxue He. A novel possibilistic clustering algorithm for measurement data of vehicle MMW radar. IEEE Sensors Journal, 2023, 23(15):1. SCI检索
41. Jiantong Huo, Zhisheng Huo,Zhenxue He. Research on performance optimization of virtual data space across WAN. Frontiers of Computer Science, 2024, 18(6): 186505. SCI检索
42. Kejian Wang,Zhenxue He. Video Behavior Recognition of Dairy Cows Based on Spatio-temporal Features.Transactions of the Chinese Society for Agricultural Machinery, 2023, 54(5):261-267. EI检索
43. 周宇豪,何振学等.基于BABFA的XNOR/OR电路面积优化[J].北京航空航天大学学报, 2022,48(10): 2031-2039.EI检索
44. 何俊才,何振学,王福顺等.基于ERWOA的多输出MPRM电路面积优化[J].北京航空航天大学学报, 2023, 49(05):1193-1200.EI检索
45. 邵艺璇,何振学,周宇豪等.基于M-AFSA的MPRM逻辑电路面积优化[J].北京航空航天大学学报, 2023, 49(03): 693-701.EI检索
46. 秦东阁,何振学,陈晨,李隆昊,王涛,王翔.基于SMABC的FPRM电路面积优化[J].北京航空航天大学学报, 2023,49(08): 2099-2107.EI检索
47.潘钰华,何振学,王克俭.基于改进烟花算法的MPRM逻辑电路面积优化[J].兰州大学学报(自然版),2021,57(03):416-422.北大核心
48.王彪,王克俭,何振学等.基于布谷鸟搜索优化马尔可夫的文件热度预测[J].计算机工程与设计，2021.北大核心
49.孙凤杰,王克俭,何振学.基于烟花算法的云计算任务调度研究[J].计算机仿真, 2022, 39(3): 340-443.北大核心
50.安娟华,董鑫,王克俭,何振学.基于GWO优化SVM的小麦籽粒优劣分级研究[J].作物杂志, 2021(1): 200-206.北大核心
51.赵停停,王克俭,司永胜,淑英,何振学.基于AW-OPS高光谱波长选择方法的羊肉新鲜度检测[J].光谱学与光谱分析,2023,43(03):830-837.北大核心
52.王克俭,孙奕飞,司永胜,韩宪忠,何振学.基于时空特征的奶牛视频行为识别[J].农业机械学报,2023,54(5):261-267.北大核心
53.胡笑天,王克俭,王超,剪文灏,何振学.一种基于改进SSD的原木端面积识别方法[J].林业工程学报,2023,8(1):141-149.EI检索
54.许楠,苑迎春,雷浩,何振学.基于多器官特征融合的枣品种识别[J/OL].农业机械学报:1-10.
四、荣誉奖励
1. bat365官网登录入口“太行学者”三层次B岗，bat365官网登录入口，2024年
2. 河北省“燕赵英才”（A卡），河北省政府，2023年
3. 河北省“冀青之星标兵”，共青团河北省委，2023年
4. 大学生创业计划竞赛“优秀指导教师”，bat365官网登录入口，2023年
5. bat365官网登录入口“优秀共产党员”，bat365官网登录入口，2021年
6. bat365官网登录入口“青年五四奖章”，bat365官网登录入口，2020年
7. 河北省“冀青之星”，共青团河北省委，2019年
8. 河北省“名校英才入冀”，河北省政府，2018年
五、社会服务
河北省专精特新“小巨人”企业科技特派团团员，负责企业云平台软件方案设计。
六、其它成果
1. 何振学,肖利民,王翔,张荣,王涛,徐洋。一种混合极性Reed-Muller逻辑电路的最佳极性搜索方法。发明专利，申请(专利)号：CN201510187800.3，授权公告日：2017-07-07，已授权
2. 何振学,王翔,肖利民,张荣,谷飞,李书攀,徐洋。一种基于NSGA-II用于不完全确定Reed-Muller电路功耗与面积优化方法。发明专利，申请（专利）号：CN201510411878.9，授权公告日：2017-12-05，已授权
3. 肖利民,何振学,李明哲,霍志胜。一种固定极性Reed-Muller逻辑电路极性搜索方法。发明专利，申请（专利）号：CN201710539610.2，授权公告日：2020-09-18，已授权
4. 何振学，田昕辉，孙毓忠。一种Linux平台下的恶意代码分析方法及系统。发明专利，申请（专利）号：CN201310123502.9，授权公告日：2017-02-08，已授权
5. 何振学,武小倩,邵艺璇,潘钰华,何俊才,秦东阁, 周宇豪。一种FPRM逻辑电路面积优化方法。发明专利，申请（专利）号：CN202011265338.1，授权公告日：2023-03-24，已授权
6. 何振学,邵艺璇,武小倩,潘钰华,何俊才,周宇豪,秦东阁。一种FPRM逻辑电路极性搜索方法。发明专利，申请号：CN202011263059.1，已受理
7. 何振学,周宇豪,赵晓君,何俊才,潘家义,曹新龙;张梦雨。基于XNOR/OR的FPRM逻辑电路面积优化方法。发明专利，申请（专利）号：CN202310440646.0，申请日：2023-04-23，已受理
8. 何振学,何俊才,周宇豪,赵晓君;曹新龙;潘家义;张梦雨。多输出Reed-Muller逻辑电路功耗优化方法。发明专利,申请（专利）号：CN2023104424238，申请日：2023-04-23，已受理
9. 王翔,何振学,肖利民,等。一种包含无关项的Reed-Muller逻辑电路优化方法。发明专利，申请号：201510983383.3，已受理
10.王翔,何振学,肖利民,等。一种单位延时模型下RM逻辑电路延时优化方法。发明专利，申请号：201610341295.8，已受理
11.王翔,李明哲,何振学,王维克;周成;李林等。一种Reed-Muller逻辑电路功耗和面积优化方法。发明专利，专利号：CN201710024543.0，已授权
12.肖利民,李书攀,秦广军,何振学,等。基于写时复制特性的虚拟机内文件完整性度量方法。发明专利，专利号：CN201710420300.9，已授权
13.王翔,张荣,王维克,何振学,等。一种包含无关项的Reed-Muller逻辑电路的功耗优化方法。发明专利，专利号：CN201510317476.2，已授权
14.杨鹏斐,孙毓忠,杨庆林,何振学,等。一种广域网虚拟平台的构建方法。发明专利，专利号：CN201310407167.5，已授权
15.武小倩,何振学.固定极性Reed-Muller逻辑电路面积优化工具软件V1.0.登记号：2021SR0437233.
16.何振学,王伊瑾,赵晓君,赵晓丹等.基于XNOR/OR的固定极性Reed-Muller逻辑电路面积优化工具软件V1.0.流水号:2024R11L0300194.
17.何振学,赵晓君,王伊瑾,赵晓丹等.混合极性Reed-Muller逻辑电路面积优化工具软件V1.0.流水号：2024R11L0300504.
七、人才培养
开设本科生课程：《C语言程序设计》、《离散数学》、《算法分析与设计》、《C语言高级编程》、《大学信息技术》。
开设研究生课程：《算法与算法复杂性理论》。
指导研究生情况：指导硕士研究生毕业5人，在读8人。
八、学术交流
1. IEEE International System-on-Chip Conference (SOCC)，2015年，北京（大会报告）
2. International Conference on Field-Programmable Technology (FPT)，2016年，西安（大会报告）
3. IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS)，2017年，美国（大会报告）
4. IEEE Asia Pacific Conference on Circuits and Systems(APCCAS)，2018年，美国（大会报告）
5. 东北大学青年学者论坛，2021年，东北大学（学术报告）
6. 华中师范大学国际青年学者论坛，2022年，华中师范大学（学术报告）
7. 中国矿业大学越崎学者论坛，2022年，中国矿业大学（学术报告）
8. 哈尔滨工业大学学术论坛，2022年，哈尔滨工业大学（学术报告）
9. 大连理工大学青才论坛，2023年，大连理工大学（学术报告）
九、联系方式
电话：0312-7526409
微信（QQ）：930111386
邮箱：hezhenxue@buaa.edu.cn
