1. Αρχική σελίδα
  2. Αναζήτηση

Υπολογισμός πεδίων τιμών συναρτήσεων σε προβλήματα της εφαρμοσμένης μηχανικής με την υπολογιστική μέθοδο της απαλοιφής ποσοδεικτών

Το τεκμήριο παρέχεται από τον φορέα :
University of Patras   

Αποθετήριο :
Nemertes   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



Computation of ranges of functions in problems of applied mechanics with the computational method of quantifier elimination (EL)
Υπολογισμός πεδίων τιμών συναρτήσεων σε προβλήματα της εφαρμοσμένης μηχανικής με την υπολογιστική μέθοδο της απαλοιφής ποσοδεικτών (EL)
Ioakimidis, Nikolaos
Ιωακειμίδης, Νικόλαος
Technical Report (EL)
2018-09-30
2018-10-03T10:35:18Z
The method of quantifier elimination constitutes an interesting and relatively modern computational tool in computer algebra. An efficient implementation of quantifier elimination is included in the computer algebra system Mathematica since 2003. Here after an introduction to the approach of quantifier elimination in Mathematica for the determination of intervals in some simple problems in arithmetic and ranges of functions in elementary algebra, we continue with the determination of ranges of functions concerning problems of applied mechanics. Four such kinds of problems are studied here: (i) Two classical beam problems, (ii) A problem of a beam on a Winkler elastic foundation, (iii) The problem of buckling of the Euler classical column and (iv) A problem of free vibrations of an oscillator with critical damping. In all cases, the ranges of the functions of interest are determined. Yet, Taylor–Maclaurin or minimax or similar approximations are necessary in problems where transcendental functions are involved. Naturally, the method is applicable to a variety of additional problems of applied mechanics although, unfortunately, its power is limited to problems with few variables (both quantified variables and free variables) and not very high degree(s) in the polynomial(s) involved. Therefore, the efficiency of the method is particularly clear mainly in problems involving only a single polynomial of degree about up to twenty and with only one parameter. The case of an interval with a parameter as one end is also in principle acceptable. (EL)
Η μέθοδος της απαλοιφής ποσοδεικτών αποτελεί ένα ενδιαφέρον και σχετικά σύγχρονο υπολογιστικό εργαλείο στην υπολογιστική άλγεβρα. Μια αποτελεσματική υλοποίηση της απαλοιφής ποσοδεικτών περιλαμβάνεται στο σύστημα υπολογιστικής άλγεβρας Mathematica από το 2003. Εδώ μετά από μια εισαγωγή στη μέθοδο της απαλοιφής ποσοδεικτών στη Mathematica για τον προσδιορισμό διαστημάτων σε μερικά απλά προβλήματα στην αριθμητική και πεδίων (ή συνόλων) τιμών συναρτήσεων στη στοιχειώδη άλγεβρα συνεχίζουμε με τον προσδιορισμό πεδίων (ή συνόλων) τιμών συναρτήσεων που αφορούν σε προβλήματα της εφαρμοσμένης μηχανικής. Εδώ μελετώνται τέσσερα τέτοια είδη προβλημάτων: (i) Δύο κλασικά προβλήματα δοκών, (ii) Ένα πρόβλημα δοκού σε ελαστική θεμελίωση Winkler, (iii) Το πρόβλημα του λυγισμού του κλασικού στύλου του Euler και (iv) Ένα πρόβλημα ελεύθερων ταλαντώσεων ταλαντωτή με κρίσιμη απόσβεση. Σε όλες τις περιπτώσεις προσδιορίζονται τα πεδία (ή σύνολα) τιμών των συναρτήσεων που μας ενδιαφέρουν. Εντούτοις είναι αναγκαίες προσεγγίσεις Taylor–Maclaurin ή προσεγγίσεις minimax ή παρόμοιες προσεγγίσεις σε προβλήματα όπου παρουσιάζονται υπερβατικές συναρτήσεις. Φυσικά, η μέθοδος είναι εφαρμόσιμη σε ποικιλία πρόσθετων προβλημάτων της εφαρμοσμένης μηχανικής αν και, δυστυχώς, η ισχύς της περιορίζεται σε προβλήματα με λίγες μεταβλητές (τόσο μεταβλητές με ποσοδείκτες όσο και ελεύθερες μεταβλητές) και όχι πολύ μεγάλο βαθμό/μεγάλους βαθμούς στο πολυώνυμο/στα πολυώνυμα που παρουσιάζονται. Επομένως, η αποτελεσματικότητα της μεθόδου είναι ιδιαίτερα εμφανής κυρίως σε προβλήματα που περιέχουν μόνο ένα απλό πολυώνυμο βαθμού περίπου μέχρι το είκοσι και με μία μόνο παράμετρο. Είναι επίσης καταρχήν αποδεκτή η περίπτωση διαστήματος με παράμετρο σαν ένα άκρο του. (EL)
Κάτω φράγματα (EL)
Θεμελίωση Winkler (EL)
Winkler foundation (EL)
Image (EL)
Λυγισμός (EL)
Διαστήματα (EL)
Quantifier-free formulae (EL)
Κρίσιμη απόσβεση (EL)
Άνω φράγματα (EL)
Symbolic computations (EL)
Συστήματα υπολογιστικής άλγεβρας (EL)
Αριθμητική (EL)
Critical damping (EL)
Damped harmonic oscillator (EL)
Minimization (EL)
Εικόνα (EL)
Range (EL)
Quantifier elimination (EL)
Προβλήματα ταλαντώσεων (EL)
Δοκοί σε ελαστικό υπόβαθρο (EL)
Μεγιστοποίηση (EL)
Arithmetic (EL)
Intervals (EL)
Deflection (EL)
Τύποι με ποσοδείκτες (EL)
Universal quantifier (EL)
Δοκοί σε ελαστική βάση (EL)
Quantified formulae (EL)
Δοκοί (EL)
Σύνολο τιμών (EL)
Beams (EL)
Upper bounds (EL)
Ελαχιστοποίηση (EL)
Mathematica (EL)
Απαλοιφή ποσοδεικτών (EL)
Βέλος κάμψεως (EL)
Buckling (EL)
Καθολικός ποσοδείκτης (EL)
Στύλοι (EL)
Maximization (EL)
Αρμονικός ταλαντωτής µε απόσβεση (EL)
Συμβολικοί υπολογισμοί (EL)
Elementary algebra (EL)
Columns (EL)
Συναρτήσεις (EL)
Functions (EL)
Τύποι χωρίς ποσοδείκτες (EL)
Beams on elastic foundation (EL)
Computer algebra systems (EL)
Πεδίο τιμών (EL)
Lower bounds (EL)
Vibration problems (EL)
Στοιχειώδης άλγεβρα (EL)
University of Patras
Nemertes
Γενικό Τμήμα (Τεχνικές Αναφορές)
3. Tεχνικές Αναφορές | Technical Reports



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.