Kahan's ellipse problem, quantifier elimination and computational mechanics

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

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

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



Το πρόβλημα της ελλείψεως του Kahan, απαλοιφή ποσοδεικτών και υπολογιστική μηχανική (EL)
Kahan's ellipse problem, quantifier elimination and computational mechanics (EL)

Ioakimidis, Nikolaos

Ιωακειμίδης, Νικόλαος

Technical Report (EL)

2018-01-26T09:28:48Z
1994-07-15


Kahan's ellipse problem is a classical problem in computer algebra and more explicitly in quantifier elimination. This problem, which is already completely solved, concerns the determination of the conditions among the parameters involved under which an ellipse lies completely inside a circle. Here this ellipse problem is `transferred' to related problems of computational mechanics. The usefulness of quantifier elimination in computational mechanics is discussed and related examples are given. The importance of the method of cylindrical algebraic decomposition in quantifier elimination is clearly mentioned but a heuristic–numerical approach is also mentioned in brief. The conclusions mainly concern the usefulness in computational mechanics of the non-classical, specialized algorithms of computer algebra already implemented in computer algebra systems. (EL)
Το πρόβλημα της ελλείψεως του Kahan είναι ένα κλασικό πρόβλημα στην υπολογιστική άλγεβρα και ειδικότερα στην απαλοιφή ποσοδεικτών. Αυτό το πρόβλημα, που είναι ήδη πλήρως λυμένο, αφορά στον προσδιορισμό των συνθηκών μεταξύ των εμπλεκόμενων παραμέτρων υπό τις οποίες μια έλλειψη κείται πλήρως μέσα σε έναν κύκλο. Εδώ αυτό το πρόβλημα ελλείψεως `μεταφέρεται' σε σχετικά προβλήματα της υπολογιστικής μηχανικής. Συζητείται η χρησιμότητα της απαλοιφής ποσοδεικτών στην υπολογιστική μηχανική και δίνονται σχετικά παραδείγματα. Αναφέρεται σαφώς η σημασία της μεθόδου της κυλινδρικής αλγεβρικής αναλύσεως στην απαλοιφή ποσοδεικτών αλλ' αναφέρεται επίσης σύντομα και μια ευρηματική–αριθμητική μέθοδος. Τα συμπεράσματα αφορούν κυρίως στη χρησιμότητα στην υπολογιστική μηχανική των μη κλασικών, εξειδικευμένων αλγορίθμων της υπολογιστικής άλγεβρας που ήδη περιέχονται σε συστήματα υπολογιστικής άλγεβρας. (EL)


Stresses (EL)
Symbolic computations (EL)
Τάσεις (EL)
Υπολογιστική μηχανική (EL)
Συμβολικοί υπολογισμοί (EL)
Computational mechanics (EL)
Υπολογιστική άλγεβρα (EL)
Kahan's ellipse problem (EL)
Quantifier elimination (EL)
Stress intensity factors (EL)
Plane elasticity (EL)
Συντελεστές εντάσεως τάσεων (EL)
Επίπεδη ελαστικότητα (EL)
Απαλοιφή ποσοδεικτών (EL)
Το πρόβλημα της ελλείψεως του Kahan (EL)
Computer algebra (EL)





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