王国辉 博士
高级实验师
首都师范大学 2022年世界杯买球
地址：北京市海淀区西三环北路56号313办公室
邮编：100048
Email：ghwang(at)cnu(dot)edu(dot)cn
基本信息
王国辉，理学博士，高级实验师，2011年加入首都师范大学2022年世界杯买球，博士毕业于首都师范大学数学科学学院。研究领域为电子系统可靠性与形式化验证，研究方向包括机器人机构学、运动学及动力学理论的高阶逻辑定理证明，苛刻环境下高可靠电子系统。研究成果包括在JAR、FAOC、TC等国际顶级学术会议和期刊发表论文10余篇，获得国家授权发明专利4项，参与国家自然科学基金，国家重点研发计划子课题，JW科技创新特区项目等多个国家级和省部级项目。
研究兴趣
形式化验证，高可靠嵌入式系统。
教育经历
2013.09 – 2020.06，首都师范大学，数学科学学院，理学博士
2010.03 – 2011.03，香港理工大学，电子计算学系，研究助理
2008.09 – 2011.06，首都师范大学，2022年世界杯买球，工学硕士
2003.09 – 2007.06，重庆理工大学，电子信息与自动化学院，工学学士
科研项目
1、[参与]国家自然科学基金面上项目，形式模型驱动的人机协作机器人设计与验证方法研究，2019/01-2022/12
2、[参与] JW科技创新特区项目，机器人运动学形式化建模理论，2019/03-2021/02
3、[参与]国家自然科学基金面上项目，复杂路况下自动驾驶传感器及关键技术研究，2018/01-2021/12
4、[主持]横向项目，医学影像特征识别算法开发，2018/10-2019/4
5、[参与]国家重点研发计划“公共安全风险防控与应急技术装备”重点专项子课题，地面伤员抢运机器人系统集成研究与实现，2017/07-2020/06
代表论文
[1] Guan Yong, Zhang Jingzhi, Wang Guohui*. et al. Formalization of Euler–Lagrange Equation Set Based on Variational Calculus in HOL Light. Journal of Automated Reasoning， volume 65, pages1–29(2021).(CCF-B,SCI)
[2] 王国辉，许京然，刘永梅，施智平*，关永. 摄动开普勒问题形式化建模与验证. 小型微型计算机系统 2020 Vol. 41 (2): 440-444
[3] 陈琦,王国辉*,张倩颖,施智平,陈善言,关永. 平面并联机构的形式化建模与验证. 小型微型计算机系统.2020 Vol. 41 (5): 925-931
[4] Chen Shanyan, Wang Guohui*, Li Ximeng. et al. Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Formal Aspects of Computing volume 32, pages417–437(2020). (CCF-B,SCI)
[5] Jingzhi Zhang, Guohui Wang*, Zhiping Shi, Yong Guan, Yongdong Li. Formalization of functional variation in HOL Light, Journal of Logical and Algebraic Methods in Programming, Volume 106, 2019, Pages 29-38. SCI)
[6] Nie Yuhan,Shi Zhiping, Wu Aixuan, Li Ximeng, Wang Guohui and Guan Yong. A HOL Theory of the Differential for Matrix Functions. 2019 13th International Symposium on Theoretical Aspects of Software Engineering.(CCF-C)
[7] Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li: Formalization of Symplectic Geometry in HOL-Light. The 20th International Conference on Formal Engineering Methods: 270-283. (CCF-C)
[8] 赵荣波,施智平,关永,邵振洲,王国辉,吴立峰.基于旋量理论和代数消元6R机器人逆解算法.传感器与微系统, 2018, 37(12): 114-117+121.
[9] Zhao Rongbo, Shi Zhiping, Guan Yong, Shao Zhenzhou, Zhang Qianying, & Wang Guohui. Inverse kinematic solution of 6R robot manipulators based on screw theory and the Paden–Kahan subproblem. International Journal of Advanced Robotic Systems:15(6). (SCI)
[10] Yong Guan, Guohui Wang, Chenlin Ma, Renhai Chen, Yi Wang*, Zili Shao, A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems, IEEE Transactions on Computers, vol. 66, pp. 1464-1477, Sept. 2017.(SCI)
[11] Wang, Guohui， Guan, Yong， Wang, Yi， Shao, Zili； Energy-aware assignment and scheduling for hybrid main memory in embedded systems，Computing，March 2016, Volume 98, Issue 3, pp 279-301.(SCI)
[12] Jingzhi Li, Guohui Wang*, Yong Guan, Lifeng Wu, Xiaojuan Li, Failure prediction of ultracapacitor stack using fuzzy inference system, Engineering Review, vol.35, no.1, May.2015.
[13] Yong Guan, Guohui Wang, Yi Wang, Renhai Chen, Zili Shao, BLog: block-level log-block management for NAND flash memorystorage systems, ACM SIGPLAN Notices，Volume 48 Issue 5，May 2013, Pages 111-120.(SCI)
[14] Guohui Wang, Zhiquan Dai, Yong Guan, Pengfei Dong, and Lifeng Wu, Power Management of Hybrid Power Systems with Li-Fe Batteries and Supercapacitors for Mobile Robots, Advances in Mechanical Engineering, vol. 2014, Article ID 270537, 11 pages, 2014..(SCI)
授权专利
1、施智平, 赵荣波, 关永, 张倩颖, 王国辉, 邵振洲, 王瑞, 李晓娟, 6自由度串联机器人的关节旋转角度确定方法及装置, ZL201810195262.6
2、李晓娟, 关永, 李艳春, 王瑞, 施智平, 张倩颖, 谈金东, 邵振洲, 张杰, 王国辉, 刘永梅, 吴敏华, 一种用于机器人分布式控制系统的形式建模方法及装置, ZL201611197597.9
3、关永，周松文，吴立锋，潘巍，王国辉，一种DC-DC电源系统故障检测与预测方法，ZL201210088086.9
4、吴立锋，关永，郑学艳，李晓娟，王国辉，潘巍，郑宇，电源功率模块劣化状态在线判断方法，ZL201210516838.7
实验课程
嵌入式系统基础实验、DSP原理与应用实验、数字信号处理实验、嵌入式操作系统与驱动程序设计
获奖情况
1、2020年，第十四届北京发明创新大赛铜奖，废水处理技术评价方法及系统
2、2012年，北京市科学技术二等奖，SpaceWire形式化验证和SpaceFibre的样机研制