Abstract: High-speed trains use anti-yaw dampers to reduce snaking vibrations during operation, ensuring smooth and safe travel. If these dampers fail, they create complex and unstable vibration ...
The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...
Abstract: The Tianmu-1 constellation is mainly based on BeiDou/Global Navigation Satellite System radio occultation (GNSS-RO) and BeiDou/GNSS reflectometry (GNSS-R) remote sensing technology, which ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results