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

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

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

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

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



Determination of intervals in systems of parametric interval linear equilibrium equations in applied mechanics with the method of quantifier elimination (EL)
Προσδιορισμός διαστημάτων σε συστήματα παραμετρικών γραμμικών εξισώσεων ισορροπίας με διαστήματα στην εφαρμοσμένη μηχανική με τη μέθοδο της απαλοιφής ποσοδεικτών (EL)
Ioakimidis, Nikolaos
Ιωακειμίδης, Νικόλαος
Technical Report (EL)
2020-02-16
2020-03-09T11:29:36Z
Η μέθοδος της απαλοιφής ποσοδεικτών είναι ένα ενδιαφέρον υπολογιστικό εργαλείο στην υπολογιστική άλγεβρα με πολλές πρακτικές εφαρμογές που περιλαμβάνουν προβλήματα της εφαρμοσμένης μηχανικής. Πρόσφατα, η μέθοδος αυτή χρησιμοποιήθηκε σε προβλήματα της εφαρμοσμένης μηχανικής με αβέβαιες παραμέτρους μεταβαλλόμενες σε γνωστά διαστήματα (παραμέτρους διαστήματος), που περιλαμβάνουν συστήματα παραμετρικών γραμμικών εξισώσεων ισορροπίας με διαστήματα, ευθέα και αντίστροφα προβλήματα και τον υπολογισμό συνισταμένων δυνάμεων διαστήματος. Εδώ εξετάζεται παραπέρα η περίπτωση συστημάτων παραμετρικών γραμμικών εξισώσεων ισορροπίας με διαστήματα χρησιμοποιώντας σχετικούς τύπους με ποσοδείκτες που περιλαμβάνουν όχι μόνο τον υπαρξιακό ποσοδείκτη (όπως είναι η περίπτωση με το ενιαίο σύνολο λύσεων ενός τέτοιου συστήματος), αλλ' επίσης τόσο τον καθολικό όσο και τον υπαρξιακό ποσοδείκτη στον τύπο με ποσοδείκτες (μια πιο γενική περίπτωση) σε σχέση με τις παραμέτρους του προβλήματος, που περιλαμβάνουν τα εξωτερικά φορτία που εφαρμόζονται στο μηχανικό σύστημα. Μελετώνται λεπτομερώς δύο προβλήματα της εφαρμοσμένης μηχανικής που σχετίζονται με συστήματα παραμετρικών γραμμικών εξισώσεων ισορροπίας με διαστήματα: (i) το πρόβλημα ενός δικτυώματος με απλή στήριξη με δύο εξωτερικά φορτία, που μελετήθηκε πρόσφατα υπό συνθήκες αβεβαιότητας (με διαστήματα) από την E. D. Popova και (ii) το πρόβλημα μιας πακτωμένης ράβδου με διάκενο καταπονούμενης από ένα συγκεντρωμένο φορτίο, που μελετήθηκε πρόσφατα πάλι υπό συνθήκες αβεβαιότητας (με διαστήματα) από την E. D. Popova και τον I. Elishakoff. Εδώ και στα δύο αυτά προβλήματα χρησιμοποιώντας τη μέθοδο της απαλοιφής ποσοδεικτών υπολογίζονται τόσο (i) πλήρη σύνολα λύσεων για τις άγνωστες ποσότητες (εδώ κυρίως αντιδράσεις) όσο και (ii) χωριστά διαστήματα για κάθε άγνωστη ποσότητα με βάση σχετικούς τύπους με ποσοδείκτες. Τα παρόντα αποτελέσματα συγκρίνονται με τα αποτελέσματα που βρέθηκαν από την E. D. Popova και τον I. Elishakoff με βάση τόσο το κλασικό μοντέλο διαστημάτων όσο και το νέο αλγεβρικό μοντέλο διαστημάτων με το τελευταίο να έχει προταθεί πρόσφατα από την E. D. Popova. (EL)
The method of quantifier elimination is an interesting computational tool in computer algebra with many practical applications including problems of applied mechanics. Recently, this method was used in applied mechanics problems with uncertain parameters varying in known intervals (interval parameters) including systems of parametric interval linear equilibrium equations, direct and inverse problems and the computation of resultants of interval forces. Here the case of systems of parametric interval linear equilibrium equations is further considered by using related quantified formulae including not only the existential quantifier (as is the case with the united solution set of such a system), but also both the universal and the existential quantifiers in the quantified formula (a more general case) with respect to the parameters of the problem including the external loads applied to the mechanical system. Two problems of applied mechanics related to systems of parametric interval linear equilibrium equations are studied in detail: (i) the problem of a simply-supported truss with two external loads recently studied under uncertainty (interval) conditions by E. D. Popova and (ii) the problem of a clamped bar with a gap subjected to a concentrated load recently studied again under uncertainty (interval) conditions by E. D. Popova and I. Elishakoff. Here, in both these problems, by using the method of quantifier elimination both (i) complete solution sets for the unknown quantities (here mainly reactions) and (ii) separate intervals for each unknown quantity are computed on the basis of related quantified formulae. The present results are compared to the results obtained by E. D. Popova and I. Elishakoff on the basis of both the classical interval model and the new algebraic interval model, the latter recently proposed by E. D. Popova. (EL)
Intervals (EL)
Uncertainty (EL)
Φορτία (EL)
Ράβδοι (EL)
Reactions (EL)
Τύποι με ποσοδείκτες (EL)
Interval variables (EL)
Universal quantifier (EL)
Αβεβαιότητα (EL)
Interval arithmetic (EL)
Loads (EL)
Quantified formulae (EL)
Διαστήματα (EL)
Συστήματα γραμμικών εξισώσεων (EL)
Δικτυώματα (EL)
Αντιδράσεις (EL)
Υπαρξιακός ποσοδείκτης (EL)
Interval analysis (EL)
Quantifier-free formulae (EL)
Systems of linear equations (EL)
Parametric interval systems (EL)
Ποσοδείκτες (EL)
Solution sets (EL)
Quantified/free variables (EL)
Existential quantifier (EL)
Mathematica (EL)
Απαλοιφή ποσοδεικτών (EL)
Uncertain variables (EL)
Trusses (EL)
Καθολικός ποσοδείκτης (EL)
Παραμετρικά συστήματα με διαστήματα (EL)
Symbolic computations (EL)
Μεταβλητές διαστήματος (EL)
Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές (EL)
Συστήματα υπολογιστικής άλγεβρας (EL)
Αβέβαιες μεταβλητές (EL)
Συμβολικοί υπολογισμοί (EL)
Εξισώσεις ισορροπίας (EL)
Equilibrium equations (EL)
Τύποι χωρίς ποσοδείκτες (EL)
Ανάλυση διαστημάτων (EL)
Computer algebra systems (EL)
Quantifier elimination (EL)
Αριθμητική διαστημάτων (EL)
Σύνολα λύσεων (EL)
Quantifiers (EL)
Bars (EL)
University of Patras
Nemertes
Γενικό Τμήμα (Τεχνικές Αναφορές)
3. Tεχνικές Αναφορές | Technical Reports



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