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

Διαστήματα για τις συνισταμένες δυνάμεων διαστήματος με τύπους με τον υπαρξιακό και/ή τον καθολικό ποσοδείκτη με τη βοήθεια της μεθόδου της απαλοιφής ποσοδεικτών

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

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

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



Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination (EL)
Διαστήματα για τις συνισταμένες δυνάμεων διαστήματος με τύπους με τον υπαρξιακό και/ή τον καθολικό ποσοδείκτη με τη βοήθεια της μεθόδου της απαλοιφής ποσοδεικτών (EL)
Ioakimidis, Nikolaos
Ιωακειμίδης, Νικόλαος
Technical Report (EL)
2019-12-27
2020-02-07T00:14:05Z
The problem of the computation of the interval of the resultant of collinear uncertain forces represented by intervals without overestimation has been recently studied in two papers (i) by Elishakoff, Gabriele and Wang (2016) and (ii) by Popova (2017). In the first paper, a modification of classical interval arithmetic is proposed whereas the methodology proposed in the second paper is based on the algebraic extension of classical interval arithmetic. Here the general case of the computation of the interval of this resultant is studied in detail on the basis of the use of quantified formulae including the existential and/or the universal quantifiers with respect to the interval forces. Many quantified formulae are possible in a resultant problem and the method of quantifier elimination in its implementation in the computer algebra system Mathematica is used for the derivation of the related quantifier-free formulae. After the illustration of the present approach in the elementary subtraction problem, which is well known for the overestimation phenomenon, the same approach is illustrated in problems (originally studied in the above papers) concerning the resultants of two, three and four collinear forces with different directions as well as in the problem of three collinear forces acting on a box. Symbolic intervals with parameters one or two of the forces are also computed. The case of the resultant of many collinear interval forces is also successfully studied. The conclusion drawn is that several overestimation-free, exact intervals can be computed for the resultant of interval forces (frequently including a degenerate interval: sharp resultant) and the derived interval (if it exists) strongly depends on the quantifiers used for the interval forces. (EL)
Το πρόβλημα του υπολογισμού του διαστήματος της συνισταμένης συγγραμικών αβέβαιων δυνάμεων που παριστάνονται με διαστήματα χωρίς υπερεκτίμηση μελετήθηκε πρόσφατα σε δύο άρθρα (i) από τους Elishakoff, Gabriele και Wang (2016) και (ii) από την Popova (2017). Στο πρώτο άρθρο προτείνεται μια τροποποίηση της κλασικής αριθμητικής διαστημάτων, ενώ η μεθοδολογία που προτείνεται στο δεύτερο άρθρο βασίζεται στην αλγεβρική επέκταση της κλασικής αριθμητικής διαστημάτων. Εδώ μελετάται λεπτομερώς η γενική περίπτωση του υπολογισμού του διαστήματος αυτής της συνισταμένης με βάση τη χρήση τύπων με ποσοδείκτες που περιλαμβάνουν τον υπαρξιακό και/ή τον καθολικό ποσοδείκτη σε σχέση με τις δυνάμεις διαστήματος. Είναι δυνατοί πολλοί τύποι με ποσοδείκτες σε ένα πρόβλημα συνισταμένης και για την εύρεση των σχετικών τύπων χωρίς ποσοδείκτες χρησιμοποιείται η μέθοδος της απαλοιφής ποσοδεικτών στην υλοποίησή της στο σύστημα υπολογιστικής άλγεβρας Mathematica. Μετά την επίδειξη της παρούσας μεθόδου στο στοιχειώδες πρόβλημα της αφαίρεσης, που είναι πολύ γνωστό για το φαινόμενο της υπερεκτίμησης, η ίδια μέθοδος επιδεικνύεται σε προβλήματα (που αρχικά μελετήθηκαν στα πιο πάνω άρθρα) που αφορούν στις συνισταμένες δύο, τριών και τεσσάρων συγγραμμικών δυνάμεων με διαφορετικές διευθύνσεις όπως επίσης και στο πρόβλημα τριών συγγραμμικών δυνάμεων που ενεργούν πάνω σε ένα κιβώτιο. Υπολογίζονται επίσης συμβολικά διαστήματα με παραμέτρους μία ή δύο από τις δυνάμεις. Μελετάται επίσης επιτυχώς η περίπτωση της συνισταμένης πολλών συγγραμμικών δυνάμεων διαστήματος. Το συμπέρασμα που συνάγεται είναι ότι μπορούν να υπολογισθούν αρκετά χωρίς υπερεκτίμηση, ακριβή διαστήματα για τη συνισταμένη δυνάμεων διαστήματος (που συχνά περιλαμβάνουν ένα τετριμμένο διάστημα: καθορισμένη συνισταμένη) και το διάστημα που προκύπτει (εάν υπάρχει) εξαρτάται έντονα από τους ποσοδείκτες που χρησιμοποιήθηκαν για τις δυνάμεις διαστήματος. (EL)
Intervals (EL)
Uncertainty (EL)
Αβέβαιες δυνάμεις (EL)
Overestimation-free intervals (EL)
Τύποι με ποσοδείκτες (EL)
Διαστήματα χωρίς υπερεκτίμηση (EL)
Interval variables (EL)
Universal quantifier (EL)
Αβεβαιότητα (EL)
Interval arithmetic (EL)
Quantified formulae (EL)
Διαστήματα (EL)
Αφαίρεση (EL)
Υπαρξιακός ποσοδείκτης (EL)
Interval analysis (EL)
Quantifier-free formulae (EL)
Ποσοδείκτες (EL)
Quantified/free variables (EL)
Existential quantifier (EL)
Mathematica (EL)
Interval forces (EL)
Απαλοιφή ποσοδεικτών (EL)
Uncertain variables (EL)
Control problem (EL)
Καθολικός ποσοδείκτης (EL)
Πρόβλημα ανοχής (EL)
Symbolic computations (EL)
Μεταβλητές διαστήματος (EL)
Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές (EL)
Αβέβαιες μεταβλητές (EL)
Συμβολικοί υπολογισμοί (EL)
Uncertain forces (EL)
Τύποι χωρίς ποσοδείκτες (EL)
Δυνάμεις διαστήματος (EL)
Συνισταμένη (EL)
Ανάλυση διαστημάτων (EL)
Συγγραμμικές δυνάμεις (EL)
Quantifier elimination (EL)
Subtraction (EL)
Πρόβλημα ελέγχου (EL)
Resultant (EL)
Αριθμητική διαστημάτων (EL)
Quantifiers (EL)
Collinear forces (EL)
Tolerance problem (EL)
Πανεπιστήμιο Πατρών
Νημερτής
Γενικό Τμήμα (Τεχνικές Αναφορές)
3. Tεχνικές Αναφορές | Technical Reports



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