Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2020
• Θέματα: Intervals; Interval analysis; Interval arithmetic; Interval variables; Uncertain variables; Uncertainty; Systems of linear equations; Parametric interval systems; Equilibrium equations; Bars; Trusses; Loads; Reactions; Quantifiers; Universal quantifier; Existential quantifier; Quantified formulae; Quantified/free variables; Quantifier elimination; Quantifier-free formulae; Solution sets; Symbolic computations; Computer algebra systems; Mathematica; Διαστήματα; Ανάλυση διαστημάτων; Αριθμητική διαστημάτων; Μεταβλητές διαστήματος; Αβέβαιες μεταβλητές; Αβεβαιότητα; Συστήματα γραμμικών εξισώσεων; Παραμετρικά συστήματα με διαστήματα; Εξισώσεις ισορροπίας; Ράβδοι; Δικτυώματα; Φορτία; Αντιδράσεις; Ποσοδείκτες; Καθολικός ποσοδείκτης; Υπαρξιακός ποσοδείκτης; Τύποι με ποσοδείκτες; Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Σύνολα λύσεων; Συμβολικοί υπολογισμοί; Συστήματα υπολογιστικής άλγεβρας

The method of quantifier elimination is an interesting computational tool in computer algebra with many practical applications including problems of applied mechanics. Recently, this method was used in applied mechanics problems with uncertain parameters varying in known intervals (interval paramete...