Σύνοψη: Στην παρούσα Διπλωματική Εργασία μελετώνται εφαρμογές της θεωρίας της Διαστατικής Ανάλυσης στην μαθηματική μοντελοποίηση. Πιο συγκεκριμένα, στο πρώτο κεφάλαιο εισάγουμε την έννοια της διαστατικής ανάλυσης καθώς και την χρησιμότητά της κάνοντας ταυτόχρονα μια σύντομη ιστορική αναδρομή. Στο ίδιο κεφάλαιο ακόμα παραθέτουμε το περίφημο παράδειγμα στο οποίο ο G.I. Taylor υπολόγισε, με την βοήθεια της Διαστατικής Ανάλυσης, την ενέργεια που εκλύθηκε από την πρώτη, δοκιμαστική ατομική βόμβα στο New Mexico τον Ιούλιο του 1945. Στο δεύτερο κεφάλαιο αναπτύσσονται το Θεώρημα Π του Buckingham, το οποίο αποτελεί το θεμελιώδες θεωρητικό υπόβαθρο της Διαστατικής Ανάλυσης, καθώς και δύο εφαρμογές που βασίζονται στο παραπάνω θεώρημα. Η πρώτη εξ' αυτών αναφέρεται στην ταχύτητα εξάπλωσης της πετρελαιοκηλίδάς στον Κόλπο του Μεξικού που προκλήθηκε από την έκρηξη σε υποθαλάσσια πλατφόρμα εξόρυξης πετρελαίου την άνοιξη του 2010. Τέλος, στο τρίτο κεφάλαιο αναλύονται οι εξισώσεις Navier-Stokes και συνέχειας της Ρευστοδυναμικης. Ελέγχουμε ότι οι εξισώσεις αυτές είναι διαστατικά ομογενείς και στη συνέχεια περιγράφουμε τη διαδικασία κανονικοποίησής τους.
Σύνοψη: Η ευθυγράμμιση οντολογιών είναι η διαδικασία καθορισμού των αντιστοιχίσεων μεταξύ εννοιών. Ένα σύνολο αντιστοιχίσεων καλείται ευθυγράμμιση. Στα πρόσφατα έτη έχουν προταθεί διάφορα εργαλεία ως έγκυρη λύση στο πρόβλημα της σημασιολογικής ετερογένειας. Αυτά τα εργαλεία ταυτοποιούν κόμβους σε δύο σχήματα, τα οποία συσχετίζονται συντακτικά ή σημασιολογικά. Τα εργαλεία ευθυγράμμισης οντολογιών έχουν γενικά αναπτυχθεί για να λειτουργούν σε σχήματα βάσεων δεδομένων, XML σχήματα, ταξινομίες, τυπικές γλώσσες, μοντέλα σχέσεων οντοτήτων, λεξικά, θησαυρούς, οντολογίες και άλλα πλαίσια ετικετών. Τα παραπάνω συνήθως μετατρέπονται σε μια αναπαράσταση γράφων πριν την αντιστοίχιση. Εν όψει του Σημασιολογικού Ιστού, οι γράφοι μπορούν να αντιπροσωπευθούν από μορφές RDF (Resource Description Framework). Σε αυτό το πλαίσιο, η ευθυγράμμιση οντολογιών αναφέρεται μερικές φορές ως “ταίριασμα οντολογιών”. Το ταίριασμα οντολογιών είναι μια βασική προϋπόθεση για την ενεργοποίηση της διαλειτουργικότητας στο Σημασιολογικό Ιστό, καθώς επίσης και μια χρήσιμη τακτική για κάποιες κλασσικές εργασίες ολοκλήρωσης δεδομένων. Οι αντιστοιχίες μπορούν να χρησιμοποιηθούν σε διάφορες εργασίες, όπως στη συγχώνευση οντολογιών και στη μετάφραση δεδομένων. Κατά συνέπεια, το ταίριασμα των οντολογιών επιτρέπει στη γνώση και τα στοιχεία που εκφράζονται στις αντιστοιχημένες οντολογίες να επικοινωνήσουν. Τα παραπάνω δίνουν μεγάλη αξία στη σωστή λειτουργία και αποδοτικότητα των εργαλείων ευθυγράμμισης οντολογιών. Για το λόγο αυτό είναι σωστό να γίνονται συχνές αξιολογήσεις των εργαλείων και των αποτελεσμάτων τους, κάτω από διαφορετικές συνθήκες και περιπτώσεις χρήσης. Η αξιολόγηση των ευθυγραμμίσεων οντολογιών γίνεται στην πράξη με δύο τρόπους: (i) αξιολογώντας μεμονωμένες αντιστοιχίες και (ii) συγκρίνοντας την ευθυγράμμιση με μια ευθυγράμμιση αναφοράς. Η παρούσα εργασία έχει ως σκοπό να δώσει μια ικανοποιητική εικόνα για τις επιδόσεις και την αποδοτικότητα πέντε εργαλείων ευθυγράμμισης οντολογιών. Στα πλαίσια της εργασίας περιγράφονται, συγκρίνονται και αξιολογούνται τα χαρακτηριστικά των εργαλείων, οι μέθοδοι και τα αποτελέσματα ευθυγραμμίσεων, ενώ γίνονται συγκριτικές παρατηρήσεις με τα αποτελέσματα των αντίστοιχων εργαλείων στο OAEI (Ontology Alignment Evaluation Initiative). Γίνεται χρήση και των δύο τρόπων αξιολόγησης ευθυγραμμίσεων, δηλαδή καταμετρούνται και παρατηρούνται οι αντιστοιχίες που παρήχθησαν από κάθε μέθοδο, για κάθε εργαλείο και συγκρίνονται με μια ευθυγράμμιση αναφοράς, η οποία παρήχθηκε χειρωνακτικά. Η σύγκριση των συστημάτων και των αλγορίθμων στην ίδια βάση αποτελεί το μέσο που επιτρέπει στον καθένα να σχηματίσει συμπεράσματα για τις καλύτερες στρατηγικές ταιριάσματος.
Συγγραφέας: ΝτελήςΣωτήριος Λέξεις Κλειδιά: Θεωρία κατηγοριών, Συγκεκριμένα καθολικά
Σύνοψη: Γίνεται αναφορά στην Ιστορία της έννοιας του καθολικού, του συγκεκριμένου καθολικού, και της Θεωρίας Κατηγοριών. Κατόπιν, παρουσιάζεται η απόπειρα τυποποίησης μέσω της Θεωρίας των Κατηγοριών εννοιών με το οντοτολογικό status του συγκεκριμένου καθολικού, όπως και η χρήση της έννοιας του συγκεκριμένου καθολικού ως ερμηνείας κάποιων καθολικών κατασκευών που απαντώνται στη Θεωρία Κατηγοριών.
Σύνοψη: Η παρούσα ερευνητική εργασία παρουσιάζει ένα μοντέλο πιστοποίησης της ποιότητας ψηφιακού εκπαιδευτικού υλικού κατάλληλου για εκπαίδευση ενηλίκων με τη μέθοδο της εξ αποστάσεως εκπαίδευσης. Το προτεινόμενο μοντέλο υιοθετεί το πρότυπο ποιότητας λογισμικού ISO/IEC 9126, λαμβάνει υπόψη τις θεωρίες μάθησης ενηλίκων και βασίζεται σε δύο μοντέλα διδακτικού σχεδιασμού: το μοντέλο (κύκλος μάθησης) του Kolb και το μοντέλο των Gagne, Briggs & Wager. Αρχικά περιγράφεται η συσχέτιση των τμημάτων του εκπαιδευτικού υλικού με το μοντέλο διδακτικού σχεδιασμού των Gagne, Briggs & Wager και το μοντέλο του Kolb. Ακολουθεί η περιγραφή, η ανάλυση και η κατηγοριοποίηση των κατάλληλων χαρακτηριστικών, υπο-χαρακτηριστικών και γνωρισμάτων ποιότητας του ψηφιακού εκπαιδευτικού υλικού τα οποία συνιστούν τις διαστάσεις ποιότητας.
