Τμήμα Πληροφορικήςhttps://dione.lib.unipi.gr/xmlui/handle/unipi/54872026-04-16T14:57:23Z2026-04-16T14:57:23ZΑνάπτυξη εφαρμογής Android με Kotlin για την παραγωγή εξατομικευμένων τουριστικών διαδρομών με τη χρήση τεχνητής νοημοσύνης (AI)Πατσατζής, Άγγελοςhttps://dione.lib.unipi.gr/xmlui/handle/unipi/191642026-04-09T23:31:21Z2026-02-01T00:00:00ZΑνάπτυξη εφαρμογής Android με Kotlin για την παραγωγή εξατομικευμένων τουριστικών διαδρομών με τη χρήση τεχνητής νοημοσύνης (AI)
Πατσατζής, Άγγελος
Η παρούσα εργασία έχει σκοπό την ανάπτυξη μιας ταξιδιωτικής εφαρμογής για συσκευές Android,
η οποία βασίζεται στις γλώσσες προγραμματισμού Kotlin για την εφαρμογή Android και Python
για το σκέλος της Τεχνητής Νοημοσύνης. Πιο συγκεκριμένα, πρόκειται για μία εφαρμογή που
επιτρέπει στους χρήστες να δημιουργούν εξατομικευμένες τουριστικές διαδρομές διάρκειας
μερικών ωρών σε οποιαδήποτε πόλη ή περιοχή παγκοσμίως. Η παραγωγή της διαδρομής
υλοποιείται μέσω του μοντέλου Gemini (LLM), ενώ για την οπτικοποίηση και τον εντοπισμό των
σημείων χρησιμοποιούνται τα APIs της Google (Google Places New, Directions, Geocoding) και
το Maps SDK for Android. Ο χρήστης, αφού εγγραφεί, συμπληρώνει μια φόρμα με τις προτιμήσεις
του και το σύστημα προτείνει μια βελτιστοποιημένη διαδρομή, η οποία προβάλλεται σε
διαδραστικό χάρτη. Με την ενσωμάτωση της βάσης δεδομένων Firebase, οι διαδρομές
αποθηκεύονται μόνιμα, δίνοντας στον χρήστη τη δυνατότητα πρόσβασης στο ιστορικό των
περιηγήσεών του ανά πάσα στιγμή.
2026-02-01T00:00:00ZΣχεδιασμός και υλοποίηση ενός Saga Orchestrator με χρήση μηχανής καταστάσεων σε ένα σύστημα μικροϋπηρεσιώνΡούσσος, Αντώνιοςhttps://dione.lib.unipi.gr/xmlui/handle/unipi/191142026-04-02T23:30:34Z2026-02-01T00:00:00ZΣχεδιασμός και υλοποίηση ενός Saga Orchestrator με χρήση μηχανής καταστάσεων σε ένα σύστημα μικροϋπηρεσιών
Ρούσσος, Αντώνιος
Η παρούσα πτυχιακή εργασία επικεντρώνεται στο σχεδιασμό και την υλοποίηση ενός Saga Orchestrator για τη διαχείριση κατανεμημένων συναλλαγών σε μια αρχιτεκτονική μικροϋπηρεσιών. Στόχος της εργασίας είναι η μελέτη και η εφαρμογή του προτύπου Saga, προκειμένου να επιτευχθεί η τελική συνέπεια των δεδομένων χωρίς τη χρήση ACID συναλλαγών. Για τον συντονισμό της ροής χρησιμοποιείται μια μηχανή καταστάσεων με τη βιβλιοθήκη Spring Statemachine, η οποία επιτρέπει την διαχείριση των επιμέρους βημάτων μιας διαδικασίας, όπως η εξουσιοδότηση πληρωμής και η δέσμευση αποθέματος σε ένα απλοποιημένο σύστημα ηλεκτρονικού εμπορίου. Η επικοινωνία μεταξύ των μικροϋπηρεσιών πραγματοποιείται ασύγχρονα μέσω RabbitMQ, ενώ σε περιπτώσεις σφαλμάτων ενεργοποιούνται κατάλληλες αντισταθμιστικές ενέργειες. Η υλοποίηση αξιολογείται σε περιβάλλον Docker Compose, με σκοπό την παρακολούθηση της συμπεριφοράς του orchestrator τόσο σε κανονικά σενάρια εκτέλεσης όσο και σε βασικές περιπτώσεις αποτυχίας.
2026-02-01T00:00:00ZΧρήση αρχιτεκτονικής ασύμμετρου Bi-encoder στο πλαίσιο της αυτόματης απόδειξης θεωρημάτωνΛιγάτος, Ηλίαςhttps://dione.lib.unipi.gr/xmlui/handle/unipi/191122026-04-02T23:31:37Z2026-02-01T00:00:00ZΧρήση αρχιτεκτονικής ασύμμετρου Bi-encoder στο πλαίσιο της αυτόματης απόδειξης θεωρημάτων
Λιγάτος, Ηλίας
Η παρούσα πτυχιακή εργασία εξετάζει το πρόβλημα της επιλογής μαθηματικών προτάσεων (premise selection) στο πλαίσιο της αυτοματοποιημένης απόδειξης μαθηματικών θεωρημάτων και προτείνει μια εναλλακτική αρχιτεκτονική ασύμμετρου bi-encoder για τη βελτίωση της διαδικασίας ανάκτησης. Συγκεκριμένα, υλοποιείται ένα σύστημα πυκνής διανυσματικής αναπαράστασης (Dense Retrieval ή Dense Embedding system) στο οποίο οι καταστάσεις απόδειξης (proof states) και οι διαθέσιμες μαθηματικές προτάσεις κωδικοποιούνται μέσω δύο διακριτών νευρωνικών κωδικοποιητών (encoders), επιτρέποντας διαφοροποιημένη μοντελοποίηση των δομικών και σημασιολογικών χαρακτηριστικών κάθε τύπου εισόδου. Η προτεινόμενη αρχιτεκτονική αξιολογείται ως προς την ακρίβεια ανάκτησης, αναδεικνύοντας τον ρόλο της εξειδικευμένης αναπαράστασης στη βελτίωση της απόδοσης συστημάτων αυτοματοποιημένης συλλογιστικής.
2026-02-01T00:00:00ZΒιώσιμη αστική κινητικότητα : προκλήσεις και τεχνολογικές προσεγγίσειςΣπάχος, Μιχαήλhttps://dione.lib.unipi.gr/xmlui/handle/unipi/190552026-03-25T00:41:12Z2026-02-01T00:00:00ZΒιώσιμη αστική κινητικότητα : προκλήσεις και τεχνολογικές προσεγγίσεις
Σπάχος, Μιχαήλ
Αυτή η πτυχιακή εργασία διεξάγει μια εκτενή μελέτη του θέματος-τοπίου της Βιώσιμης Αστικής Κινητικότητας. Η Βιώσιμη Αστική Κινητικότητα αποτελεί έναν σύγχρονο τρόπο οργάνωσης των μετακινήσεων μέσα στις πόλεις, με στόχο την ανάπτυξη ενός συστήματος μεταφορών που να είναι φιλικό προς το περιβάλλον, αποτελεσματικό και ανθρώπινο. Εστιάζει σε μορφές μετακίνησης που συμβάλλουν στη μείωση της ρύπανσης, του θορύβου και των εκπομπών διοξειδίου του άνθρακα(CO2), ενισχύουν την υγεία και την ασφάλεια των κατοίκων, βάζουν στο επίκεντρο τον άνθρωπο, αντί να δίνουν προτεραιότητα στα οχήματα. Προκειμένου να εφαρμοστεί το σχέδιο της Βιώσιμης Αστικής Κινητικότητας σε ένα μεγάλο σύνολο πόλεων και χωρών θα πρέπει να λάβουν χώρα ορισμένες αλλαγές και κατάλληλα μέτρα. Στη εν λόγω πτυχιακή μελετάται σε βάθος όλο το αντικείμενο της Βιώσιμης Αστικής Κινητικότητας, ξεκινώντας αρχικά αναλύοντας και επεξηγώντας την ατζέντα, των Ηνωμένων Εθνών(United Nations) για την Βιώσιμη Ανάπτυξη και τους δεκαεπτά επιμέρους στόχους-goals που αυτή ορίζει. Εν συνεχεία, επεξηγείται πλήρως η έννοια της Βιώσιμης Αστικής Κινητικότητας σε βάθος, με κύριο επίκεντρο την εκτεταμένη ανάλυση των αναγκών και των προκλήσεων της Βιώσιμης Αστικής Κινητικότητας, στις σύγχρονες κοινωνίες. Έπειτα δίνεται έμφαση στην αναφορά, επεξήγηση και ανάλυση διαφόρων προτάσεων και πολιτικών για την περαιτέρω εδραίωση και ανάδειξη της Βιώσιμης Αστικής Κινητικότητα. Στο πλαίσιο αυτό, πραγματοποιείται και η κατηγοριοποίηση-μοντελοποίηση όλων των τύπων πόλεων και αστικών περιοχών στις σύγχρονες κοινωνίες προκειμένου μέσω μιας στατιστικής ανάλυσης διάφορων δεικτών κινητικότητας της κάθε κατηγορίας, οι προτάσεις και τα μέτρα κινητικότητας να είναι αντιπροσωπευτικά και απολύτως κατάλληλα και προσιτά για κάθε κατηγορία.
2026-02-01T00:00:00Z