REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints

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 algeb...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ioakimidis, Nikolaos
Άλλοι συγγραφείς:	Ιωακειμίδης, Νικόλαος
Μορφή:	Technical Report
Γλώσσα:	English
Έκδοση:	2018
Θέματα:	Computer algebra Elasticity Feasibility conditions Heat transfer Inequality constraints Plates Quantifier elimination Symbolic computations Reduce REDLOG Υπολογιστική άλγεβρα Ελαστικότητα Συνθήκες εφικτότητας Μετάδοση θερμότητας Ανισοτικοί περιορισμοί Πλάκες Απαλοιφή ποσοδεικτών Συμβολικοί υπολογισμοί
Διαθέσιμο Online:	http://hdl.handle.net/10889/11096

id	nemertes-10889-11096
record_format	dspace
spelling	nemertes-10889-110962022-09-05T20:48:10Z REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints Εύρεση συνθηκών εφικτότητας με τη βοήθεια του REDLOG σε προβλήματα της εφαρμοσμένης μηχανικής και της επιστήμης του μηχανικού υπό απλούς ανισοτικούς περιορισμούς Ioakimidis, Nikolaos Ιωακειμίδης, Νικόλαος Computer algebra Elasticity Feasibility conditions Heat transfer Inequality constraints Plates Quantifier elimination Symbolic computations Reduce REDLOG Υπολογιστική άλγεβρα Ελαστικότητα Συνθήκες εφικτότητας Μετάδοση θερμότητας Ανισοτικοί περιορισμοί Πλάκες Απαλοιφή ποσοδεικτών Συμβολικοί υπολογισμοί Reduce REDLOG 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. Προβλήματα που περιλαμβάνουν συμβολικούς υπολογισμούς και μεταβλητές με ποσοδείκτες σε παραμετρικούς ανισοτικούς περιορισμούς εμφανίζονται απόλυτα φυσικά και συχνά στην εφαρμοσμένη μηχανική και στην επιστήμη του μηχανικού. Σ' αυτήν την τεχνική αναφορά δείχνουμε τη χρήση του REDLOG, ενός πρόσφατου πακέτου λογικής του πολύ γνωστού συστήματος υπολογιστικής άλγεβρας Reduce, για την επίλυση αρκετών τέτοιων προβλημάτων, δηλαδή για την εύρεση ταυτόχρονα αναγκαίων και ικανών παραμετρικών συνθηκών εφικτότητας (ελεύθερων από τις μεταβλητές με ποσοδείκτες) έτσι ώστε να μπορούν να ικανοποιούνται απόλυτα οι παραμετρικοί ανισοτικοί περιορισμοί μας. Οι παρούσες εφαρμογές αφορούν σε μερικά απλά προβλήματα από τη θεωρία των πλακών, τη μετάδοση θερμότητας, την ελαστικότητα και την αντοχή των υλικών, ενώ ένας εξαιρετικά μεγάλος αριθμός επιπλέον σχετικών προβλημάτων που εμφανίζονται στην πρακτική του μηχανικού μπορεί επίσης να λυθεί με τη βοήθεια του REDLOG. 2018-02-16T08:09:34Z 2018-02-16T08:09:34Z 1998-10-15 Technical Report http://hdl.handle.net/10889/11096 en application/pdf
institution	UPatras
collection	Nemertes
language	English
topic	Computer algebra Elasticity Feasibility conditions Heat transfer Inequality constraints Plates Quantifier elimination Symbolic computations Reduce REDLOG Υπολογιστική άλγεβρα Ελαστικότητα Συνθήκες εφικτότητας Μετάδοση θερμότητας Ανισοτικοί περιορισμοί Πλάκες Απαλοιφή ποσοδεικτών Συμβολικοί υπολογισμοί Reduce REDLOG
spellingShingle	Computer algebra Elasticity Feasibility conditions Heat transfer Inequality constraints Plates Quantifier elimination Symbolic computations Reduce REDLOG Υπολογιστική άλγεβρα Ελαστικότητα Συνθήκες εφικτότητας Μετάδοση θερμότητας Ανισοτικοί περιορισμοί Πλάκες Απαλοιφή ποσοδεικτών Συμβολικοί υπολογισμοί Reduce REDLOG Ioakimidis, Nikolaos REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
description	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.
author2	Ιωακειμίδης, Νικόλαος
author_facet	Ιωακειμίδης, Νικόλαος Ioakimidis, Nikolaos
format	Technical Report
author	Ioakimidis, Nikolaos
author_sort	Ioakimidis, Nikolaos
title	REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
title_short	REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
title_full	REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
title_fullStr	REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
title_full_unstemmed	REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
title_sort	redlog-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints
publishDate	2018
url	http://hdl.handle.net/10889/11096
work_keys_str_mv	AT ioakimidisnikolaos redlogaidedderivationoffeasibilityconditionsinappliedmechanicsandengineeringproblemsundersimpleinequalityconstraints AT ioakimidisnikolaos euresēsynthēkōnephiktotētasmetēboētheiatouredlogseproblēmatatēsepharmosmenēsmēchanikēskaitēsepistēmēstoumēchanikouypoaplousanisotikousperiorismous
_version_	1771297320394031104

REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints

Παρόμοια τεκμήρια