Συγγραφέας: Ηλιοπούλου Μαρίνα
Λέξεις Κλειδιά: Βιομαγνητικά ρευστά, Επίδραση μαγνητικόυ πεδίου, Βιομαγνητοϋδροδυναμική, Αριθμητικά σχήματα, Αλγόριθμος του Thomas, Μέθοδος ψευδομετάβασης, Μέθοδος line by line

Σύνοψη: Η παρούσα εργασία εκπονήθηκε στο πλαίσιο Διπλωματικής διατριβής του Διατμηματικού Προγράμματος Μεταπτυχιακών Σπουδών «Μαθηματικά των Υπολογιστών και των Αποφάσεων» των Τμημάτων Μαθηματικού και Μηχανικών Η/Υ και Πληροφορικής του Πανεπιστημίου Πατρών. Το φυσικό πρόβλημα που μελετάμε είναι η Ροή Βιομαγνητικού Ρευστού σε Ανεύρυσμα υπό την επίδραση Μαγνητικού Πεδίου. Θεωρούμε το αίμα ως μαγνητικό ρευστό και υποθέτουμε πως συμπεριφέρεται ως ένα ηλεκτρικά αγώγιμο, ομογενές και μη ισόθερμο Νευτώνειο μαγνητικό ρευστό που παρουσιάζει παράλληλα ιδιότητες σιδηρομαγνητικού (ferrofluid) ή παραμαγνητικού υλικού. Οι βασικοί στόχοι της μελέτης είναι η παρουσίαση μίας μεθοδολογίας αριθμητικής επίλυσης και η μελέτη της επίδρασης του μαγνητικού πεδίου στην ροή του αίματος στην περιοχή του ανευρύσματος. Το φυσικό πρόβλημα που μελετάμε είναι αυτό που μελετήθηκε στην εργασία Ε. Ε. Tzirtzilakis, Biomagnetic Fluid Flow in an Aneurism Using FerroHydroDynamics Principles, Physics of Fluids, 27, 061902, 2015, με την επιπρόσθετη υιοθέτηση των αρχών της Μαγνητοϋδροδυναμικής λόγω της ηλεκτρικής αγωγιμότητας. Στο πρώτο κεφάλαιο, παραθέτουμε ορισμένες εισαγωγικές έννοιες γενικά περί μαγνητικών ρευστών. Ακόμα αναφερόμαστε στα Βιομαγνητικά Ρευστά και πιο συγκεκριμένα στο αίμα, την σύνδεσή του με τα μαγνητικά ρευστά, τις ροϊκές μαγνητικές ιδιότητες αυτού, καθώς επίσης και διάφορες σχετικές εφαρμογές στην Ιατρική. Στο δεύτερο κεφάλαιο, περιγράφουμε κάποια αριθμητικά εργαλεία τα οποία χρησιμοποιούμε κατά την επίλυση του προβλήματος. Αρχικά παρουσιάζουμε βασικά αριθμητικά σχήματα πεπερασμένων διαφορών με την βοήθεια των οποίων γίνεται η προσέγγιση μερικών παραγώγων. Επιπλέον αναφερόμαστε στα είδη των προβλημάτων όπως αυτά ταξινομούνται με βάση την μορφή διαφορικών εξισώσεων με μερικές παραγώγους που τα διέπουν καθώς και τις αντίστοιχες συνοριακές τους συνθήκες. Στην συνέχεια παρουσιάσουμε την μέθοδο διαδοχικών υπερχαλαρώσεων (Successive Over Relaxation - S.O.R.) η οποία είναι μια επαναληπτική μέθοδος που θα χρησιμοποιήσουμε για την επίλυση εξισώσεων του προβλήματος. Επιπροσθέτως παρουσιάζουμε τον αλγόριθμο του Thomas για την επίλυση αλγεβρικού συστήματος με τριδιαγώνιο πίνακα αγνώστων και μία επαναληπτική, μερικώς μη εκπεφρασμένη μεθοδολογία επίλυσης εξισώσεων με μερικές παραγώγους (line by line implicit method). Στο τρίτο κεφάλαιο παραθέτουμε την μαθηματική μοντελοποίηση του φυσικού προβλήματος που περιγράφεται από ένα συζευγμένο μη γραμμικό σύστημα διαφορικών εξισώσεων με μερικές παραγώγους που υπόκεινται σε κατάλληλες συνοριακές συνθήκες. Οι εξισώσεις αυτές μετασχηματίζονται με την εισαγωγή της ρευματική συνάρτησης και του στροβιλισμού. Στη συνέχεια εκτελούμε διάφορους μετασχηματισμούς του φυσικού χωρίου και του υπολογιστικού πλέγματος, κατασκευάζουμε τις συνοριακές συνθήκες και παρουσιάζουμε τον αλγόριθμο της αριθμητικής επίλυσης του προβλήματος. Τέλος, στο τέταρτο κεφάλαιο παραθέτουμε αποτελέσματα για διάφορες τιμές των παραμέτρων που σχετίζονται με το φυσικό πρόβλημα. Εκτελούμε συγκρίσεις μεταξύ ροής του ρευστού υπό την επίδραση μαγνητικού πεδίου σε σύγκριση με την απλή υδροδυναμική περίπτωση, δηλαδή της ροής του ρευστού χωρίς την παρουσία μαγνητικού πεδίου. Η επίδραση του μαγνητικού πεδίου στην ροή είναι σημαντική τόσο για το πεδίο ταχυτήτων όσο και για το πεδίο θερμοκρασίας. Παρουσιάζουμε επίσης την σημαντική επίδραση του συντελεστή τριβής και μεταφοράς θερμότητας στα τοιχώματα.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Κάρλος Σταμάτης
Λέξεις Κλειδιά: Γεννήτριες τυχαίων αριθμών, Ψευδοτυχαίοι αριθμοί, Τυχαίοι αριθμοί, Τυχαιότητα, Ανακάτεμα, Προσομοίωση

Σύνοψη: Σκοπός της συγκεκριμένης πτυχιακής εργασίας αποτελεί η μελέτη, η ανάλυση, η διερεύνηση και η κατηγοριοποίηση των σημαντικότερων μεθόδων παραγωγής τυχαίων αριθμών. Σε πρώτο στάδιο, παρουσιάσθηκε μία ιστορική αναδρομή σχετικά με τους τυχαίους αριθμούς και αναφέρθηκαν οι σημαντικότερες εφαρμογές που αυτοί βρίσκουν εφαρμογή. Στη συνέχεια, προσδιορίστηκαν οι ιδιότητες που πρέπει να πληρούνται στις γραμμικές συμπτωτικές γεννήτριες καθώς και τα κυριότερα χαρακτηριστικά των υπόλοιπων γεννητριών. Εν συνεχεία, παρουσιάσθηκαν οι πιο γνωστές σουίτες στατιστικών τεστ που αξιοποιούνται πλέον από το σύνολο των σύγχρονων εταιριών, οι οποίες απαιτούν κάποιο επίπεδο τυχαιότητας στις εφαρμογές τους. Επιπλέον, στην εργασία συμπεριλήφθηκαν οι υλοποιήσεις που έγιναν στα υπολογιστικά περιβάλλοντα των Python, R και Matlab, προκειμένου να εξομοιωθεί η συμπεριφορά διαφόρων γεννητριών τυχαίων αριθμών και να εξετασθεί η συμπεριφορά τους με τα εκάστοτε στατιστικά κριτήρια. Τέλος, αναλύεται εις βάθος η υλοποίηση του τυχερού παιχνιδιού Draw Poker, με σκοπό την εξομοίωση του τρόπου λειτουργίας της με τη χρήση ψευδοτυχαίων αριθμών και την εξακρίβωση της ορθότητας και του επιπέδου εμπιστοσύνης σε μία τέτοιου είδους ντετερμινιστική εφαρμογή.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Παπαδοπούλου Αργυρώ
Λέξεις Κλειδιά: Ηλεκτρονικές δεξιότητες, Εξ αποστάσεως εκπαίδευση

Σύνοψη: Οι ραγδαίες τεχνολογικές εξελίξεις των τελευταίων ετών και μια σειρά επιπλέον λόγων όπως η οικονομική κρίση, η παγκοσμιοποίηση και οι υψηλοί δείκτες ανεργίας επηρέασαν τις δομές και τις απαιτήσεις στην αγορά εργασίας. Γενικότερα, παρατηρήθηκε στροφή των αγορών σε θέσεις εργασίας που χαρακτηρίζονται από μεγαλύτερη ένταση ικανοτήτων και δημιουργία πολλών θέσεων εργασίας στον τομέα των υπηρεσιών και της τεχνολογίας. Στην ταχύτητα αλλαγής του σκηνικού στον τομέα της απασχόλησης φάνηκε να μην μπορεί να ανταποκριθεί επαρκώς το εκπαιδευτικό σύστημα. Η προσαρμογή των διαδικασιών και των φιλοσοφιών των εκπαιδευτικών συστημάτων στις νέες απαιτήσεις της αγοράς εργασίας ήταν αργή δημιουργώντας τεράστια κενά στην προσφορά συγκεκριμένων προσόντων και δεξιοτήτων, κυρίως στον τομέα ΤΠΕ. Σε ευρωπαϊκό επίπεδο το παραπάνω πρόβλημα άρχισε να γίνεται αντιληπτό στις αρχές της χιλιετίας και έχοντας ως απώτερο σκοπό τη δημιουργία μιας ενιαίας Ευρωπαϊκής αγοράς ξεκίνησε μια σειρά δράσεων. Οι δράσεις αυτές στοχεύουν στην ανάπτυξη ικανοτήτων προσαρμοσμένων στις νέες απαιτήσεις της αγοράς εργασίας καταργώντας τα εθνικά σύνορα. Περιλαμβάνουν δημιουργία ευρωπαϊκών και εθνικών πλαισίων προσόντων, (συνδεδεμένων μεταξύ τους), προγράμματα συνεχούς επιμόρφωσης και κατάρτισης, προσανατολισμό των εκπαιδευτικών συστημάτων στα μαθησιακά αποτελέσματα και σεμινάρια απόκτησης ηλεκτρονικών ικανοτήτων. Οι νέες αυτές απαιτήσεις σε συνδυασμό με την εξέλιξη της τεχνολογίας είχαν ως επακόλουθο τη δημιουργία νέων μέσων και μεθόδων διδασκαλίας οι οποίες φαίνεται να καλύπτουν τις αδυναμίες των συμβατικών μορφών. Η ενίσχυση της εξ –αποστάσεως εκπαίδευσης και η αύξηση του αγοραστικού της κοινού ανάγκασαν του εκπαιδευτικούς φορείς να προσαρμοστούν στα νέα δεδομένα. Έτσι έχοντας ως βασική υποδομή τις πλατφόρμες ηλεκτρονικής μάθησης και τις υπηρεσίες του Web 2.0 η εξ-αποστάσεως εκπαίδευση έχει καθιερωθεί όχι μόνο στους εκπαιδευτικούς φορείς αλλά και στα επιχειρηματικά προγράμματα κατάρτισης εργαζομένων . Σκοπός της πτυχιακής αυτής εργασίας είναι ο σχεδιασμός και η δημιουργία ενός διαδικτυακού μαθήματος, στην πλατφόρμα ηλεκτρονικής μάθησης Moodle, με στόχο την ανάπτυξη ικανοτήτων για το επάγγελμα του “Προγραμματιστή Διαδραστικής Πολιτιστικής Εμπειρίας” όπως αυτές εμφανίζονται στο ευρωπαϊκό πλαίσιο προσόντων e-cf. Βασικός προσανατολισμός της πτυχιακής εργασίας είναι να εκμεταλλευτεί τα εργαλεία τεχνολογίας που προσφέρονται προκειμένου να δημιουργηθεί ένα ηλεκτρονικό μάθημα βασισμένο στα μαθησιακά αποτελέσματα και να συνδέσει μέσω της χρήσης του πλαισίου προσόντων την αγορά εργασίας με την εκπαίδευση.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Σαλτού Ελένη
Λέξεις Κλειδιά: Οπτικοποίηση, Αναπαραστάσεις μαθηματικών εννοιών, Ρητοί αριθμοί, Άρρητοι αριθμοί, Ομοιότητα πολυγώνων, Διδακτικό πείραμα

Σύνοψη: Η διδακτική των μαθηματικών μελετά το πώς μαθαίνουν τα παιδιά τις μαθηματικές έννοιες και διαδικασίες, ποιές και γιατί δυσκολεύονται να κατανοήσουν, και με ποιο τρόπο μπορούν να υπερβούν τα όποια γνωστικά εμπόδια προκύπτουν, για να τις κατανοήσουν. Σκοπός της εργασίας αποτελεί η μελέτη για το πώς συμβάλλει η γεωμετρική αναπαράσταση αυτών των εννοιών και διαδικασιών τόσο στη διδασκαλία τους, όσο και στην κατανόησή τους. Στην παρούσα διπλωματική εργασία παρουσιάζεται ακριβώς μια τέτοια διαδρομή, μια διδακτική, μερικά καθοδηγούμενη επαγωγή: από μια ευκολότερα κατανοήσιμη έννοια (την ομοιότητα σχημάτων) σε μια αρκετά πιο αφηρημένη και δύσληπτη έννοια, για τις πρώτες τάξεις του Γυμνασίου, αυτή του άρρητου αριθμού. Η διπλωματική εργασία αποτελείται από δύο κύρια μέρη. Στο πρώτο μέρος γίνεται επισκόπηση της σχετικής βιβλιογραφίας, με ανάλυση των σημαντικότερων αποτελεσμάτων ερευνητικών εργασιών που ασχολούνται με τις γεωμετρικές αναπαραστάσεις στη διδασκαλία των αρρήτων, και αναφορά σε εργασίες από το χώρο της εκπαιδευτικής και γνωστικής ψυχολογίας, καίριας σημασίας για την κριτική ανάλυση της προς μελέτη έννοιας. Παράλληλα, περιγράφεται το διδακτικό μοντέλο της καθοδηγούμενης ανακάλυψης. Στο δεύτερο μέρος, αρχικά, γίνεται παρουσίαση της μεθοδολογίας της έρευνας, της σχολικής τάξης όπου έγινε το διδακτικό πείραμα και της μεθόδου συλλογής των δεδομένων. Στη συνέχεια, γίνεται ανάλυση των αποτελεσμάτων της πραγματοποιηθείσας έρευνας, με έμφαση στην ανάλυση των διαλόγων, τη διαδικασία σκέψης των μαθητών, στα προβλήματα που ανακύπτουν και τους δυνητικούς τρόπους επίλυσής τους.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Καραμέρος Παναγιώτης
Λέξεις Κλειδιά: Αξία σε κίνδυνο, Αναμενόμενο έλλειμα

Σύνοψη: Η ποσοτικοποίηση του κινδύνου της αγοράς μέσω της Αξίας σε Κίνδυνο (Value at Risk), αποτελεί ένα χρήσιμο εργαλείο ελέγχου για ένα χρηματοοικονομικό οργανισμό προκειμένου να διασφαλίζεται η επάρκεια ρευστότητας και η ασφάλεια των επενδύσεων. Ωστόσο, η μαθηματική μοντελοποίηση του κινδύνου για ένα χαρτοφυλάκιο αποτελεί ένα δύσκολο εγχείρημα. Στη παρούσα διπλωματική εργασία εξετάζονται τεχνικές εκτίμησης της Αξίας σε Κίνδυνο, που αποτελεί ένα σημαντικό μέτρο κινδύνου και βασίζεται στην κατανομή των αποδόσεων ενός χαρτοφυλακίου. Αρχικά, παρουσιάζονται οι κατηγορίες οικονομικού κινδύνου και ο ρόλος που παίζουν τα μέτρα κινδύνου. Εισάγονται οι έννοιες της Αξίας σε Κίνδυνο και του Αναμενόμενου Ελλείμματος (Expected Shortfall) και μελετώνται πιθανοί τρόποι εκτίμησης τους. Η μελέτη επικεντρώνεται σε δύο κατανομές από τη θεωρία ακραίων τιμών, τη Γενικευμένη Κατανομή Ακραίων Τιμών και τη Γενικευμένη Pareto. Για την εκτίμηση των παραμέτρων των κατανομών αυτών επιλέγονται δεδομένα σύμφωνα με δύο τεχνικές. Αυτές είναι η μέθοδος Μεγίστων ανά Περίοδο (Block Maxima) και η μέθοδος Κορυφών πάνω από Κατώφλι (Peaks Over Threshold), οι οποίες παρουσιάζονται αναλυτικά. Η εκτίμηση των παραμέτρων μπορεί να γίνει με τη κλασσική μέθοδο της μέγιστης πιθανοφάνειας, όμως εδώ χρησιμοποιούνται εναλλακτικά και μέθοδοι Monte Carlo και Markov Chain Monte Carlo, όταν το πρόβλημα αντιμετωπίστηκε με μία Μπεϋζιανή οπτική. Πιο συγκεκριμένα, χρησιμοποιήθηκε η μέθοδος της δειγματοληψίας σπουδαιότητας (Importance Sampling) και ο υβριδικός δειγματολήπτης Gibbs, δηλαδή ένας δειγματολήπτης Gibbs στον οποίο τουλάχιστον μια προσομοίωση από την πλήρη δεσμευμένη κατανομή έχει αντικατασταθεί από ένα βήμα Metropolis, καθώς δεν μπορεί να γίνει απευθείας προσομοίωση από αυτή λόγω της πολύπλοκης μορφής της. Τέλος, χρησιμοποιήθηκε και η μη παραμετρική μέθοδος Hill, ως εναλλακτική των εκτιμήσεων που γίνονται με βάση τη Γενικευμένη Pareto. Για την πειραματική μελέτη των τεχνικών εκτίμησης της Αξίας σε Κίνδυνο και του Αναμενόμενου Ελλείμματος που αναφέρθηκαν προηγουμένως, χρησιμοποιήθηκαν πραγματικά δεδομένα κίνησης τεσσάρων χρηματιστηριακών δεικτών και τεσσάρων χρηματιστηριακών προϊόντων (μετοχών). Τέλος, για την εφαρμογή αξιοποιήθηκαν πακέτα διαθέσιμα στη στατιστική γλώσσα προγραμματισμού R ενώ συμπληρωματικά δημιουργήθηκε κώδικας R όπου αυτό απαιτήθηκε.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Αστεριώτη Φωτεινή
Λέξεις Κλειδιά: Υπογραφή συστήματος, Συνεχόμενο k-από-τα-n σύστημα, Συνάρτηση αξιοπιστίας

Σύνοψη: Στην παρούσα εργασία παρουσιάζεται μία μελέτη ενός σημαντικού εργαλείου για την επίλυση μίας σειράς προβλημάτων στην αξιοπιστία συστημάτων, το οποίο ονομάζεται υπογραφή συστήματος (system signature). Πιο συγκεκριμένα, στο πρώτο κεφάλαιο της εργασίας δίνονται εισαγωγικές έννοιες της Θεωρίας Αξιοπιστίας. Εισάγεται η έννοια του μονότονου συστήματος και χρησιμοποιείται η συνάρτηση δομής και οι ιδιότητές της, ως μέσο για την μελέτη της απόδοσης ενός συστήματος και την σύγκρισή του με ένα άλλο σύστημα. Στη συνέχεια, δίνονται οι σχέσεις υπολογισμού της συνάρτησης δομής με τη βοήθεια των ελαχίστων συνόλων διαδρομής (minimal path sets) και αποκοπής (minimal cut sets). Παρουσιάζεται επίσης, η αξιοπιστία ενός συστήματος μέσω της συνάρτησης δομής του, και δίνεται η έννοια του δυϊκού ενός συστήματος. Στο δεύτερο κεφάλαιο εισάγεται η έννοια της υπογραφής ενός μονότονου συστήματος αξιοπιστίας, η οποία ορίζεται με τη βοήθεια των διατεταγμένων χρόνων ζωής των συνιστωσών του. Στη συνέχεια, παρουσιάζονται οι υπογραφές γνωστών συστημάτων και ο τρόπος υπολογισμού τους. Δίνονται ακριβείς τύποι για τον υπολογισμό της συνάρτησης επιβίωσης, καθώς και άλλων χαρακτηριστικών ενός συστήματος, όπως είναι ο ρυθμός αποτυχίας. Επίσης, εισάγονται οι έννοιες της minimal και maximal υπογραφής ενός μονότονου συστήματος. Διατυπώνονται τρεις διαφορετικοί τρόποι σύγκρισης της απόδοσης μονότονων συστημάτων, τα αποτελέσματα των οποίων στηρίζονται στη διάταξη των διανυσμάτων των υπογραφών τους. Επιπλέον, χρησιμοποιείται η έννοια της υπογραφής για να μελετηθεί ένα παράδειγμα στοχαστικής σύγκρισης συστημάτων που βασίζονται στην αρχή του πλεονασμού. Το τρίτο κεφάλαιο επικεντρώνεται στην υπογραφή των συνεχόμενων k-από-τα-n συστημάτων αποτυχίας. Αρχικά, παρουσιάζονται αναδρομικές σχέσεις που έχουν δοθεί για τον υπολογισμό της υπογραφής των συστημάτων αυτών, καθώς και εκφράσεις μέσω συνδυαστικής ανάλυσης. Δίνονται, επίσης, σχέσεις για την αξιοπιστία των συνεχόμενων συστημάτων, ως μίξη των αξιοπιστιών των διατεταγμένων χρόνων ζωής των συνιστωσών τους μέσω της υπογραφής του συστήματος. Τέλος, παρουσιάζονται συνθήκες διατήρησης της ιδιότητας γήρανσης IFR των συνεχόμενων k-από-τα-n συστημάτων αποτυχίας και συγκρίσεις των χρόνων ζωής διαφόρων συνεχόμενων συστημάτων αξιοπιστίας.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Σουρμελίδης Αθανάσιος
Λέξεις Κλειδιά: Υπερκυκλικοί τελεστές, Γραμμικό χάος

Σύνοψη: Είναι ευρέως διαδεδομένο ότι η έννοια του χάους συνδέεται με τη μη γραμμικότητα. Αυτό οφείλεται στο γεγονός ότι διαισθητικά περιμένουμε από μία γραμμική απεικόνιση να παρουσιάζει μία ̔ ̔ προβλέψιμη ̓ ̓ συμπεριφορά. Κάτι το οποίο όμως δεν αληθεύει. Πρώτος ο G.D. Birkhoff (1929) βρήκε ένα παράδειγμα ενός τελεστή με ένα σημαντικό στοιχείο του χάους: ο τελεστής είχε πυκνή τροχιά. Στη συνέχεια ακολούθησαν οι G.R. Maclane (1952) και S. Rolewisz (1969), οι οποιοί βρήκαν επιπλέον παραδείγματα τελεστών με πυκνή τροχιά. Παρακινούμενοι από αυτά τα παραδείγματα, πολλοί ερευνητές άρχισαν να μελετούν την έννοια του χάους υπό το πρίσμα της γραμμικότητας, ονομάζοντας τους τελεστές με πυκνή τροχιά υπερκυκλικούς. Το καθοριστικό βήμα έγινε από τους G. Godefroy και J.H. Shapiro (1991), οι οποίοι όχι μόνο ανακάλυψαν καινούργιες κλάσεις υπερκυκλικών τελεστών, αλλά πρότειναν επίσης να γίνει αποδεκτός ο ορισμός του (μη γραμμικου) χάους, που είχε δοθει από τον Devaney, ως ο ορισμός του γραμμικού χάους: ́Ενας τελεστής είναι χαοτικός αν: 1) έχει πυκνή τροχιά, 2) έχει ευαίσθητη εξάρτηση στις αρχικές συνθήκες, 3) το σύνολο των περιοδικών του σημείων είναι πυκνό. Σκοπός αυτής της εργασίας, η οποία βασίζεται στο βιβλίο Linear Chaos των Karl-G. Grosse- Erdmann και A.Peris Manguillot, είναι να γίνει μία εισαγωγή στη θεωρία των υπερκυκλικών τελεστών και ταυτόχρονα να παρουσιαστούν ορισμένα από τα πιο θεμελιώδη θεωρήματα της θεωρίας αυτής. Στο 1ο κεφάλαιο γίνεται μία εισαγωγή στη θεωρία των δυναμικών συστημάτων (όχι απαραίτητα γραμμικών) και παρουσιάζονται ορισμένα αποτελέσματα με βασικότερο αυτών, το θεώρημα του Birkhoff που δίνει μία συνθήκη ώστε μία απεικόνιση να έχει πυκνή τροχιά. Στο 2ο κεφάλαιο γίνεται η κατασκευή των χώρων Fr ́echet, που είναι μία γενίκευση των χώρων Banach και στη συνέχεια μεταφέρουμε τα αποτελέσματα του 1ου κεφαλαίου πάνω σε γραμμικά δυναμικά συστήματα. Στο 3ο κεφάλαιο παρουσιάζονται ορισμένα κριτήρια που αν ικανοποιεί ένας τελεστής, θα είναι υπερκυκλικός ή ακόμα και χαοτικός, με τελικό το κριτήριο Υπερκυκλικότητας. Στο 4ο κεφάλαιο παρουσιάζονται δύο από τα σπουδαιότερα θεωρήματα της θεωρίας των υπερκυκλικών τελεστών: 1)το θεώρημα της Ansari, 2)το θεώρημα των Bourdon-Feldmann. Στο 5ο κεφάλαιο παρουσιάζεται μία από τις πιο πρόσφατες έννοιες στη θεωρία των υπερκυκλικών τελεστών και που έχει γεννηθεί από την εργοδική θεωρία: αυτή της συχνής υπερκυκλικότητας. Τέλος, στο 6ο κεφάλαιο μελετάται η ύπαρξη κοινών υπερκυκλικών διανυσμάτων μίας υπερα- ριθμήσιμης οικογένειας τελεστών.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Ντοκομέ Αγλαΐα-Παρασκευή
Λέξεις Κλειδιά: Ποιότητα, Συστήματα διασφάλισης ποιότητας, Εργασία

Σύνοψη: Αντικείμενο της παρούσας διπλωματικής εργασίας είναι η ανάλυση και η διερεύνηση παραγόντων, οι οποίοι διαμορφώνουν το περιβάλλον εργασίας με την εγκατάσταση συστημάτων διασφάλισης ποιότητας. Για την άντληση πληροφοριών και την εξαγωγή συμπερασμάτων έγιναν δομημένες συνεντεύξεις σε εργαζόμενους συγκεκριμένων επιχειρήσεων με συστήματα διασφάλισης ποιότητας. Στην αρχή της εργασίας γίνεται εισαγωγή σε σημαντικές έννοιες όπως η ποιότητα, τα συστήματα διασφάλισης ποιότητας καθώς τα πρότυπα. Στη συνέχεια, αναφέρεται η έννοια του προτύπου και οι αντίστοιχες απαιτήσεις. Περιγράφεται αναλυτικά η διαδικασία πιστοποίησης επιχειρήσεων και παρατίθονται τα οφέλη που προκύπτουν από αυτή. Στα τελευταία κεφάλαια της εργασίας παρουσιάζεται η επεξεργασία των δεδομένων, η ανάλυση των αποτελεσμάτων καθώς και η εξαγωγή των συμπερασμάτων της έρευνας. Εν συνεχεία πραγματοποιείται σχολιασμός σε σχέση με τα δεδομένα της βιβλιογραφικής έρευνας που έγινε στα προηγούμενα κεφάλαια .

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Τσιφτιλή Μαρία
Λέξεις Κλειδιά: Ποιότητα, Συστήματα διασφάλισης ποιότητας

Σύνοψη: Σκοπός αυτής της διπλωματικής εργασίας είναι η όσο το δυνατόν καλύτερη προσέγγιση της έννοιας της Ποιότητας και των Συστημάτων Διαχείρισης Ποιότητας, έννοιες πολύ βασικές αναφορικά με την εργασιακή οργάνωση και συμπεριφορά. Η εργασία δομείται σε τέσσερα κύρια κεφάλαια καθένα από τα οποία πραγματεύεται ένα διαφορετικό θέμα. Πιο συγκεκριμένα, αρχικά παρατίθενται λεπτομέρειες για τις βασικές αρχές της σειράς ISO 9000 καθώς και για τα πρότυπα που αυτή περιλαμβάνει, στη συνέχεια αναλύεται το πρότυπο Διαχείρισης Ποιότητας ISO 9001, οι βασικές αρχές του και οι απαιτήσεις του, όπως και ο τρόπος με τον οποίo μια επιχείρηση μπορεί να εφαρμόσει ένα ευέλικτο Σύστημα Διαχείρισης Ποιότητας με σκοπό την ικανοποίηση του πελάτη και τη συνεχή βελτίωση. Τέλος γίνεται επεξεργασία των δεδομένων, τα οποία συλλέχθηκαν με τη βοήθεια ερωτηματολογίου και αναλύθηκαν με τη χρήση του στατιστικού πακέτου SPSS 20.00. Η εργασία ολοκληρώνεται με την εξαγωγή των συμπερασμάτων και την παράθεση της βιβλιογραφίας από όπου αντλήθηκαν οι κυρίαρχες πηγές για τη συγγραφή του παρόντος πονήματος.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Αντωνέλου Γεωργία
Λέξεις Κλειδιά: Εξόρυξη δεδομένων, Σύστημα διαχείρισης μάθησης, Κατηγοριοποίηση, Παλινδρόμηση, Πρόβλεψη

Σύνοψη: Τα τελευταία χρόνια πολλά Εκπαιδευτικά Ιδρύματα έχουν υιοθετήσει Διαδικτυακές Πλατφόρμες Μάθησης, όπως Συστήματα Διαχείρισης Μάθησης (Learning Management Systems) και άλλες Διαδικτυακές Εφαρμογές. Η δυνατότητα της λεπτομερούς καταγραφής και αποθήκευσης μεγάλου όγκου δεδομένων (Big Data), καθιστά αυτά τα Συστήματα μια δεξαμενή «κρυμμένης» γνώσης η οποία μπορεί να αποκαλυφθεί με διάφορους μηχανισμούς εξόρυξης (Εξόρυξη Γνώσης από Εκπαιδευτικά Δεδομένα- Educational Data Mining & Learning Analytics). Η ερμηνείας της γνώσης αυτής, δύναται να συνεισφέρει στη λήψη αποφάσεων σε πολλά επίπεδα και κυρίως στη βελτίωση των εκπαιδευτικών και μαθησιακών διαδικασιών που συνδέονται άμεσα με την Εκπαίδευση. Σκοπός της παρούσας διπλωματικής εργασίας είναι η εξόρυξη και αξιοποίηση των δεδομένων και των πληροφοριών που προέρχονται από τη Διαδικτυακή Πλατφόρμα του Ελληνικού Ανοικτού Πανεπιστημίου- ενός εκπροσώπου της εξ Αποστάσεως Εκπαίδευσης- εφαρμόζοντας κατάλληλες μεθόδους και τεχνικές Εξόρυξης Γνώσης σε Εκπαιδευτικά Δεδομένα (EDM). Συγκεκριμένα, παρουσιάζεται μια μελέτη (Case Study) Εξόρυξης Δεδομένων από την Διαδικτυακή Πλατφόρμα Moodle του ΕΑΠ, στο πλαίσιο της Θεματική Ενότητας ΠΛΗ37 «Πληροφορική και Εκπαίδευση» κατά τη διάρκεια ενός ακαδημαϊκού έτους. Πρόκειται για ένα πρόβλημα πρόβλεψης μαθησιακών αποτελεσμάτων (Predicting the Course Outcomes) με τη βοήθεια ενός προβλεπτικού μοντέλου της επίδοσης τελικής εξέτασης στο πλαίσιο της ΘΕ ΠΛΗ37. Η εύρεση του κατάλληλου προβλεπτικού μοντέλου (ή αλλιώς «Κατηγοριοποιητή» - classifier) πραγματοποιήθηκε με τη χρήση κατάλληλης προσέγγισης της μεθόδου Κατηγοριοποίησης (Classification) και διεξήλθε με τη βοήθεια λογισμικών εφαρμογής Αλγορίθμων Εξόρυξης Δεδομένων (Weka, R Programming). Οι ερευνητικές προεκτάσεις της παρούσας έρευνας, όπως προκύπτει και από σχετική βιβλιογραφική ανασκόπηση, είναι η συνδρομή/συνεισφορά κατάλληλων προβλεπτικών μεθόδων (στην τρέχουσα περίπτωση της Κατηγοριοποίησης (Classification) και Παλινδρόμησης (Regression)) για την αντιμετώπιση φαινομένων μη-επιτυχούς επίδοσης των φοιτητών σε μια ΘΕ καθώς και φαινομένων εγκατάλειψης (dropouts) μιας ΘΕ. Επομένως, η αξιοποίηση έγκαιρων και αξιόπιστων πληροφοριών (όπως η πρόβλεψη ακαδημαϊκής επιτυχίας-επίδοσης φοιτητή κ.ά) συντελεί καταλυτικά στη λήψη αποφάσεων και κατ’ επέκταση στην πολύ-επίπεδη βελτίωση (εκπαιδευτικό, μαθησιακό, οργανωτικό, διοικητικό) των Εκπαιδευτικών Δομών.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Παπαμιχαήλ Αναστασία
Λέξεις Κλειδιά: Παίγνια, Στρατηγική, Ισορροπία Nash, Παίχτες, Δημοπρασίες

Σύνοψη: Η παρούσα διπλωματική εργασία πραγματεύεται τη Θεωρία Παιγνίων που αποτελεί ένα από τα πιο σημαντικά εργαλεία της Επιχειρησιακής Έρευνας και επιλύει περιπτώσεις πολλών ληπτών αποφάσεων σε περιβάλλον ανταγωνιστικών συμπεριφορών. Η Θεωρία Παιγνίων προέρχεται από τον κλάδο των εφαρμοσμένων μαθηματικών και εφαρμόζεται σε ολοένα και περισσότερους τομείς της επιστήμης και της ζωής, με κυρίαρχο τον τομέα της Οικονομίας. Στο 1ο κεφάλαιο αναφέρονται η ιστορική αναδρομή και οι βασικές αρχές της Επιχειρησιακής Έρευνας. Στο 2ο κεφάλαιο εισαγόμαστε στη Θεωρία Παιγνίων, περιγράφουμε τις ποικίλες εφαρμογές της σε όλους τους τομείς της ζωής και αναλύουμε τις βασικές έννοιες της και τους τρόπους αναπαράστασης. Στο 3ο κεφάλαιο περιγράφονται τα βασικά παίγνια δύο παικτών μηδενικού αθροίσματος καθώς και ο τρόπος επίλυσής τους είτε μέσω αμιγών είτε μεσω μικτών στρατηγικών. Συνεχίζοντας, στο 4ο κεφάλαιο ορίζουμε τα στρατηγικά παίγνια, την κυριαρχία των στρατηγικών, όπως επίσης και τα κλασικά παίγνια μη μηδενικού αθροίσματος, συμπεριλαμβανομένου του γνωστού «Prisoner’s Dilemma» και των εφαρμογών του. Στο 5ο κεφάλαιο περιγράφουμε την ισορροπία Nash για παίγνια με αμιγείς και μικτές στρατηγικές και αναλύουμε τη διαδικασία εύρεσης της βέλτιστης λύσης στρατηγικού παιγνίου με την παράθεση κατάλληλων παραδειγμάτων και με τη χρήση του λογισμικού Gambit. Έπειτα, μέσω του 6ου κεφαλαίου μαθαίνουμε για τα εκτεταμένα παίγνια με τέλεια πληροφόρηση, τις λύσεις τους καθώς και τον τρόπο εύρεσης της ισορροπίας Nash. Τα συμμαχικά παίγνια, που είναι ένα ακόμα είδος παιγνίων, αναλύονται στο 7ο κεφάλαιο και κατανοούνται από την εφαρμογή τους στα αντίστοιχα παραδείγματα. Τέλος στο 8ο κεφάλαιο μαθαίνουμε σχετικά με μία σπουδαία και πολύ χρήσιμη στις μέρες μας εφαρμογή της Θεωρίας Παιγνίων που είναι οι δημοπρασίες. Εκεί καταγράφονται τα βασικά μεγέθη των δημοπρασιών, περιγράφονται τα πολλά είδη τους, ενός ή πολλών αντικειμένων, ορίζονται οι Μπεϋζιανές δημοπρασίες όπως επίσης και οι γνωστές σε όλους μας ηλεκτρονικές δημοπρασίες που χρησιμοποιούνται ευρέως στο διαδίκτυο.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Κοκκινάκης Δημήτρης
Λέξεις Κλειδιά: Ωρίμανση Ostwald, Συστήματα μη γραμμικών ΣΔΕ, Aνάλυση ευστάθειας

Σύνοψη: Η ωρίμανση κατά Ostwald είναι η διεργασία μέσω της οποίας ένα σύνολο κρυστάλλων δαφόρων μεγεθών, μέσα σε ένα διάλυμα, καταλήγει στην κατάσταση όπου υπάρχουν πλέον μόνο κρύσταλλοι ενός συγκεκριμένου μεγέθους. Οι κρύσταλλοι μικρότερου μεγέθους διαλύονται, αυξάνοντας έτσι τη συγκέντρωση του διαλύματος, ενώ οι μεγαλύτεροι κρύσταλλοι με τη σειρά τους αντλούν υλικό από το διάλυμα και κατά συνέπεια διευρύνουν το μέγεθός τους. Αυτή η ανταλλαγή υλικού έχει ως αποτέλεσμα την επικράτηση των αρχικά μεγαλύτερων κρυστάλλων. Το τελικό τους μέγεθος καθορίζεται με τέτοιο τρόπο, ώστε να είναι σε πλήρη ισορροπία με την τελική συγκέντρωση του διαλύματος. Στην παρούσα διπλωματική εργασία εισάγουμε το μαθηματικό μοντέλο της παραπάνω διεργασίας, το οποίο περιγράφεται από ένα σύστημα Ν συζευγμένων μη-γραμμικών συνήθων διαφορικών εξισώσεων (με Ν το πλήθος των διαφορετικών μεγεθών μέσα στο διάλυμα). Επιλύοντας το παραπάνω μοντέλο παρακολουθούμε τη χρονική εξέλιξη του συστήματος. Επικεντρώνουμε την προσοχή μας στις διαδοχικές στιγμές μηδενισμού των μικρότερων κρυστάλλων, καθώς επίσης στα χαρακτηριστικά της τελικής κατάστασης ισορροπίας για t → ∞. Τέλος, παρουσιάζουμε τη σύνδεση του συστήματός μας με διάφορες άλλες εφαρμογές της ωρίμανσης Ostwald, όπως η εξάπλωση και εξέλιξη μιας επιδημικής νόσου καθώς και μια παραλλαγή της διεργασίας έτσι ώστε η τελική κατάσταση ισορροπίας να παρουσιάζει ταλαντωτική συμπεριφορά.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Παλαιολόγος Δημοσθένης
Λέξεις Κλειδιά: Πιθανότητες, Συναρτήσεις, Μαθηματικά λυκείου

Σύνοψη: Ο σκοπός που γράφτηκε η παρούσα διπλωματική είναι: α) Να γίνει μια σύντομη αναδρομή στην ιστορία του διδακτικού βιβλίου στο Ελληνικό Εκπαιδευτικό σύστημα. Να δούμε πως το σχολικό βιβλίο βοήθησε να ανθίσει η τυπογραφία στο νεοσύστατο Ελληνικό κράτος. Θα αναφερθούμε επιγραμματικά στις γενικές επιστημονικές, παιδαγωγικές, και διδακτικές αρχές, που πρέπει να πληροί το σχολικό βιβλίο των Μαθηματικών σύμφωνα με το Ινστιτούτο Εκπαιδευτικής Πολιτικής. Θα αναφέρουμε τον τρόπο που γίνεται ο ορισμός της συγγραφικής ομάδος καθώς και την διαδικασία έκδοσης και διανομής των σχολικών βιβλίων. β) Να δούμε ποιός είναι ο γενικός σκοπός διδασκαλίας των Μαθηματικών στο Γυμνάσιο και στο Λύκειο όπως αυτός καθορίζεται μέσα από τα Προγράμματα Σπουδών. Να αναφέρουμε το νομοθετικό πλαίσιο που οριοθετεί την διδασκαλία των Μαθηματικών στις διάφορες βαθμίδες της Δευτεροβάθμιας εκπαίδευσης. Να εξετάσουμε αν οι ώρες που διδάσκονται τα Μαθηματικά σύμφωνα με το ωρολόγιο πρόγραμμα είναι αρκετές για να προσφερθεί η προβλεπόμενη από το θεσμικό πλαίσιο μαθηματική παιδεία. γ) Να παρουσιάσουμε περιληπτικά την ύλη που διδάσκεται στο Γυμνάσιο. Θα αναφερθούμε επιγραμματικά στις βασικές έννοιες που διδάσκονται και αποτελούν τον βασικό κορμό της Μαθηματικής εκπαίδευσης στο Γυμνάσιο, καθώς και στις δευτερεύουσες Μαθηματικές έννοιες όπως αυτές παρουσιάζονται σε κάθε τάξη. δ) Να παρουσιάσουμε την ύλη που διδάσκονται οι μαθητές στα Μαθηματικά Γενικής Παιδείας στο μάθημα της ''Άλγεβρας'' στην Α, Β Λυκείου και στα ''Μαθηματικά και Στοιχεία Στατιστικής'' στην Γ Λυκείου.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Τσίνος Χρήστος
Λέξεις Κλειδιά: Διακριτοποίηση ΣΔΕ, Μέθοδος Kahan, Ολοκληρωσιμότητα, Βάσεις Ηirota-Kimura

Σύνοψη: Στην παρούσα διπλωματική εργασία μελετάμε τις ολοκληρώσιμες διακριτοποιήσεις «τύπου Kahan» σε γνωστά συστήματα συνήθων διαφορικών εξισώσεων. Η συγκεκριμένη μέθοδος μπορεί να εφαρμοστεί σε κάθε δευτεροβάθμειο πολυωνυμικό διανυσματικό πεδίο και εμφανίστηκε επίσης σε εργασίες των Hirota και Kimura. Λόγω ενός μηχανισμού που ακόμα δεν έχει κατανοηθεί πλήρως, τέτοιες διακριτοποιήσεις φαίνεται να κληρονομούν την ολοκληρωσιμότητα των αλγεβρικά πλήρως ολοκληρώσιμων συστημάτων, όπως έχει δειχθεί σε εργασίες των Petrera και συνεργατών. Ο στόχος της παρούσας εργασίας είναι η μελέτη και η εφαρμογή της ευρετικής αυτής μεθόδου για την διερεύνηση της ολοκληρωσιμότητας διακριτοποιήσεων σε γνωστά συστήματα διαφορικών εξισώσεων.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Παπαδήμα Νίκη
Λέξεις Κλειδιά: Γάμμα συνάρτηση, Βήτα συνάρτηση

Σύνοψη: Η συνάρτηση Γάμμα του Euler είναι μία από τις πλέον βασικές ειδικές συναρτήσεις, όχι μόνον της ανάλυσης αλλά και της μαθηματικής φυσικής. Η συνεχής έρευνα στην περιοχή των μαθηματικών και της φυσικής, δημιούργησε την ανάγκη επέκτασης της συνάρτησης Γάμμα. Μία από τις επεκτάσεις είναι η q-Γάμμα συνάρτηση, η οποία έγινε με την εισαγωγή του q-λογισμού. Στην εργασία αυτή, συγκεντρώνονται και καταγράφονται οι ιδιότητες της q-Γάμμα συνάρτησης, καθώς και ανισότητες, που ικανοποιούν οι συναρτήσεις αυτές και σχετικές με αυτές συναρτήσεις, οι οποίες προκύπτουν, κυρίως, από ιδιότητες μονοτονίας αυτών. Στο πρώτο κεφάλαιο της εργασίας αναφέρονται οι γνωστές ιδιότητες της συνάρτησης Γάμμα. Στο δεύτερο κεφάλαιο παρουσιάζονται τα βασικά απαραίτητα στοιχεία του q λογισμού. Στο τρίτο κεφάλαιο ορίζονται οι συναρτήσεις q-Γάμμα, q-Βήτα και q-ψ(x) καθώς και γίνεται αναφορά στις ιδιότητες που ισχύουν για αυτές. Στο τέταρτο κεφάλαιο αναφέρονται ιδιότητες μονοτονίας συναρτήσεων που περιέχουν q-Γάμμα συναρτήσεις καθώς και ανισότητες που ικανοποιούν οι συναρτήσεις αυτές. Τα αποτελέσματα, που καταγράφονται , είναι συγκεντρωμένα από επιστημονικές εργασίες, που έχουν δημοσιευτεί, σχετικές με τις q-Γάμμα συναρτήσεις και πολλά εξ αυτών είναι γενικεύσεις ανάλογων αποτελεσμάτων που αφορούν σε Γάμμα συναρτήσεις.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Ρέτζεκα Μαρία
Λέξεις Κλειδιά: Συμμετρία, Πολύγωνα, Μαιευτική μέθοδος

Σύνοψη: Η παρούσα εργασία μελετά τη διδασκαλία της Γεωμετρίας στα σχολεία και τον τρόπο που παρουσιάζεται στα σχολικά εγχειρίδια του Δημοτικού και του Γυμνασίου σε σχέση με το πρόσφατο παρελθόν. Πιο συγκεκριμένα, αντικείμενο της εργασίας είναι ο τρόπος διδασκαλίας των πολυγώνων και πολυέδρων στις παραπάνω βαθμίδες και η ανάδειξη της σημασίας της συμμετρίας στα σχολικά εγχειρίδια. Μάλιστα, μέσα από την παρουσίαση ενός πειράματος με δύο μαθήτριες του Δημοτικού, σχετικά με τα κανονικά πολύγωνα, προτείνεται η μαιευτική μέθοδος ως κατάλληλος τρόπος διδασκαλίας, ιδιαίτερα μεταξύ λίγων συμμετεχόντων. Η εργασία αυτή χωρίζεται σε τέσσερα κεφάλαια. Το πρώτο κεφάλαιο αναφέρεται στη Γεωμετρία των αρχαίων χρόνων και τον τρόπο που αναδύθηκε, ιδιαίτερα κατά τη γεωμετρική εποχή. Συμπεριλαμβάνεται μία σύντομη αναφορά στα πολύγωνα και στα πολύεδρα με ορισμούς και σχετικά θεωρήματα από την εποχή πριν τον Ευκλείδη έως και σήμερα. Στο δεύτερο κεφάλαιο περιλαμβάνεται η ιστορία της διδασκαλίας της Γεωμετρίας. Αναφέρονται τα αναλυτικά προγράμματα στην Ελλάδα τα οποία αφορούν στη διδασκαλία της Γεωμετρίας στο Δημοτικό και στο Γυμνάσιο, ιδιαίτερα όσο αφορά τους γεωμετρικούς μετασχηματισμούς και τα πολύγωνα, και τα πολύγωνα, και συγκρίνονται με τα αντίστοιχα προγράμματα της Αγγλίας και της Γαλλίας. Στο τρίτο κεφάλαιο παρουσιάζεται η έννοια της συμμετρίας και η ύπαρξή της στη φύση. Στη συνέχεια, περιγράφονται τα θέματα της συμμετρίας που διδάσκονται στις σχολικές τάξεις του Δημοτικού και του Γυμνασίου και τονίζεται η σημασία της εισαγωγής των γεωμετρικών μετασχηματισμών στις μικρές τάξεις. Στο τέταρτο και τελευταίο κεφάλαιο παρουσιάζεται μία έρευνα μικρής κλίμακας στην Ε΄ Δημοτικού που αφορά στους μετασχηματισμούς βασικών σχημάτων, συγκεκριμένα στα στοιχεία συμμετρίας του ισοπλεύρου τριγώνου, του κανονικού εξαγώνου και του κανονικού δεκάγωνου. Ακολουθεί η ανάλυση των απαντήσεων και του ρόλου της «μαιευτικής μεθόδου» που ακολουθήθηκε στην εκπαιδευτική διαδικασία.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Γριβοκωστοπούλου Φωτεινή
Λέξεις Κλειδιά: Αυτόματη απόδειξη θεωρημάτων, Βιβλιοθήκη TPTP, Στρατηγικές ελέγχου

Σύνοψη: Τα «Συστήματα Αυτόματης Απόδειξης Θεωρημάτων-ΣΑΑΘ» (Automatic Theorem Proving Systems-ATP Systems) είναι συστήματα βασισμένα στη λογική πρώτης τάξεως, τα οποία μπορούν από ένα σύνολο λογικών προτάσεων να συνάγουν την αλήθεια μιας δεδομένης λογικής πρότασης με αυτόματο τρόπο. Η διαδικασία της απόδειξης στα περισσότερα ΣΑΑΘ στηρίζεται στην αρχή της επίλυσης, τον ισχυρότερο κανόνα λογικής εξαγωγής συμπερασμάτων, και την αντίφαση της επίλυσης, μια διαδικασία που εξασφαλίζει την ορθότητα των συμπερασμάτων. Ο ACT-P είναι ένα ΣΑΑΘ που στηρίζεται στην αρχή της επίλυσης και την αντίφαση της επίλυσης, γραμμένο στο εργαλείο GCLISP Developer 5.0 της Gold-Hill, και διαθέτει μια βιβλιοθήκη γνωστών στρατηγικών ελέγχου της διαδικασίας απόδειξης, προσφέροντας τη δυνατότητα στον χρήστη να ορίσει κάθε φορά ένα (κατάλληλο) συνδυασμό στρατηγικών. Στην εργασία αυτή έγινε κατ’ αρχήν μεταφορά του ACT-P σε LispWorks, ένα δυναμικότερο εργαλείο ανάπτυξης εφαρμογών σε Lisp. Επιπλέον, ο χρήστης μέσω του νέου παραθυρικού περιβάλλοντος μπορεί να βλέπει δυο διαφορετικές λύσεις του ίδιου προβλήματος, τη συνοπτική και αναλυτική λύση. Στη συνέχεια, έγινε έλεγχος της καλής λειτουργίας του ACT-P και των στρατηγικών του μέσω δοκιμών με προβλήματα που προέρχονται από την TPTP (Thousands of Problems for Theorem Provers), μια γνωστή βιβλιοθήκη προβλημάτων για ΣΣΑΘ συστήματα στο Διαδίκτυο, και έγιναν οι απαραίτητες διορθώσεις έτσι ώστε να επιλύει προβλήματα από διάφορες κατηγορίες προβλημάτων της βιβλιοθήκης TPTP. Τέλος, έγινε μια μελέτη χρήσης διαφόρων συνδυασμών στρατηγικών ελέγχου για διάφορα προβλήματα της TPTP και εξήχθησαν χρήσιμα συμπεράσματα για την καταλληλότητά τους και την αποδοτικότητά τους σε σχέση με το είδος των προβλημάτων.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Δαούσης Δημήτριος
Λέξεις Κλειδιά: Αναπτυξιακή έρευνα, Εξ αποστάσεως εκπαίδευση, Ελληνικό Ανοικτό Πανεπιστήμιο (ΕΑΠ)

Σύνοψη: Το Moodle είναι ένα ελεύθερο σύστημα διαχείρισης και δημιουργίας δυναμικών, ευέλικτων και ευχάριστων online μαθημάτων. Περιγράφεται ως CMS (Course Management System) ή VLE (Virtual Learning Environment), ενώ η φιλοσοφία του στηρίζεται στη διαπίστωση ότι ο άνθρωπος κατακτά τη γνώση όταν αλληλεπιδρά με το περιβάλλον. Στην παρούσα έρευνα περιγράφεται μία μελέτη περίπτωσης για την οποία μελετώνται η σχεδίαση, η ανάπτυξη, η υλοποίηση και η αξιολόγηση ενός Δικτυακού Περιβάλλοντος Υποστήριξης της Θεματικής Ενότητας (ΘΕ) ΠΛΗ37 του ΕΑΠ, κατά το ακαδημαϊκό έτος 2010-2011. Το Δικτυακό Περιβάλλον της εν λόγω ΘΕ βασίστηκε στην πλατφόρμα Moodle και ο κύριος σκοπός της εργασίας είναι η μελέτη της σχεδίασης και ανάπτυξης καθώς και της εφαρμογής και αξιολόγησης ενός μαθήματος (ΘΕ ΠΛΗ37) σε προπτυχιακό επίπεδο με τη χρήση ενός υπολογιστικού περιβάλλοντος ασύγχρονης εξ αποστάσεως εκπαίδευσης (εξΑΕ), μέσω των αντιλήψεων, των στάσεων και των πρακτικών χρήσης των φοιτητών. Στα πλαίσια της έρευνας μελετήθηκε, επίσης, η συσχέτιση μεταξύ των πρακτικών χρήσης που ανέπτυξαν οι φοιτητές, και των επιδόσεων τους (τελική βαθμολογία) στην συγκεκριμένη ΘΕ. Για το σκοπό αυτό έγινε χρήση ερωτηματολογίου, πραγματοποιήθηκαν ατομικές συνεντεύξεις αλλά και αξιοποίηση των αρχείων καταγραφής που παρείχε το Moodle. Τα αποτελέσματα της έρευνας έδειξαν ότι υπήρξε άμεση συσχέτιση των πρακτικών χρήσης που ανέπτυξαν οι φοιτητές με τις επιδόσεις τους και ότι οι φοιτητές απέκτησαν θετική στάση αναφορικά με τη χρήση της πλατφόρμας Moodle.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Κωνσταντίνου-Ρίζος Σωτήρης
Λέξεις Κλειδιά: Αντίστροφη σκέδαση, Ζεύγη Lax, Σολιτόνια, Ζεύγη AKNS, Πρόβλημα Riemann Hilbert

Σύνοψη: Στην παρούσα εργασία ασχολούμαστε με μεθόδους κατασκευής λύσεων για μη γραμμικές μερικές διαφορικές εξώσεις (ΜΔΕ) εξέλιξης, δηλαδή εξισώσεις που περιγράφουν μια φυσική κατάσταση που εξελίσσεται χρονικά, και διακρίνονται σε γραμμικές και μη γραμμικές. Για την επίλυση των γραμμικών ΜΔΕ εξέλιξης υπάρχει η μέθοδος του μετασχηματισμού Fourier. Για τις μη γραμμικές ΜΔΕ εξέλιξης δεν υπάρχει κάποια γενική μέθοδος κατασκευής λύσεων. Πολλές απ’ αυτές, έχουν την ιδιότητα να επιδέχονται ειδικές λύσεις που ονομάζονται σολιτόνια. Βασικό χαρακτηριστικό των σολιτονίων είναι η «ελαστική» αλληλεπίδρασή τους. Πρώτοι οι Zabusky και Kruskal ανακάλυψαν το 1965 ότι η εξίσωση των Korteweg και De Vries (KdV) επιδέχεται σολιτονική λύση. Σχεδόν αμέσως οι Gardner, Greene, Kruskal και Miura [1967,1974] βρήκαν μια μέθοδο κατασκευής σολιτονικής λύσης για την εξίσωση KdV. Η μέθοδος βασίζεται στην λογική της σκέδασης και της αντίστροφης σκέδασης. Η μέθοδος της αντίστροφης σκέδασης, λειτουργεί ανάλογα με αυτή του μετασχηματισμού Fourier για τις γραμμικές, και αποτελεί το κύριο μέρος αυτής της εργασίας. Ειδικότερα: Στο πρώτο κεφάλαιο, παρουσιάζουμε παραδείγματα γραμμικών εξισώσεων εξέλιξης σε μία χωρική διάσταση, καθώς και λύσεις αυτών. Στη συνέχεια, αναζητούμε σολιτονικές λύσεις για τις μη γραμμικές ΜΔΕ εξέλιξης και κλείνουμε με ένα παράδειγμα μη γραμμικής ΜΔΕ εξέλιξης στις δύο χωρικές διαστάσεις. Στο δεύτερο κεφάλαιο, δείχνουμε πώς μπορούμε να κατασκευάσουμε λύσεις προβλημάτων αρχικών τιμών (ΠΑΤ) για γραμμικές εξισώσεις εξέλιξης, με χρήση του μετασχηματισμού Fourier. Στη συνέχεια, γίνεται εφαρμογή της μεθόδου της αντίστροφης σκέδασης στην κατασκευή λύσεων για μη γραμμικές ΜΔΕ εξέλιξης. Στο τρίτο κεφάλαιο, γίνεται εφαρμογή της μεθόδου της αντίστροφης σκέδασης στο ΠΑΤ για την εξίσωση KdV. Για κατάλληλη επιλογή της αρχικής συνθήκης διαπιστώνουμε ότι η KdV επιδέχεται σολιτονικές λύσεις. Συγκεκριμένα, επιλέγουμε αρχικές συνθήκες που εξελίσσονται χρονικά σε σολιτονική, 2-σολιτονική και 3-σολιτονική λύση. Τέλος, παρουσιάζουμε ένα πρόγραμμα σε περιβάλλον Mathematica που κατασκευάζει πολυσολιτονική λύση για την εξίσωση KdV. Το τέταρτο κεφάλαιο αφιερώνεται στα ζεύγη Lax, τα οποία είναι ζεύγη γραμμικών εξισώσεων εξέλιξης. Αυτό που τα χαρακτηρίζει είναι ότι, η συνθήκη συμβατότητας αυτών είναι η εξίσωση εξέλιξης που μας ενδιαφέρει. Σε αυτό βασίζεται και η μέθοδος των Ablowitz, Kaup, Newell και Segur (AKNS), για την κατασκευή λύσεων μη γραμμικών εξισώσεων εξέλιξης. Εφαρμόζουμε την μέθοδο AKNS στην εξίσωση KdV για να κατασκευάσουμε σολιτονικές λύσεις. Στο πέμπτο και τελευταίο κεφάλαιο, ασχολούμαστε με την αναδιατύπωση ενός ΠΑΤ ως πρόβλημα Riemann-Hilbert. Επιπλέον, δείχνουμε πώς συνδέεται ένα πρόβλημα αντίστροφης σκέδασης με ένα πρόβλημα Riemann-Hilbert, θεωρώντας την εξίσωση KdV. Τέλος, αναφερόμαστε στην σύνδεση προβλημάτων αρχικών-συνοριακών τιμών με το πρόβλημα Riemann-Hilbert και κάνουμε μια επισκόπιση στη σύγχρονη βιβλιογραφία και παρουσιάζουμε πρόσφατα αποτελέσματα σε αυτή την κατεύθυνση.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: ΣπέηΜαρία
Λέξεις Κλειδιά: Επικαλυπτόμενες ροές επιτυχιών, Αξιοπιστία συστημάτων

Σύνοψη: Θεωρούμε μία ακολουθία από n ανεξάρτητες τυχαίες μεταβλητές Bernoulli, X1,X2,...,Xn (n>0) διατεταγμένες σε γραμμή. Τα δυνατά αποτελέσματα είναι δύο και χαρακτηρίζονται ως επιτυχία (S ή 1) ή αποτυχία (F ή 0). Ροή επιτυχιών είναι μία ακολουθία συνεχόμενων επιτυχιών (S) των οποίων προηγούνται και έπονται αποτυχίες (F) ή τίποτα. Μήκος μιας ροής επιτυχιών είναι ο αριθμός των επιτυχιών που περιλαμβάνονται στη ροή. Η μελέτη τυχαίων μεταβλητών που σχετίζονται με ροές είναι ιδιαίτερα αποτελεσματική σε πολλά επιστημονικά πεδία. Συγκεκριμένα, η μελέτη του αριθμού των ροών επιτυχιών σύμφωνα με διάφορα σχήματα απαρίθμησης αποτελεί ένα ενδιαφέρον θέμα ήδη από την εποχή του De Moivre (1756). Το 1940, ορίστηκε η βάση για τη δημιουργία ελέγχων υποθέσεων από τους Wald και Wolfowitz (1940) και τον Wolfowitz (1943). Επίσης, οι ροές χρησιμοποιήθηκαν και στον ποιοτικό έλεγχο από τους Mosteller (1941) και Wolfowitz (1943). Στις μέρες μας πέρα από τη Στατιστική, εφαρμόζεται και σε άλλες επιστημονικές περιοχές όπως η βιολογία (ακολουθίες DNA), η οικολογία, η ψυχολογία, η αστρονομία και η αξιοπιστία μηχανικών συστημάτων. Η παρούσα εργασία επικεντρώνεται στην μελέτη τυχαίων μεταβλητών, που μετρούν ροές επιτυχιών μήκους k. Αρχικά, αναλύονται οι τυχαίες μεταβλητές Nn,k και Mn,k, που παριστάνουν τον αριθμό των μη επικαλυπτόμενων ροών επιτυχιών μήκους k σύμφωνα με τον Feller (1968) και τον αριθμό των επικαλυπτόμενων ροών επιτυχιών μήκους k σύμφωνα με τον Ling (1988), αντίστοιχα. Επίσης, μελετάται η ασυμπτωτική τους συμπεριφορά και προσδιορίζεται η κατανομή τους μέσω συνδυαστικών μεθόδων, αναδρομικών σχημάτων, αθροισμάτων πολυωνυμικών και διωνυμικών συντελεστών καθώς και μέσω της μεθόδου εμβάπτισης τυχαίας μεταβλητής σε Μαρκοβιανή αλυσίδα. Δίνονται εκφράσεις για τη μέση τιμή, τη διασπορά και τη ροπογεννήτρια της τυχαίας μεταβλητής Mn,k. Επιπλέον, αναλύεται μια νέα κατηγορία αρνητικής διωνυμικής κατανομής τάξης k. Στη συνέχεια, δίνεται έμφαση στη μελέτη της τυχαίας μεταβλητής Nn,k,l, η οποία παριστάνει τον αριθμό των l-επικαλυπτόμενων ροών επιτυχιών μήκους k σε n ανεξάρτητες δοκιμές Bernoulli και γίνεται μία αναφορά στις γενικευμένες διωνυμικές κατανομές τάξης k. Παρουσιάζονται εκφράσεις για τη μέση τιμή και τη πιθανογεννήτρια συνάρτηση της τυχαίας μεταβλητής Nn,k,l και προσδιορίζεται η κατανομή της αναδρομικά, συνδυαστικά και μέσω της μεθόδου εμβάπτισης τυχαίας μεταβλητής σε Μαρκοβιανή αλυσίδα. Επίσης, μελετάται η τυχαία μεταβλητή Nn,k,l σε ακολουθία που προκύπτει από το σχήμα δειγματοληψίας Polya-Eggenberger. Τέλος, γίνεται σύνδεση της αξιοπιστίας m-συνεχόμενων-k-από-τα-n συστημάτων αποτυχίας με τις κατανομές των τυχαίων μεταβλητών Nn,k, Mn,k και Nn,k,l και παρουσιάζονται εκφράσεις για τον υπολογισμό της αξιοπιστίας αυτών των συστημάτων.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Πανδής Οδυσσέας
Λέξεις Κλειδιά: Χάος στην κβαντομηχανική, Κβαντικά μπιλιάρδα

Σύνοψη: Η παρούσα εργασία χωρίζεται σε δύο μέρη. Στην εισαγωγή γίνεται μια ιστορική ανασκόπηση. Στο δεύτερο κεφάλαιο παρουσιάζονται όλες εκείνες οι βασικές εισαγωγικές έννοιες που χρησιμοποιούνται από τη θεωρία του χάους και στο τρίτο κεφάλαιο γίνεται μια στοιχειώδης σύνοψη της Κβαντομηχανικής, τονίζονται οι διαφορές από την κλασική θεωρία και επιχειρείται μια πρώτη προσέγγιση στο ερώτημα "μπορεί να υπάρξει κβαντικό χάος"; Επίσης γίνεται μια πρώτη αναφορά για τις στατιστικές κατανομές ιδιοτιμών και ιδιοσυναρτήσεων που παρατηρούνται στα κβαντομηχανικά συστήματα και βγαίνουν τα πρώτα θεωρητικά συμπεράσματα. Το δεύτερο μέρος είναι αφιερωμένο στα κβαντικά μπιλιάρδα. Το τέταρτο κεφάλαιο ασχολείται με τις στατιστικές ιδιότητες των ιδιοτιμών και των ιδιοσυναρτήσεων. Στο πέμπτο κεφάλαιο παρουσιάζεται αναλυτικά η μέθοδος μετασχηματισμού εφελκυσμού η οποία είναι και η μέθοδος που ακολουθήθηκε για την εξαγωγή των ιδιοτιμών στα πειραματικά μας δεδομένα. Επίσης παρουσιάζεται το μπιλιάρδο του Robnik και διάφορα άλλα μπιλιάρδα. Τέλος παρουσιάζονται τα συμπεράσματα από τη στατιστική ανάλυση των ιδιοτήτων των παραπάνω μπιλιάρδων. Επίσης υπάρχουν και τέσσερα παραρτήματα που αφορούν τη Θεωρία τυχαίων μητρών, Θεωρία διαταραχών, Στοιχειώδη τανυστική ανάλυση και άλλες αριθμητικές μεθόδους υπολογισμού των ιδιοτιμών και ιδιοκαταστάσεων κβαντικών μπιλιάρδων.

Αρχείο Διπλωματικής Εργασίας

Συγγραφέας: Φωκά Γεωργία
Λέξεις Κλειδιά: Εκπαιδευτικό λογισμικό, Διαδικτυακή εφαρμογή, Πολυγλωσσία

Σύνοψη: Στην εργασία αυτή, παρουσιάζεται η ανερχόμενη μέθοδος εκμάθησης Intercomprehension καθώς και η αξιοποίηση αυτής από το διαδικτυακό εκπαιδευτικό λογισμικό εκμάθησης ξένων γλωσσών ‘Intercom’. Η συγκεκριμένη εφαρμογή στηρίζεται αποκλειστικά στη μεθοδολογία αυτή, η οποία και αναπτύσσει μια μέθοδο διδασκαλίας για την προώθηση της αμοιβαίας κατανόησης, στηριζόμενη σε κοινές στρατηγικές που αξιοποιούν τις μη-γλωσσικές πτυχές της δεκτικής ικανότητας. Το λογισμικό αυτό, αποτελείται από ένα σύνολο διαδικτυακών δραστηριοτήτων αλληλεπίδρασης με σκοπό την εκμάθηση τεσσάρων γλωσσών: Γερμανικά, Πορτογαλικά, Βουλγάρικα και Ελληνικά, αξιοποιώντας παράλληλα δύο γλώσσες οδηγούς (Αγγλικά και Γαλλικά). Η πρωτοτυπία του εκπαιδευτικού αυτού λογισμικού, συνιστάται στην εξέλιξη της συγκεκριμένης μεθόδου διδασκαλίας επεκτείνοντας την και πέρα των γλωσσικών οικογενειών παράλληλα με την αξιοποίηση μη γλωσσικών πτυχών κατά την εκμάθηση μιας ξένης γλώσσας.

Αρχείο Διπλωματικής Εργασίας