Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2020
• Θέματα: Intervals; Interval analysis; Interval arithmetic; Interval variables; Subtraction; Uncertainty; Uncertain variables; Uncertain forces; Interval forces; Collinear forces; Resultant; Quantifiers; Universal quantifier; Existential quantifier; Quantified formulae; Quantified/free variables; Quantifier elimination; Quantifier-free formulae; Control problem; Tolerance problem; Overestimation-free intervals; Symbolic computations; Mathematica; Διαστήματα; Ανάλυση διαστημάτων; Αριθμητική διαστημάτων; Μεταβλητές διαστήματος; Αφαίρεση; Αβεβαιότητα; Αβέβαιες μεταβλητές; Αβέβαιες δυνάμεις; Δυνάμεις διαστήματος; Συγγραμμικές δυνάμεις; Συνισταμένη; Ποσοδείκτες; Καθολικός ποσοδείκτης; Υπαρξιακός ποσοδείκτης; Τύποι με ποσοδείκτες; Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Πρόβλημα ελέγχου; Πρόβλημα ανοχής; Διαστήματα χωρίς υπερεκτίμηση; Συμβολικοί υπολογισμοί

The problem of the computation of the interval of the resultant of collinear uncertain forces represented by intervals without overestimation has been recently studied in two papers (i) by Elishakoff, Gabriele and Wang (2016) and (ii) by Popova (2017). In the first paper, a modification of classical...