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

Το τεκμήριο παρέχεται από τον φορέα :
Πανεπιστήμιο Πατρών   

Αποθετήριο :
Νημερτής   

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



Interval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier elimination (EL)
Υπολογισμοί διαστημάτων σε διάφορα ευθέα και αντίστροφα προβλήματα της εφαρμοσμένης μηχανικής σχετιζόμενα με ποσοδείκτες χρησιμοποιώντας τη μέθοδο της απαλοιφής ποσοδεικτών (EL)

Ioakimidis, Nikolaos

Ιωακειμίδης, Νικόλαος

Technical Report (EL)

2019-11-14
2020-02-07T00:13:36Z


Η απαλοιφή ποσοδεικτών προσφέρει ένα ενδιαφέρον υπολογιστικό εργαλείο σε πολλές ερευνητικές περιοχές, που περιλαμβάνουν την εφαρμοσμένη μηχανική, εδώ και πολύ καιρό. Για παράδειγμα, η απαλοιφή ποσοδεικτών εφαρμόσθηκε πρόσφατα στον υπολογισμό πεδίων τιμών συναρτήσεων σε προβλήματα της εφαρμοσμένης μηχανικής. Εδώ τροποποιούμε αυτήν τη μέθοδο χρησιμοποιώντας τον υπαρξιακό ποσοδείκτη αντί για τον καθολικό ποσοδείκτη στους τύπους με ποσοδείκτες. Αυτή η μέθοδος επιτρέπει τη μείωση (κατά δύο) του αριθμού των ελεύθερων μεταβλητών. Εντούτοις, αυτό που είναι πιο σημαντικό είναι ότι εδώ επεκτείνουμε επίσης αυτήν τη μέθοδο, που βασίζεται στην απαλοιφή ποσοδεικτών, από την καθαρά υπαρξιακή περίπτωση στη μικτή καθολική–υπαρξιακή περίπτωση. Η τελευταία περίπτωση σχετίζεται με τα κλασικά προβλήματα ανοχής και ελέγχου διαστήματος που είναι τόσο δημοφιλή στην ανάλυση διαστημάτων. Μεταξύ των λίγων υλοποιήσεων της απαλοιφής ποσοδεικτών (στην κλασική πραγματική ανάλυση) σε συστήματα υπολογιστικής άλγεβρας και πάλι επιλέξαμε το σύστημα υπολογιστικής άλγεβρας Mathematica για χρήση στους παρόντες υπολογισμούς, επειδή αυτό φαίνεται να προσφέρει την πιο αποτελεσματική και φιλική στο χρήστη υλοποίηση. Εξετάζονται λεπτομερώς τρία προβλήματα της εφαρμοσμένης μηχανικής: (i) ένα κλασικό πρόβλημα δοκού (δοκός πακτωμένη–με απλή στήριξη στα άκρα της) υπό ομοιόμορφη φόρτιση, (ii) ένα πρόβλημα δοκού σε ελαστική θεμελίωση Winkler και (iii) το πρόβλημα των ελεύθερων ταλαντώσεων του κλασικού αρμονικού ταλαντωτή με απόσβεση υπό κρίσιμη απόσβεση. Σε αυτά τα τρία προβλήματα εξετάστηκαν αρκετοί τύποι με ποσοδείκτες (φυσικά υπό κατάλληλες υποθέσεις) και βρέθηκαν εύκολα οι σχετικοί τύποι χωρίς ποσοδείκτες. Επιπλέον μελετήθηκαν οι περιπτώσεις (i) τριών μεταβλητών διαστήματος και καμίας παραμέτρου στον τύπο χωρίς ποσοδείκτες, (ii) δύο μεταβλητών διαστήματος και μιας παραμέτρου στον τύπο χωρίς ποσοδείκτες και (iii) μιας μεταβλητής διαστήματος και δύο παραμέτρων στον τύπο χωρίς ποσοδείκτες. (EL)
Quantifier elimination offers an interesting computational tool in many research areas including applied mechanics long ago. For example, quantifier elimination was recently applied to the computation of ranges of functions in problems of applied mechanics. Here we modify this approach by using the existential quantifier instead of the universal quantifier in the quantified formulae. This approach permits the reduction (by two) of the number of free variables. Yet, what is more important is that here we also extend this method based on quantifier elimination from the purely existential case to the mixed universal–existential case. The latter case is related to the classical interval tolerance and control problems so popular in interval analysis. Among the few implementations of quantifier elimination (in classical real analysis) in computer algebra systems again we selected the computer algebra system Mathematica for use in the present computations because it seems to offer the most efficient and user-friendly related implementation. Three applied mechanics problems are studied in detail: (i) a classical beam problem (beam fixed–simply-supported at its ends) under a uniform loading, (ii) a problem of a beam on a Winkler elastic foundation and (iii) the problem of free vibrations of the classical damped harmonic oscillator under critical damping. In these three problems, several quantified formulae were considered (of course, under appropriate assumptions) and the related QFFs (quantifier-free formulae) were easily derived. Moreover, the cases of (i) three interval variables and no parameter in the QFF, (ii) two interval variables and one parameter in the QFF and (iii) one interval variable and two parameters in the QFF were studied. (EL)


Θεμελίωση Winkler (EL)
Winkler foundation (EL)
Αρµονικός ταλαντωτής µε απόσβεση (EL)
Διαστήματα (EL)
Υπαρξιακός ποσοδείκτης (EL)
Quantifier-free formulae (EL)
Αβέβαιες μεταβλητές/παράμετροι (EL)
Κρίσιμη απόσβεση (EL)
Input (EL)
Ποσοδείκτες (EL)
Συστήματα (EL)
Control problem (EL)
Πρόβλημα ανοχής (EL)
Symbolic computations (EL)
Μεταβλητές/παράμετροι διαστήματος (EL)
Damped harmonic oscillator (EL)
Critical damping (EL)
Range (EL)
Ανάλυση διαστημάτων (EL)
Ευθέα προβλήματα (EL)
Systems (EL)
Quantifier elimination (EL)
Πρόβλημα ελέγχου (EL)
Έξοδος (EL)
Αντίστροφα προβλήματα (EL)
Quantifiers (EL)
Προβλήματα ταλαντώσεων (EL)
Intervals (EL)
Uncertainty (EL)
Deflection (EL)
Τύποι με ποσοδείκτες (EL)
Interval variables/parameters (EL)
Universal quantifier (EL)
Αβεβαιότητα (EL)
Δοκοί σε ελαστική βάση (EL)
Quantified formulae (EL)
Interval analysis (EL)
Δοκοί (EL)
Beams (EL)
Quantified/free variables (EL)
Existential quantifier (EL)
Output (EL)
Mathematica (EL)
Απαλοιφή ποσοδεικτών (EL)
Βέλος κάμψεως (EL)
Καθολικός ποσοδείκτης (EL)
Είσοδος (EL)
Uncertain variables/parameters (EL)
Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές (EL)
Συμβολικοί υπολογισμοί (EL)
Τύποι χωρίς ποσοδείκτες (EL)
Direct problems (EL)
Beams on elastic foundation (EL)
Πεδίο τιμών (EL)
Vibration problems (EL)
Inverse problems (EL)
Tolerance problem (EL)





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