δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Δομοστοιχειωτός έλεγχος βιομηχανικού συστήματος κατεργασιών σε δακτυλιοειδή διάταξη
Στην παρούσα διπλωματική εργασία θα παρουσιαστεί ένα βιομηχανικό σύστημα κατεργασίας της βιβλιογραφίας. Αρχικά θα παρουσιαστεί η μοντελοποίηση όλων των υποσυστημάτων του συστήματος με χρήση πεπερασμένων ντετερμινιστικών αυτόματων. Στη συνέχεια μέσω της παράλληλης σύνδεσης θα παρουσιαστεί το συνολικό μοντέλο του συστήματος. Θα πραγματοποιηθεί η προσομοίωση του συνολικού αυτόματου. Η επιθυμητή συμπεριφορά του βιομηχανικού συστήματος τόσο από πλευράς συντονισμού των υποσυστημάτων όσο και από πλευράς προδιαγραφών ασφαλείας θα παρουσιαστεί στη μορφή κανόνων. Στη συνέχεια η επιθυμητή συμπεριφορά θα παρουσιαστεί στη μορφή κανονικών γλωσσών για τις οποίες θα αποδειχτεί η ελεγξιμότητας σε ότι αφορά το συνολικό αυτόματο. Σύμφωνα με τις επιθυμητές κανονικές γλώσσες θα πραγματοποιηθεί ο σχεδιασμός μίας δομοστοιχειωτής αρχιτεκτονικής ελέγχου η οποία αποφεύγει τον εγκλωβισμό. Συνεπώς θα σχεδιαστούν επόπτες ελεγκτές οι οποίοι σημαδεύουν και παράγουν τις επιθυμητές κανονικές γλώσσες. Τέλος θα πραγματοποιηθεί η προσομοίωση του ελεγχόμενου αυτόματου.
(EL)
In this diploma thesis, an industrial manufacturing system of the bibliography will be presented. Initially, the modeling of all subsystems of the system using finite deterministic automata will be presented. Then through the parallel composition the overall model of the system will be presented. The total automaton will be simulated. The desired behavior of the industrial system regarding the subsystem’s coordination and the safety specifications will be presented in the form of rules. Then the desired behavior will be presented in the form of regular languages where the controllability of the desired languages regarding the total automaton will be proved. According to the desired regular languages, the design of a modular nonblocking control architecture will be designed. Therefore, supervisors will be designed which mark and produce the desired regular languages. Finally, the controlled automaton will be simulated.
(EN)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
