REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
| dc.contributor.author | Ioakimidis, Nikolaos | |
| dc.contributor.other | Ιωακειμίδης, Νικόλαος | |
| dc.date.accessioned | 2018-02-16T08:09:34Z | |
| dc.date.available | 2018-02-16T08:09:34Z | |
| dc.date.copyright | 1998-10-15 | |
| dc.description.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. | el |
| dc.description.translatedabstract | Προβλήματα που περιλαμβάνουν συμβολικούς υπολογισμούς και μεταβλητές με ποσοδείκτες σε παραμετρικούς ανισοτικούς περιορισμούς εμφανίζονται απόλυτα φυσικά και συχνά στην εφαρμοσμένη μηχανική και στην επιστήμη του μηχανικού. Σ' αυτήν την τεχνική αναφορά δείχνουμε τη χρήση του REDLOG, ενός πρόσφατου πακέτου λογικής του πολύ γνωστού συστήματος υπολογιστικής άλγεβρας Reduce, για την επίλυση αρκετών τέτοιων προβλημάτων, δηλαδή για την εύρεση ταυτόχρονα αναγκαίων και ικανών παραμετρικών συνθηκών εφικτότητας (ελεύθερων από τις μεταβλητές με ποσοδείκτες) έτσι ώστε να μπορούν να ικανοποιούνται απόλυτα οι παραμετρικοί ανισοτικοί περιορισμοί μας. Οι παρούσες εφαρμογές αφορούν σε μερικά απλά προβλήματα από τη θεωρία των πλακών, τη μετάδοση θερμότητας, την ελαστικότητα και την αντοχή των υλικών, ενώ ένας εξαιρετικά μεγάλος αριθμός επιπλέον σχετικών προβλημάτων που εμφανίζονται στην πρακτική του μηχανικού μπορεί επίσης να λυθεί με τη βοήθεια του REDLOG. | el |
| dc.identifier.uri | http://hdl.handle.net/10889/11096 | |
| dc.language.iso | en | el |
| dc.subject | Computer algebra | el |
| dc.subject | Elasticity | el |
| dc.subject | Feasibility conditions | el |
| dc.subject | Heat transfer | el |
| dc.subject | Inequality constraints | el |
| dc.subject | Plates | el |
| dc.subject | Quantifier elimination | el |
| dc.subject | Symbolic computations | el |
| dc.subject | Reduce | el |
| dc.subject | REDLOG | el |
| dc.subject.alternative | Υπολογιστική άλγεβρα | el |
| dc.subject.alternative | Ελαστικότητα | el |
| dc.subject.alternative | Συνθήκες εφικτότητας | el |
| dc.subject.alternative | Μετάδοση θερμότητας | el |
| dc.subject.alternative | Ανισοτικοί περιορισμοί | el |
| dc.subject.alternative | Πλάκες | el |
| dc.subject.alternative | Απαλοιφή ποσοδεικτών | el |
| dc.subject.alternative | Συμβολικοί υπολογισμοί | el |
| dc.subject.alternative | Reduce | el |
| dc.subject.alternative | REDLOG | el |
| dc.title | REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints | el |
| dc.title.alternative | Εύρεση συνθηκών εφικτότητας με τη βοήθεια του REDLOG σε προβλήματα της εφαρμοσμένης μηχανικής και της επιστήμης του μηχανικού υπό απλούς ανισοτικούς περιορισμούς | el |
| dc.type | Technical Report | el |