Get started
Author

Shizhong Zhao

A snap-through vibration-rotation modulation mechanism for high-performance low frequency energy harvester
2023 · Xiaoyu Ma, Kangqi Fan, et al. · Mechanical Systems and Signal Processing · 24
Archery-inspired catapult mechanism with controllable energy release for efficient ultralow-frequency energy harvesting
2023 · Zhen Wang, Kangqi Fan, et al. · Applied Energy · 23
Lightweight energy harvesting backpack achieved with a slingshot-inspired flexible accelerator
2024 · Hongyuan Zhao, Kangqi Fan, et al. · Applied Energy · 14
An autonomous entropy-reduction mechanism for modulating and converting ultralow-frequency vibration energy
2024 · Xuan Zhang, Kangqi Fan, et al. · Energy Conversion and Management · 13
Research on the mechanical performance of windshield glass for rail vehicles under gravel impact loadings
2024 · Chengxing Yang, Zhao Nan, et al. · Results in Engineering · 12
Investigation of the Height of Fractured Water-Conducting Zone: A Case Study
2021 · Shihu Ren, Feng Cui, et al. · Geotechnical and Geological Engineering · 12
An extended fast algorithm for constructing the Dixon resultant matrix
2005 · Shizhong ZHAO · Science in China Series A Mathematics · 12
Robust maglev hybrid nanogenerator with an airflow-based motion conversion mechanism for exploiting low-frequency mechanical energy
2024 · Shizhong Zhao, Kangqi Fan, et al. · Nano Energy · 8
Three kinds of extraneous factors in Dixon resultants
2008 · ShiZhong Zhao, HongGuang Fu · Science in China Series A Mathematics · 6
Alternating Electrical Polarity Enabled Efficient Charge Capture Triboelectric Nanogenerator for Self‐Powered Environmental Purification and Monitoring System
2025 · Shaokun Gong, Kaixian Li, et al. · Advanced Functional Materials · 5
A finger-snapping inspired bistable mechanism for converting low-frequency vibrations to high-speed rotation
2023 · Qinxue Tan, Rongchun Li, et al. · Smart Materials and Structures · 5
Clinical study of Wuwei Fuzheng Yijing formula in the treatment of sperm DNA damage in male infertility: A study protocol for a randomized controlled trial
2022 · Ninghua Li, Chenming Zhang, et al. · Medicine · 5
Auto-generation and redundancy reduction of test cases for reactive systems
2010 · Donghuo Chen, Xuandong Li, et al. · International Conference on Software Technology and Engineering · 4
A recursive algorithm for constructing complicated Dixon matrices
2010 · Hongguang Fu, Ying Wang, et al. · Applied Mathematics and Computation · 3
Decidability analysis on termination set of loop programs
2011 · Shizhong Zhao, Donghuo Chen · International Conference on Computer Science and Service System · 1
TrustMath: A Neuro-Symbolic Framework for Verifiable Mathematical Reasoning with Large Language Models
2026 · Na Yuan, Shizhong Zhao · Lecture notes in computer science
RealSanitizer: Detecting Floating-Point Errors via a Dynamic Precision Oracle
2026 · Yuantao Hu, Shizhong Zhao, et al. · Lecture notes in computer science
FormalTCGenerator: A Tool of Automatically Generating Test Cases for Infinite States Reactive Systems
2011 · Donghuo Chen, Shizhong Zhao
Termination Set of Univariate Monotonic Program
2010 · Shizhong Zhao, Ranran Feng, et al. · International Conference on E-Product E-Service and E-Entertainment
Error-controlled computation for termination of programs
2010 · Shizhong Zhao, Ranran Feng, et al. · International Conference on Biomedical Engineering and Informatics (BMEI)
Works count: 20
Citation count: 147
H-index: 8
I10-index: 7
Year
Topic
Type