Διπλωματικές Εργασίες Μ.Δ.Ε - Έτος 2009
Συγγραφέας: Ταφιάδη Μαρία
Λέξεις Κλειδιά: Βελτιωμένα διαστήματα εμπιστοσύνης, Κανονικός πληθυσμός, Διασπορά Σύνοψη: Η παρούσα μεταπτυχιακή διατριβή ανήκει στο επιστημονικό πεδίο της Στατιστικής Θεωρίας Αποφάσεων και αποσκοπεί στην κατασκευή βελτιωμένων διαστημάτων εμπιστοσύνης για την διασπορά ενός πληθυσμού που προέρχεται από κανονική κατανομή. Η μελέτη του προβλήματος της κατασκευής ενός διαστήματος εμπιστοσύνης για την διασπορά μιας κανονικής κατανομής, παρουσιάστηκε στην εργασία του Shorrock (1990). Ειδικότερα, ο Shorrock σε αυτή του τη μελέτη κατασκεύασε διαστήματα εμπιστοσύνης που εξαρτώνταν από την δειγματική διασπορά και από τον δειγματικό μέσο. Συγκεκριμένα, τα νέα αυτά διαστήματα έχουν το ίδιο μήκος με το κλασικό διάστημα εμπιστοσύνης για την διασπορά, αλλά έχουν ομοιόμορφα μεγαλύτερη πιθανότητα κάλυψης. Αρχικά, εξετάζουμε λεπτομερώς τα γνωστά διαστήματα εμπιστοσύνης και πιο συγκεκριμένα, το διάστημα εμπιστοσύνης ίσων ουρών, ελαχίστου μήκους, λόγου πιθανοφανειών και το αμερόληπτο διάστημα εμπιστοσύνης για να γίνουν οι απαραίτητες συγκρίσεις με τα διαστήματα που θα παραχθούν στη συνέχεια. Το πρώτo διάστημα κατασκευάζεται ακολουθώντας μία διαδικασία που είναι αντίστοιχη με την μεθοδολογία εύρεσης του εκτιμητή τύπου Stein, γι' αυτό και το διάστημα που προκύπτει, ονομάζεται διάστημα εμπιστοσύνης τύπου Stein. Η κατασκευή του επόμενου διαστήματος βασίζεται στην μεθοδολογία εύρεσης του εκτιμητή Brown (1968) γι' αυτό και ονομάζεται διάστημα εμπιστοσύνης τύπου Brown. Κατ' όπιν και σε αναλογία με την μεθοδολογία εύρεσης των εκτιμητών Brewster and Zidek (1964) γενικεύεται το προηγούμενο διάστημα κατασκευάζοντας το διάστημα εμπιστσύνης Brewster and Zidek, το οποίο αποδεικνύεται με τη σειρά του ότι, είναι ένα γενικευμένο διάστημα Bayes. Έτσι, κάνοντας τη σύγκριση ως προς την πιθανότητα κάλυψης μεταξύ των νέων αυτών διαστημάτων και του κλασικού διαστήματος εμπιστοσύνης αποδεικνύεται πως αυτή είναι ομοιόμορφα μεγλύτερη για τα νέα διαστήματα. Αρχείο Διπλωματικής Εργασίας |
Συγγραφέας: Κρητικού Μαγδαλινή
Λέξεις Κλειδιά: Προγραμματισμός ανθρώπινου δυναμικού, Θεωρία ελέγχου, Προγραμματισμός στόχων Σύνοψη: Στην παρούσα εργασία παρουσιάζονται εφαρμογές των στοχαστικών διαδικασιών στα λεγόμενα κοινωνικά συστήματα από τη σκοπιά του προγραμματισμού ανθρώπινου δυναμικού (manpower planning). O προγραμματισμός του ανθρώπινου δυναμικού έχει να κάνει με την κατάλληλη τοποθέτηση των μελών του συστήματος στις σωστές θέσεις, σε αριθμούς οι οποίοι εγγυώνται την ομαλή λειτουργία. Αρχικά αναπτύσσουμε το μη ομογενές Μαρκοβιανό σύστημα (ΜΟΜΣ), το οποίο έχει ως βάση του τις Μαρκοβιανές αλυσίδες: η συμπεριφορά του καθορίζεται από την οριακή ή σε πεπερασμένο χρόνο συμπεριφορά μιας μη ομογενούς Μαρκοβιανής αλυσίδας. Το ΜΟΜΣ, είναι ένα μαθηματικό μοντέλο, το οποίο αποτέλεσε μια θεωρία ενοποίησης μέσα σε ένα κοινό πλαίσιο, πολλών γνωστών στοχαστικών μοντέλων προγραμματισμού ανθρώπινου δυναμικού. Στη συνέχεια επικεντρωνόμαστε στον έλεγχο της συμπεριφοράς του μοντέλου. Για το σκοπό αυτό, ορίζουμε μια σχέση για το αναμενόμενο κόστος λειτουργίας και αμοιβών του ΜΟΜΣ. Στη σχέση αυτή δίνουμε τη γενικότερη δυνατή μορφή, έτσι ώστε να περιλαμβάνει ως ειδικές περιπτώσεις αρκετές από τις παραλλαγές των συναρτήσεων κόστους-αμοιβών που υπάρχουν. Τέλος, με τη βοήθεια του προγραμματισμού στόχων (Goal Programming), ελέγχουμε τις ροές του ΜΟΜΣ προκειμένου να επιτευχθεί μια ικανοποιητική συμπεριφορά σύμφωνα με κάποιους στόχους, καθώς το σύστημα περνάει τις τρεις φάσεις λειτουργίας του, δηλ. την παροδική, την ημι-παροδική και τη φάση στατιστικής ισορροπίας. Αρχείο Διπλωματικής Εργασίας |
Συγγραφέας: Γριβοκωστοπούλου Φωτεινή
Λέξεις Κλειδιά: Αυτόματη απόδειξη θεωρημάτων, Βιβλιοθήκη 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 και εξήχθησαν χρήσιμα συμπεράσματα για την καταλληλότητά τους και την αποδοτικότητά τους σε σχέση με το είδος των προβλημάτων. Αρχείο Διπλωματικής Εργασίας |
ΕπικοινωνίαΕργαστήριο Η/Υ & Εφαρμογών Πανεπιστημιούπολη, T.K. 265 00, Ρίο Πατρών Τηλ: +30 2610 997280 Φαξ: +30 2610 997424 lcsa@math.upatras.grΛοιποί Σύνδεσμοι Τμήματος
|
Ανάπτυξη & Συντήρηση Ιστοχώρου
Εργαστήριο Η/Υ & Εφαρμογών
Υπεύθ. Επικοινωνίας : Δ. Ανυφαντής (Ε.Τ.Ε.Π)
|