This paper investigates the accelerating up transient vibrations of a rotor system under both
the random and uncertain-but-bounded parameters. The Polynomial Chaos Expansion …

This paper deals with beams under static loads, in presence of multiple cracks with
uncertain parameters. The crack is modelled as a linearly-elastic rotational spring and …

The present paper is devoted to the structural response analysis of multi-damaged beams
with open cracks characterized by uncertain parameters. The generic crack is modeled as a …

This study presents experimental and analytical fatigue frameworks for the dynamic fatigue
life prediction of nonlinear mechanical systems under hyperchaotic oscillations. Fatigue in …

The computational method of quantifier elimination in computer algebra for real numbers
related to the elimination of the universal quantifier “for all” and/or the existential quantifier …

The present paper deals with the evaluation of the structural response of single-cracked
beam-like structures under deterministic time variant excitations assuming the crack depth …

Quantifier elimination constitutes an interesting computational approach in computer
algebra already successfully applied to several disciplines. Here we apply this approach to …

Due to the existing tolerances, the shaft misalignment of gear system is inevitably uncertain
and shows interval property, which will cause the natural frequency to fluctuate in an interval …

The method of quantifier elimination is an interesting computational tool in computer algebra
with many practical applications including problems of applied mechanics. Recently, this …

The method of quantifier elimination constitutes an interesting computational approach in
computer algebra already implemented in few computer algebra systems. In applied …