Linear and nonlinear modal analysis of the axially moving continua based on the invariant manifold method
Sign Up to like & getrecommendations! Published in 2017 at "Acta Mechanica"
DOI: 10.1007/s00707-016-1720-4
Abstract: By studying the transverse dynamics of the axially moving beam, the linear and nonlinear complex modes of gyroscopic continua are investigated based on the invariant manifold method. The nonlinear partial differential equations are truncated into… read more here.
Keywords: linear nonlinear; based invariant; manifold method; invariant manifold ... See more keywords
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Access"
DOI: 10.1109/access.2021.3093211
Abstract: We demonstrate the power of the simulation-based invariant verification technique through two case studies in which it is formally verified that two mutual exclusion protocols, MCS protocol and Anderson protocol, enjoy the mutual exclusion property… read more here.
Keywords: invariant verification; tex math; inline formula; based invariant ... See more keywords
Research on Image Feature Extraction and Environment Inference Based on Invariant Learning
Sign Up to like & getrecommendations! Published in 2024 at "Applied Sciences"
DOI: 10.3390/app142310770
Abstract: As dataset environments evolve, the adaptability of deep models has weakened due to biases in training data collection. Consequently, a critical challenge has emerged: enabling models to effectively learn invariant features across diverse environments while… read more here.
Keywords: image; based invariant; feature extraction; image feature ... See more keywords