Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2019
• Θέματα: Straight cracks; Slant cracks; Arrays of cracks; Periodic arrays of cracks; Collinear cracks; Stress intensity factors; Exponential loading; Plane isotropic elasticity; Fracture mechanics; Weight functions; Numerical integration; Minimax approximation; Singular integral equations; Symbolic computations; Ranges; Intervals; Interval variables; Interval arithmetic; Interval analysis; Crisp variables; Deterministic variables; Quantifiers; Existential quantifier; Quantified formulae; Quantifier elimination; Quantifier-free formulae; Semi-analytical-numerical computations; Computer algebra systems; Mathematica; Ευθύγραμμες ρωγμές; Λοξές ρωγμές; Διατάξεις ρωγμών; Περιοδικές διατάξεις ρωγμών; Συγγραμμικές ρωγμές; Συντελεστές εντάσεως τάσεων; Εκθετική φόρτιση; Επίπεδη ισότροπη ελαστικότητα; Θραυστομηχανική; Συναρτήσεις βάρους; Αριθμητική ολοκλήρωση; Προσέγγιση minimax; Ιδιόμορφες ολοκληρωτικές εξισώσεις; Συμβολικοί υπολογισμοί; Πεδία τιμών; Διαστήματα; Μεταβλητές διαστήματος; Αριθμητική διαστημάτων; Ανάλυση διαστημάτων; Σαφείς μεταβλητές; Προσδιορίσιμες μεταβλητές; Ποσοδείκτες; Υπαρξιακός ποσοδείκτης; Τύποι με ποσοδείκτες; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Ημιαναλυτικοί-αριθμητικοί υπολογισμοί; Συστήματα υπολογιστικής άλγεβρας

The concept of the stress intensity factor at a crack tip is extremely well known and it plays a very important role in fracture mechanics. On the other hand, uncertainty is often present in engineering problems mainly because of measurement errors and it is frequently represented with the help of i...