RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 701 浏览量: 1,191
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
HTS通信系统波束切换动态资源预留机制研究Research on Adaptive Resource Reservation Mechanism during Beam Handover in HTS Communication Systems
柳 绵, 石 云, 程子敬, 李佳立 下载量: 1,029 浏览量: 1,579 科研立项经费支持
无线通信 Vol.8 No.4, August 2 2018, PDF, HTML, XML DOI:10.12677/HJWC.2018.84019 被引量
新能源汽车和内燃机汽车噪声特性比较分析Comparative Analysis of Noise Characteristics of New Energy Vehicles and Internal Combustion Engine Vehicles
夏云飞, 程子敬, 史府鑫, 王 燕 下载量: 1,040 浏览量: 2,611
声学与振动 Vol.8 No.3, July 22 2020, PDF, HTML, XML DOI:10.12677/OJAV.2020.83010 被引量