Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/11096
Title: REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
Other Titles: Εύρεση συνθηκών εφικτότητας με τη βοήθεια του REDLOG σε προβλήματα της εφαρμοσμένης μηχανικής και της επιστήμης του μηχανικού υπό απλούς ανισοτικούς περιορισμούς
Authors: Ioakimidis, Nikolaos
Keywords: Computer algebra
Elasticity
Feasibility conditions
Heat transfer
Inequality constraints
Plates
Quantifier elimination
Symbolic computations
Reduce
REDLOG
Keywords (translated): Υπολογιστική άλγεβρα
Ελαστικότητα
Συνθήκες εφικτότητας
Μετάδοση θερμότητας
Ανισοτικοί περιορισμοί
Πλάκες
Απαλοιφή ποσοδεικτών
Συμβολικοί υπολογισμοί
Reduce
REDLOG
Abstract: Problems involving symbolic computations and quantified variables in parametric inequality constraints appear quite naturally and frequently in applied mechanics and engineering. In this technical report, we illustrate the use of REDLOG, a recent logic package of the well-known Reduce computer algebra system, for the solution of several such problems, i.e. for the derivation of simultaneously necessary and sufficient parametric feasibility conditions (free from the quantified variables) so that our parametric inequality constraints can be completely satisfied. The present applications concern some simple problems from the theory of plates, heat transfer, elasticity and strength of materials, whereas an extremely large number of additional related problems appearing in engineering practice can also be solved with the help of REDLOG.
Abstract (translated): Προβλήματα που περιλαμβάνουν συμβολικούς υπολογισμούς και μεταβλητές με ποσοδείκτες σε παραμετρικούς ανισοτικούς περιορισμούς εμφανίζονται απόλυτα φυσικά και συχνά στην εφαρμοσμένη μηχανική και στην επιστήμη του μηχανικού. Σ' αυτήν την τεχνική αναφορά δείχνουμε τη χρήση του REDLOG, ενός πρόσφατου πακέτου λογικής του πολύ γνωστού συστήματος υπολογιστικής άλγεβρας Reduce, για την επίλυση αρκετών τέτοιων προβλημάτων, δηλαδή για την εύρεση ταυτόχρονα αναγκαίων και ικανών παραμετρικών συνθηκών εφικτότητας (ελεύθερων από τις μεταβλητές με ποσοδείκτες) έτσι ώστε να μπορούν να ικανοποιούνται απόλυτα οι παραμετρικοί ανισοτικοί περιορισμοί μας. Οι παρούσες εφαρμογές αφορούν σε μερικά απλά προβλήματα από τη θεωρία των πλακών, τη μετάδοση θερμότητας, την ελαστικότητα και την αντοχή των υλικών, ενώ ένας εξαιρετικά μεγάλος αριθμός επιπλέον σχετικών προβλημάτων που εμφανίζονται στην πρακτική του μηχανικού μπορεί επίσης να λυθεί με τη βοήθεια του REDLOG.
Appears in Collections:Γενικό Τμήμα (Τεχνικές Αναφορές)

Files in This Item:
File Description SizeFormat 
TR-1998-O3.pdf189.9 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons