何振学,男,山东泰安人,中共党员、北京航空航天大学计算机系统结构专业博士,副教授,博士生导师,现任det365手机版智能农业装备研究院副经理、det365在线平台经理助理、det365在线平台学位评定委员会委员。
兼任国家自然科学基金系统评议专家、中国国际“互联网+”大赛全国总决赛网络评议专家、中国计算机学会高级会员、中国计算机学会集成电路设计专业委员会委员、中国计算机学会人工智能与模式识别专业委员会委员、中国计算机学会计算机辅助设计与图形学专业委员会委员、中国计算机学会理论计算机科学专委会委员、中国人工智能学会青工委委员、长三角智慧绿洲创新中心专家库成员、保定市科协科技创新智库专家、保定市工业和信息化局专家库专家。
河北省“燕赵英才(A卡)”获得者、河北省“名校英才入冀”计划入选者、河北省“冀青之星”优秀青年称号获得者、河北省青年拔尖人才项目获得者、det365手机版首届“青年五四奖章”获得者、det365手机版校级“优秀共产党员”、北京航空航天大学“优秀研究生”、北京航空航天大学“优秀毕业生”
中国科学院计算技术研究所和西北师范大学硕士联合培养(2011年-2014年),北京航空航天大学计算机学院博士(2014年-2018年),研究方向为计算智能、进化计算、群智能优化算法、电子设计自动化、路径规划等。发表SCI和EI论文40多篇,申请国家发明专利14项,授权9项。主持和主研国家自然科学基金重点项目、面上项目、青年基金、中央引导地方科技发展资金项目、河北省重点研发计划、河北省自然科学基金青年基金、河北省青年拔尖人才计划项目等多项国家和省部级课题。参与完成的国家自然科学基金重点项目,为研制具有自主知识产权的国产低功耗安全处理器芯片提供了坚实的理论基础与关键技术,该项目于2019年获得“北京市科学技术发明奖”一等奖,2020年被北京市提名为“国家技术发明奖”二等奖,多位院士专家评审鉴定在电路优化方面的工作为国际领先。获邀担任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 Mathematics and Computation、International Journal of Electronics、Frontiers of Information Technology & Electronic Engineering 、Photonics、Mathematics、Electronic Research Archive、电子学报英文版等多个国际顶级SCI期刊和国际会议审稿人。
热忱欢迎有志青年,报考本课题组的硕士研究生和博士研究生!
科研项目
1.国家自然科学基金青年基金,*** Reed-Muller逻辑电路极性优化方法研究,2022.01-2024.12,在研,主持
2.中央引导地方科技发展资金项目,***大规模电路优化方法研究,2022.07-2025.06,在研,主持
3.河北省自然科学基金青年基金,***多值逻辑电路极性优化方法研究,2020.01-2022.12,在研,主持
4.河北省教育厅青年拔尖人才项目,基于***的Reed-Muller逻辑电路优化方法研究,2019.01-2022.01,已结题,主持
5.det365手机版引进人才专项,***RM逻辑电路优化方法研究,2018.10-2023.10,已结题,主持
6.河北省重点研发计划项目,农机协同作业优化调度与大数据智能决策管理平台,2021.01-2024.01,在研,主研
7.河北省高等学校科学技术研究项目-青年项目,***固定极性RM电路优化方法研究,2022.04-2024.12,在研,主研
8.计算机体系结构国家重点实验室开放课题,***逻辑电路极性优化方法研究,2016.01-2018.01,已结题,主研
9.国家自然科学基金面上项目,基因电路在脑卒中预警、监测及治疗中的机理研究,2016.01-2019.12,已结题,主研
10.国家自然科学基金重点项目,低功耗安全嵌入式处理器芯片的基础理论与关键技术,2013.01-2017.12,已结题,主研
发表论文
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,集成电路设计领域国际顶级期刊,CCF推荐的A类国际顶尖期刊)
2. Yuhao Zhou,Zhenxue He*(通讯作者),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,已录用(SCI,集成电路设计领域国际顶级期刊,CCF推荐的B类国际顶级期刊)
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,智能优化算法领域国际顶级期刊,中科院一区TOP期刊)
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,智能系统领域国际顶级期刊,中科院一区TOP期刊)
5.Yuhao Zhou,Zhenxue He*(通讯作者), Xiaojun Zhao, et al. An area optimization approach taking into account polarity conversion sequence. Applied Soft Computing, 2023,https://doi.org/10.1016/j.asoc.2023.110414(SCI,智能系统领域国际顶级期刊,中科院一区TOP期刊)
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, 已录用(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, 已录用
(SCI,CCF推荐的C类国际著名期刊,中科院二区TOP期刊)
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, 已录用
(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,智能系统领域国际顶级期刊,中科院一区TOP期刊)
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,智能优化算法领域国际顶级期刊,中科院一区TOP期刊)
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,应用数学与计算领域国际顶级期刊,中科院一区TOP期刊)
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,中科院二区、CCF推荐的B类国际著名期刊)
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,中科院二区、CCF推荐的C类国际权威期刊)
14.Zhenxue He*(通讯作者), Limin Xiao, Fei Gu, et al. 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,中科院二区、CCF推荐的C类国际权威期刊)
15.Zhenxue He*(通讯作者), Limin Xiao, Zhisheng Huo, et al. 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,CCF推荐的C类国际著名会议)
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,CCF推荐的C类国际著名会议)
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, CCF C类会议)
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, CCF A类期刊)
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, CCF C类期刊)
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, CCF B类期刊)
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, Accepted (SCI,中科院二区、CCF C类期刊)
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.
39.周宇豪,何振学(通讯作者)等.基于BABFA的XNOR/OR电路面积优化[J].北京航空航天大学学报, 1-11[2021-04-24].https://doi.org/10.13700/j.bh.1001-5965.2021.0056.(EI)
40.何俊才,何振学(通讯作者),王福顺等.基于ERWOA的多输出MPRM电路面积优化[J].北京航空航天大学学报:1-11[2021-11-15].https://doi.org/10.13700/j.bh.1001-5965.2021.0410.(EI)
41.邵艺璇,何振学(通讯作者),周宇豪等.基于M-AFSA的混合极性RM逻辑电路面积优化[J].北京航空航天大学学报:1-13[2021-11-15].https://doi.org/10.13700/j.bh.1001-5965.2021.
0296.(EI)
42.秦东阁,何振学(通讯作者),陈晨,李隆昊,王涛,王翔.基于SMABC的FPRM电路面积优化[J].北京航空航天大学学报:1-14[2022-02-11].DOI:10.13700/j.bh.1001-5965.2021.0579. (EI)
43.潘钰华,何振学(通讯作者),王克俭.基于改进烟花算法的MPRM逻辑电路面积优化[J].兰州大学学报(自然科版),2021,57(03):416-422.DOI:10.13885/j.issn.0455-2059.2021.03.019(北大核心期刊)
44.王彪,王克俭,何振学等.基于布谷鸟搜索优化马尔可夫的文件热度预测[J].计算机工程与设计,2021(北大核心期刊)
45.孙凤杰,王克俭,何振学.基于演化算法的云计算任务调度研究[J].计算机仿真, 2022, 39(3): 340-443.(北大核心期刊)
46.安娟华,董鑫,王克俭,何振学.基于GWO优化SVM的小麦籽粒优劣分级研究[J].作物杂志, 2021(1): 200-206.(北大核心期刊)
申请专利
(申请国家发明专利14项,授权9项)
[1]何振学,肖利民,王翔,张荣,王涛,徐洋。一种混合极性Reed-Muller逻辑电路的最佳极性搜索方法。发明专利,专利号:ZL104778499B(已授权)
[2]何振学,王翔,肖利民,张荣,谷飞,李书攀,徐洋。一种基于NSGA-II用于不完全确定Reed-Muller电路功耗与面积优化方法。发明专利,专利号:ZL201510411878.9(已授权)
[3]肖利民,何振学,李明哲,霍志胜。一种固定极性Reed-Muller逻辑电路极性搜索方法。发明专利,专利号:CN201710539610.2(已授权)
[4]何振学,田昕辉,孙毓忠。一种Linux平台下的恶意代码分析方法及系统。发明专利,申请号:201310123502.9(已授权)
[5]何振学,武小倩,邵艺璇,潘钰华,何俊才,秦东阁, 周宇豪。一种FPRM逻辑电路面积优化方法。发明专利,专利号:ZL 2020 1 1265338.1(已授权)
[6]何振学,邵艺璇,武小倩,潘钰华,何俊才,周宇豪,秦东阁。一种FPRM逻辑电路极性搜索方法。发明专利,申请号:202011263059.1(已受理)
[7]何振学,周宇豪,赵晓君,等。基于XNOR/OR的FPRM逻辑电路面积优化方法。发明专利,申请号:2023104406460(已受理)
[8]何振学,何俊才,周宇豪,等。多输出Reed-Muller逻辑电路功耗优化方法。发明专利,申请号:2023104424238(已受理)
[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(已授权)
公司产品
邵艺璇(学硕,就业:河北师范大学)
武小倩(专硕,深造:吉林大学读博)
周宇豪(专硕,深造:同济大学读博)
秦东阁(专硕,深造:东南大学读博)
指导潘玉华实现了农大det365在线平台员工发表SCI一区TOP期刊零的突破;
指导周宇豪实现了农大det365在线平台员工发表中国计算机学会推荐的A类和B类国际顶级期刊零的突破;
指导秦东阁实现了农大det365在线平台员工发表中国计算机学会推荐的C类国际著名期刊零的突破。
连续四年研究生毕业答辩全为优秀
软件著作权
1、武小倩、何振学.固定极性Reed-Muller逻辑电路面积优化工具软件V1.0.登记号:2021SR0437233.
主授课程
本科生:《c语言程序设计》、《离散数学》、《算法设计与分析》
《c语言高级编程》、《大学信息技术》
研究生:《算法与算法复杂性理论》、《计算机前沿进展》
联系方式
电话:0312-7526409,微信(QQ):930111386
邮箱:hezhenxue@buaa.edu.cn