ΤΕΧΝΟΛΟΓΙΕΣ ΚΑΙ ΤΗΝ ΟΙΚΟΝΟΜΙΑ

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "ΤΕΧΝΟΛΟΓΙΕΣ ΚΑΙ ΤΗΝ ΟΙΚΟΝΟΜΙΑ"

Transcript

1 ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥ ΩΝ ΜΑΘΗΜΑΤΙΚΗ ΠΡΟΤΥΠΟΠΟΙΗΣΗ ΣΤΙΣ ΣΥΓΧΡΟΝΕΣ ΤΕΧΝΟΛΟΓΙΕΣ ΚΑΙ ΤΗΝ ΟΙΚΟΝΟΜΙΑ Επαναληπτικός Τετραγωνικός Προγραµµατισµός ΜΕΤΑΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ Ιωάννης Μ. Κατηνιώτης Επιβλέπων : Χρυσαφινός Κωνσταντίνος Επίκουρος Καθηγητής Ε.Μ.Π. Αθήνα, Οκτώβριος 0

2 Στην οικογένειά µου.

3

4 ΠΕΡΙΛΗΨΗ Ο στόχος της εργασίας αυτής είναι η µελέτη επίλυσης µη γραµµικών προβληµάτων βελτιστοποίησης µε περιορισµούς µε τη µέθοδο του επαναληπτικού τετραγωνικού προγραµµατισµού (SQP) η οποία έχει αποδειχθεί ιδιαίτερα αποτελεσµατική στην πράξη. Όπως µε τις περισσότερες µεθόδους βελτιστοποίησης, η µέθοδος SQP δεν είναι ένας απλός αλγόριθµος αλλά µία θεµελιώδης µέθοδος από την οποία έχουν αναπτυχθεί πολυάριθµοι ειδικοί αλγόριθµοι. Η βασική ιδέα της µεθόδου SQP είναι να µοντελοποιήσει το µη γραµµικό πρόβληµα βελτιστοποίησης σε µια δεδοµένη προσεγγιστική λύση µέσω ενός υποπροβλήµατος τετραγωνικού προγραµµατισµού και εν συνεχεία να χρησιµοποιήσει τη λύση αυτού του υποπροβλήµατος για να κατασκευάσει µια καλύτερη προσέγγιση. Η διαδικασία αυτή επαναλαµβάνεται για τη δηµιουργία µιας ακολουθίας προσεγγιστικών λύσεων που θα συγκλίνει σε µια λύση του µη γραµµικού προβλήµατος. Το κλειδί για την κατανόηση της λειτουργίας και της θεωρίας της µεθόδου SQP είναι το γεγονός ότι µε µια κατάλληλη επιλογή του τετραγωνικού υποπροβλήµατος η µέθοδος µπορεί να θεωρηθεί ως επέκταση της µεθόδου Newton στις συνθήκες arush-kuhn-ucer για το µη γραµµικό πρόβληµα µε περιορισµούς. Στο κεφάλαιο ένα µελετώνται δύο θεµελιώδεις στρατηγικές βελτιστοποίησης προβληµάτων χωρίς περιορισµούς για τη µετακίνηση από τη µια επανάληψη στην επόµενη, οι µέθοδοι αναζήτησης γραµµής και οι µέθοδοι περιοχής εµπιστοσύνης. Στη µέθοδο αναζήτησης γραµµής ο αλγόριθµος επιλέγει µια κατεύθυνση έρευνας σε κάθε επανάληψη και εν συνεχεία αποφασίζει πόσο µακριά θα µετακινηθεί κατά µήκος αυτής της κατεύθυνσης από την τρέχουσα επανάληψη σε ένα νέο σηµείο µε χαµηλότερη τιµή της συνάρτησης. Παρουσιάζονται διάφορες συνθήκες τερµατισµού για αυτές τις µεθόδους οι οποίες εξασφαλίζουν ότι ο αλγόριθµος σηµειώνει ικανοποιητική πρόοδο και περιγράφεται ένας αλγόριθµος αναζήτησης γραµµής. Αποδεικνύεται ότι η γενική σύγκλιση αυτών των µεθόδων ικανοποιείται όταν τόσο το µήκος βήµατος όσο και η κατεύθυνση έρευνας επιλεχθούν κατάλληλα. Οι µέθοδοι περιοχής εµπιστοσύνης απ την άλλη µεριά χρησιµοποιούν ένα τετραγωνικό µοντέλο της συνάρτησης κόστους και ορίζουν µια περιοχή γύρω από τη τρέχουσα επανάληψη µέσα στην οποία η συµπεριφορά του µοντέλου είναι παρόµοια µε αυτή της συνάρτησης κόστους. εδοµένου ότι το µέγεθος της περιοχής εµπιστοσύνης είναι κρίσιµο για την αποτελεσµατικότητα κάθε βήµατος, δίνουµε έναν αλγόριθµο ο οποίος περιγράφει τη διαδικασία επιλογής της περιοχής αυτής. Στo υπόλοιπο µέρος αυτού του κεφαλαίου περιγράφουµε µεθόδους εύρεσης προσεγγιστικών λύσεων του τετραγωνικού µοντέλου οι οποίες δίνουν ικανοποιητική µείωση της συνάρτησης κόστους, καθώς επίσης και µια επαναληπτική στρατηγική για την εύρεση µιας καλύτερης προσέγγισης στη λύση του υποπροβλήµατος περιοχής εµπιστοσύνης. Στο κεφάλαιο δύο παρουσιάζουµε τις απαραίτητες θεωρητικές έννοιες αναφορικά µε τις συνθήκες βελτίστου προκειµένου να πλήρως κατανοητή η µέθοδος SQP. Συγκεκριµένα εξηγείται ο τρόπος µε τον

5 οποίο εισάγονται οι αποκαλούµενοι πολλαπλασιαστές Lagrange και παρουσιάζονται οι συνθήκες βελτίστου πρώτης και δεύτερης τάξης. Στο κεφάλαιο τρία συζητάµε τις µεθόδους Quas-Newton για προβλήµατα βελτιστοποίησης χωρίς περιορισµούς. Στις µεθόδους αυτές η µήτρα Hessan της συνάρτησης κόστους, η αποτίµηση της οποίας είναι δύσκολη σε πρακτικά προβλήµατα, προσεγγίζεται µε µια συµµετρικά και θετικά ορισµένη µήτρα. Εξετάζουµε τρεις τύπους ενηµέρωσης, την ανανέωση BFGS, την SR και την DFP και περιγράφουµε τις θεωρητικές τους ιδιότητες και την πρακτική εφαρµογή τους. Στο κεφάλαιο τέσσερα µελετάµε τη µέθοδο SQP για µη γραµµικά προβλήµατα βελτιστοποίησης. Αρχικά παρουσιάζουµε τον αλγόριθµο SQP στην πιο απλή του µορφή και περιγράφουµε µεθοδολογίες υπολογισµού του βήµατος για την περίπτωση προβληµάτων µε ισωτικούς και προβληµάτων µε ανισωτικούς περιορισµούς. Οι δυσκολίες που σχετίζονται µε τη µήτρα Hessan της Λανγκρανζιανής συνάρτησης µπορούν να ξεπεραστούν µε την εφαρµογή των τύπων ανανέωσης BFGS και SR στα προβλήµατα βελτιστοποίησης χωρίς περιορισµούς. Ακολουθεί µια συνοπτική επισκόπηση των συναρτήσεων αξίας (mert functons) που χρησιµοποιούνται στις µεθόδους SQP ως µια διαδικασία για να αποφασίσουµε εάν ένα δοκιµαστικό βήµα πρέπει να γίνει αποδεκτό. Συγκεκριµένα παρουσιάζονται η συνάρτηση ποινής l και η συνάρτηση ποινής του Fletcher καθώς επίσης και διαφορετικοί κανόνες ανανέωσης της παραµέτρου ποινής ώστε τα υπολογισµένα βήµατα να αποτελούν κατευθύνσεις καθόδου για τη συνάρτηση αξίας. Το κεφάλαιο συνεχίζει µε την περιγραφή ενός αλγορίθµου SQP µε αναζήτηση γραµµής και µιας στρατηγικής διαχείρησης ασύµβατων γραµµικοποιήσεων που οδηγούν σε µη επιλύσιµο υποπρόβληµα. Σύµφωνα µε όλα τα ανωτέρω παρουσιάζουµε δύο πρακτικούς αλγορίθµους SQP, για την περίπτωση προσέγγισης της πλήρους µήτρας Hessan αλλά και την περίπτωση προσέγγισης της απλοποιηµένης µήτρας Hessan. Περιγράφουµε επίσης τις συνθήκες που διασφαλίζουν τοπική και υπεργραµµική σύγκλιση των µεθόδων SQP οι οποίες χρησιµοποιούν την ακριβή µήτρα Hessan του προβλήµατος αλλά και µια προσέγγιση Quas-Newton αυτής. Η συζήτηση περιορίζεται σε ένα πρόβληµα ισωτικών περιορισµών αλλά τα αποτελέσµατα που προκύπτουν µπορούν να εφαρµοστούν και σε αλγορίθµους προβληµάτων ανισωτικών περιορισµών. Απ την άλλη µεριά στις µεθόδους SQP µε τη µέθοδο της περιοχής εµπιστοσύνη, το τετραγωνικό υποπρόβληµα µπορεί να µην έχει πάντα λύση λόγω του επιπρόσθετου περιορισµού της περιοχής εµπιστοσύνης. Η ασυµβατότητα αυτή µεταξύ των περιορισµών επιλύεται στη περίπτωση ενός προβλήµατος ισωτικών περιορισµών χρησιµοποιώντας µια διαδικασία επαναδιατύπωσης του υποπρόβληµατος. Τέλος, περιγράφεται το ανεπιθύµητο φαινόµενο του να µην επιτρέπεται να ληφθούν πλήρη βήµατα κοντά στη λύση, γνωστό ως το φαινόµενο του Μαράτου, καθώς επίσης και δύο στρατηγικές για να ξεπεραστούν οι δυσκολίες που συνδέονται µε αυτό. Για κάθε µια από τις στρατηγικές αυτές δίνεται και ένα τοπικό αποτέλεσµα σύγκλισης.

6 ABSRAC he am of ths thess s to study the soluton of constraned nonlnear optmzaton problems usng Sequental Quadratc Programmng (SQP) method whch has proved hghly effectve n practce. As wth most optmzaton methods, SQP s not a sngle algorthm but rather a conceptual method from whch numerous specfc algorthms have evolved. he basc dea of SQP method s to model the nonlnear optmzaton problem at a gven approxmate soluton by a quadratc programmng subproblem and then to use the soluton of ths subproblem to construct a better approxmaton. hs process s repeated to create a sequence of approxmate solutons that wll converge to a soluton of the nonlnear problem. he ey to understandng the performance and theory of SQP method s the fact that wth an approprate choce of quadratc subproblem the method can be vewed as the extenson of Newton method to the Karush-Kuhn-ucer condtons for the nonlnear constraned problem. In chapter one two fundamental strateges of unconstraned optmzaton for movng from the current terate to a new terate, the lne search and the trust-regon methods are studed. In the lne search method the algorthm chooses a search drecton at each teraton and then decdes how far to move along that drecton from the current terate to a new pont wth a lower functon value. Varous termnaton condtons for these methods ensurng that the algorthm maes reasonable progress are presented and a lne search algorthm s descrbed. It s proved that global convergence of these methods s satsfed when both the step length and the search drecton are chosen approprately. rust-regon methods on the other hand use a quadratc model of the objectve functon and defne a regon around the current terate wthn whch the behavor of the model s smlar to that of the objectve functon. Snce the sze of the trust regon s crtcal to the effectveness of each step, we gve an algorthm descrbng the process of choosng ths regon. In the remanng part of ths chapter we descrbe methods for fndng approxmate solutons of the quadratc model gvng suffcent reducton of the objectve functon, as well as an teratve strategy for fndng a better approxmaton to the soluton of the trust regon subproblem. In chapter two we present the necessary theoretcal concepts n regard to optmalty condtons n order to fully understand the SQP method. In partcular the way n whch the so-called Lagrange multplers are ntroduced s explaned and the frst and second order optmalty condtons are presented. In chapter three we dscuss the Quas-Newton methods for unconstraned optmzaton problems. In these methods the Hessan matrx of the objectve functon, the evaluaton of whch s dffcult n practcal problems, s approxmated by a symmetrc postve defnte matrx. We nvestgate three types of updatng formulae, the BFGS, the SR and the DFP update and descrbe ts theoretcal propertes and practcal mplementaton.

7 In chapter four we study the SQP method for nonlnear optmzaton. Intally we state the SQP algorthm n ts smplest form and descrbe some step computaton methods for both, equalty and nequalty constraned problems. he dffcultes assocated wth the Hessan matrx of the Langrangan functon can be overcome by employng the BFGS and the SR update formulae for unconstraned optmzaton problems. Follows a bref overvew of the mert functons used n SQP methods, as an approach to decde whether a tral step should be accepted. Specfcally l and Fletcher s penalty functon are presented as well as dfferent update rules for the penalty parameter so that the computed steps to be descent drectons for the mert functon. he chapter proceeds wth the descrpton of a Lne Search SQP algorthm and a strategy for handlng nconsstent lnearzaton that gves rse to an nfeasble subproblem. Followng all the above we present two practcal SQP algorthms for both, the case of full Hessan matrx approxmaton and the case of reduced Hessan matrx approxmatons. We also descrbe condtons that guarantee local and superlnear convergence of SQP methods that use both, the exact Hessan matrx of the problem and a Quas-Newton varant of t. he dscusson s lmted to an equalty constraned problem but the results presented can be appled to algorthms for nequalty constraned problems. In trust-regon SQP methods on the other hand, the quadratc subproblem may not always have a soluton because of the addtonal trust-regon constrant. hs conflct between the constrants s resolved n case of an equalty constraned problem usng an approach that reformulates the subproblem. Fnally, the undesrable phenomenon of not allowng full steps near the soluton to be taen, nown as the Maratos effect as well as two strateges to overcome the dffcultes assocated wth t are descrbed. For each of these strateges a local convergence result s gven. v

8 ΕΥΧΑΡΙΣΤΙΕΣ Θα ήθελα να ευχαριστήσω θερµά τον επιβλέποντά µου Επίκουρο Καθηγητή της Σχολής Εφαρµοσµένων Μαθηµατικών & Φυσικών Επιστηµών του Εθνικού Μετσόβιου Πολυτεχνείου κ. Χρυσαφινό Κωνσταντίνο, για τις υποδείξεις του και την καθοδήγηση που µου προσέφερε κατά τη διάρκεια εκπόνησης της εργασίας αυτής. v

9 v

10 Περιεχόµενα. ΚΕΦΑΛΑΙΟ. Μέθοδοι αναζήτησης γραµµής και περιοχής εµπιστοσύνης... Μέθοδοι αναζήτησης γραµµής.... Κατευθύνσεις έρευνας για τις µεθόδους αναζήτησης γραµµής.... Επιλογή του µήκους βήµατος Σύγκλιση των µεθόδων αναζήτησης γραµµής Αλγόριθµος αναζήτησης γραµµής... Μέθοδοι περιοχής εµπιστοσύνης Επιλογή της περιοχής εµπιστοσύνης Προσεγγιστικές λύσεις του υποπροβλήµατος της περιοχής εµπιστοσύνης Σύγκλιση των µεθόδων περιοχής εµπιστοσύνης Σχεδόν ακριβείς λύσεις του λύσεις του υποπροβλήµατος της περιοχής εµπιστοσύνης. 7 ΚΕΦΑΛΑΙΟ. Θεωρία βελτιστοποίησης προβληµάτων µε περιορισµούς. 3.. Εισαγωγή στους πολλαπλασιαστές Lagrange Πρόβληµα ισωτικών περιορισµών Πρόβληµα ανισωτικών περιορισµών Συνθήκες ελαχίστου ης τάξης Αναγκαίες συνθήκες ελαχίστου ης τάξης Ικανές συνθήκες ελαχίστου ης τάξης Κυρτότητα Κυρτό πρόβληµα προγραµµατισµού Συνθήκες ελαχίστου ης τάξης Αναγκαίες συνθήκες ελαχίστου ης τάξης Ικανές συνθήκες ελαχίστου ης τάξης Απλοποιηµένη µήτρα Hessan και ικανές συνθήκες ελαχίστου ης τάξης. 48 ΚΕΦΑΛΑΙΟ 3 3. Μέθοδοι Quas-Newton Η ανανέωση SR Η ανανέωση DFP Η ανανέωση BFGS Σύγκλιση των µεθόδων Quas-Newton Σύγκλιση της µεθόδου BFGS Σύγκλιση της µεθόδου SR. 64 ΚΕΦΑΛΑΙΟ 4 4. Επαναληπτικός τετραγωνικός προγραµµατισµός Εισαγωγή Εξάλειψη µεταβλητών σε µη γραµµικά προβλήµατα βελτιστοποίησης µε περιορισµούς Υπολογισµός της κατεύθυνσης έρευνας τετραγωνικών προβληµάτων Τετραγωνικό πρόβληµα µε ισωτικούς περιορισµούς Τετραγωνικό πρόβληµα µε ισωτικούς και ανισωτικούς περιορισµούς Η µήτρα Hessan του τετραγωνικού µοντέλου Quas-Newton προσεγγίσεις της πλήρους µήτρας Hessan Quas-Newton προσεγγίσεις της απλοποιηµένης µήτρας Hessan Συναρτήσεις αξίας. 85 v

11 4.5.. Εισαγωγή Ακριβείς µη διαφορίσιµες συναρτήσεις ποινής Ακριβείς διαφορίσιµες συναρτήσεις ποινής Συναρτήσεις αξίας και επαναληπτικός τετραγωνικός προγραµµατισµός Επαναληπτικός τετραγωνικός προγραµµατισµός µε αναζήτηση γραµµής Αντιµετώπιση ασύµβατων περιορισµών -l ελαστική διαδικασία Πρακτικός αλγόριθµος επαναληπτικού τετραγωνικού προγραµµατισµού πλήρους Hessan µε αναζήτηση γραµµής Πρακτικός αλγόριθµος επαναληπτικού τετραγωνικού προγραµµατισµού απλοποιηµένης µήτρας Hessan µε αναζήτηση γραµµής Θεωρία Σύγκλισης Αλγόριθµος µε ακριβείς δεύτερες παραγώγους Η εκδοχή Quas-Newton του αλγόριθµου Γενική σύγκλιση Υπεργραµµική σύγκλιση Επαναληπτικός τετραγωνικός προγραµµατισµός µε τη µέθοδο περιοχής εµπιστοσύνης Τεχνική µετατόπισης των περιορισµών Το φαινόµενο του Μαράτου Βήµα αντιστάθµισης δεύτερης τάξης Μη-µονότονη στρατηγική Watchdog. 3 ΠΑΡΑΡΤΗΜΑ 38 ΒΙΒΛΙΟΓΡΑΦΙΑ 4 v

12 Κεφάλαιο Μέθοδοι αναζήτησης γραµµής και περιοχής εµπιστοσύνης. Όλοι οι αλγόριθµοι προβληµάτων ελαχιστοποίησης χωρίς περιορισµούς απαιτούν την εισαγωγή από τον χρήστη ενός αρχικού σηµείου x o. Ο χρήστης απ την µεριά του, µε την γνώση της εφαρµογής και του συνόλου των δεδοµένων, µπορεί να είναι σε θέση να επιλέξει το σηµείο x o να είναι µία λογική εκτίµηση της λύσης ή σε διαφορετική περίπτωση το αρχικό σηµείο επιλέγεται µε τυχαίο τρόπο. Ξεκινώντας από το x o, οι αλγόριθµοι βελτιστοποίησης παράγουν µία ακολουθία επαναλήψεων { x } η οποία τερµατίζει είτε όταν δεν µπορεί να επιτευχθεί µεγαλύτερη πρόοδος, είτε όταν φαίνεται ότι µία λύση έχει προσεγγιστεί µε µεγάλη ακρίβεια. Οι περισσότεροι αλγόριθµοι, προκειµένου να αποφανθούν πως να κινηθούν από την επανάληψη x στην επόµενη, χρησιµοποιούν όλη την διαθέσιµη πληροφορία σχετικά µε την συνάρτηση f στην επανάληψη x, και πιθανών και από τις προηγούµενες επαναλήψεις { x} = 0, υπολογίζοντας µία νέα επανάληψη x + µε µικρότερη τιµή της συνάρτησης στο σηµείο αυτό από ότι στο x. Υπάρχουν και µη-µονότονοι αλγόριθµοι η οποίοι δεν επιµένουν στην µείωση της συνάρτησης f σε κάθε επανάληψη, αλλά ακόµη και αυτοί απαιτούν όσον αφορά την συνάρτηση f, να µειώνεται µετά από κάποιον καθορισµένο αριθµό επαναλήψεων. ύο βασικές στρατηγικές µετακίνησης από την τρέχουσα επανάληψη x, στην νέα επανάληψη x + είναι οι µέθοδοι αναζήτησης γραµµής και οι µέθοδοι περιοχής εµπιστοσύνης οι οποίες εξετάζονται στη συνέχεια. Στη συνέχεια, σε κάθε σηµείο της εργασίας η νόρµα θα συµβολίζει την διανυσµατική νόρµα l ή την αντίστοιχη παραγόµενη νόρµα πίνακα, µε f θα συµβολίζεται το διάνυσµα των κλίσεων της συνάρτησης f στο σηµείο x δηλαδή f= f ( x) και µε f θα συµβολίζεται η µήτρα δεύτερων παραγώγων ή µήτρα Hessan της συνάρτησης f στο σηµείο x δηλαδή f= f ( x).. Μέθοδοι αναζήτησης γραµµής. Στις µεθόδους αναζήτησης γραµµής (lne search methods), ο αλγόριθµος επιλέγει µια κατεύθυνση έρευνας p και αναζητά κατά µήκος αυτής της κατεύθυνσης από την τρέχουσα επανάληψη x για µία νέα επανάληψη x+ = x+ a p µε χαµηλότερη τιµή της συνάρτησης, όπου ο θετικός αριθµός a αποκαλείται µήκος βήµατος. Στην νέα αυτή επανάληψη µια νέα κατεύθυνση έρευνας και ένα νέο µήκος βήµατος υπολογίζονται και η διαδικασία επαναλαµβάνεται. Η επιτυχία

13 της µεθόδου εξαρτάται από τις αποτελεσµατικές επιλογές της κατεύθυνσης έρευνας p και του µήκους βήµατος a. Η κατεύθυνση έρευνας ένας συµµετρικός και αντιστρέψιµος πίνακας. p συνήθως έχει τη µορφή p= B f όπου B είναι Στη µέθοδο της απότοµης καθόδου, ο πίνακας B είναι απλά ο ταυτοτικός πίνακας Ι. Στη µέθοδο Newton, ο πίνακας B είναι ο πραγµατικός πίνακας Hessan f ( x ). Στη µέθοδο Quas-Newton, ο πίνακας B είναι µία προσέγγιση του πίνακα Hessan στο σηµείο x η οποία ανανεώνεται σε κάθε επανάληψη µέσω ενός τύπου χαµηλού βαθµού. Όταν το p ορίζεται από την σχέση p= B f και ο πίνακας B είναι θετικά ορισµένος ισχύει ότι: p f = f B f < 0 και εποµένως το p είναι µια κατεύθυνση καθόδου... Κατευθύνσεις έρευνας για τις µεθόδους αναζήτησης γραµµής. α). Η κατεύθυνση της πιο απότοµης καθόδου. Ένα µείζων θέµα συζήτησης στις µεθόδους αναζήτησης γραµµής, αποτελεί η επιλογή της κατεύθυνσης έρευνας p όπου η πιο προφανής επιλογή είναι η κατεύθυνση της πιο απότοµης καθόδου f. Η κατεύθυνση αυτή, είναι εκείνη κατά µήκος της οποίας η συνάρτηση f µειώνεται πιο γρήγορα. Η απαίτηση αυτή επιβεβαιώνεται από το θεώρηµα aylor (παράρτηµα, εξίσωση Π.3) σύµφωνα µε το οποίο, για κάθε κατεύθυνση έρευνας p και µήκος βήµατος a ισχύει: f ( x+ ap) = fx + ap f+ a p f ( x+ tp) p, t (0, a) (.) Ο ρυθµός µεταβολής της f κατά µήκος της κατεύθυνσης p στο x είναι απλώς ο συντελεστή του a, δηλαδή είναι η λύση του προβλήµατος: p f. Γι αυτό το λόγο, η µοναδιαία κατεύθυνση p της πιο ραγδαίας µείωσης, mn p f, p = (.) p Αφού p f = p f cosθ όπου θ είναι η γωνία µεταξύ των p και f, από την σχέση p = προκύπτει ότι p f = f co sθ και η αντικειµενική συνάρτηση του προβλήµατος (.) ελαχιστοποιείται όταν το cosθ λαµβάνει την µικρότερη τιµή του - για θ= π ακτίνια. Άρα η λύση του προβλήµατος (.) είναι η κατεύθυνση p= f / f, κάθετη στις ισοϋψείς γραµµές της συνάρτησης. Η µέθοδος της πιο απότοµης καθόδου δρα κατά µήκος της κατεύθυνσης p= f σε κάθε βήµα και έχει το πλεονέκτηµα ότι απαιτεί µόνο τον υπολογισµό της κλίσης f και όχι των ων παραγώγων της f. Ωστόσο, λόγω του ότι µπορεί να είναι υπερβολικά βραδύα σε δύσκολα

14 3 προβλήµατα, οι µέθοδοι αναζήτησης γραµµής ενδέχεται να χρησιµοποιούν κατευθύνσεις διαφορετικές από αυτή της πιο απότοµης καθόδου. Γενικά, οποιαδήποτε κατεύθυνση καθόδου (που σχηµατίζει µια γωνία µικρότερη από π / αρκετά µικρό µήκος βήµατος. ακτίνια µε το f ) εγγυάται την µείωση της f για β). Η κατεύθυνση Newton. Η κατεύθυνση Newton προκύπτει από την ελαχιστοποίηση της σειράς aylor δεύτερης τάξης µε την οποία προσεγγίζεται η συνάρτηση f ( x + p) και η οποία δίνεται από την σχέση: Απαιτώντας η µήτρα m( p) = f+ p f+ p fp f ( x+ p) (.3) f να είναι θετικά ορισµένη η κατεύθυνση Newton είναι η εξής: p = f f (.4) N και είναι αξιόπιστη όταν η διαφορά µεταξύ της πραγµατικής συνάρτησης f ( x + p) και του τετραγωνικού µοντέλου m ( p ) αυτής δεν είναι πολύ µεγάλη. Από το θεώρηµα aylor έχουµε: f ( x+ p) = f + f p+ p f ( x+ tp) p, t (0,) (.5) και άρα η µόνη διαφορά µεταξύ αυτών των συναρτήσεων είναι τό ότι η µήτρα f ( x + tp) έχει αντικατασταθεί από την µήτρα f. Για αρκετά λεία f ( ) η παραπάνω διαφορά, παράγει µια 3 διαταραχή τάξης µεγέθους O( p ) στο ανάπτυγµα aylor, έτσι που για µικρό p η διαταραχή είναι µικρή και η προσέγγιση f ( x + p) m ( p) είναι αρκετά ακριβής. Η κατεύθυνση Newton µπορεί να χρησιµοποιηθεί σε µία µεθοδο αναζήτησης γραµµής όταν η µήτρα f είναι θετικά ορισµένη, περίπτωση κατά την οποία χρησιµοποιώντας την (.4): N N N f p = f f f = p f p (.6) και έτσι, εκτός εάν η κλίση N είναι µηδενική, συνεπάγεται ότι f p < 0 δηλαδή η κατεύθυνση f p είναι µια κατεύθυνση καθόδου. Οι περισσότερες υλοποιήσεις της µεθόδου Newton µε αναζήτηση γραµµής χρησιµοποιούν το µοναδιαίο βήµα ( a= ) όπου είναι εφικτό, το οποίο προσαρµόζεται κατάλληλα µόνο όταν δεν προκαλεί ικανοποιητική µείωση της τιµής της συνάρτησης f. Όταν η µήτρα f δεν είναι θετικά ορισµένη η κατεύθυνση Newton ενδέχεται να µην ορίζεται καν αφού η µήτρα f ίσως να µην υπάρχει, αλλά ακόµη και αν ορίζεται µπορεί να µην ικανοποιεί την ιδιότητα καθόδου και εποµένως αποτελεί µια ακατάλληλη κατεύθυνση έρευνας. Οι µέθοδοι οι οποίες χρησιµοποιούν την κατεύθυνση Newton N p εµφανίζουν τετραγωνική

15 4 τοπική σύγκλιση (βλέπε παράρτηµα). Όταν η τρέχουσα επανάληψη φτάσει σε µια γειτονιά της λύσης συνήθως επέρχεται σύγκλιση υψηλής ακρίβειας σε µόλις µερικές επαναλήψεις. Μια ουσιώδης αδυναµία της κατεύθυνσης Newton είναι η ανάγκη γνώσης της µήτρας Hessan f ( x) ο σαφής υπολογισµός της οποίας είναι συνήθως, ωστόσο όχι πάντα, µια φορτική και δαπανηρή διαδικασία. γ). Η κατεύθυνση έρευνας Quas Newton. Οι κατευθύνσεις έρευνας Quas-Newton αποτελούν µια ελυστική εναλλακτική, µιας και δεν απαιτούν τον υπολογισµό της µήτρας Hessan και επίσης επιτυγχάνουν υπεργραµµική σύγκλιση. Οι µέθοδοι αυτές χρησιµοποιούν στη θέση της πραγµατικής µήτρας Hessan f µία προσέγγιση αυτής B, η οποία ανανεώνεται σε κάθε βήµα ώστε να λάβει υπόψη την πληροφορία που αποκτήθηκε κατά την διάρκεια του βήµατος. Τυπικά, επιβάλονται επιπρόσθετες απαιτήσεις στον πίνακα B + όπως η συµµετρία αλλά και ο περιορισµός η διαφορά µεταξύ διαδοχικών προσεγγίσεων από τον πίνακα στον B + να είναι χαµηλού βαθµού. B ύο δηµοφιλείς τύποι ανανέωσης της προσέγγισης B της µήτρας Hessan είναι ο τύπος SR (symmetrc-ran-one), και ο τύπος BFGS φερώνυµος των εφευρετών του, Broyden, Fletcher, Goldfarb, και Shanno. Η διαφόρά µεταξύ των πινάκων B και B + είναι ένας πίνακας βαθµού στην περίπτωση του τύπου SR και ένας πίνακας βαθµού στην περίπτωση του τύπου BFGS. Η κατεύθυνση έρευνας Quas-Newton δίνεται από την σχέση (.4) χρησιµοποιώντας τη µήτρα θέση της πραγµατικής µήτρας Hessan, δηλαδή: B στην p = B f (.7) Κάποιες πρακτικές υλοποιήσεις των µεθόδων Quas-Newton ανανεώνουν τον αντίστροφο πίνακα H του B αντί για τον ίδιο τον πίνακα την περίπτωση διεκπεραιώνεται µέσω του τύπου: B. Ο υπόλογισµός της κατεύθυνσης έρευνας p σε αυτή p= H f (.8) και υλοποιείται µέσω του πολλαπλασιασµού πίνακα-διανύσµατος, ο οποίος είναι απλούστερος από τη διαδικασία της παραγοντοποίησης/πίσω-αντικατάστασης που χρειάζεται για την υλοποίηση του τύπου (.7). δ). Η κατεύθυνση των συζυγών κλίσεων. όπου Οι κατευθύνσεις αυτές έχουν την µορφή: p = f + p (.9) β β είναι ένας αριθµός ο οποίος εξασφαλίζει ότι οι κατευθύνσεις pκαι p είναι συζυγείς. Γενικά, οι κατευθύνσεις των συζυγών κλίσεων είναι αρκετά πιο ουσιαστικές από ότι η κατεύθυνση

16 5 της πιο απότοµης καθόδου και περίπου το ίδιο απλές στον υπολογισµό τους. Οι µέθοδοι αυτές δεν επιτυγχάνουν τους γρήγορους ρυθµούς σύγκλισης των µεθόδων Newton ή Quas-Newton, αλλά έχουν το πλεονέκτηµα να µην απαιτείται αποθήκευση πινάκων στην µνήµη... Επιλογή του µήκους βήµατος. Το ιδανικότερο µήκος βήµατος ελαχιστοποίησης a θα ήταν η λύση του ακόλουθου προβλήµατος mn ϕ( a) a> 0 (.0) όπου, ϕ ( a) = f ( x + a p ), a > 0 (.) ωστόσο µια ακριβής ελαχιστοποίηση είναι χρονοβόρα και περιττή. Πιο πρακτικές στρατηγικές εκτελούν µια µη ακριβή αναζήτηση γραµµής για τον προσδιορισµό του µήκους βήµατος που επιτυγχάνει επαρκή µείωση της συνάρτησης f µε ελάχιστο κόστος. Τα τελευταία χρόνια και παρακινούµενοι από την θεωρία σύµφωνα µε την οποία η µέθοδος της πιο απότοµης καθόδου µέσω µιας διαδικασίας ακριβούς αναζήτησης γραµµής συγκλίνει γενικά σε ένα στάσιµο σηµείο της συνάρτησης, δηλαδή σε ένα σηµείο όπου η κλίση της συνάρτησης είναι µηδέν, µια κοινή στρατηγική ήταν να επιλεγεί το a κοντά στην τιµή η οποία επιτυγχάνεται µέσω µιας ακριβούς αναζήτησης γραµµής. Ωστόσο, ο προσδιορισµός ακόµη και ενός τοπικού ελαχίστου της συνάρτησης ϕ ακόµη και µε µέτρια ακρίβεια, απαιτεί γενικά σωρεία αποτιµήσεων της αντικειµενικής συνάρτησης f και πιθανών της κλίσης f µε µεγάλο υπολογιστικό κόστος. Άλλοι ερευνητές εξασθένισαν την ανοχή της αναζήτησης γραµµής σηµαντικά και χρησιµοποίησαν την ιδιότητα της καθόδου για να επιβάλουν τη µείωση της συνάρτησης κόστους σε κάθε επανάληψη. Μία απλή συνθήκη η οποία επιβάλλεται στο µήκος βήµατος a, είναι να απαιτεί τη µείωση της τιµής της συνάρτησης f δηλαδή να ισχύει f ( x + a p ) < f ( x ). Ωστόσο, η απαίτηση αυτή δεν επαρκεί για να επιφέρει σύγκλιση στη λύση x. Για παράδειγµα, αν η ελάχιστη τιµή της συνάρτησης είναι f ( x ) =, µια ακολουθία επαναλήψεων { x } για τις οποίες f ( x ) = 5/, = 0,,... αποφέρει µείωση σε κάθε επανάληψη αλλά η οριακή τιµή της συνάρτησης είναι µηδέν. Η πενιχρή µείωση της f σε κάθε βήµα γίνεται αιτία για την αποτυχία σύγκλισης στο σηµείο ελαχίστου. Το γεγονός αυτό οδήγησε στην ανάπτυξη ενός γενικά αποδεκτου συνόλου συνθηκών για τον τερµατισµό της αναζήτησης γραµµής το οποίο διασφαλίζει επαρκή µείωση της f µε ελάχιστο κόστος ενώ παράλληλα εγγυάται την γενική σύγκλιση.

17 6 Προς αποφυγήν αυτής της συµπεριφοράς, επιβάλλεται µια συνθήκη επαρκούς µειώσεως (suffcent decrease condton). Αν το a δηλώνει την µικρότερη δυνατή θετική τιµή του a για την οποία f ( x + a p ) = f ( x ) τότε επέρχεται µια αµελητέα µείωση της f αν a a. Ο σκοπός της αναζήτησης γραµµής είναι η εύρεση ενός βήµατος a το οποίο δεν πλησιάζει την τιµή a. Μία δηµοφιλής συνθήκη µη ακριβούς αναζήτησης γραµµής συνοµολογεί ότι το aθα πρέπει πρωτίστως να οδηγεί σε επαρκή µείωση της αντικειµενικής συνάρτησης f, η οποία µετριέται από την ακόλουθη ανισότητα: ϕ ( a) = f ( x + a p ) f ( x ) + c a f p (.) για κάποια σταθερά c (0,). Με άλλα λόγια, η µείωση της f θα πρέπει να είναι ανάλογη τόσο µε το µήκος βήµατος a όσο και µε την κατά κατεύθυνση παράγωγο Η ανισότητα (.) συχνά καλείται ως συνθήκη Armjo. f p (βλέπε παράρτηµα Π.7). Το δεξί µέλος της (.) το οποίο είναι µια γραµµική συνάρτηση του a συµβολίζεται µε l( a ). Η συνάρτηση l( ) έχει αρνητική κλίση c f p δεδοµένου όµως ότι c (0,) εκτείνεται πάνω από το γράφηµα της ϕ για µικρές θετικές τιµές του a. Η συνθήκη επαρκούς µειώσεως υποδηλώνει ότι το a γίνεται αποδεκτό µόνο εάν ϕα ( ) l( a). Στην πράξη, η σταθερά c επιλέγεται να είναι αρκετά µικρή, π.χ. 4 =. c 0 Η συνθήκη επαρκούς µειώσεως δεν είναι αρκετή από µόνη της για να διασφαλίσει ότι ο αλγόριθµος κάνει µια εύλογη πρόοδο εξαιτίας του ότι ικανοποιείται για αρκετά µικρές τιµές του a και άρα είναι πολύ πιθανών να προκύψει πάλι αµελητέα µείωση της συνάρτησης αν α 0. Α. Οι Συνθήκες Goldsten. Από όλα τα παραπάνω, ο σκοπός της αναζήτησης γραµµής είναι η εύρεση ενός µήκους βήµατος a το οποίο δεν βρίσκεται κοντά στα ακραία σηµεία του διαστήµατος [0, a ] επιφέροντας κατά αυτόν τον τρόπο σηµαντική µείωση της συνάρτησης f σε κάθε επανάληψη. Απ την άλλη µεριά και δεδοµένου ότι η µήτρα Hessan αποτελεί την γενίκευση στον n R της έννοιας της καµπυλότητας µιας συνάρτησης (δηλαδή η θετική καµπυλότητα µιας συνάρτησης γενικεύεται στον n R ως θετικά ορισµένη µήτρα Hessan) είναι εξίσου σηµαντικό όσον αφορά την απόδειξη της υπεργραµµικής σύγκλισης κάπoιων µεθόδων, οι επιβαλλόµενες συνθήκες να µην αποκλείουν την τιµή ελαχιστοποίησης του a όταν η συνάρτηση f ( x + a p ) είναι τετραγωνική µε θετική καµπυλότητα, δηλαδή µε θετικά ορισµένη µήτρα δευτέρων παραγώγων ( f αυστηρά κυρτή). Οι συνθήκες οι οποίες συναντούν αµφότερες τις απαιτήσεις αυτές δίνονται από τον Goldsten και είναι:

18 7 f ( x + a p ) f ( x ) + c a f p (.3α) f ( x + a p ) f ( x ) + ( c ) a f p (.3β) όπου 0< c< / και το οποίο αποκλίει τα σηµεία εκείνα κοντά στο δεξί και αριστερό άκρο του διαστήµατος [0, a ]. Όλα τα a τα οποία ικανοποιούν τις συνθήκες Goldsten απαρτίζουν τα διαστήµατα των αποδεκτών µηκών βήµατος όπως φαίνεται στο σχήµα.. για µια µη τετραγωνική συνάρτηση. ϕ( a) a ( c ) f p a c f p a a Σχήµα.. Οι συνθήκες Goldsten. Γράφοντας την f ( x + a p ) σαν ϕ ( a), οι (.3α) και (.3β) γράφονται αντίστοιχα ως εξής: και η συνθήκη καθόδου p f < 0 γίνεται ϕ (0) < 0. Αν η f ( x ) είναι κυρτή τετραγωνική συνάρτηση της µορφής ϕ( a ) ϕ(0) + c aϕ (0) (.4α) ϕ( a ) ϕ(0) + ( c ) aϕ (0) (.4β) ( ) f x = x Qx b x και άρα: ( ) ( ) ϕ a = f x+ a p = ( x+ a p) Q( x+ a p) b ( x+ a p) που ικανοποιεί τις ανοσότητες ϕ (0) < 0και ϕ (0) > 0, τότε το γενικό ελάχιστο a της ϕ υπολογίζεται αναλυτικά - παραγωγίζοντας τη συνάρτηση ϕ( a ) ως προς a και θέτοντας τη παράγωγο ίση µε f p µηδέν - και δίνεται από τη σχέση a =. Επιπλέον η ϕ ( a ) p Qp µπορεί να γραφτεί ως: και το ( ) ( ϕ a = x Qx b x+ a a p Qp b p) a ικανοποιεί την σχέση ϕ( a ) (0) = ϕ + aϕ (0). Συνεπώς, η απαίτηση ότι c < /επιτρέπει την ιδιότητα ότι η τιµή ελαχιστοποίησης µιας τετραγωνικής συνάρτησης είναι αποδεκτή δεδοµένου ότι στην περίπτωση αυτή το a ικανοποιεί την σχέση (.4α).

19 8 Β. Οι συνθήκες Wolfe. Όταν η ϕ ( a) δεν είναι τετραγωνική, η δεύτερη συνθήκη (.4β) µπορεί να αποκλίσει το σηµείο ελαχιστοποίησης της ϕ ( a) όπως φαίνεται στο σχήµα.. Για τον λόγο αυτό, η συνθήκη αυτή µπορεί να αντικατασταθεί επό ένα διαφορετικό έλεγχο των κλίσεων ο οποίος είναι ο εξής: για κάποια σταθερά c ( c,). ϕ ( a ) = f ( x + a p ) p c f p (.5) Η συνθήκη (.5) καλείται συνθήκη καµπυλότητας και διασφαλίζει ότι η κλίση της ϕ στο είναι µεγαλύτερη από c φορές την αρχική κλίση ϕ (0). Αν η κλίση ϕ ( a ) είναι αυστηρά αρνητική, αυτό αποτελεί µια ένδειξη ότι η f µπορεί να µειωθεί σηµαντικά προχωρώντας περαιτέρω κατά µήκος της επιλεγµένης κατεύθυνσης. Απ την άλλη µεριά, αν η ϕ ( a ) είναι ελαφρώς αρνητική ή ακόµη και θετική, τότε έχει νόηµα να τερµατίσει η αναζήτηση γραµµής µιας και δεν αναµένεται πολύ µεγαλύτερη µείωση στην f σε αυτή την κατεύθυνση. Η συνθήκη επαρκούς µειώσεως (.) και η συνθήκη καµπυλότητας (.5) είναι γνωστές ως συνθήκες Wolfe και φαίνονται στο σχήµα.. Ένα µήκος βήµατος όπως φαίνεται στο σχήµα., µπορεί να ικανοποιεί τις συνθήκες Wolfe χωρίς να βρίσκεται ιδιαίτερα κοντά σε ένα σηµείο ελαχίστου της ϕ. Στην περίπτωση αυτή, η συνθήκη καµπυλότητας µπορεί να τροποποιηθεί να επιβάλει στο a να βρίσκεται σε µια τουλάχιστον ευρεία γειτονιά ενός τοπικού ελαχίστου ή ενός στάσιµου σηµείου της ϕ. Οι αποκαλούµενες ισχυρές a συνθήκες Wolfe είναι οι εξής: f ( x + a p ) f ( x ) + c a f p (.6α) f ( x + a p ) p c f p (.6β) Η µόνη διαφορά µε τις συνθήκες Wolfe είναι το ότι η παράγωγος ϕ ( a ) δεν επιτρέπεται πλέον να είναι αρκετά θετική και γι αυτό τα σηµεία µακριά από τα στάσιµα σηµεία της ϕ εξαιρούνται. ϕ( a) l( a) a a Σχήµα.. Οι συνθήκες Wolfe.

20 9 Σύµφωνα µε το ακόλουθο λήµµα για κάθε συνάρτηση f συνεχώς διαφορίσιµη και κάτω φραγµένη, υπάρχουν µήκη βήµατος που ικανοποιούν τις συνθήκες Wolfe. Λήµµα. ([], Λήµµα 3., σελ. 35). n Έστω f : R R συνεχώς διαφορίσιµη και κάτω φραγµένη κατά µήκος της ηµιευθείας { x+ a p a> 0}. Έστω επίσης p µια κατεύθυνση καθόδου στο 0< < <, x. Τότε αν c c υπάρχουν διαστήµατα από µήκη βήµατος που ικανοποιούν τις συνθήκες Wolfe (.) και (.5) και τις ισχυρές συνθήκες Wolfe (.6α) και (.6β). A. Επαρκής µείωση και αντιστροφή θέσης (Bactracng). Αν ο αλγόριθµος αναζήτησης γραµµής επιλέγει το υποψήφιο µήκος βήµατος χρησιµοποιώντας την τεχνική αποκαλούµενη Αντιστροφής Θέσης (bac-tracng approach), η συνθήκη επαρκούς µειώσεως (.) είναι αρκετή από µόνη της ώστε να διασφαλίσει ότι ο αλγόριθµος κάνει εύλογη πρόοδο κατά µήκος της δοσµένης κατεύθυνσης έρευνας και εποµένως η συνθήκη (.5) δεν χρειάζεται. Στην πιο βασική της µορφή, η διαδικασία αυτή προχωρεί σύµφωνα µε τον αλγόριθµο. που ακολουθεί ([], αλγόριθµος 3., σελ. 37): Αλγόριθµος. (Αλγόριθµος Αντιστροφής Θέσης) Choose aɶ > 0, ρ (0,), c (0,) Set a=ɶ a Repeat untl f ( x+ ap) f ( x) + ca f p a= ρa End (repeat) ermnate wth a= a Στις µεθόδους Newton και Quas-Newton το αρχικό βήµα aɶ επιλέγεται να είναι µονάδα και σε άλλους αλγόριθµους µπορεί να έχει διαφορετικές τιµές. Η Αντιστροφής Θέσης, εξασφαλίζεί είτε ότι το επιλεγµένο µήκος βήµατος a είναι κάποια σταθερή τιµή (η αρχική επιλογή aɶ ), ή διαφορετικά ότι είναι αρκετά µικρό ωστε να ικανοποιεί την συνθήκη επαρκούς µειώσεως (.) αλλά όχι πολύ µικρό, δεδοµένου ότι είναι ανάλογο µε ένα παράγονταρ του προηγούµενου δοκιµαστικού βήµατος το οποίο είχε απορρηφθεί λόγω παραβίασης της συνθήκης (.)...3 Σύγκλιση των µεθόδων αναζήτησης γραµµής.

21 0 Γενική σύγκλιση επιτυγχάνεται, όχι µόνο µέσω καλά επιλεγµένων µηκών βήµατος αλλά και µέσω καλά επιλεγµένων κατευθύνσεων, δεδοµένου ότι οι µειώσεις στην f είναι πιθανών να είναι αµελητέες αν οι κατευθύνσεις p επιλεχθούν έτσι που να πλησιάζουν να είναι ορθογώνιες στο διάνυσµα κατεύθυνσης της πιο απότοµης καθόδου. εδοµένου ότι η γωνία θ µεταξύ του κατεύθυνσης της πιο απότοµης καθόδου f ορίζεται µε τη σχέση: p και της f p cosθ= (.7) f p η πιθανότητα αυτή µπορεί να αποκλιστεί, αν το p ικανοποιεί το κριτήριο ότι η γωνία θ είναι οµοιόµορφα φραγµένη µακριά από τις 90 o, δηλαδή θ π µ, µ > 0. Με τον περιορισµό αυτόν, η γενική σύγκλιση µιας µεθόδου µε µη ακριβή αναζήτηση γραµµής βασιζµένη στις συνθήκες Wolfe, τέτοια ώστε ένα κριτήριο τερµατισµού ( f ε ) ικανοποιείται πάντα για αρκετά µεγάλο, αποδεικνύεται µε την βοήθεια του ακόλουθου θεωρήµατος του Zoutendj. Θεώρηµα. ([], Θεώρηµα 3., σελ. 38). Έστω οποιαδήποτε επανάληψη της µορφής x+ = x+ a p όπου το p είναι µια κατεύθυνση καθόδου και το aικανοποιεί τις συνθήκες Wolfe (.) και (.5). Έστω επίσης η f είναι κάτω φραγµένη στον n R και συνεχώς διαφορίσιµη σε ένα ανοιχτό σύνολο N που περιλαµβάνει το def σύνολο στάθµης L = { x: f ( x) f ( x o )}, όπου το x o είναι το αρχικό σηµείο της επανάληψης. Έστω, τέλος ότι η f είναι Lpschtz συνεχής στο N δηλαδή: L> 0 : f ( x) f ( xɶ ) L x xɶ, x, xɶ N (.8) Απόδειξη Τότε cos θ f < (.9) 0 Από την (.5) και την επανάληψη x+ = x+ a p προκύπτει ότι: ( f + f) p ( c ) f p. Επίσης η (.8) υποδηλώνει ότι ( f f ) p ( f f ) p L x x a L p Συνδιάζοντας αυτές τις δύο σχέσεις έπεται ότι c f p a και αντικαθιστώντας την L p ανισότητα αυτή στην πρώτη συνθήκη Wolfe (.) προκύπτει: ( f ) (.7) p c c ( c ) f f c f f c cos θ f, c= + + L p L Αθροίζοντας για όλους τους δείκτες παίρνουµε: f+ fo c cos θ j f j j= 0

22 Παίρνοντας το όριο στην πιο πάνω έκφραση και λαµβάνοντας υπόψη ότι η f είναι κάτω φραγµένη και η διαφορά fo f + είναι µικρότερη από κάποια θετική σταθερά, προκύπτει η (.9). Οι υποθέσεις του θεωρήµατος. δεν είναι πολύ απαγορευτικές. Αν η συνάρτηση f δεν ήταν κάτω φραγµένη το πρόβληµα βελτιστοποίησης δεν θα ήταν καλώς ορισµένο. Απ την άλλη µεριά, η Lpschtz συνέχεια της f (υπόθεση λειότητας) ικανοποιείται συχνά στην πράξη. Η συνθήκη Zoutendj (.9) υποδηλώνει ότι cos θ f 0 και αν η µέθοδος επιλογής της κατεύθυνσης έρευνας p διασφαλίζει ότι η γωνία θ είναι φραγµένη µακριά από τις 90 o, υπάρχει θετική σταθερά δ τέτοια ώστε cosθ δ> 0 και άρα προκύπτει άµµεσα ότι lm f = 0και εποµένως ικανοποιείται η αναγκαία συνθήκη ελαχίστου πρώτης τάξης προβληµάτων χωρίς περιορισµούς. Ειδικότερα, αυτό το κριτήριο αναφορικά µε την γωνία ικανοποιείται από την µέθοδο της πιο απότοµης καθόδου µε θ = 0. Απ την άλλη µεριά, στις µεθόδους Newton και Quas-Newton στις οποίες το p ορίζεται µέσω της σχέσης p= B f, µία ικανή συνθήκη αναφορικά µε το κριτήριο της γωνίας είναι ο δείκτης κατάστασης (ο λόγος λ λ n της µεγαλύτερης προς τη µικρότερη ιδιοτιµή του φραγµένος δηλαδή να υπάρχει µια σταθερά Mτέτοια ώστε:, B ) να είναι άνω B B M (.0) προκύπτει από τον ορισµό (.7) ότι: cos θ και άρα lm 0 f =. M Ωστόσο, για τους περισσότερους απ τους καλούς στην πράξη αλγόριθµους, όπως ο αλγόριθµος συζυγών κλίσεων, δεν έχει καταστεί δυνατόν να αποδειχθεί ότι το κριτήριο όσον αφορά τη γωνία ικανοποιείται. Στην περίπτωση αυτή αντί της συνθήκης γενικής σύγκλισης f 0 αποδεικνύεται η ασθενέστερη συνθήκη lm nf f = 0, ότι δηλαδή απλώς µία υπακολουθία των νορµών συγκλίνει στο µηδέν αντί για ολόκληρη την ακολουθία. Το αποτέλεσµα αυτό αποδεικνύεται µε εις άτοπο απαγωγή ως ακολούθως: Έστω ότι lm nf f 0 δηλαδή γ> 0 τέτοιο ώστε f γ. Προκύπτει από cos θ f 0, ότι cosθ 0 και άρα ολόκληρη η ακολουθία {cos θ } συγκλίνει στο µηδέν. f j

23 ..4 Αλγόριθµος αναζήτησης γραµµής. Στις τεχικές εύρεσης του σηµείου ελαχίστου της συνάρτησης ϕ ( a) = f ( x + a p ) ή απλώς της εύρεσης ενός µήκους βήµατος περιγράφτηκαν στο εδάφιο.., θεωρείται ότι το a που να κανοποιεί µια από τις συνθήκες τερµατισµού όπως αυτές p είναι µια κατεύθυνση καθόδου δηλαδή, ϕ (0) < 0. Αν η f είναι τετραγωνική κυρτή συνάρτηση, το σηµείο ελαχίστου αυτής κατά µήκος της ηµιευθείας x+ a p δίνεται αναλυτικά από την σχέση a f p =. Ωστόσο, για γενικές µη- p Qp γραµµικές συναρτήσεις είναι αναγκαίο να γίνει χρήση µιας επαναληπτικής διαδικασίας. Όλες οι διαδικασίες αναζήτησεις γραµµής απαιτούν µια αρχική εκτίµηση a 0 και παράγουν µία ακολουθία { a } η οποία είτε τερµατίζει µε την εύρεση ενός µήκους βήµατος το οποίο ικανοποιεί τις καθορισµένες από τον χρήστη συνθήκες (για παράδειγµα τις συνθήκες Wolfe) είτε αποφασίζουν ότι ένα τέτοιο µήκος βήµατος δεν υπάρχει. Υπάρχουν δύο ξεχωριστά τµήµατα σε κάθε αλγόριθµο αναζήτησης γραµµής:. η φάση ταξινόµησης (bracetng phase) η οποία προσδιορίζει ένα διάστηµα [ a, b ] το οποίο συµπεριλαµβάνει αποδεκτά µήκη βήµατος και. η φάση επιλογής (selecton phase) η οποία εστιάζει στο να εντοπίσει το τελικό µήκος βήµατος. Η φάση επιλογής συνήθως µειώνει το διάστηµα ταξινόµησης κατά την διαδικασία εντόπισµού του επιθυµητού µηκους βήµατος. Επιπρόσθετα, δεδοµένου ότι είναι προτιµώτερη η εύρεση ενός αποδεκτού σηµείου το οποίο να είναι κοντά σε ένα τοπικό ελάχιστο της συνάρτησης ϕ ( a), είναι καλό να γίνει κάποιο είδος παρεµβολής µε την προσαρµογή ενός τετραγωνικού ή κυβικού πολυωνύνου του α σε γνωστές συναρτήσεις και στις παραγώγους τους και εν συνεχεία η επιλογή της νέας επανάληψης να γίνει έτσι ώστε να ελαχιστοποιείται το πολυώνυµο αυτό. Η διαδικασία αναζήτησης γραµµής που βασίζεται στην παρεµβολή των τιµών της συνάρτησης ϕ και των παραγώγων αυτής µπορεί να θεωρηθεί σαν επαύξηση του αλγόριθµου Αντιστροφής Θέσης (Bactracng Algorthm). Ο στόχος είναι η εύρεση µιας τιµής του µήκους βήµατος a, που να ικανοποιεί την συνθήκη επαρκούς µειώσεως (.) χωρίς να είναι πολύ µικρή. Ανάλογα, οι εδώ διαδικασίες παράγουν µια φθίνουσα ακολουθία τιµών µικρότερο από το προηγηθέν a. a τέτοια ώστε κάθε a δεν είναι πολύ Αλγόριθµος αναζήτησης γραµµής για τις συνθήκες Wolfe. Έστω p µια κατεύθυνση καθόδου και η f είναι κάτω φραγµένη κατά µήκος της κατεύθυνσης

24 3 p προς αποφυγή της πιθανότητας το γράφηµα της ϕ ( a) να µην τέµνει ποτέ τη γραµµή l( a ). εδοµένου ενός διαστήµατος [ a, a ], µια διαδικασία έρευνας η οποία εγγυάται την εύρεση ενός µήκους βήµατος που να ικανοποιεί τις αυστηρές συνθήκες Wolfe για κάθε c, c µε 0< c< c<, χρησιµοποιεί την γνώση ότι το διάστηµα αυτό συµπεριλαµβάνει µήκη βήµατος που ικανοποιούν τις συνθήκες Wolfe, εάν ικανοποιείται µια από τις επόµενες τρεις συνθήκες.. Το a παραβιάζει την συνθήκη επαρκούς µειώσεως. ϕ( a) ϕ( a ). ϕ ( a ) 0 Το πρώτο στάδιο του αλγόριθµου δηλαδή η φάση ταξινόµησης (Bracetng phase) ξεκινάει µε µία δοκιµαστική εκτίµηση a την οποία και συνεχώς αυξάνει έως ότου βρεθεί είτε ένα αποδεκτό µήκος βήµατος είτε ένα διάστηµα ταξινόµησης των επιθυµητών βηµάτων. Στην δεύτερη περίπτωση, ακολουθεί η φάση επιλογής (selecton phase), καλώντας µία συνάρτηση η οποία αποκαλείται συνάρτηση εστίασης (zoom functon) και η οποία µειώνει διαδοχικά το µέγεθος του διαστήµατος έως ότου αναγνωριστεί ένα αποδεκτό µήκος βήµατος. Αρχικά δίνεται το διάστηµα [ a0, a max] όπου το a 0 τίθεται ίσο µε το µηδέν και το a max αποτελεί ένα φράγµα του µέγιστου επιτρεπτού µήκους βήµατος οριζόµενο από τον χρήστη. Αν ο χρήστης είναι σε θέση να παράσχει ένα κάτω ϕ φράγµα της ϕ( a) τότε ως ϕ ϕ(0) γραµµής l( a ) µε ϕ την : amax=. cϕ (0) amaxλαµβάνεται το σηµείο τοµής της Ο αλγόριθµος αναζήτησης γραµµής τερµατίζει µε ένα µήκος βήµατος a που ικανοποιεί τις αυστηρές συνθήκες Wolfe, παράγοντας µια µονότονα φθίνουσα ακολουθία δοκιµαστικών µηκών βήµατος{ a } και περιγράφεται ως ακολούθως ([], Αλγόριθµος 3.5, σελ. 60). Το τελευταίο βήµα του αλγόριθµου εκτελεί µια πολυωνυµική παρεµβολή για την εύρεση της επόµενης δοκιµαστικής τιµής a + ή απλώς καθιστά το a + να είναι ένα σταθερό πολλαπλάσιο του a. Αν λάβει χώρα τερµατισµός της φάσης ταξινόµησης τότε είναι πλέον γνωστό ένα διάστηµα ταξινόµησης ( a, a ) και στην περίπτωση αυτή µπαίνει σε λειτουργία η φάση επιλογής καλόντας την lo h συνάρτηση εστίασης (zoom functon) µε ορίσµατα εισόδου τα a lo και a h. Η διάταξη των ορισµάτων εισόδου µε τα οποία τροφοδοτείται η συνάρτηση εστίασης µπορεί να διαφέρει, έτσι που το διάστηµα ταξινόµησης ( a, a ) να ικανοποιεί τις ακόλουθες ιδιότητες:. Το a lo lo h είναι µεταξύ όλων των µηκών βήµατος παραγόµενα µέχρι στιγµής και τα οποία ικανοποιούν την συνθήκη επαρκούς µειώσεως, αυτό που δίνει την µικρότερη τιµή της συνάρτησης.

25 4. Το a h επιλέγεται έτσι που να ισχύει ϕ ( a )( a a ) < 0 και το ϕ ( ) να µην ικανοποιεί την lo h lo a lo ανισότητα ϕ ( alo) cϕ (0). Το h a ικανοποιεί είτε ϕ ( a ) > ϕ (0) + a cϕ (0) είτε ϕ ( a ) ϕ ( a ) h h h lo Αλγόριθµος. (Αλγόριθµος Αναζήτησης Γραµµής) Set a 0= 0, choose a max> 0 and a (0, amax) For =,... repeat Evaluate ϕ ( a ) f ϕ( a) ϕ(0) ca ϕ (0) > + or [ ϕ ( a) ϕ ( a ) and > ] a = a a = a, termnate bracet phase lo h a = zoom ( a, a ) and stop Evaluate ϕ ( a ) f ϕ ( a) cϕ (0) a = a and stop f ϕ ( a ) 0 lo h a = a, a = a, termnate bracet phase a = zoom ( a, a ) and stop Choose a+ ( a, amax) = + end (repeat) Για ένα τέτοιο διάστηµα ταξινόµησης το οποίο ικανοποιεί τις ιδιότητες (), () και () αποδεικνύεται ([], Λήµµα.6., σελ. 35) ότι περιλαµβάνει ένα διάστηµα αποδεκτών µηκών βήµατος που ικανοποιούν τις αυστηρές συνθήκες Wolfe και εποµένως η φάση ταξινόµησης έχει πετύχει τον σκοπό της, την εύρεση δηλαδή ενός διαστήµατος αποδεκτών µηκών βήµατος. Απ την άλλη µεριά, η φάση επιλογής παράγει µια ακολουθία διαστηµάτων [ a a ], j= +,... το µήκος των οποίων τείνει στο µηδέν. Κάθε επανάληψη επιλέγει ένα νεό δοκιµαστικό σηµείο lo j h j a jστο [ a, a ] και το επόµενο διάστηµα είναι είτε [ a, a ] ή [ a, a ] ή [ a, a ] η επιλογή του οποίου lo j h j lo j j j lo j γίνεται, έτσι ώστε να ικανοποιούνται οι ιδιότητες (), () και (). Η φάση επιλογής τερµατίζει µε a = a όταν το τρέχων δοκιµαστικό σηµείο a j βρίσκεται ότι ικανοποιεί τις αυστηρές συνθήκες Wolfe. Ο αλγόριθµος που εκτελείται κατά τη φάση επιλογής µέσω της συνάρτησης εστίασης περιγράφεται ως ακολούθως ([], Αλγόριθµος 3.6, σελ. 6). j h j Εάν η νέα εκτίµηση a j ικανοποιεί τις αυστηρές συνθήκες Wolfe τερµατίζει µε a = a j. ιαφορετικά αν το a j ικανοποιεί τη συνθήκη επαρκούς µειώσεως και έχει µικρότερη τιµή της συνάρτησης απ ότι το a θέτουµε alo j + = a jέτσι ώστε να διατηρηθεί η συνθήκη (). Αν αυτή η lo j ενέργεια έχει σαν αποτέλεσµα την παραβίαση της συνθήκης () η κατάσταση διορθώνεται θέτοντας στο a h j + την προηγούµενη τιµή aloδηλαδή ah j+ = alo j.

26 5 Αλγόριθµος.3 (Συνάρτηση Εστίασης) for j=, +,... repeat Interpolate to fnd a tral step length a j ( alo j, ah j) Evaluate ϕ ( a j ) If ϕ( a ) > ϕ(0) + ca ϕ (0) or ϕ( a ) ϕ( a ) j a = a, a = a lo j+ lo j h j+ j else evaluate ϕ ( a j ) f ϕ ( a ) cϕ (0) j a = a j and stop a lo j+ = a j else f ϕ ( a ) ( a a ) 0 a j h j lo j h j+ = alo j ah j+ = ah j else end (repeat) Η επιλογή του a ( a, amax) j j lo j + στην φάση ταξινόµησης ή η επιλογή του a j ( alo j, ah j) στην φάση επιλογής, µπορεί να πραγµατοποιηθεί µε οποιοδήποτε τρόπο Μια λογική επιλογή θα ήταν η ελαχιστοποίηση στο δεδοµένο διάστηµα ενός τετραγωνικού ή κυβικού πολυωνύµου του a, το οποίο παρεµβάλλει γνωστά δεδοµένα αναφορικά µε την συνάρτηση και τις παραγώγους αυτής. Αυτό επιτυγχάνεται χρησιµοποιώντας την ακόλουθη αποτελεσµατική διαδικασία, αποτελεσµατική υπό την έννοια ότι υπολογίζει την παράγωγο f ( x) όσο το δυνατόν λιγότερες φορές. οσµένου ενός διαστήµατος [0, a o] και των τιµών ϕ (0), ϕ (0), ϕ ( a o ) και αν ϕ ( a ) ϕ (0) + c a ϕ (0), δηλαδή είναι γνωστό ότι το διάστηµα (0, a ) περιέχει αποδεκτά µήκη o o βήµατος, σχηµατίζεται µια τετραγωνική προσέγγιση ϕ q( a) της ϕ παρεµβάλλοντας την διαθέσιµη πληροφορία ϕ (0), ϕ (0), ϕ ( ) ως εξής: a o ϕ ( a ) ϕ (0) a ϕ (0) ϕ ϕ ϕ o o q( a) = a + (0) a+ (0) a o o (.) έτσι που να ικανοποιεί τις συνθήκες παρεµβολής: ϕ (0) = ϕ (0), ϕ (0) = ϕ (0) και ϕ ( a ) = ϕ ( a ). Η νέα δοκιµαστική τιµή a ορίζεται ως το σηµείο ελαχίστου της (.) το οποίο είναι: q q q o o ϕ (0) ao a= ( ) (0) (0) [ ϕ ao ϕ ϕ ao] (.) Αν ικανοποιούνται οι αυστηρές συνθήκες Wolfe στο a η έρευνα τερµατίζεται, διαφορετικά κατασκευάζεται µια κυβική συνάρτηση που παρεµβάλλει τα ϕ (0), ϕ (0), ϕ ( ) και ϕ ( a) ως εξής: ϕc a a a aϕ ϕ 3 ( ) = + + (0) + (0) a o όπου a a a ϕ ( a ) ϕ (0) ϕ (0) a o 3 3 b = ao a ( a ao) ao a ϕ ( ao) ϕ (0) ϕ (0) a o (.3) Το σηµείο ελαχίστου a της ϕ c ( a) βρίσκεται στο διάστηµα [0, a ] και δίνεται από:

27 6 b+ b 3 aϕ (0) a= 3a Εάν είναι αναγκαίο, η διαδικασία αυτή επαναλαµβάνεται χρησιµοποιώντας µια κυβική παρεµβολή των ϕ (0), ϕ (0) και των δύο πιο πρόσφατων τιµών της ϕ έως ότου εντοπιστεί ένα µήκος βήµατος a που να ικανοποιεί την σχέση ϕ( a) ϕ(0) + c aϕ (0). Αν κάποιο a είναι είτε πολύ κοντά στο προηγηθέν αυτού a είτε αρκετά µικρότερο απο το a τότε τίθεται a = / έτσι που διασφαλίζεται λογική πρόοδος σε κάθε επανάληψη καθώς επίσης και a το ότι η τελική τιµή του a δεν είναι πολύ µικρή. Μια άλλη πρακτική διαδικασία η οποία περιορίζει το a j από το να είναι αυθαιρέτως κοντά στα ακραία σηµεία του δοσµένου διαστήµατος [ a, b ], είναι να επιλεχθεί το a j έτσι ώστε j τ ( ) τ 3 a [ a+ b a, b ( b a)] µε τυπικές τιµές τ = /0 και τ 3= /.. Μέθοδοι περιοχής εµπιστοσύνης. Οι µεθοδοι της περιοχής εµπιστοσύνης (trust regon methods) χρησιµοποιούν επίσης ένα τετραγωνικό µοντέλο m της συνάρτησης κόστους βασισµένο στο ανάπτυγµα σε σειρά taylor της f γύρω από το τρέχων σηµείο x - όπως και οι µέθοδοι αναζήτησης γραµµής - ωστόσο χρησιµοποιούν το µοντέλο αυτό µε διαφορετικό τρόπο. Το κίνητρο των µεθόδων αυτών είναι να παρακαµφθούν οι δυσκολίες που προκαλούνται από τις µη θετικά ορισµένες µήτρες Hessan στην µέθοδο Newton όπου το Λόγω του ότι το µοντέλο m δεν έχει ένα µοναδικό σηµείο ελαχίστου και η µεθοδος δεν ορίζεται. m ίσως να µην είναι µια καλή προσέγγιση της f οι µέθοδοι αυτές ορίζουν µια περιοχή γύρω από την τρέχουσα επανάληψη µέσα στην οποία εµπιστεύονται το µοντέλο να αποτελεί µια καλή απεικόνιση της αντικειµενικής συνάρτησης και επιλέγουν το βήµα έτσι ώστε να είναι το προσεγγιστικό σηµείο ελαχίστου του µοντέλου αυτού µέσα σε αυτήν την περιοχή. Κατ ουσίαν, η επιλογή της κατεύθυνσης και του µήκους του βήµατος γίνεται ταυτόχρονα. Αν ένα βήµα δεν γίνεται αποδεκτό οι µέθοδοι αυτές µειώνουν το µέγεθος της περιοχής και υπολογίζουν ένα νέο σηµείο ελαχίστου. Το ανάπτυγµα σε σειρά aylor της f γύρω από το x δίνεται από την (.7) και είναι: Το µοντέλο όπου ο πίνακας f ( x+ p) = f+ f p+ p f ( x+ tp) p, t (0,) (.4) m ορίζεται συνήθως να είναι µια τετραγωνική συνάρτηση της µορφής: ( ) m p = f+ f p+ p B p (.5) B είναι είτε η πραγµατική µήτρα Hessan f ή µία προσέγγγιση αυτής. Η διαφορά µεταξύ του µοντέλου m ( p) και της συνάρτησης f ( x+ p) είναι της τάξης του O( p )

28 7 3 και αν B = f το σφάλµα της προσέγγισης στο µοντέλο m ( p ) είναι O( p ) και άρα η προσέγγιση m ( p) είναι ιδιαίτερα ακριβής όταν το p είναι µικρό. Ορισµός. Ορίζουµε µε την ακτίνα της σφαίρας γύρω από την τρέχουσα επανάληψη xστην οποία το τετραγωνικό µοντέλο (.5) αναπαριστά µε ακρίβεια την πραγµατική συνάρτηση f. Η ακτίνα καλείται ακτίνα της περιοχής εµπιστοσύνης και η σφαίρα: ( ) = { x : x x } + + ονοµάζεται περιοχή εµπιστοσύνης. Κάθε υποψήφιο βήµα υπολογίζεται λύνοντας προσεγγιστικά το ακόλουθο υποπρόβληµα: mn ( ) m p = f + f p+ p B p, p n p R (.6) όπου το > 0 δηλώνει την ακτίνα της περιοχής εµπιστοσύνης. Τις περισσότερες φορές η νόρµα είναι η ευκλείδια νόρµα και άρα η λύση p του προβλήµατος (.6) είναι το σηµείο ελαχιστοποίησης του m στη σφαίρα ακτίνας. Αν και η ευκλείδια νόρµα χρησιµοποιείται συχνά σε προβλήµατα βελτιστοποίησης χωρίς περιορισµούς, µπορεί να χρησιµοποιηθεί οποιαδήποτε νόρµα για τον χαρακτηρισµό της περιοχής εµπιστοσύνης. Όταν οι δεύτερες παράγωγοι είναι διαθέσιµες το πρόβληµα είναι ακριβές µε ακρίβεια δεύτερης τάξης όµως µπορεί να χρειαστεί καποιος να διαχειριστεί περιπτώσεις αόριστων µητρών Hessan και µη κυρτά προσεγγιστικά µοντέλα του προβλήµατος. Απ την άλλη µεριά, αν οι δεύτερες παράγωγοι δεν λαµβάνονται υπόψην, χρησιµοποιείται µία προσέγγιση για τον πίνακα B και εποµένως το προσεγγιστικό µοντέλο του προβλήµατος είναι κυρτό αλλά χωρίς την πληροφορία των δεύτερων παραγώγων είναι λιγότερο ακριβές. Όταν ο πίνακας B είναι θετικά ορισµένος η λύση του προβλήµατος (.6) είναι απλά το σηµείο B ελαχίστου χωρίς περιορισµούς p = B f του m ( p) εφόσον B f και αποκαλείται πλήρες βήµα. Σε άλλες περιπτώσεις για την διασφάλιση της σύγκλισης και της καλής απόδοσης στην πράξη µε µικρό υπολογιστικό κόστος, απαιτείται µόνο µια προσεγγιστική λύση. Οι ισοϋψείς γραµµές του τετραγωνικού µοντέλου (.5) µε B = f φαίνονται στο σχήµα.3, στο οποίο απεικονίζονται επίσης οι ισοϋψείς γραµµές της αντικειµενικής συνάρτησης f και η περιοχή εµπιστοσύνης. Κάθε φορά όπου το µέγεθος της περιοχής εµπιστοσύνης διαφοροποιείται, για παράδειγµα κάθε φορά που µειώνεται µετά από µια αποτυχία ενός υποψήφιου βήµατος, το βήµα από το x στο νέο υποψήφιο σηµείο θα είναι πιο σύντοµο, και συνήθως προσανατολίζεται σε διαφορετική κατεύθυνση από το προηγούµενο υποψήφιο βήµα. Η τεχνική της περιοχής εµπιστοσύνης διαφέρει υπό αυτήν την έννοια από τις µεθόδους αναζήτησης γραµµής, οι οποίες παράγουν βήµατα η

29 8 κατεύθυνση των οποίων είναι αµετάβλητη ανεξάρτητα από το µήκος βήµατος. Η προστιθέµενη αυτή ευελιξία οδηγεί σε µεθόδους οι οποίες έχουν ιδιότητες σύγκλισης ανώτερες αυτών των µεθόδων αναζήτησης γραµµής αλλά µε µεγαλύτερο υπολογιστικό κόστος. Κατ ουσίαν, οι µεθοδολογίες αναζήτησης γραµµής και περιοχής εµπιστοσύνης διαφέρουν στην διαδοχή κατά την οποία επιλέγουν την κατεύθυνση έρευνας και την απόσταση µετακίνησης στην επόµενη επανάληψη. Η αναζήτηση γραµµής ξεκινά µε τον καθορισµό της κατεύθυνσης κατόπιν µε τον προσδιορισµό ενός κατάλληλου µήκους βήµατος περιοχής εµπιστοσύνης επιλέγεται πρώτα µια µέγιστη απόσταση-δηλαδή η ακτίνα p και a. Αντιθέτως, στη µεθοδο της της περιοχής εµπιστοσύνης και κατόπιν αναζητείται µια κατεύθυνση έρευνας και ένα βήµα το οποίο πετυχαίνει την καλύτερη δυνατή βελτίωση υπό τον περιορισµό της περιοχής εµπιστοσύνης. Αν το βήµα αυτό αποδειχθεί ότι είναι µη ικανοποιητικό, η απόσταση µειώνεται και επιλύεται πάλι το πρόβληµα. p x p Σχήµα..3 Περιοχές εµπιστοσύνης και κατευθύνσεις έρευνας. Το µέγεθος της περιοχής εµπιστοσύνης είναι κρίσιµο για την αποτελεσµατικότητα κάθε βήµατος. Αν η περιοχή είναι πολύ µικρή ο αλγόριθµος χάνει την ευκαιρία να κάνει ένα ουσιώδες βήµα που θα τον φέρει πολύ πιο κοντά στο σηµείο ελαχίστου. Αν η περιοχή είναι πολύ µεγάλη το σηµείο ελαχιστοποίησης του µοντέλου µπορεί να είναι µακριά απο το σηµείο ελαχιστοποίησης της συνάρτησης κόστους στη περιοχή και εποµένως θα πρέπει να µειωθεί το µέγεθός της και να επιλυθεί ξανά ο αλγόριθµος. Στην πράξη, το µέγεθος της περιοχής εµπιστοσύνης επιλέγεται σύµφωνα µε την απόδοση του αλγόριθµου κατά την διάρκεια προηγούµενων επαναλήψεων. Αν το µοντέλο είναι αξιόπιστο παράγοντας καλά βήµατα και προβλέποντας επακριβώς την συµπεριφορά της συνάρτησης κόστους κατά µήκος αυτών των βηµάτων, το µέγεθος της περιοχής εµπιστοσύνης µπορεί να αυξηθεί έτσι ώστε να επιτρέπει να αναλαµβάνονται πιο µεγαλεπήβολα βήµατα. Ένα αποτυχηµένο βήµα αποτελεί

Μέθοδοι πολυδιάστατης ελαχιστοποίησης

Μέθοδοι πολυδιάστατης ελαχιστοποίησης Μέθοδοι πολυδιάστατης ελαχιστοποίησης με παραγώγους Μέθοδοι πολυδιάστατης ελαχιστοποίησης Δ. Γ. Παπαγεωργίου Τμήμα Μηχανικών Επιστήμης Υλικών Πανεπιστήμιο Ιωαννίνων dpapageo@cc.uoi.gr http://pc64.materials.uoi.gr/dpapageo

Διαβάστε περισσότερα

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Μη γραμμικός προγραμματισμός: βελτιστοποίηση με περιορισμούς Πανεπιστήμιο Θεσσαλίας Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής Διάλεξη 9-10 η /2017 Τι παρουσιάστηκε

Διαβάστε περισσότερα

3 η ΕΝΟΤΗΤΑ ΜΗ ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΕΝΟΣ ΚΡΙΤΗΡΙΟΥ

3 η ΕΝΟΤΗΤΑ ΜΗ ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΕΝΟΣ ΚΡΙΤΗΡΙΟΥ ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΕΜΠ ΕΙΣΑΓΩΓΗ ΣΤΗN ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ 3 η ΕΝΟΤΗΤΑ ΜΗ ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΕΝΟΣ ΚΡΙΤΗΡΙΟΥ Μ. Καρλαύτης Ν. Λαγαρός Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό

Διαβάστε περισσότερα

Μάθημα Επιλογής 8 ου εξαμήνου

Μάθημα Επιλογής 8 ου εξαμήνου EΘNIKO ΜEΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΧΗΜΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΟΜΕΑΣ ΙΙ: Ανάλυσης, Σχεδιασμού & Ανάπτυξης Διεργασιών & Συστημάτων Υπολογιστικές Μέθοδοι Ανάλυσης και Σχεδιασμού Μάθημα Επιλογής 8 ου εξαμήνου Διδάσκων:

Διαβάστε περισσότερα

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Μη γραμμικός προγραμματισμός: βελτιστοποίηση χωρίς περιορισμούς Πανεπιστήμιο Θεσσαλίας Σχολή Θετικών Επιστημών ΤμήμαΠληροφορικής Διάλεξη 7-8 η /2017 Τι παρουσιάστηκε

Διαβάστε περισσότερα

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D.

Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Βασίλειος Μαχαιράς Πολιτικός Μηχανικός Ph.D. Μη γραμμικός προγραμματισμός: μέθοδοι μονοδιάστατης ελαχιστοποίησης Πανεπιστήμιο Θεσσαλίας Σχολή Θετικών Επιστημών ΤμήμαΠληροφορικής Διάλεξη 6 η /2017 Τι παρουσιάστηκε

Διαβάστε περισσότερα

min f(x) x R n b j - g j (x) = s j - b j = 0 g j (x) + s j = 0 - b j ) min L(x, s, λ) x R n λ, s R m L x i = 1, 2,, n (1) m L(x, s, λ) = f(x) +

min f(x) x R n b j - g j (x) = s j - b j = 0 g j (x) + s j = 0 - b j ) min L(x, s, λ) x R n λ, s R m L x i = 1, 2,, n (1) m L(x, s, λ) = f(x) + KΕΦΑΛΑΙΟ 4 Κλασσικές Μέθοδοι Βελτιστοποίησης Με Περιορισµούς Ανισότητες 4. ΠΡΟΒΛΗΜΑΤΑ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ ΑΝΙΣΟΤΗΤΕΣ Ζητούνται οι τιµές των µεταβλητών απόφασης που ελαχιστοποιούν την αντικειµενική συνάρτηση

Διαβάστε περισσότερα

Μέθοδοι μονοδιάστατης ελαχιστοποίησης

Μέθοδοι μονοδιάστατης ελαχιστοποίησης Βασικές αρχές μεθόδων ελαχιστοποίησης Μέθοδοι μονοδιάστατης ελαχιστοποίησης Οι μέθοδοι ελαχιστοποίησης είναι επαναληπτικές. Ξεκινώντας από μια αρχική προσέγγιση του ελαχίστου (την συμβολίζουμε ) παράγουν

Διαβάστε περισσότερα

Μέθοδοι μονοδιάστατης ελαχιστοποίησης

Μέθοδοι μονοδιάστατης ελαχιστοποίησης Βασικές αρχές μεθόδων ελαχιστοποίησης Μέθοδοι μονοδιάστατης ελαχιστοποίησης Οι μέθοδοι ελαχιστοποίησης είναι επαναληπτικές. Ξεκινώντας από μια αρχική προσέγγιση του ελαχίστου (την συμβολίζουμε ) παράγουν

Διαβάστε περισσότερα

Q 12. c 3 Q 23. h 12 + h 23 + h 31 = 0 (6)

Q 12. c 3 Q 23. h 12 + h 23 + h 31 = 0 (6) Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Πολιτικών Μηχανικών Τοµέας Υδατικών Πόρων Μάθηµα: Τυπικά Υδραυλικά Έργα Μέρος 2: ίκτυα διανοµής Άσκηση E0: Μαθηµατική διατύπωση µοντέλου επίλυσης απλού δικτύου διανοµής

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ

ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ ΥΠΕΥΘΥΝΟΣ ΚΑΘΗΓΗΤΗΣ Α. Ντούνης ΔΙΔΑΣΚΩΝ ΑΚΑΔ. ΥΠΟΤΡΟΦΟΣ Χ. Τσιρώνης ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ - Επίλυση ασκήσεων - Αλγόριθμοι αναζήτησης - Επαναληπτική κάθοδος ΕΠΙΛΥΣΗ ΑΣΚΗΣΕΩΝ ΠΡΑΞΗΣ Θα επιλυθούν

Διαβάστε περισσότερα

Κεφ. 3: Παρεμβολή. 3.1 Εισαγωγή. 3.2 Πολυωνυμική παρεμβολή Παρεμβολή Lagrange Παρεμβολή Newton. 3.3 Παρεμβολή με κυβικές splines

Κεφ. 3: Παρεμβολή. 3.1 Εισαγωγή. 3.2 Πολυωνυμική παρεμβολή Παρεμβολή Lagrange Παρεμβολή Newton. 3.3 Παρεμβολή με κυβικές splines Κεφ. 3: Παρεμβολή 3. Εισαγωγή 3. Πολυωνυμική παρεμβολή 3.. Παρεμβολή Lagrage 3.. Παρεμβολή Newto 3.3 Παρεμβολή με κυβικές splies 3.4 Μέθοδος ελαχίστων τετραγώνων 3.5 Παρεμβολή με ορθογώνια πολυώνυμα 3.

Διαβάστε περισσότερα

Αριθμητική εύρεση ριζών μη γραμμικών εξισώσεων

Αριθμητική εύρεση ριζών μη γραμμικών εξισώσεων Αριθμητική εύρεση ριζών μη γραμμικών εξισώσεων Με τον όρο μη γραμμικές εξισώσεις εννοούμε εξισώσεις της μορφής: f( ) 0 που προέρχονται από συναρτήσεις f () που είναι μη γραμμικές ως προς. Περιέχουν δηλαδή

Διαβάστε περισσότερα

Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος

Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος Χιωτίδης Γεώργιος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Κεφ. 7: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Κεφ. 7: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών Κεφ. 7: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών 7. Εισαγωγή (ορισμός προβλήματος, αριθμητική ολοκλήρωση ΣΔΕ, αντικατάσταση ΣΔΕ τάξης n με n εξισώσεις ης τάξης) 7. Μέθοδος Euler 7.3

Διαβάστε περισσότερα

min f(x) x R n (1) x g (2)

min f(x) x R n (1) x g (2) KΕΦΑΛΑΙΟ Κλασσικές Μέθοδοι Βελτιστοποίησης Με Περιορισµούς Ισότητες. ΠΡΟΒΛΗΜΑΤΑ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ ΙΣΟΤΗΤΕΣ Ζητούνται οι τιµές των µεταβλητών απόφασης που ελαχιστοποιούν την αντικειµενική συνάρτηση κάτω από

Διαβάστε περισσότερα

Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών. Εισαγωγή (ορισμός προβλήματος, αριθμητική ολοκλήρωση ΣΔΕ, αντικατάσταση ΣΔΕ τάξης n με n εξισώσεις ης τάξης). Μέθοδος Euler 3. Μέθοδοι

Διαβάστε περισσότερα

ΠΡΟΒΛΗΜΑΤΑ ΕΛΑΧΙΣΤΟΠΟΙΗΣΗΣ

ΠΡΟΒΛΗΜΑΤΑ ΕΛΑΧΙΣΤΟΠΟΙΗΣΗΣ ΠΡΟΒΛΗΜΑΤΑ ΕΛΑΧΙΣΤΟΠΟΙΗΣΗΣ Ελαχιστοποίηση κόστους διατροφής Ηεπιχείρηση ζωοτροφών ΒΙΟΤΡΟΦΕΣ εξασφάλισε µια ειδική παραγγελίααπό έναν πελάτη της για την παρασκευή 1.000 κιλών ζωοτροφής, η οποία θα πρέπει

Διαβάστε περισσότερα

Χρήστος Ι. Σχοινάς Αν. Καθηγητής ΔΠΘ. Συμπληρωματικές σημειώσεις για το μάθημα: «Επιχειρησιακή Έρευνα ΙΙ»

Χρήστος Ι. Σχοινάς Αν. Καθηγητής ΔΠΘ. Συμπληρωματικές σημειώσεις για το μάθημα: «Επιχειρησιακή Έρευνα ΙΙ» Χρήστος Ι. Σχοινάς Αν. Καθηγητής ΔΠΘ Συμπληρωματικές σημειώσεις για το μάθημα: «Επιχειρησιακή Έρευνα ΙΙ» 2 ΔΥΝΑΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Προβλήματα ελάχιστης συνεκτικότητας δικτύου Το πρόβλημα της ελάχιστης

Διαβάστε περισσότερα

Μαθηματικά. Ενότητα 2: Διαφορικός Λογισμός. Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

Μαθηματικά. Ενότητα 2: Διαφορικός Λογισμός. Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη) Μαθηματικά Ενότητα 2: Διαφορικός Λογισμός Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Γραμμικός Προγραμματισμός Μέθοδος Simplex

Γραμμικός Προγραμματισμός Μέθοδος Simplex ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Επιχειρησιακή Έρευνα Γραμμικός Προγραμματισμός Μέθοδος Simplex Η παρουσίαση προετοιμάστηκε από τον Ν.Α. Παναγιώτου Περιεχόμενα Παρουσίασης 1. Πρότυπη Μορφή ΓΠ 2. Πινακοποίηση

Διαβάστε περισσότερα

Σημειώσεις για το μάθημα Υπολογιστικές μέθοδοι πολύπλοκων συστημάτων

Σημειώσεις για το μάθημα Υπολογιστικές μέθοδοι πολύπλοκων συστημάτων ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΕΠΙΣΤΗΜΗΣ ΥΛΙΚΩΝ Σημειώσεις για το μάθημα Υπολογιστικές μέθοδοι πολύπλοκων συστημάτων Δ. Γ. Παπαγεωργίου ΙΩΑΝΝΙΝΑ 2016 Περιεχόμενα 1 Εισαγωγή 5 1.1 Ιστορική αναδρομή.....................................

Διαβάστε περισσότερα

ΜΕΜ251 Αριθμητική Ανάλυση

ΜΕΜ251 Αριθμητική Ανάλυση ΜΕΜ251 Αριθμητική Ανάλυση Διάλεξη 03, 12 Φεβρουαρίου 2018 Μιχάλης Πλεξουσάκης Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών Περιεχόμενα 1. Επαναληπτικές μέθοδοι - Γενική θεωρία 2. Η μέθοδος του Newton

Διαβάστε περισσότερα

Κεφ. 2: Επίλυση συστημάτων εξισώσεων. 2.1 Επίλυση εξισώσεων

Κεφ. 2: Επίλυση συστημάτων εξισώσεων. 2.1 Επίλυση εξισώσεων Κεφ. : Επίλυση συστημάτων εξισώσεων. Επίλυση εξισώσεων. Επίλυση συστημάτων με απευθείας μεθόδους.. Μέθοδοι Gauss, Gauss-Jorda.. Παραγοντοποίηση LU (ειδικές περιπτώσεις: Cholesky, Thomas).. Νόρμες πινάκων,

Διαβάστε περισσότερα

x k+1 = x k + α k (x k ) ώστε f(x k+1 ) < f(x k ),

x k+1 = x k + α k (x k ) ώστε f(x k+1 ) < f(x k ), KΕΦΑΛΑΙΟ 5 Υπολογιστικές Μέθοδοι Βελτιστοποίησης Χωρίς Περιορισµούς 5.1 ΕΙΣΑΓΩΓΗ Ζητούνται οι τιµές των µεταβλητών απόφασης που ελαχιστοποιούν την αντικειµενική συνάρτηση min f(x) x R n x Στα περισσότερα

Διαβάστε περισσότερα

αx αx αx αx 2 αx = α e } 2 x x x dx καλείται η παραβολική συνάρτηση η οποία στο x

αx αx αx αx 2 αx = α e } 2 x x x dx καλείται η παραβολική συνάρτηση η οποία στο x A3. ΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ. εύτερη παράγωγος.παραβολική προσέγγιση ή επέκταση 3.Κυρτή 4.Κοίλη 5.Ιδιότητες κυρτών/κοίλων συναρτήσεων 6.Σηµεία καµπής ΠΑΡΑΡΤΗΜΑ 7. εύτερη πλεγµένη παραγώγιση 8.Χαρακτηρισµός

Διαβάστε περισσότερα

Τα περισσότερα προβλήματα βελτιστοποίησης είναι με περιορισμούς, αλλά οι μέθοδοι επίλυσης χωρίς περιορισμούς έχουν γενικό ενδιαφέρον.

Τα περισσότερα προβλήματα βελτιστοποίησης είναι με περιορισμούς, αλλά οι μέθοδοι επίλυσης χωρίς περιορισμούς έχουν γενικό ενδιαφέρον. ΜΗ ΓΡΑΜΜΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΧΩΡΙΣ ΠΕΡΙΟΡΙΣΜΟΥΣ Τα περισσότερα προβλήματα βελτιστοποίησης είναι με περιορισμούς, αλλά οι μέθοδοι επίλυσης χωρίς περιορισμούς έχουν γενικό ενδιαφέρον. Μέθοδοι που απαιτούν

Διαβάστε περισσότερα

α & β spatial orbitals in

α & β spatial orbitals in The atrx Hartree-Fock equatons The most common method of solvng the Hartree-Fock equatons f the spatal btals s to expand them n terms of known functons, { χ µ } µ= consder the spn-unrestrcted case. We

Διαβάστε περισσότερα

Κλασικη ιαφορικη Γεωµετρια

Κλασικη ιαφορικη Γεωµετρια Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Σχολη Θετικων Επιστηµων, Τµηµα Μαθηµατικων, Τοµεας Γεωµετριας Κλασικη ιαφορικη Γεωµετρια Πρώτη Εργασία, 2018-19 1 Προαπαιτούµενες γνώσεις και ϐασική προετοιµασία

Διαβάστε περισσότερα

ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, , 3 ο ΕΞΑΜΗΝΟ ΑΠΑΝΤΗΣΕΙΣ ΕΡΓΑΣΙΑΣ #1: ΑΡΙΘΜΗΤΙΚΗ ΚΙΝΗΤΗΣ ΥΠΟ ΙΑΣΤΟΛΗΣ ΚΑΙ ΡΙΖΕΣ ΕΞΙΣΩΣΕΩΝ ΕΠΙΜΕΛΕΙΑ: Σ.

ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, , 3 ο ΕΞΑΜΗΝΟ ΑΠΑΝΤΗΣΕΙΣ ΕΡΓΑΣΙΑΣ #1: ΑΡΙΘΜΗΤΙΚΗ ΚΙΝΗΤΗΣ ΥΠΟ ΙΑΣΤΟΛΗΣ ΚΑΙ ΡΙΖΕΣ ΕΞΙΣΩΣΕΩΝ ΕΠΙΜΕΛΕΙΑ: Σ. ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, 005-06, 3 ο ΕΞΑΜΗΝΟ ΑΠΑΝΤΗΣΕΙΣ ΕΡΓΑΣΙΑΣ #: ΑΡΙΘΜΗΤΙΚΗ ΚΙΝΗΤΗΣ ΥΠΟ ΙΑΣΤΟΛΗΣ ΚΑΙ ΡΙΖΕΣ ΕΞΙΣΩΣΕΩΝ ΕΠΙΜΕΛΕΙΑ: Σ. Βαρούτης. Πως ορίζεται και τι σηµαίνει ο όρος lop στους επιστηµονικούς υπολογισµούς.

Διαβάστε περισσότερα

Σημειώσεις διαλέξεων: Βελτιστοποίηση πολυδιάστατων συνεχών συναρτήσεων 1 / 20

Σημειώσεις διαλέξεων: Βελτιστοποίηση πολυδιάστατων συνεχών συναρτήσεων 1 / 20 Σημειώσεις διαλέξεων: Βελτιστοποίηση πολυδιάστατων συνεχών συναρτήσεων Ισαάκ Η Λαγαρής 1 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιον Ιωαννίνων 1 Με υλικό από το υπό προετοιμασία βιβλίο των: Βόγκλη,

Διαβάστε περισσότερα

Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ. 3.1 Η έννοια της παραγώγου. y = f(x) f(x 0 ), = f(x 0 + x) f(x 0 )

Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ. 3.1 Η έννοια της παραγώγου. y = f(x) f(x 0 ), = f(x 0 + x) f(x 0 ) Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ 3.1 Η έννοια της παραγώγου Εστω y = f(x) µία συνάρτηση, που συνδέει τις µεταβλητές ποσότητες x και y. Ενα ερώτηµα που µπορεί να προκύψει καθώς µελετούµε τις δύο αυτές ποσοτήτες είναι

Διαβάστε περισσότερα

15 εκεµβρίου εκεµβρίου / 64

15 εκεµβρίου εκεµβρίου / 64 15 εκεµβρίου 016 15 εκεµβρίου 016 1 / 64 Αριθµητική Ολοκλήρωση Κλειστοί τύποι αριθµητικής ολοκλήρωσης Εστω I(f) = b µε f(x) C[a, b], τότε I(f) = F(b) F(a), όπου F(x) είναι το αόριστο ολοκλήρωµα της f(x).

Διαβάστε περισσότερα

ΑΡΙΣΤΕΣ ΤΙΜΕΣ ΚΑΙ ΑΚΡΟΤΑΤΕΣ ΤΙΜΕΣ

ΑΡΙΣΤΕΣ ΤΙΜΕΣ ΚΑΙ ΑΚΡΟΤΑΤΕΣ ΤΙΜΕΣ ΑΡΙΣΤΕΣ ΤΙΜΕΣ ΚΑΙ ΑΚΡΟΤΑΤΕΣ ΤΙΜΕΣ Κοινό κριτήριο επιλογής µεταξύ εναλλακτικών τρόπων παραγωγής είναι η µεγιστοποίηση (κέρδος ήηελαχιστοποίηση (κόστος κάποιου µεγέθους. Αυτά τα προβλήµατα µεγιστοποίησης

Διαβάστε περισσότερα

Αριθµητική Ολοκλήρωση

Αριθµητική Ολοκλήρωση Κεφάλαιο 5 Αριθµητική Ολοκλήρωση 5. Εισαγωγή Για τη συντριπτική πλειοψηφία των συναρτήσεων f (x) δεν υπάρχουν ή είναι πολύ δύσχρηστοι οι τύποι της αντιπαραγώγου της f (x), δηλαδή της F(x) η οποία ικανοποιεί

Διαβάστε περισσότερα

1. ΣΤΑΤΙΚΗ ΑΡΙΣΤΟΠΟΙΗΣΗ

1. ΣΤΑΤΙΚΗ ΑΡΙΣΤΟΠΟΙΗΣΗ . ΣΤΑΤΙΚΗ ΑΡΙΣΤΟΠΟΙΗΣΗ. Μέγιστα και Ελάχιστα Συναρτήσεων Χωρίς Περιορισμούς Συναρτήσεις μιας Μεταβλητής Εστω f ( x) είναι συνάρτηση μιας μόνο μεταβλητής. Εστω επίσης ότι x είναι ένα σημείο στο πεδίο ορισμού

Διαβάστε περισσότερα

ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΤΗΣ ΜΕΘΟΔΟΥ SIMPLEX

ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΤΗΣ ΜΕΘΟΔΟΥ SIMPLEX ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΤΗΣ ΜΕΘΟΔΟΥ SIMPLEX Θεμελιώδης αλγόριθμος επίλυσης προβλημάτων Γραμμικού Προγραμματισμού που κάνει χρήση της θεωρίας της Γραμμικής Άλγεβρας Προτάθηκε από το Dantzig (1947) και πλέον

Διαβάστε περισσότερα

III.9 ΑΚΡΟΤΑΤΑ ΣΕ ΠΕΡΙΟΧΗ

III.9 ΑΚΡΟΤΑΤΑ ΣΕ ΠΕΡΙΟΧΗ III.9 ΑΚΡΟΤΑΤΑ ΣΕ ΠΕΡΙΟΧΗ.Ολικά και τοπικά ακρότατα..εσωτερικά και συνοριακά ακρότατα 3.Χωριζόμενες μεταβλητές 4.Συνθήκες για ακρότατα 5.Ολικά ακρότατα κυρτών/κοίλων συναρτήσεων 6.Περισσότερες μεταβλητές.

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 4

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 4 ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΕΡΓΑΣΙΑ 4 Ηµεροµηνία αποστολής στον φοιτητή: 9 Φεβρουαρίου 5. Τελική ηµεροµηνία αποστολής από τον φοιτητή: Μαρτίου 5.

Διαβάστε περισσότερα

ΘΕΜΑ 2ο. Άσκηση εφαρµογής της µεθόδου Newton Raphson

ΘΕΜΑ 2ο. Άσκηση εφαρµογής της µεθόδου Newton Raphson ΘΕΜΑ 2ο Άσκηση εφαρµογής της µεθόδου Newton Raphson Θέµα 2: Η ακόλουθη αντίδραση πραγµατοποιείται σε έναν αντιδραστήρα αέριας φάσης: H 2 S+O 2 H 2 +SO 2 Όταν το σύστηµα φτάσει σε ισορροπία στους 600Κ και

Διαβάστε περισσότερα

A Τελική Εξέταση του μαθήματος «Αριθμητική Ανάλυση» Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Πανεπιστήμιο Αιγαίου

A Τελική Εξέταση του μαθήματος «Αριθμητική Ανάλυση» Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Πανεπιστήμιο Αιγαίου A Τελική Εξέταση του μαθήματος «Αριθμητική Ανάλυση» Εξεταστική περίοδος Ιουνίου 6, Διδάσκων: Κώστας Χουσιάδας Διάρκεια εξέτασης: ώρες (Σε παρένθεση δίνεται η βαθμολογική αξία κάθε υπο-ερωτήματος. Σύνολο

Διαβάστε περισσότερα

I.3 ΔΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ

I.3 ΔΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ I.3 ΔΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ.Δεύτερη παράγωγος.κυρτή 3.Κοίλη 4.Ιδιότητες κυρτών/κοίλων συναρτήσεων 5.Σημεία καμπής 6.Παραβολική προσέγγιση(επέκταση) ΠΑΡΑΡΤΗΜΑ 7.Δεύτερη πλεγμένη παραγώγιση 8.Χαρακτηρισμός

Διαβάστε περισσότερα

ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014

ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014 ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014 Περιεχόμενα 1 Εισαγωγή 2 2 Μεγιστικός τελέστης στην μπάλα 2 2.1 Βασικό θεώρημα........................ 2 2.2 Γενική περίπτωση μπάλας.................. 6 2.2.1 Στο

Διαβάστε περισσότερα

Άσκηση εφαρμογής της μεθόδου Newton Raphson

Άσκηση εφαρμογής της μεθόδου Newton Raphson Άσκηση εφαρμογής της μεθόδου Newton Raphson Η ακόλουθη αντίδραση πραγματοποιείται σε έναν αντιδραστήρα αέριας φάσης: H 2 S+O 2 H 2 +SO 2 Όταν το σύστημα φτάσει σε ισορροπία στους 600Κ και 10 atm, τα μοριακά

Διαβάστε περισσότερα

ΜΑΣ 371: Αριθμητική Ανάλυση ΙI ΑΣΚΗΣΕΙΣ. 1. Να βρεθεί το πολυώνυμο Lagrange για τα σημεία (0, 1), (1, 2) και (4, 2).

ΜΑΣ 371: Αριθμητική Ανάλυση ΙI ΑΣΚΗΣΕΙΣ. 1. Να βρεθεί το πολυώνυμο Lagrange για τα σημεία (0, 1), (1, 2) και (4, 2). ΜΑΣ 37: Αριθμητική Ανάλυση ΙI ΑΣΚΗΣΕΙΣ Να βρεθεί το πολυώνυμο Lagrage για τα σημεία (, ), (, ) και (4, ) Να βρεθεί το πολυώνυμο παρεμβολής Lagrage που προσεγγίζει τη συνάρτηση 3 f ( x) si x στους κόμβους

Διαβάστε περισσότερα

One and two particle density matrices for single determinant HF wavefunctions. (1) = φ 2. )β(1) ( ) ) + β(1)β * β. (1)ρ RHF

One and two particle density matrices for single determinant HF wavefunctions. (1) = φ 2. )β(1) ( ) ) + β(1)β * β. (1)ρ RHF One and two partcle densty matrces for sngle determnant HF wavefunctons One partcle densty matrx Gven the Hartree-Fock wavefuncton ψ (,,3,!, = Âϕ (ϕ (ϕ (3!ϕ ( 3 The electronc energy s ψ H ψ = ϕ ( f ( ϕ

Διαβάστε περισσότερα

ΔΕΙΓΜΑ ΠΡΙΝ ΤΙΣ ΔΙΟΡΘΩΣΕΙΣ - ΕΚΔΟΣΕΙΣ ΚΡΙΤΙΚΗ

ΔΕΙΓΜΑ ΠΡΙΝ ΤΙΣ ΔΙΟΡΘΩΣΕΙΣ - ΕΚΔΟΣΕΙΣ ΚΡΙΤΙΚΗ Συναρτήσεις Προεπισκόπηση Κεφαλαίου Τα μαθηματικά είναι μια γλώσσα με ένα συγκεκριμένο λεξιλόγιο και πολλούς κανόνες. Πριν ξεκινήσετε το ταξίδι σας στον Απειροστικό Λογισμό, θα πρέπει να έχετε εξοικειωθεί

Διαβάστε περισσότερα

Για την κατανόηση της ύλης αυτής θα συμβουλευθείτε επίσης το: βοηθητικό υλικό που υπάρχει στη

Για την κατανόηση της ύλης αυτής θα συμβουλευθείτε επίσης το: βοηθητικό υλικό που υπάρχει στη ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΕΡΓΑΣΙΑ 4 η Ημερομηνία Αποστολής στον Φοιτητή: Φεβρουαρίου Ημερομηνία παράδοσης της Εργασίας: 6 Μαρτίου Πριν από την λύση κάθε άσκησης καλό είναι να

Διαβάστε περισσότερα

Γραφική Λύση & Πρότυπη Μορφή Μαθηματικού Μοντέλου

Γραφική Λύση & Πρότυπη Μορφή Μαθηματικού Μοντέλου ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Επιχειρησιακή Έρευνα Γραφική Λύση & Πρότυπη Μορφή Μαθηματικού Μοντέλου Η παρουσίαση προετοιμάστηκε από τον Ν.Α. Παναγιώτου Περιεχόμενα Παρουσίασης 1. Προϋποθέσεις Εφαρμογής

Διαβάστε περισσότερα

Εκπαίδευση ΤΝΔ με ελαχιστοποίηση του τετραγωνικού σφάλματος εκπαίδευσης. "Τεχνητά Νευρωνικά Δίκτυα" (Διαφάνειες), Α. Λύκας, Παν.

Εκπαίδευση ΤΝΔ με ελαχιστοποίηση του τετραγωνικού σφάλματος εκπαίδευσης. Τεχνητά Νευρωνικά Δίκτυα (Διαφάνειες), Α. Λύκας, Παν. Εκπαίδευση ΤΝΔ με ελαχιστοποίηση του τετραγωνικού σφάλματος εκπαίδευσης Ελαχιστοποίηση συνάρτησης σφάλματος Εκπαίδευση ΤΝΔ: μπορεί να διατυπωθεί ως πρόβλημα ελαχιστοποίησης μιας συνάρτησης σφάλματος E(w)

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 4 ΑΡΙΘΜΗΤΙΚΕΣ ΜΕΘΟ ΟΙ ΕΥΡΕΣΗΣ ΠΡΑΓΜΑΤΙΚΩΝ Ι ΙΟΤΙΜΩΝ. 4.1 Γραµµικοί µετασχηµατισµοί-ιδιοτιµές-ιδιοδιανύσµατα

ΚΕΦΑΛΑΙΟ 4 ΑΡΙΘΜΗΤΙΚΕΣ ΜΕΘΟ ΟΙ ΕΥΡΕΣΗΣ ΠΡΑΓΜΑΤΙΚΩΝ Ι ΙΟΤΙΜΩΝ. 4.1 Γραµµικοί µετασχηµατισµοί-ιδιοτιµές-ιδιοδιανύσµατα ΚΕΦΑΛΑΙΟ 4 ΑΡΙΘΜΗΤΙΚΕΣ ΜΕΘΟ ΟΙ ΕΥΡΕΣΗΣ ΠΡΑΓΜΑΤΙΚΩΝ Ι ΙΟΤΙΜΩΝ 4. Γραµµικοί µετασχηµατισµοί-ιδιοτιµές-ιδιοδιανύσµατα Εστω R είναι ο γνωστός -διάστατος πραγµατικός διανυσµατικός χώρος. Μία απεικόνιση L :

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΜΑΘΗΜΑΤΙΚΑ Ι 22Νοεμβρίου 2015 ΑΥΞΟΥΣΕΣ ΦΘΙΝΟΥΣΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Αν μια συνάρτηση f ορίζεται σε ένα διάστημα

Διαβάστε περισσότερα

Τμήμα Μηχανικών Πληροφορικής ΤΕ Η μέθοδος Simplex. Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. τελευταία ενημέρωση: 19/01/2017

Τμήμα Μηχανικών Πληροφορικής ΤΕ Η μέθοδος Simplex. Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. τελευταία ενημέρωση: 19/01/2017 Τμήμα Μηχανικών Πληροφορικής ΤΕ 2016-2017 Η μέθοδος Simplex Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα τελευταία ενημέρωση: 19/01/2017 1 Πλεονεκτήματα Η μέθοδος Simplex Η μέθοδος Simplex είναι μια

Διαβάστε περισσότερα

Υπολογιστικές Μέθοδοι στις Κατασκευές

Υπολογιστικές Μέθοδοι στις Κατασκευές Γενικά Για Τη Βελτιστοποίηση Η βελτιστοποίηση µπορεί να χωριστεί σε δύο µεγάλες κατηγορίες: α) την Βελτιστοποίηση Τοπολογίας (Topological Optimization) και β) την Βελτιστοποίηση Σχεδίασης (Design Optimization).

Διαβάστε περισσότερα

2.1 Αριθμητική επίλυση εξισώσεων

2.1 Αριθμητική επίλυση εξισώσεων . Αριθμητική επίλυση εξισώσεων Στο κεφάλαιο αυτό διαπραγματεύεται μεθόδους εύρεσης των ριζών εξισώσεων γραμμικών ή μη-γραμμικών για τις οποίες δεν υπάρχουν αναλυτικές 5 4 3 εκφράσεις. Παραδείγματα εξισώσεων

Διαβάστε περισσότερα

Η ΑΡΧΗ ΤΟΥ ΜΕΓΙΣΤΟΥ ΚΑΙ ΒΑΣΙΚΕΣ ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΣΤΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

Η ΑΡΧΗ ΤΟΥ ΜΕΓΙΣΤΟΥ ΚΑΙ ΒΑΣΙΚΕΣ ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΣΤΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Πανεπιστήμιο Αιγαίου, Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Σάμος 2017 Η ΑΡΧΗ ΤΟΥ ΜΕΓΙΣΤΟΥ ΚΑΙ ΒΑΣΙΚΕΣ ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΣΤΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Η Διπλωματική Εργασία παρουσιάστηκε ενώπιον του Διδακτικού

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) TEΛΙΚΕΣ ΕΞΕΤΑΣΕΙΣ 8 Ιουνίου 005 Από τα κάτωι Θέµατα καλείσε να λύσετε το ο που περιλαµβάνει ερωτήµατα από όλη την ύλη

Διαβάστε περισσότερα

Κεφ. 3: Παρεμβολή. 3.1 Εισαγωγή. 3.2 Πολυωνυμική παρεμβολή Παρεμβολή Lagrange Παρεμβολή Newton. 3.3 Παρεμβολή με κυβικές splines

Κεφ. 3: Παρεμβολή. 3.1 Εισαγωγή. 3.2 Πολυωνυμική παρεμβολή Παρεμβολή Lagrange Παρεμβολή Newton. 3.3 Παρεμβολή με κυβικές splines Κεφ. 3: Παρεμβολή 3. Εισαγωγή 3. Πολυωνυμική παρεμβολή 3.. Παρεμβολή Lagrage 3.. Παρεμβολή Newto 3.3 Παρεμβολή με κυβικές splies 3.4 Μέθοδος ελαχίστων τετραγώνων 3.5 Παρεμβολή με ορθογώνια πολυώνυμα 3.

Διαβάστε περισσότερα

A2. ΠΑΡΑΓΩΓΟΣ-ΚΛΙΣΗ-ΜΟΝΟΤΟΝΙΑ

A2. ΠΑΡΑΓΩΓΟΣ-ΚΛΙΣΗ-ΜΟΝΟΤΟΝΙΑ A. ΠΑΡΑΓΩΓΟΣ-ΚΛΙΣΗ-ΜΟΝΟΤΟΝΙΑ d df() = f() = f (), = d d.κλίση ευθείας.μεταβολές 3.(Οριακός) ρυθµός µεταβολής ή παράγωγος 4.Παράγωγοι βασικών συναρτήσεων 5. Κανόνες παραγώγισης 6.Αλυσωτή παράγωγος 7.Μονοτονία

Διαβάστε περισσότερα

Αριθμητική Ανάλυση και Εφαρμογές

Αριθμητική Ανάλυση και Εφαρμογές Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08 Πεπερασμένες και Διαιρεμένες Διαφορές Εισαγωγή Θα εισάγουμε την έννοια των διαφορών με ένα

Διαβάστε περισσότερα

Η μέθοδος Simplex. Γεωργία Φουτσιτζή-Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. Τμήμα Μηχανικών Πληροφορικής ΤΕ

Η μέθοδος Simplex. Γεωργία Φουτσιτζή-Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα. Τμήμα Μηχανικών Πληροφορικής ΤΕ Τμήμα Μηχανικών Πληροφορικής ΤΕ 2017-2018 Η μέθοδος Simplex Γεωργία Φουτσιτζή-Γκόγκος Χρήστος ΤΕΙ Ηπείρου Επιχειρησιακή Έρευνα τελευταία ενημέρωση: 19/01/2017 1 Πλεονεκτήματα Η μέθοδος Simplex Η μέθοδος

Διαβάστε περισσότερα

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑΤΙΚΑ Ι ΕΡΓΑΣΙΑ 6 ΛΥΣΕΙΣ

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑΤΙΚΑ Ι ΕΡΓΑΣΙΑ 6 ΛΥΣΕΙΣ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ 00- ΜΑΘΗΜΑΤΙΚΑ Ι ΕΡΓΑΣΙΑ 6 ΛΥΣΕΙΣ. (5 µον.) ίνεται ο πίνακας 0 0 A. 0 (α) (α) Να βρεθούν όλες οι ιδιοτιµές και τα ιδιοδιανύσµατα του πίνακα Α. (β) Είναι δυνατή η διαγωνιοποίηση

Διαβάστε περισσότερα

Αριθμητικές Μέθοδοι σε Προγραμματιστικό Περιβάλλον

Αριθμητικές Μέθοδοι σε Προγραμματιστικό Περιβάλλον Τμήμα Μηχανικών Πληροφορικής Αριθμητικές Μέθοδοι σε Προγραμματιστικό Περιβάλλον Δρ. Δημήτρης Βαρσάμης Επίκουρος Καθηγητής Οκτώβριος 2014 Δρ. Δημήτρης Βαρσάμης Οκτώβριος 2014 1 / 42 Αριθμητικές Μέθοδοι

Διαβάστε περισσότερα

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η Έστω Κλίση και επιφάνειες στάθµης µιας συνάρτησης ανοικτό και σταθερά ( µε κ f ( ) ορίζει µια επιφάνεια S στον f : ) τότε η εξίσωση, ονοµάζεται συνήθως επιφάνεια στάθµης της f. εξίσωση, C συνάρτηση. Αν

Διαβάστε περισσότερα

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η Έστω Κλίση και επιφάνειες στάθµης µιας συνάρτησης ανοικτό και σταθερά ( µε κ f ( ) ορίζει µια επιφάνεια S στον f : ) τότε η εξίσωση, ονοµάζεται συνήθως επιφάνεια στάθµης της f. εξίσωση, C συνάρτηση. Αν

Διαβάστε περισσότερα

m 1 min f = x ij 0 (8.4) b j (8.5) a i = 1

m 1 min f = x ij 0 (8.4) b j (8.5) a i = 1 KΕΦΑΛΑΙΟ 8 Προβλήµατα Μεταφοράς και Ανάθεσης 8. ΕΙΣΑΓΩΓΗ Μια ειδική κατηγορία προβληµάτων γραµµικού προγραµµατισµού είναι τα προβλήµατα µεταφοράς (Π.Μ.), στα οποία επιζητείται η ελαχιστοποίηση του κόστους

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ 12) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ 3

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ 12) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ 3 ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ ) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ Άσκηση. ( µον.). Έστω z ο µιγαδικός αριθµός z i, µε, R. (α) ίνεται η εξίσωση: z

Διαβάστε περισσότερα

II.6 ΙΣΟΣΤΑΘΜΙΚΕΣ. 1. Γραφήματα-Επιφάνειες: z= 2. Γραμμική προσέγγιση-εφαπτόμενο επίπεδο. 3. Ισοσταθμικές: f(x, y) = c

II.6 ΙΣΟΣΤΑΘΜΙΚΕΣ. 1. Γραφήματα-Επιφάνειες: z= 2. Γραμμική προσέγγιση-εφαπτόμενο επίπεδο. 3. Ισοσταθμικές: f(x, y) = c II.6 ΙΣΟΣΤΑΘΜΙΚΕΣ.Γραφήματα-Επιφάνειες.Γραμμική προσέγγιση-εφαπτόμενο επίπεδο 3.Ισοσταθμικές 4.Κλίση ισοσταθμικών 5.Διανυσματική ή Ιακωβιανή παράγωγος 6.Ιδιότητες των ισοσταθμικών 7.κυρτότητα των ισοσταθμικών

Διαβάστε περισσότερα

Αριθµητική Ανάλυση 1 εκεµβρίου / 43

Αριθµητική Ανάλυση 1 εκεµβρίου / 43 Αριθµητική Ανάλυση 1 εκεµβρίου 2014 Αριθµητική Ανάλυση 1 εκεµβρίου 2014 1 / 43 Κεφ.5. Αριθµητικός Υπολογισµός Ιδιοτιµών και Ιδιοδιανυσµάτων ίνεται ένας πίνακας A C n n και Ϲητούνται να προσδιορισθούν οι

Διαβάστε περισσότερα

Τετραγωνικά μοντέλα. Τετραγωνικό μοντέλο συνάρτησης. Παράδειγμα τετραγωνικού μοντέλου #1. Παράδειγμα τετραγωνικού μοντέλου #1

Τετραγωνικά μοντέλα. Τετραγωνικό μοντέλο συνάρτησης. Παράδειγμα τετραγωνικού μοντέλου #1. Παράδειγμα τετραγωνικού μοντέλου #1 Τετραγωνικό μοντέλο συνάρτησης Τετραγωνικά μοντέλα Δ. Γ. Παπαγεωργίου Τμήμα Μηχανικών Επιστήμης Υλικών Πανεπιστήμιο Ιωαννίνων dpapageo@cc.uoi.gr http://pc64.materials.uoi.gr/dpapageo Για συνάρτηση μιας

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) TEΛΙΚΕΣ ΕΞΕΤΑΣΕΙΣ 4 Ιουνίου 7 Από τα κάτωθι Θέµατα καλείστε να λύσετε το ο που περιλαµβάνει ερωτήµατα από όλη την ύλη

Διαβάστε περισσότερα

Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ)

Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ) Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ) ΜΙΧΑΛΗΣ ΤΖΟΥΜΑΣ ΕΣΠΟΤΑΤΟΥ 3 ΑΓΡΙΝΙΟ. ΠΕΡΙΛΗΨΗ Η έννοια της συνάρτησης είναι στενά συνυφασµένη µε τον πίνακα τιµών και τη γραφική παράσταση.

Διαβάστε περισσότερα

Αριθμητική Ανάλυση και Εφαρμογές

Αριθμητική Ανάλυση και Εφαρμογές Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08 Αριθμητική Παραγώγιση Εισαγωγή Ορισμός 7. Αν y f x είναι μια συνάρτηση ορισμένη σε ένα διάστημα

Διαβάστε περισσότερα

4.3. Γραµµικοί ταξινοµητές

4.3. Γραµµικοί ταξινοµητές Γραµµικοί ταξινοµητές Γραµµικός ταξινοµητής είναι ένα σύστηµα ταξινόµησης που χρησιµοποιεί γραµµικές διακριτικές συναρτήσεις Οι ταξινοµητές αυτοί αναπαρίστανται συχνά µε οµάδες κόµβων εντός των οποίων

Διαβάστε περισσότερα

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX ΚΕΦΑΛΑΙΟ 3 ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX 3.1 Εισαγωγή Ο αλγόριθμος Simplex θεωρείται πλέον ως ένας κλασικός αλγόριθμος για την επίλυση γραμμικών προβλημάτων. Η πρακτική αποτελεσματικότητά του έχει

Διαβάστε περισσότερα

I.3 ΔΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ

I.3 ΔΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ I.3 ΔΕΥΤΕΡΗ ΠΑΡΑΓΩΓΟΣ-ΚΥΡΤΟΤΗΤΑ.Δεύτερη παράγωγος.παραβολική προσέγγιση ή επέκταση 3.Κυρτή 4.Κοίλη 5.Ιδιότητες κυρτών/κοίλων συναρτήσεων 6.Σημεία καμπής ΠΑΡΑΡΤΗΜΑ 7.Δεύτερη πλεγμένη παραγώγιση 8.Χαρακτηρισμός

Διαβάστε περισσότερα

ΠΡΟΒΛΗΜΑΤΑ ΜΕΤΑΦΟΡΑΣ

ΠΡΟΒΛΗΜΑΤΑ ΜΕΤΑΦΟΡΑΣ (Transportation Problems) Βασίλης Κώστογλου E-mail: vkostogl@it.teithe.gr URL: www.it.teithe.gr/~vkostogl Περιγραφή Ένα πρόβλημα μεταφοράς ασχολείται με το πρόβλημα του προσδιορισμού του καλύτερου δυνατού

Διαβάστε περισσότερα

Σέργιος Θεοδωρίδης Κωνσταντίνος Κουτρούμπας. Version 2

Σέργιος Θεοδωρίδης Κωνσταντίνος Κουτρούμπας. Version 2 Σέργιος Θεοδωρίδης Κωνσταντίνος Κουτρούμπας Verson ΜΙΑ ΣΥΜΒΑΣΗ: Προκειμένου να καταστήσουμε πιο συμπαγή το συμβολισμό H : ορίζουμε Ετσι έχουμε *=[ ] an *=[ ]. H : * * ΣΗΜΕΙΩΣΗ: Στη συνέχεια εκτός αν ορίζεται

Διαβάστε περισσότερα

Τετραγωνικά μοντέλα. Τετραγωνικό μοντέλο συνάρτησης. Παράδειγμα τετραγωνικού μοντέλου #1. Παράδειγμα τετραγωνικού μοντέλου #1

Τετραγωνικά μοντέλα. Τετραγωνικό μοντέλο συνάρτησης. Παράδειγμα τετραγωνικού μοντέλου #1. Παράδειγμα τετραγωνικού μοντέλου #1 Τετραγωνικό μοντέλο συνάρτησης Τετραγωνικά μοντέλα Δ. Γ. Παπαγεωργίου Τμήμα Μηχανικών Επιστήμης Υλικών Πανεπιστήμιο Ιωαννίνων dpapageo@cc.uoi.gr http://pc164.materials.uoi.gr/dpapageo Για συνάρτηση μιας

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. nn n n

ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. nn n n ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ 3 Ο αλγόριθµος Gauss Eστω =,3,, µε τον όρο γραµµικά συστήµατα, εννοούµε συστήµατα εξισώσεων µε αγνώστους της µορφής: a x + + a x = b a x + + a x = b a

Διαβάστε περισσότερα

3. ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΟΥ ΑΝΤΙΣΤΡΟΦΟΥ ΠΡΟΒΛΗΜΑΤΟΣ ΜΕ ΤΗ ΜΕΘΟΔΟ ΜΗΚΩΝ

3. ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΟΥ ΑΝΤΙΣΤΡΟΦΟΥ ΠΡΟΒΛΗΜΑΤΟΣ ΜΕ ΤΗ ΜΕΘΟΔΟ ΜΗΚΩΝ 3. ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΟΥ ΑΝΤΙΣΤΡΟΦΟΥ ΠΡΟΒΛΗΜΑΤΟΣ ΜΕ ΤΗ ΜΕΘΟΔΟ ΜΗΚΩΝ 3. Διαφορά μετρήσεων από εκτιμήσεις μετρήσεων. Όταν επιλύοµε ένα αντίστροφο πρόβληµα υπολογίζοµε ένα διάνυσµα παραµέτρων est m το οποίο αντιπροσωπεύει

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ ) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ 4 Άσκηση. (8 µον.) (α) ίνεται παραγωγίσιµη συνάρτηση f για την οποία ισχύει f /

Διαβάστε περισσότερα

Κανόνες παραγώγισης ( )

Κανόνες παραγώγισης ( ) 66 Κανόνες παραγώγισης Οι κανόνες παραγώγισης που ισχύουν για συναρτήσεις µιας µεταβλητής, ( παραγώγιση, αθροίσµατος, γινοµένου, πηλίκου και σύνθετων συναρτήσεων ) γενικεύονται και για συναρτήσεις πολλών

Διαβάστε περισσότερα

Εφαρμοσμένη Βελτιστοποίηση

Εφαρμοσμένη Βελτιστοποίηση Εφαρμοσμένη Βελτιστοποίηση Ενότητα 4: Αναλυτικές μέθοδοι βελτιστοποίησης για συναρτήσεις πολλών μεταβλητών Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας

Διαβάστε περισσότερα

Αριθµητική Ανάλυση. ιδάσκοντες: Τµήµα Α ( Αρτιοι) : Καθηγητής Ν. Μισυρλής, Τµήµα Β (Περιττοί) : Επίκ. Καθηγητής Φ.Τζαφέρης. 25 Μαΐου 2010 ΕΚΠΑ

Αριθµητική Ανάλυση. ιδάσκοντες: Τµήµα Α ( Αρτιοι) : Καθηγητής Ν. Μισυρλής, Τµήµα Β (Περιττοί) : Επίκ. Καθηγητής Φ.Τζαφέρης. 25 Μαΐου 2010 ΕΚΠΑ Αριθµητική Ανάλυση Κεφάλαιο 9. Αριθµητική Ολοκλήρωση ιδάσκοντες: Τµήµα Α ( Αρτιοι) : Καθηγητής Ν. Μισυρλής, Τµήµα Β (Περιττοί) : Επίκ. Καθηγητής Φ.Τζαφέρης ΕΚΠΑ 5 Μαΐου 010 ιδάσκοντες:τµήµα Α ( Αρτιοι)

Διαβάστε περισσότερα

ΣΕΙΡΕΣ TAYLOR. Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων. Πολυώνυµο είναι κάθε συνάρτηση της µορφής:

ΣΕΙΡΕΣ TAYLOR. Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων. Πολυώνυµο είναι κάθε συνάρτηση της µορφής: ΣΕΙΡΕΣ TAYLOR Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων Πολυώνυµο είναι κάθε συνάρτηση της µορφής: p( ) = a + a + a + a + + a, όπου οι συντελεστές α i θα θεωρούνται

Διαβάστε περισσότερα

ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι

ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Προσέγγιση και Ομοιότητα Σημάτων Επιμέλεια: Πέτρος Π. Γρουμπός Καθηγητής Γεώργιος Α. Βασκαντήρας Υπ. Διδάκτορας Τμήμα Ηλεκτρολόγων Μηχανικών & Τεχνολογίας Υπολογιστών Άδειες Χρήσης

Διαβάστε περισσότερα

ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΣΥΝΟΠΤΙΚΗ ΘΕΩΡΕΙΑ ΜΕΘΟΔΟΛΟΓΙΑ ΛΥΜΕΝΑ ΠΑΡΑΔΕΙΓΜΑΤΑ

ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΣΥΝΟΠΤΙΚΗ ΘΕΩΡΕΙΑ ΜΕΘΟΔΟΛΟΓΙΑ ΛΥΜΕΝΑ ΠΑΡΑΔΕΙΓΜΑΤΑ ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΣΥΝΟΠΤΙΚΗ ΘΕΩΡΕΙΑ ΜΕΘΟΔΟΛΟΓΙΑ ΛΥΜΕΝΑ ΠΑΡΑΔΕΙΓΜΑΤΑ Φροντιστήριο Μ.Ε. «ΑΙΧΜΗ» Κ.Καρτάλη 8 Βόλος Τηλ. 43598 ΠΊΝΑΚΑΣ ΠΕΡΙΕΧΟΜΈΝΩΝ 3. Η ΕΝΝΟΙΑ ΤΗΣ ΠΑΡΑΓΩΓΟΥ... 5 ΜΕΘΟΔΟΛΟΓΙΑ ΛΥΜΕΝΑ ΠΑΡΑΔΕΙΓΜΑΤΑ...

Διαβάστε περισσότερα

Γραμμικός Προγραμματισμός

Γραμμικός Προγραμματισμός Γραμμικός Προγραμματισμός Δημήτρης Φωτάκης Προσθήκες (λίγες): Άρης Παγουρτζής Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γραμμικός Προγραμματισμός Ελαχιστοποίηση

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2 ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

ΚΕΦΑΛΑΙΟ 2 ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΕΦΑΛΑΙΟ ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Η αδυναµία επίλυσης της πλειοψηφίας των µη γραµµικών εξισώσεων µε αναλυτικές µεθόδους, ώθησε στην ανάπτυξη αριθµητικών µεθόδων για την προσεγγιστική επίλυσή τους, π.χ. συν()

Διαβάστε περισσότερα

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης. Λογισμός 3 Ασκήσεις. Μιχάλης Μαριάς Τμήμα Α.Π.Θ.

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης. Λογισμός 3 Ασκήσεις. Μιχάλης Μαριάς Τμήμα Α.Π.Θ. Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Λογισμός 3 Μιχάλης Μαριάς Τμήμα Α.Π.Θ. Θεσσαλονίκη, 2015 Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ ΠΡΩΤΟ ΣΤΟΙΧΕΙΑ ΔΙΑΦΟΡΙΚΟΥ ΛΟΓΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΩΝ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ 15

ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ ΠΡΩΤΟ ΣΤΟΙΧΕΙΑ ΔΙΑΦΟΡΙΚΟΥ ΛΟΓΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΩΝ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ 15 ΠΕΡΙΕΧΟΜΕΝΑ ΠΡΟΛΟΓΟΣ 13 ΜΕΡΟΣ ΠΡΩΤΟ ΣΤΟΙΧΕΙΑ ΔΙΑΦΟΡΙΚΟΥ ΛΟΓΙΣΜΟΥ ΣΥΝΑΡΤΗΣΕΩΝ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ 15 ΚΕΦΑΛΑΙΟ 1: ΣΥΝΑΡΤΗΣΕΙΣ ΠΟΛΛΩΝ ΜΕΤΑΒΛΗΤΩΝ 17 1. Εισαγωγή 17 2. Πραγματικές συναρτήσεις διανυσματικής μεταβλητής

Διαβάστε περισσότερα

Μέθοδοι Μηχανών Μάθησης για Ευφυή Αναγνώριση και ιάγνωση Ιατρικών εδοµένων

Μέθοδοι Μηχανών Μάθησης για Ευφυή Αναγνώριση και ιάγνωση Ιατρικών εδοµένων Μέθοδοι Μηχανών Μάθησης για Ευφυή Αναγνώριση και ιάγνωση Ιατρικών εδοµένων Εισηγητής: ρ Ηλίας Ζαφειρόπουλος Εισαγωγή Ιατρικά δεδοµένα: Συλλογή Οργάνωση Αξιοποίηση Data Mining ιαχείριση εδοµένων Εκπαίδευση

Διαβάστε περισσότερα

Περιεχόμενα. Κεφάλαιο 3 Οι ιδιότητες των αριθμών... 37 3.1 Αριθμητικά σύνολα... 37 3.2 Ιδιότητες... 37 3.3 Περισσότερες ιδιότητες...

Περιεχόμενα. Κεφάλαιο 3 Οι ιδιότητες των αριθμών... 37 3.1 Αριθμητικά σύνολα... 37 3.2 Ιδιότητες... 37 3.3 Περισσότερες ιδιότητες... Περιεχόμενα Πρόλογος... 5 Κεφάλαιο Βασικές αριθμητικές πράξεις... 5. Τέσσερις πράξεις... 5. Σύστημα πραγματικών αριθμών... 5. Γραφική αναπαράσταση πραγματικών αριθμών... 6.4 Οι ιδιότητες της πρόσθεσης

Διαβάστε περισσότερα

7. ΑΝΩΜΑΛΑ ΣΗΜΕΙΑ, ΠΟΛΟΙ ΚΑΙ ΤΟ ΘΕΩΡΗΜΑ ΤΩΝ ΟΛΟΚΛΗΡΩΤΙΚΩΝ ΥΠΟΛΟΙΠΩΝ. και σε κάθε γειτονιά του z

7. ΑΝΩΜΑΛΑ ΣΗΜΕΙΑ, ΠΟΛΟΙ ΚΑΙ ΤΟ ΘΕΩΡΗΜΑ ΤΩΝ ΟΛΟΚΛΗΡΩΤΙΚΩΝ ΥΠΟΛΟΙΠΩΝ. και σε κάθε γειτονιά του z 7. ΑΝΩΜΑΛΑ ΣΗΜΕΙΑ, ΠΟΛΟΙ ΚΑΙ ΤΟ ΘΕΩΡΗΜΑ ΤΩΝ ΟΛΟΚΛΗΡΩΤΙΚΩΝ ΥΠΟΛΟΙΠΩΝ Ένα σημείο λέγεται ανώμαλο σημείο της συνάρτησης f( ) αν η f( ) δεν είναι αναλυτική στο και σε κάθε γειτονιά του υπάρχει ένα τουλάχιστον

Διαβάστε περισσότερα

Σήματα και Συστήματα. Διάλεξη 1: Σήματα Συνεχούς Χρόνου. Δρ. Μιχάλης Παρασκευάς Επίκουρος Καθηγητής

Σήματα και Συστήματα. Διάλεξη 1: Σήματα Συνεχούς Χρόνου. Δρ. Μιχάλης Παρασκευάς Επίκουρος Καθηγητής Σήματα και Συστήματα Διάλεξη 1: Σήματα Συνεχούς Χρόνου Δρ. Μιχάλης Παρασκευάς Επίκουρος Καθηγητής 1 Εισαγωγή στα Σήματα 1. Σκοποί της Θεωρίας Σημάτων 2. Κατηγορίες Σημάτων 3. Χαρακτηριστικές Παράμετροι

Διαβάστε περισσότερα

Case 08: Επιλογή Διαφημιστικών Μέσων Ι ΣΕΝΑΡΙΟ (1)

Case 08: Επιλογή Διαφημιστικών Μέσων Ι ΣΕΝΑΡΙΟ (1) Case 08: Επιλογή Διαφημιστικών Μέσων Ι ΣΕΝΑΡΙΟ (1) Το πρόβλημα της επιλογής των μέσων διαφήμισης (??) το αντιμετωπίζουν τόσο οι επιχειρήσεις όσο και οι διαφημιστικές εταιρείες στην προσπάθειά τους ν' αναπτύξουν

Διαβάστε περισσότερα

Απειροστικός Λογισμός Ι Ασκήσεις

Απειροστικός Λογισμός Ι Ασκήσεις Απειροστικός Λογισμός Ι Ασκήσεις Μ. Παπαδημητράκης . Για καθεμία από τις ανισότητες ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΚΑΙ ΣΥΝΑΡΤΗΣΕΙΣ + >, +, + > +3 3+, ( )( 3) ( ) 0 γράψτε ως διάστημα ή ως ένωση διαστημάτων το σύνολο

Διαβάστε περισσότερα

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β.

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Η έννοια της ακολουθίας Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Δηλαδή: f : A B Η ακολουθία είναι συνάρτηση.

Διαβάστε περισσότερα

Παράρτηµα Β. Στοιχεία Θεωρίας Τελεστών και Συναρτησιακής Ανάλυσης [ ) ( )

Παράρτηµα Β. Στοιχεία Θεωρίας Τελεστών και Συναρτησιακής Ανάλυσης [ ) ( ) Παράρτηµα Β Στοιχεία Θεωρίας Τελεστών και Συναρτησιακής Ανάλυσης Β1 Χώροι Baach Βάσεις Schauder Στο εξής συµβολίζουµε µε Z,, γραµµικούς (διανυσµατικούς) χώρους πάνω απ το ίδιο σώµα K = ή και γράφουµε απλά

Διαβάστε περισσότερα