Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/13204
Full metadata record
DC FieldValueLanguage
dc.contributor.authorIoakimidis, Nikolaos-
dc.contributor.otherΙωακειμίδης, Νικόλαος-
dc.date.accessioned2020-02-07T00:13:36Z-
dc.date.available2020-02-07T00:13:36Z-
dc.date.copyright2019-11-14-
dc.identifier.urihttp://hdl.handle.net/10889/13204-
dc.description.abstractQuantifier 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
dc.language.isoenel
dc.subjectIntervalsel
dc.subjectInterval analysisel
dc.subjectInterval variables/parametersel
dc.subjectRangeel
dc.subjectUncertaintyel
dc.subjectUncertain variables/parametersel
dc.subjectBeamsel
dc.subjectBeams on elastic foundationel
dc.subjectWinkler foundationel
dc.subjectDeflectionel
dc.subjectVibration problemsel
dc.subjectDamped harmonic oscillatorel
dc.subjectCritical dampingel
dc.subjectQuantifiersel
dc.subjectUniversal quantifierel
dc.subjectExistential quantifierel
dc.subjectQuantified formulaeel
dc.subjectQuantified/free variablesel
dc.subjectQuantifier eliminationel
dc.subjectQuantifier-free formulaeel
dc.subjectSystemsel
dc.subjectInputel
dc.subjectOutputel
dc.subjectControl problemel
dc.subjectTolerance problemel
dc.subjectDirect problemsel
dc.subjectInverse problemsel
dc.subjectSymbolic computationsel
dc.subjectMathematicael
dc.titleInterval computations in various direct and inverse applied mechanics problems related to quantifiers by using the method of quantifier eliminationel
dc.title.alternativeΥπολογισμοί διαστημάτων σε διάφορα ευθέα και αντίστροφα προβλήματα της εφαρμοσμένης μηχανικής σχετιζόμενα με ποσοδείκτες χρησιμοποιώντας τη μέθοδο της απαλοιφής ποσοδεικτώνel
dc.typeTechnical Reportel
dc.description.translatedabstractΗ απαλοιφή ποσοδεικτών προσφέρει ένα ενδιαφέρον υπολογιστικό εργαλείο σε πολλές ερευνητικές περιοχές, που περιλαμβάνουν την εφαρμοσμένη μηχανική, εδώ και πολύ καιρό. Για παράδειγμα, η απαλοιφή ποσοδεικτών εφαρμόσθηκε πρόσφατα στον υπολογισμό πεδίων τιμών συναρτήσεων σε προβλήματα της εφαρμοσμένης μηχανικής. Εδώ τροποποιούμε αυτήν τη μέθοδο χρησιμοποιώντας τον υπαρξιακό ποσοδείκτη αντί για τον καθολικό ποσοδείκτη στους τύπους με ποσοδείκτες. Αυτή η μέθοδος επιτρέπει τη μείωση (κατά δύο) του αριθμού των ελεύθερων μεταβλητών. Εντούτοις, αυτό που είναι πιο σημαντικό είναι ότι εδώ επεκτείνουμε επίσης αυτήν τη μέθοδο, που βασίζεται στην απαλοιφή ποσοδεικτών, από την καθαρά υπαρξιακή περίπτωση στη μικτή καθολική–υπαρξιακή περίπτωση. Η τελευταία περίπτωση σχετίζεται με τα κλασικά προβλήματα ανοχής και ελέγχου διαστήματος που είναι τόσο δημοφιλή στην ανάλυση διαστημάτων. Μεταξύ των λίγων υλοποιήσεων της απαλοιφής ποσοδεικτών (στην κλασική πραγματική ανάλυση) σε συστήματα υπολογιστικής άλγεβρας και πάλι επιλέξαμε το σύστημα υπολογιστικής άλγεβρας Mathematica για χρήση στους παρόντες υπολογισμούς, επειδή αυτό φαίνεται να προσφέρει την πιο αποτελεσματική και φιλική στο χρήστη υλοποίηση. Εξετάζονται λεπτομερώς τρία προβλήματα της εφαρμοσμένης μηχανικής: (i) ένα κλασικό πρόβλημα δοκού (δοκός πακτωμένη–με απλή στήριξη στα άκρα της) υπό ομοιόμορφη φόρτιση, (ii) ένα πρόβλημα δοκού σε ελαστική θεμελίωση Winkler και (iii) το πρόβλημα των ελεύθερων ταλαντώσεων του κλασικού αρμονικού ταλαντωτή με απόσβεση υπό κρίσιμη απόσβεση. Σε αυτά τα τρία προβλήματα εξετάστηκαν αρκετοί τύποι με ποσοδείκτες (φυσικά υπό κατάλληλες υποθέσεις) και βρέθηκαν εύκολα οι σχετικοί τύποι χωρίς ποσοδείκτες. Επιπλέον μελετήθηκαν οι περιπτώσεις (i) τριών μεταβλητών διαστήματος και καμίας παραμέτρου στον τύπο χωρίς ποσοδείκτες, (ii) δύο μεταβλητών διαστήματος και μιας παραμέτρου στον τύπο χωρίς ποσοδείκτες και (iii) μιας μεταβλητής διαστήματος και δύο παραμέτρων στον τύπο χωρίς ποσοδείκτες.el
dc.subject.alternativeΔιαστήματαel
dc.subject.alternativeΑνάλυση διαστημάτωνel
dc.subject.alternativeΜεταβλητές/παράμετροι διαστήματοςel
dc.subject.alternativeΠεδίο τιμώνel
dc.subject.alternativeΑβεβαιότηταel
dc.subject.alternativeΑβέβαιες μεταβλητές/παράμετροιel
dc.subject.alternativeΔοκοίel
dc.subject.alternativeΔοκοί σε ελαστική βάσηel
dc.subject.alternativeΘεμελίωση Winklerel
dc.subject.alternativeΒέλος κάμψεωςel
dc.subject.alternativeΠροβλήματα ταλαντώσεωνel
dc.subject.alternativeΑρµονικός ταλαντωτής µε απόσβεσηel
dc.subject.alternativeΚρίσιμη απόσβεσηel
dc.subject.alternativeΠοσοδείκτεςel
dc.subject.alternativeΚαθολικός ποσοδείκτηςel
dc.subject.alternativeΥπαρξιακός ποσοδείκτηςel
dc.subject.alternativeΤύποι με ποσοδείκτεςel
dc.subject.alternativeΜεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητέςel
dc.subject.alternativeΑπαλοιφή ποσοδεικτώνel
dc.subject.alternativeΤύποι χωρίς ποσοδείκτεςel
dc.subject.alternativeΣυστήματαel
dc.subject.alternativeΕίσοδοςel
dc.subject.alternativeΈξοδοςel
dc.subject.alternativeΠρόβλημα ελέγχουel
dc.subject.alternativeΠρόβλημα ανοχήςel
dc.subject.alternativeΕυθέα προβλήματαel
dc.subject.alternativeΑντίστροφα προβλήματαel
dc.subject.alternativeΣυμβολικοί υπολογισμοίel
dc.subject.alternativeMathematicael
Appears in Collections:Γενικό Τμήμα (Τεχνικές Αναφορές)

Files in This Item:
File Description SizeFormat 
TR-2019-Q9.pdf238.04 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons