Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2020
• Θέματα: Intervals; Interval analysis; Interval variables/parameters; Range; Uncertainty; Uncertain variables/parameters; Beams; Beams on elastic foundation; Winkler foundation; Deflection; Vibration problems; Damped harmonic oscillator; Critical damping; Quantifiers; Universal quantifier; Existential quantifier; Quantified formulae; Quantified/free variables; Quantifier elimination; Quantifier-free formulae; Systems; Input; Output; Control problem; Tolerance problem; Direct problems; Inverse problems; Symbolic computations; Mathematica; Διαστήματα; Ανάλυση διαστημάτων; Μεταβλητές/παράμετροι διαστήματος; Πεδίο τιμών; Αβεβαιότητα; Αβέβαιες μεταβλητές/παράμετροι; Δοκοί; Δοκοί σε ελαστική βάση; Θεμελίωση Winkler; Βέλος κάμψεως; Προβλήματα ταλαντώσεων; Αρµονικός ταλαντωτής µε απόσβεση; Κρίσιμη απόσβεση; Ποσοδείκτες; Καθολικός ποσοδείκτης; Υπαρξιακός ποσοδείκτης; Τύποι με ποσοδείκτες; Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Συστήματα; Είσοδος; Έξοδος; Πρόβλημα ελέγχου; Πρόβλημα ανοχής; Ευθέα προβλήματα; Αντίστροφα προβλήματα; Συμβολικοί υπολογισμοί

Quantifier elimination offers an interesting computational tool in many research areas including applied mechanics long ago. For example, quantifier elimination was recently applied to the computation of ranges of functions in problems of applied mechanics. Here we modify this approach by using the...