RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬
计算机科学与应用Vol.10 No.6, 全文下载: PDF HTML XML DOI:10.12677/CSA.2020.106129, June 18 2020
输电线路大型铁塔组立专用塔式起重机的设计与优化Design and Optimization of Special-Purpose Tower Crane for Large Tower of Transmission Line
夏拥军, 秦 剑 国家科技经费支持
机械工程与技术Vol.4 No.2, 全文下载: PDF HTML XML DOI:10.12677/MET.2015.42009, June 17 2015
用于子结构试验的电液伺服AMD系统设计与测试Design and Test of an Electro-Hydraulic Servo AMD System for Substructure Shaking Table Test
张祥义, 纪金豹 国家自然科学基金支持
动力系统与控制Vol.7 No.2, 全文下载: PDF HTML XML DOI:10.12677/DSC.2018.72010, April 28 2018
基于力控制AMD的振动台子结构试验仿真研究Simulation Study of Shaking Table Substructure Test Based on Force Controlled AMD Device
丛鹏里, 纪金豹 国家自然科学基金支持
动力系统与控制Vol.7 No.2, 全文下载: PDF HTML XML DOI:10.12677/DSC.2018.72015, April 30 2018
建筑楼盖调谐质量阻尼器振动控制Vibration Control for Building Floor Using Tuned Mass Damper
黄 伟 国家科技经费支持
声学与振动Vol.12 No.1, 全文下载: PDF HTML XML DOI:10.12677/OJAV.2024.121002, March 21 2024
结构瞬时AMD最优控制减震效果计算研究Research about Structural Vibration Mitigation Efficiency for Instantaneous AMD Controlling Systems
黄炳达, 富 腾, 葛 楠
动力系统与控制Vol.9 No.2, 全文下载: PDF HTML XML DOI:10.12677/DSC.2020.92012, April 20 2020