Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)
| datacite.rights | http://purl.org/coar/access_right/c_abf2 | el |
| dc.contributor.author | Ioakimidis, Nikolaos | |
| dc.contributor.other | Ιωακειμίδης, Νικόλαος | |
| dc.creator.orcid | 0000-0002-4459-3958 | |
| dc.date.accessioned | 2021-07-05T06:17:49Z | |
| dc.date.available | 2021-07-05T06:17:49Z | |
| dc.date.copyright | 2021-07-04 | |
| dc.description.abstract | Ben-Haim's info-gap (or information-gap) decision theory (IGDT) constitutes a very interesting and popular method for the study of problems in engineering and in many other scientific disciplines under severe uncertainty conditions. On the other hand, quantifier elimination constitutes an equally interesting approach implemented in some computer algebra systems and aiming at the transformation of quantified formulae (i.e. formulae including the universal and/or the existential quantifiers) to logically equivalent formulae but free from these quantifiers and the related quantified variables. Here we apply the method of quantifier elimination (by using its implementation in Mathematica) to the info-gap decision theory and we compute the related reliability regions and, next, the related robustness functions. The computation of the opportuneness (or opportunity) functions is also considered in brief. More explicitly, the four problems studied here concern: (i) the Hertzian contact of two isotropic elastic spheres, (ii) a spring with a linear stiffness but also with an uncertain cubic non-linearity in its stiffness, (iii) the robust reliability of a project with uncertain activity (task) durations and (iv) a gap-closing electrostatic actuator. In all these problems here under uncertainty conditions, the present results are seen to be in complete agreement with the results already derived for the same problems by Ben-Haim and his collaborators (who used appropriate more elementary methods) with respect to the robustness and/or opportuneness functions, but here the reliability regions are also directly computed. Moreover, the present approach permits the study of some difficult parametric cases (e.g. in the problem of the gap-closing electrostatic actuator with a non-linearity in its stiffness), where the help of a computer algebra system seems to be necessary. | el |
| dc.description.translatedabstract | Η θεωρία αποφάσεων info-gap (ή πληροφοριακού κενού) του Ben-Haim (IGDT) αποτελεί μια πολύ ενδιαφέρουσα και δημοφιλή μέθοδο για τη μελέτη προβλημάτων στην επιστήμη του μηχανικού και σε πολλούς άλλους επιστημονικούς κλάδους υπό συνθήκες σοβαρής αβεβαιότητας. Από την άλλη πλευρά η απαλοιφή ποσοδεικτών αποτελεί μια εξίσου ενδιαφέρουσα μέθοδο υλοποιημένη σε μερικά συστήματα υπολογιστικής άλγεβρας που έχει σαν σκοπό το μετασχηματισμό τύπων με ποσοδείκτες (δηλαδή τύπων που περιλαμβάνουν τον καθολικό και/ή τον υπαρξιακό ποσοδείκτη) σε λογικά ισοδύναμους τύπους αλλά ελεύθερους από αυτούς τους ποσοδείκτες και τις σχετικές μεταβλητές με ποσοδείκτες. Εδώ εφαρμόζουμε τη μέθοδο της απαλοιφής ποσοδεικτών (χρησιμοποιώντας την υλοποίησή της στη Mathematica) στη θεωρία αποφάσεων info-gap και υπολογίζουμε τις σχετικές περιοχές αξιοπιστίας και στη συνέχεια τις σχετικές συναρτήσεις ανθεκτικότητας. Εξετάζεται επίσης εν συντομία ο υπολογισμός των συναρτήσεων επιτευξιμότητας (ή ευκαιρίας). Πιο συγκεκριμένα, τα τέσσερα προβλήματα που μελετώνται εδώ αφορούν: (i) στην επαφή τύπου Hertz δύο ισότροπων ελαστικών σφαιρών, (ii) σε ένα ελατήριο με γραμμική σταθερά αλλά και με μια αβέβαιη κυβική μη γραμμικότητα στη σταθερά του, (iii) στην ισχυρή αξιοπιστία ενός έργου με αβέβαιες διάρκειες δραστηριότητας (εργασιών) και (iv) σε έναν ηλεκτροστατικό ενεργοποιητή κλεισίματος κενού. Σε όλα αυτά τα προβλήματα εδώ κάτω από συνθήκες αβεβαιότητας διαπιστώνεται ότι τα παρόντα αποτελέσματα βρίσκονται σε πλήρη συμφωνία με τα αποτελέσματα που ήδη εξήχθησαν για τα ίδια προβλήματα από τον Ben-Haim και τους συνεργάτες του (που χρησιμοποίησαν κατάλληλες πιο στοιχειώδεις μεθόδους) σε σχέση με τις συναρτήσεις ανθεκτικότητας και/ή επιτευξιμότητας, αλλά εδώ υπολογίζονται επίσης άμεσα και οι περιοχές αξιοπιστίας. Επιπλέον, η παρούσα μέθοδος επιτρέπει τη μελέτη ορισμένων δύσκολων παραμετρικών περιπτώσεων (π.χ. στο πρόβλημα του ηλεκτροστατικού ενεργοποιητή κλεισίματος κενού με μη γραμμικότητα στη σταθερά του), όπου φαίνεται να είναι απαραίτητη η βοήθεια ενός συστήματος υπολογιστικής άλγεβρας. | el |
| dc.identifier.uri | http://hdl.handle.net/10889/14899 | |
| dc.language.iso | en | el |
| dc.publisher | Αυτο-έκδοση | el |
| dc.subject | Severe uncertainty | el |
| dc.subject | Info-gap | el |
| dc.subject | Information-gap | el |
| dc.subject | IGDT | el |
| dc.subject | Decision theory | el |
| dc.subject | Models | el |
| dc.subject | Non-probabilistic methods | el |
| dc.subject | Robust reliability | el |
| dc.subject | Reliability region | el |
| dc.subject | Robustness | el |
| dc.subject | Opportuneness | el |
| dc.subject | Opportunity | el |
| dc.subject | Hertzian contact | el |
| dc.subject | Spring | el |
| dc.subject | Stiffness | el |
| dc.subject | Project | el |
| dc.subject | Activity paths | el |
| dc.subject | Activity durations | el |
| dc.subject | Gap-closing electrostatic actuator | el |
| dc.subject | Quantifier elimination | el |
| dc.subject | Quantifier-free formulae | el |
| dc.subject | Mathematica | el |
| dc.subject.alternative | Σοβαρή αβεβαιότητα | el |
| dc.subject.alternative | Κενό πληροφοριών | el |
| dc.subject.alternative | Πληροφοριακό κενό | el |
| dc.subject.alternative | IGDT | 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 | Επαφή τύπου Hertz | 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 | Mathematica | el |
| dc.title | Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT) | el |
| dc.title.alternative | Εφαρμογή της απαλοιφής ποσοδεικτών στην ισχυρή αξιοπιστία υπό συνθήκες σοβαρής αβεβαιότητας χρησιμοποιώντας τη θεωρία αποφάσεων info-gap (IGDT) | el |
| oaire.citationTitle | Δεν υπάρχει | el |
| oaire.fundingReference.awardTitle | Κανένα | el |
| oaire.fundingReference.funderName | Καμία | el |
| oaire.licenseCondition | null | el |
| oaire.resourceType | http://purl.org/coar/resource_type/c_18gh | el |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | el |