1. Home page
  2. Search

Ακριβή φράγματα βασιζόμενα στην απαλοιφή ποσοδεικτών σε προβλήματα δικτυωμάτων και άλλα προβλήματα της εφαρμοσμένης μηχανικής με αβέβαιες, διαστηματικές δυνάμεις/φορτία και άλλες παραμέτρους

This item is provided by the institution :
University of Patras   

Repository :
Nemertes   

see the original item page
in the repository's web site and access all digital files if the item*



Sharp bounds based on quantifier elimination in truss and other applied mechanics problems with uncertain, interval forces/loads and other parameters (EL)
Ακριβή φράγματα βασιζόμενα στην απαλοιφή ποσοδεικτών σε προβλήματα δικτυωμάτων και άλλα προβλήματα της εφαρμοσμένης μηχανικής με αβέβαιες, διαστηματικές δυνάμεις/φορτία και άλλες παραμέτρους (EL)
Ioakimidis, Nikolaos
Ιωακειμίδης, Νικόλαος
Technical Report (EL)
2019-08-16
2019-08-19T13:30:27Z
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 "exists" in quantified formulae has already been efficiently implemented in few computer algebra systems and also applied to several interesting problems of mathematics, physics and engineering. Here this method is applied to some simple problems of applied mechanics including truss problems in structural mechanics in the case of uncertain, interval parameters related to the applied loads and/or to the parameters of the structure. Therefore, the present results are related to classical interval analysis and they permit the determination of sharp bounds for the mechanical quantities of interest such as resultants of forces, reactions and displacements in truss problems. The implementation of quantifier elimination in the powerful and user-friendly computer algebra system Mathematica has been selected as the most efficient and appropriate tool for the present computational tasks and it offers one more computational possibility in simple applied mechanics problems under uncertainty that is described by interval parameters. The five applied mechanics problems studied in detail here concern (i) the resultant of three forces acting on a box, (ii) the resultant of four forces acting on a particle, (iii) a block resting and sliding on a horizontal plane, (iv) a three-member truss and, finally, (v) a six-member truss. All these problems were already proposed and solved with interval parameters by other researchers. The present results are in agreement with the already available related results and, moreover, they always provide sharp bounds for the interval quantities of interest. (EL)
Η υπολογιστική μέθοδος της απαλοιφής ποσοδεικτών στην υπολογιστική άλγεβρα για πραγματικούς αριθμούς, που σχετίζεται με την απαλοιφή του καθολικού ποσοδείκτη "για κάθε" και/ή του υπαρξιακού ποσοδείκτη "υπάρχει" σε τύπους με ποσοδείκτες, έχει ήδη υλοποιηθεί αποτελεσματικά σε λίγα συστήματα υπολογιστικής άλγεβρας και επίσης εφαρμοσθεί σε αρκετά ενδιαφέροντα προβλήματα των μαθηματικών, της φυσικής και της επιστήμης του μηχανικού. Εδώ η μέθοδος αυτή εφαρμόζεται σε μερικά απλά προβλήματα της εφαρμοσμένης μηχανικής, που περιλαμβάνουν προβλήματα δικτυωμάτων στη μηχανική των κατασκευών στην περίπτωση αβέβαιων, διαστηματικών παραμέτρων που σχετίζονται με τα φορτία που εφαρμόζονται και/ή τις παραμέτρους της κατασκευής. Επομένως τα παρόντα αποτελέσματα σχετίζονται με την κλασική ανάλυση διαστημάτων και επιτρέπουν τον προσδιορισμό ακριβών φραγμάτων για τις μηχανικές ποσότητες που ενδιαφέρουν όπως συνιστάμενες δυνάμεων, αντιδράσεις και μετατοπίσεις σε προβλήματα δικτυωμάτων. Η υλοποίηση της απαλοιφής ποσοδεικτών στο ισχυρό και φιλικό στο χρήστη σύστημα υπολογιστικής άλγεβρας Mathematica επιλέχθηκε σαν το πιο αποτελεσματικό και κατάλληλο εργαλείο για τα παρόντα υπολογιστικά καθήκοντα και προσφέρει μια ακόμη υπολογιστική δυνατότητα σε απλά προβλήματα της εφαρμοσμένης μηχανικής υπό αβεβαιότητα που περιγράφεται από διαστηματικές παραμέτρους. Τα πέντε προβλήματα της εφαρμοσμένης μηχανικής που μελετώνται λεπτομερώς εδώ αφορούν (i) στη συνισταμένη τριών δυνάμεων που ενεργούν σε ένα κιβώτιο, (ii) στη συνισταμένη τεσσάρων δυνάμεων που ενεργούν σε ένα σωματίδιο, (iii) σε ένα αντικείμενο που στηρίζεται και ολισθαίνει πάνω σε οριζόντιο επίπεδο, (iv) σε ένα δικτύωμα με τρία μέλη και τελικά (v) σε ένα δικτύωμα με έξι μέλη. Όλα αυτά τα προβλήματα ήδη προτάθηκαν και λύθηκαν με διαστηματικές παραμέτρους από άλλους ερευνητές. Τα παρόντα αποτελέσματα βρίσκονται σε συμφωνία με τα ήδη διαθέσιμα σχετικά αποτελέσματα και επιπλέον δίνουν πάντοτε ακριβή φράγματα για τις διαστηματικές ποσότητες που μας ενδιαφέρουν. (EL)
Κάτω φράγματα (EL)
Μετατοπίσεις (EL)
Διαστήματα (EL)
Δικτυώματα (EL)
Υπαρξιακός ποσοδείκτης (EL)
Quantifier-free formulae (EL)
Ποσοδείκτες (EL)
Άνω φράγματα (EL)
Computer algebra (EL)
Trusses (EL)
Symbolic computations (EL)
Interval hull (EL)
Συστήματα υπολογιστικής άλγεβρας (EL)
United solution set (EL)
Ανάλυση διαστημάτων (EL)
Quantifier elimination (EL)
Parametric interval linear algebraic systems (EL)
Quantifiers (EL)
Αβέβαιες παράμετροι (EL)
Κατασκευές (EL)
Interval parameters (EL)
Ακριβή φράγματα (EL)
Intervals (EL)
Διαστηματική θήκη (EL)
Uncertainty (EL)
Φορτία (EL)
Διαστηματικές παράμετροι (EL)
Τύποι με ποσοδείκτες (EL)
Ενιαίο σύνολο λύσεων (EL)
Universal quantifier (EL)
Αβεβαιότητα (EL)
Forces (EL)
Interval arithmetic (EL)
Loads (EL)
Quantified formulae (EL)
Interval analysis (EL)
Upper bounds (EL)
Quantified/free variables (EL)
Displacements (EL)
Existential quantifier (EL)
Mathematica (EL)
Structures (EL)
Απαλοιφή ποσοδεικτών (EL)
Uncertain variables (EL)
Καθολικός ποσοδείκτης (EL)
Παραμετρικά διαστηματικά γραμμικά αλγεβρικά συστήματα (EL)
Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές (EL)
Αβέβαιες μεταβλητές (EL)
Συμβολικοί υπολογισμοί (EL)
Τύποι χωρίς ποσοδείκτες (EL)
Υπολογιστική άλγεβρα (EL)
Sharp bounds (EL)
Uncertain parameters (EL)
Computer algebra systems (EL)
Lower bounds (EL)
Αριθμητική διαστημάτων (EL)
Δυνάμεις (EL)
University of Patras
Nemertes
Γενικό Τμήμα (Τεχνικές Αναφορές)
3. Tεχνικές Αναφορές | Technical Reports



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)