高可靠FPGA技术

   

081203-计算机应用技术

高可靠FPGA技术

2017-09--2022-07   中国科学院大学   博士学位
2005-09--2008-06   广西大学电气工程学院   硕士学位
2001-09--2005-07   广西大学电气工程学院   学士学位

   

2022-12~现在, 中国科学院空间应用中心软件评测中心, 正高级工程师
2017-12~2022-12,中国科学院空间应用中心软件评测中心, 高级工程师
2011-01~2017-12,中国科学院空间应用中心系统测试室, 工程师
2010-12~2011-01,中国科学院光电研究院软件评测站, 工程师
2009-09~2010-12,中国科学院光电研究院软件评测站, 助理工程师

   

（1） Thermal Performance Characteristics of an 80-Ton Variable-Thrust Liquid Engine for Reusable Launch Rockets, SUSTAINABILITY, 2023, 第 2 作者
（2） TitleGen-FL: Quality prediction-based filter for automated issue title generation, JOURNAL OF SYSTEMS AND SOFTWARE, 2023, 第 6 作者
（3） Exploring Better Black-Box Test Case Prioritization via Log Analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), 2022, 第 7 作者
（4） Performance study of a pre-cooled turbo-rocket combined engine under a wide Mach number of 0~5, CASE STUDIES IN THERMAL ENGINEERING, 2022, 第 4 作者
（5） A Formal Verification Method for the SOPC Software, IEEE TRANSACTIONS ON RELIABILITY, 2022, 第 1 作者
（6） Quantitative Analysis of Information Leakage Hardware Trojans in IP Cores, 2022 International Conference on Dependable Systems and Their Applications 2022, 2022, 第 4 作者
（7） Single Particle Fault Injection Signal Generation Method Using Gaussian Cloud Model, JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2021, 第 4 作者
（8） An Approach To Generate Test Using SysML Activity Diagram, 2021 8th International Conference on Dependable Systems and Their Applications (DSA), 2021, 第 3 作者
（9） A Multiple-Fault Localization Method for Embedded Software with Applications in Engineering, MATHEMATICAL PROBLEMS IN ENGINEERING, 2021, 第 3 作者
（10） 一种SRAM型FPGA单粒子故障注入实验集的筛选方法, A Screening method for single particle fault injection experimental set for SRAM-FPGA, 微电子学与计算机, 2021, 第 2 作者
（11） 基于SEM IP和部分重配置的SRAM型FPGA单粒子故障注入, SRAM FPGA single event fault injection based on SEM IP and partial reconfiguration, 微电子学与计算机, 2021, 第 2 作者
（12） Saturation control for a nonlinear second-order system with parameter uncertainties and disturbances, Proceedings of 2021 Chinese Intelligent Systems Conference., 2021, 第 2 作者
（13） Efficient Automaton Theoretical Vacuity Detection for Formal Properties, IEEE TRANSACTIONS ON RELIABILITY, 2021, 第 1 作者
（14） Test Case Reuse based on ESIM Model, 2021 8th International Conference on Dependable Systems and Their Applications (DSA), 2021, 第 3 作者
（15） SEE Fault Sensitivity Analysis and Security Reinforcement Design for FPGA Circuits Based on Complex Network, IEEE ACCESS, 2020, 第 4 作者
（16） A Novel Polynomial Tracking Differentiator, 2019 Chinese Intelligent Systems Conference, 2019, 第 2 作者
（17） 基于MATLAB的智能测试系统PMSM物理实时仿真平台, MATLAB-based physical real-time simulation platform of PMSM in Intelligent Test System, 系统仿真学报, 2018, 第 2 作者
（18） Coverage Test Technology Based on ONESPIN Verification Platform, 2018 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND CONTROL ENGINEERING (ICECC), 2018, 第 2 作者
（19） Cross Clock Domain signal Research on Dynamic Motivation Model, 2017 International Conference on Dependable Systems and Their Applications, 2017, 第 1 作者
（20） 航天高可靠FPGA测试技术研究, Research on High Reliable FPGA Test Technology on Spaceflight, 计算机技术与发展, 2017, 第 1 作者
（21） A Novel Approach for Coverage Probing of Embedded Software in SoPC, 2017 International Conference on Dependable Systems and Their Applications, 2017, 第 2 作者
（22） 基于时序路径的FPGA时序分析技术研究, Research of FPGA Timing Sequence Analysis Technology Based on Timing Sequence Path, 微电子学与计算机, 2016, 第 1 作者
（23） 基于软件和逻辑联合仿真的SOPC验证技术研究, SOPC Verification Technology Research Based on Software and Logical Combined Simulation, 微电子学与计算机, 2016, 第 1 作者

   

（ 1 ） 载人航天工程应用系统软件第三方评测, 参与, 国家任务, 2017-01--2030-01
（ 2 ） 柔性集成测试系统研制, 参与, 国家任务, 2016-01--2030-01
（ 3 ） 载荷综合测试实验, 负责人, 中国科学院计划, 2021-01--2025-01
（ 4 ） 空间应用软件研制数字化平台关键技术研究, 负责人, 研究所自选, 2022-01--2025-01