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

Στοιχειώδεις τύποι χωρίς ποσοδείκτες στα συνοριακά στοιχεία

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

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

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



Elementary quantifier-free formulae in boundary elements (EL)
Στοιχειώδεις τύποι χωρίς ποσοδείκτες στα συνοριακά στοιχεία (EL)
Ioakimidis, Nikolaos
Ιωακειμίδης, Νικόλαος
Technical Report (EL)
2018-02-13T11:20:31Z
1994-12-22
The use of elementary algebraic quantifier elimination techniques is suggested during the numerical solution of elasticity problems by boundary element methods in problems where the derived solutions need to be verified as far as the related physical constraints (in inequality forms) are concerned. The cases of crack problems, where the crack opening displacement must be non-negative, and of contact problems, where the pressure distribution between the bodies in contact must also be non-negative, constitute two such classical elementary examples where the derived ordinary numerical solutions need to be verified with respect to the aforementioned elementary constraints or simply rejected. As a simple such application, elementary quantifier-free formulae are derived (by using Sturm's theorem) for simple univariate polynomials of the first and of the second degree which should remain positive along a finite interval. These formulae are directly applicable to the aforementioned two elasticity problems. (EL)
Προτείνεται η χρήση στοιχειωδών αλγεβρικών τεχνικών απαλοιφής ποσοδεικτών κατά την αριθμητική επίλυση προβλημάτων ελαστικότητας με μεθόδους συνοριακών στοιχείων σε προβλήματα όπου οι λύσεις που προκύπτουν χρειάζεται να επαληθεύονται όσον αφορά στους σχετικούς φυσικούς περιορισμούς (σε μορφές ανισοτήτων). Οι περιπτώσεις προβλημάτων ρωγμών, όπου η μετατόπιση ανοίγματος των χειλέων της ρωγμής πρέπει να είναι μη αρνητική, και προβλημάτων επαφής, όπου η κατανομή της πιέσεως μεταξύ των σωμάτων σε επαφή πρέπει επίσης να είναι μη αρνητική, αποτελούν δύο τέτοια κλασικά στοιχειώδη παραδείγματα όπου οι συνήθεις αριθμητικές λύσεις που προκύπτουν χρειάζεται να επαληθεύονται ως προς τους στοιχειώδεις περιορισμούς που προαναφέρθηκαν ή απλά να απορρίπτονται. Σαν μια τέτοια απλή εφαρμογή βρίσκονται στοιχειώδεις τύποι χωρίς ποσοδείκτες (χρησιμοποιώντας το θεώρημα του Sturm) για απλά πολυώνυμα μιας μεταβλητής πρώτου και δευτέρου βαθμού που πρέπει να παραμένουν θετικά κατά μήκος ενός πεπερασμένου διαστήματος. Αυτοί οι τύποι είναι άμεσα εφαρμόσιμοι στα δύο προβλήματα ελαστικότητας που προαναφέρθηκαν. (EL)
Ανισοτικοί περιορισμοί (EL)
Θεώρημα του Sturm (EL)
Συνοριακά στοιχεία (EL)
Ελαστικότητα (EL)
Elasticity (EL)
Προβλήματα ρωγμών (EL)
Contact problems (EL)
Μέθοδος συνοριακών στοιχείων (EL)
Τύποι χωρίς ποσοδείκτες (EL)
BEM (EL)
Crack problems (EL)
Sturm sequences (EL)
Inequality constraints (EL)
Προβλήματα επαφής (EL)
Quantifier elimination (EL)
Quantifier-free formulae (EL)
Ακολουθίες Sturm (EL)
ΜΣΣ (EL)
Boundary elements (EL)
Sturm's theorem (EL)
Απαλοιφή ποσοδεικτών (EL)
Boundary element method (EL)
Maple (EL)
Πανεπιστήμιο Πατρών
Νημερτής
Γενικό Τμήμα (Τεχνικές Αναφορές)
3. Tεχνικές Αναφορές | Technical Reports



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