Ανάπτυξη Μοντέλων Διακριτών Συστημάτων Μέρος Β

Slides:



Advertisements
Παρόμοιες παρουσιάσεις
Applied Econometrics Second edition
Advertisements

Λειτουργικό Σύστημα (Operating System) 1o μέρος
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι
Transactions & P2P Systems Διονύσης Αθανασόπουλος Βασίλης Φωτόπουλος.
Microsoft ® Lync ™ 2010 Εκπαίδευση στην εφαρμογή Ομάδων Ανταπόκρισης.
Slide 1 Δίκτυα Τηλεπικοινωνιών ENOTHTA 7 η ΔΙΑΚΙΝΗΣΗ ΤΗΛΕΦΩΝΙΚΩΝ ΚΛΗΣΕΩΝ (ΜΕΡΟΣ Α’) 1. ΘΕΩΡΙΑ ΤΗΣ ΤΗΛΕΠΙΚΟΙΝΩΝΙΑΚΗΣ ΚΙΝΗΣΗΣ  Εκτός από τις τερματικές.
Διαδικασία ανάπτυξης Προσδιορισμός απαιτήσεων Αρχιτεκτονικός Σχεδιασμός Λεπτομερής Σχεδιασμός Κωδικοποίηση Έλεγχος Παράδοση Συστήματος Λειτουργία - Συντήρηση.
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι
Λειτουργικά Συστήματα ΑΔΙΕΞΟΔΑ. 3.1 Εισαγωγή  Αδιέξοδο = ένα σύνολο από διεργασίες που δημιουργούν μια κυκλική αλυσίδα όπου κάθε process στην αλυσίδα.
Δίκτυα Ουρών - Παραδείγματα
ΕΛΕΓΧΟΣ ΡΟΗΣ ΜΑΘΗΜΑ 4. ΑΚΟΛΟΥΘΙΑΚΗ ΕΚΤΕΛΕΣΗ ΠΡΟΤΑΣΕΩΝ ΠΡΟΤΑΣΗ Α ΠΡΟΤΑΣΗ Β ΠΡΟΤΑΣΗ Γ ………………. ΠΡΟΤΑΣΗ n ΠΡΟΤΑΣΗ Α ΠΡΟΤΑΣΗ Β ΠΡΟΤΑΣΗ Γ ………………. ΠΡΟΤΑΣΗ n.
Moντέλα Καθυστέρησης και Ουρές
ΒΕΣ 06: Προσαρμοστικά Συστήματα στις Τηλεπικοινωνίες © 2007 Nicolas Tsapatsoulis Θεωρία Στοχαστικών Σημάτων: Στοχαστικές διεργασίες, Περιγραφή εργοδικών.
Το Μ/Μ/1 Σύστημα Ουράς Μ (η διαδικασία αφίξεων είναι Poisson) /
ΠΡΩΤΟΚΟΛΛΑ ΕΠΙΚΟΙΝΩΝΙΑΣ Παράγραφος 1.7. ΠΡΩΤΟΚΟΛΛΑ ΕΠΙΚΟΙΝΩΝΙΑΣ Είσαι εκεί; Εδώ είμαι Είσαι έτοιμος να λάβεις ένα μήνυμα; Είμαι έτοιμος Πάρε το πρώτο.
Ο Μετασχηματισμός Laplace και ο Μετασχηματισμός Ζ
1 Χαρακτηριστικά ενός Μ/Μ/1 συστήματος : Αφίξεις κατανεμημένες κατά Poisson Εκθετικά κατανεμημένοι χρόνοι εξυπηρέτησης Οι χρόνοι εξυπηρέτησης είναι αμοιβαία.
Διαχείριση μνήμης Υπόβαθρο Εναλλαγή Συνεχής κατανομή Σελιδοποίηση
Slide 1 Δίκτυα Τηλεπικοινωνιών ENOTHTA 8 η ΔΙΑΚΙΝΗΣΗ ΤΗΛΕΦΩΝΙΚΩΝ ΚΛΗΣΕΩΝ (ΜΕΡΟΣ B’) 1. ΔΙΑΚΡΙΣΗ ΜΟΝΤΕΛΩΝ ΤΗΛΕΠΙΚΟΙΝΩΝΙΑΚΗΣ ΚΙΝΗΣΗΣ  Για την ταξινόμηση.
Μοντελοποίηση συμπεριφοράς. Συμβάντα - Καταστάσεις - Μεταβάσεις Στην UML για παράσταση συμβάντων και καταστάσεων σε αντικείμενα. Συμβάν Πρόκληση λειτουργίας.
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ 16/05/13 Δίκτυα Ουρών. ΔΙΚΤΥΟ ΔΥΟ ΕΚΘΕΤΙΚΩΝ ΟΥΡΩΝ ΕΝ ΣΕΙΡΑ Θεώρημα Burke: Η έξοδος πελατών από ουρά Μ/Μ/1 ακολουθεί κατανομή Poisson.
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ 11/04/13 Διαδικασίες Γεννήσεων-Θανάτων (Birth- Death), Εξισώσεις Ισορροπίας, Συστήματα Αναμονής Μ/Μ/1.
ΕΙΣΑΓΩΓΗ Tο PRISM είναι ένα πιθανοκρατικό εργαλείο μοντελοποίησης, για μοντελοποίηση μη ντετερμινιστικών συστημάτων. Βασίζεται στην κατασκευή ενός ακριβούς.
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ 25/06/08 Ασκήσεις Επανάληψης.
Ασκήσεις - Παραδείγματα
Επιμέλεια: Μάουλα Χριστίνα ΕΠΠΑΙΚ
Χαρακτηριστικά ενός Μ/Μ/1 συστήματος :
Διπλωματική Εργασία Πειραματική Αξιολόγηση της Μοναδιαίας Οκνηρής Συνέπειας Τόξου (Singleton Lazy Arc Consistency) Ιωαννίδης Γιώργος (ΑΕΜ: 491)
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems Δίκτυα Ουρών - Παραδείγματα
1 ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems Δίκτυα Ουρών Β. Μάγκλαρης Β. Μάγκλαρης Σ. Παπαβασιλείου Σ. Παπαβασιλείου
Εισαγωγή στα Συστήματα Αυτομάτου Ελέγχου
Κυκλοφοριακός Φόρτος Κυκλοφοριακή Πυκνότητα
Κωνσταντίνος Αντωνής © 2014Διαδικτυακός και Ταυτόχρονος Προγραμματισμός Ομοιόμορφη Αποδοτική Διαχείριση του Ταυτοχρονισμού των Εξυπηρετητών 1.
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ 23/04/12 Διάγραμμα Μετάβασης Καταστάσεων, Εξισώσεις Ισορροπίας, Συστήματα Αναμονής Μ/Μ/1.
1 Αδιέξοδα Μοντέλο συστήματος Χαρακτηρισμός αδιεξόδου Μέθοδοι διαχείρισης αδιεξόδων Πρόληψη Αποφυγή Ανίχνευση.
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems Παραδείγματα Ανοικτών Δικτύων Ουρών Κλειστά Δίκτυα Ουρών Β. Μάγκλαρης Σ. Παπαβασιλείου.
Σήματα και Συστήματα ΙΙ Διάλεξη: Εβδομάδα Καθηγητής Πέτρος Γρουμπός Επιμέλεια παρουσίασης: Βασιλική Μπουγά 1.
ΨΗΦΙΑΚΑ ΣΥΣΤΗΜΑΤΑ 1 Διάλεξη 12: Διάλεξη 12: Καταχωρητές - Μετρητές Δρ Κώστας Χαϊκάλης.
Ενότητα 2 η Σήματα και Συστήματα. Σήματα Γενικά η πληροφορία αποτυπώνεται και μεταφέρεται με την βοήθεια των σημάτων. Ως σήμα ορίζουμε την οποιαδήποτε.
ΣΥΣΤΗΜΑΤΑ ΑΥΤΟΜΑΤΟΥ ΕΛΕΓΧΟΥ Ι 7 η Διάλεξη Η ΜΕΘΟΔΟΣ ΤΟΥ ΓΕΩΜΕΤΡΙΚΟΥ ΤΟΠΟΥ ΡΙΖΩΝ  Ορισμός του γεωμετρικού τόπου ριζών Αποτελεί μια συγκεκριμένη καμπύλη,
Κεφάλαιο 5 Συμπεριφορά των ΣΑΕ Πλεονεκτήματα της διαδικασίας σχεδίασης ΣΑΕ κλειστού βρόχου Συμπεριφορά των ΣΑΕ στο πεδίο του χρόνου Απόκριση ΣΑΕ σε διάφορα.
1 State Diagrams. 2 Τα διαγράμματα καταστάσεων (State diagrams) χρησιμοποιούνται: Για να βοηθήσουν στην ανάπτυξη ενός συστήματος Για να βοηθήσουν στην.
ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ II Καθ. Πέτρος Π. Γρουμπός Διάλεξη 8η Στοχαστικά Σήματα - 1.
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι
Έβδομο μάθημα Ψηφιακά Ηλεκτρονικά.
Ανάλυση Εισόδου και Εξόδου Προσομοίωσης
Μικροοικονομία Διάλεξη 2.
ΔΙΑΝΥΣΜΑΤΙΚΗ ΠΑΡΑΣΤΑΣΗ ΕΝΑΛΛΑΣΣΟΜΕΝΩΝ ΜΕΓΕΘΩΝ
Ένατο μάθημα Ψηφιακά Ηλεκτρονικά.
Χειρισμός Χρόνου και Μεθοδολογίες Προσομοίωσης
Κατανεμημένα Συστήματα
ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ II
Kiosk & Retail.
Προσομοίωση και Μοντέλα Συστημάτων (Μέρος B)
Διαγράμματα Κύκλου Δραστηριοτήτων Η Μέθοδος των Τριών Φάσεων
Μέγιστη ροή Κατευθυνόμενο γράφημα 12 Συνάρτηση χωρητικότητας
ΔΙΑΚΡΙΤΑ ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Σήματα
Λειτουργικά Συστήματα και Ασφάλεια Πληροφοριακών Συστημάτων ΔΙΕΡΓΑΣΙΕΣ
Μοντελοποίηση Διακριτών Συστημάτων
Η Έννοια της τυχαίας Διαδικασίας
ΑΚΟΛΟΥΘΙΑΚΑ ΣΤΟΙΧΕΙΑ.
ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ II
Η Έννοια της τυχαίας Διαδικασίας
ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems Δίκτυα Ουρών
Κεφάλαιο 7: Διαδικτύωση-Internet
Ομοιόμορφη Αποδοτική Διαχείριση του Ταυτοχρονισμού των Εξυπηρετητών
Ανάλυση της εικόνας 4-25 (Rabaey)
Activity Diagrams.
Λογικές πύλες και υλοποίηση άλγεβρας Boole ΑΡΒΑΝΙΤΗΣ ΚΩΝΣΤΑΝΤΙΝΟΣ(ΣΥΝΕΡΓΑΤΕΣ):ΔΗΜΗΤΡΙΟΣ ΔΑΒΟΣ- ΜΑΡΙΑ ΕΙΡΗΝΗ KAΛΙΑΤΣΗ-ΦΡΑΤΖΕΣΚΟΣ ΒΟΛΤΕΡΙΝΟΣ… ΕΠΠΑΙΚ ΑΡΓΟΥΣ.
Λογιςτικη κοςτους ΙΙ Εισήγηση 7ης εβδομάδας.
Μεταγράφημα παρουσίασης:

Ανάπτυξη Μοντέλων Διακριτών Συστημάτων Μέρος Β

Προσομοίωση Δραστηριοτήτων Διαγράμματα κύκλου δραστηριοτήτων Τα διαγράμματα κύκλου δραστηριοτήτων χρησιμοποιούν τα παρακάτω δύο σύμβολα: Οι καταστάσεις, τις οποίες δηλώνουν τα σύμβολα, αναφέρονται σε καταστάσεις των οντοτήτων του μοντέλου

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

Αυτές είναι οι δύο κατηγορίες οντοτήτων του μοντέλου μας Παράδειγμα Σε ένα μπαρ υπάρχουν πελάτες που πίνουν το ποτό τους και ένας μπάρμαν που τους σερβίρει Αυτές είναι οι δύο κατηγορίες οντοτήτων του μοντέλου μας Υποθέτουμε ότι οι πελάτες στο μπαρ αυτό είναι γερά ποτήρια Μόλις τελειώσουν το ποτό τους ζητούν αμέσως άλλο Οι καταστάσεις από τις οποίες περνά κάθε πελάτης είναι: Κατανάλωση ποτού Αναμονή για σερβίρισμα Σερβίρισμα ποτού

Διάγραμμα κύκλου δραστηριοτήτων του κάθε πελάτη Διάγραμμα κύκλου δραστηριοτήτων του μπάρμαν

Διάγραμμα κύκλου δραστηριοτήτων του μπαρ Οι ενεργές καταστάσεις δεν είναι απαραίτητο να δείχνουν αλληλεπίδραση δύο οντοτήτων Οι αδρανείς καταστάσεις αφορούν είτε αναμονή σε ουρά, είτε αναμονή για να συμβεί κάτι Στα διαγράμματα κύκλου δραστηριοτήτων δεν φαίνονται λεπτομερειακά όλες οι οντότητες του μοντέλου, αλλά οι κατηγορίες των οντοτήτων Διάγραμμα κύκλου δραστηριοτήτων του μπαρ Εξετάζοντας το διάγραμμα αυτό παρατηρούμε ότι:

Διάγραμμα κύκλου δραστηριοτήτων μίας απλής ουράς Στο προηγούμενο παράδειγμα το σύστημα είναι κλειστό, δηλαδή δεν έχει εξωγενείς δραστηριότητες ή οντότητες Στην περίπτωση ενός ανοικτού συστήματος πρέπει να προστεθεί μία δραστηριότητα που παράγει τις οντότητες που εισέρχονται στο σύστημα Διάγραμμα κύκλου δραστηριοτήτων μίας απλής ουράς

Διαχειριστής της προσομοίωσης δραστηριοτήτων Η προσομοίωση δραστηριοτήτων στηρίζεται στις αλληλεπιδράσεις ανάμεσα στις οντότητες του μοντέλου Οι δραστηριότητες ορίζονται ως το σύνολο των ενεργειών που ακολουθούν κάθε αλλαγή κατάστασης Κατά την προσομοίωση γεγονότων υπήρχαν δύο ανεξάρτητα γεγονότα και δύο εξαρτημένα Τα δύο ανεξάρτητα γεγονότα θα πρέπει τώρα να προσομοιωθούν με τρεις δραστηριότητες: Άφιξη ενός πελάτη, Αρχή νέας εξυπηρέτησης, και Τέλος εξυπηρέτησης Οι τρεις αυτές δραστηριότητες είναι απαραίτητες γιατί αντιπροσωπεύουν αλλαγή κατάστασης των οντοτήτων

Όλες οι ρουτίνες έχουν την ίδια δομή, που αποτελείται από δύο τμήματα: Το επίπεδο λειτουργιών (επίπεδο 2), αποτελείται από ένα σύνολο ρουτινών οι οποίες είναι υπεύθυνες για τις ενέργειες που πρέπει να γίνουν για κάθε δραστηριότητα Όλες οι ρουτίνες έχουν την ίδια δομή, που αποτελείται από δύο τμήματα: Έλεγχος Συνθηκών: Το τμήμα αυτό ελέγχει τις συνθήκες που πρέπει να πληρούνται για να λάβει χώρα η δραστηριότητα Ενέργειες: Το τμήμα αυτό είναι το κυρίως σώμα της ρουτίνας και περιλαμβάνει όλες τις ενέργειες που πρέπει να εκτελεσθούν για τη σωστή εκτέλεση της δραστηριότητας Σε αντίθεση με την προσομοίωση γεγονότων, κατά την προσομοίωση δραστηριοτήτων υπάρχει μία σειρά από δραστηριότητες που περιμένουν να εκτελεσθούν

Ο έλεγχος του χρόνου γίνεται και πάλι μέσω του ρολογιού της προσομοίωσης, το οποίο δείχνει σε κάθε χρονική στιγμή το χρόνο της προσομοίωσης Η διαχείριση όμως του ρολογιού, γίνεται με βάση την αρχή και το τέλος κάθε δραστηριότητας Κατά τη μέθοδο της προσομοίωσης δραστηριοτήτων, ο διαχειριστής διατηρεί μία λίστα με τις μελλοντικές αλλαγές κατάστασης Επομένως, το σώμα του διαχειριστή αποτελείται τώρα από δύο φωλιασμένους βρόγχους Ο εξωτερικός βρόγχος επιτελεί τον έλεγχο του χρόνου και την αύξηση του ρολογιού της προσομοίωσης Ο εσωτερικός βρόγχος καλεί με τη σειρά όλες τις ρουτίνες δραστηριοτήτων

Διάγραμμα του προγράμματος ελέγχου προσομοίωσης δραστηριοτήτων

Ρουτίνες υλοποίησης Οι ρουτίνες υλοποίησης διαχειρίζονται τις λεπτομέρειες της εκτέλεσης μίας δραστηριότητας Οι ρουτίνες υλοποίησης δραστηριοτήτων εκτελούνται μόνον εφόσον ικανοποιηθούν κάποιες συνθήκες Στην προσομοίωση δραστηριοτήτων δεν χρησιμοποιείται λίστα μελλοντικών γεγονότων, αλλά κάθε δραστηριότητα συνοδεύεται από μία χρονική τιμή, στην οποία θα αλλάξει κατάσταση το σύστημα Αν το ρολόι της προσομοίωσης ξεπεράσει μία τέτοια τιμή, αυτό αποτελεί ένδειξη αδράνειας του συστήματος

Διάγραμμα της ρουτίνας υλοποίησης της "Άφιξη πελάτη"

Διάγραμμα της ρουτίνας υλοποίησης της "Αρχή εξυπηρέτησης"

Διάγραμμα της ρουτίνας υλοποίησης του "Τέλος εξυπηρέτησης» Το βασικό μειονέκτημα της προσομοίωσης δραστηριοτήτων είναι ότι κάθε φορά που υπάρχει ένα γεγονός, ο διαχειριστής προσπαθεί να εκτελέσει ένα σύνολο δραστηριοτήτων, για πολλές από τις οποίες δεν ισχύουν οι συνθήκες Από την άλλη, τα προγράμματα προσομοίωσης δραστηριοτήτων είναι πιο απλά στην υλοποίηση

Η μέθοδος των τριών φάσεων Η μέθοδος των τριών φάσεων αποτελεί συνδυασμό των μεθόδων προσομοίωσης γεγονότων και δραστηριοτήτων Προς το σκοπό αυτό διακρίνει τις δραστηριότητες σε δύο κατηγορίες: Δραστηριότητες, για τις οποίες ο χρόνος έναρξης μπορεί να προσδιορισθεί και οι οποίες δρομολογούνται γι' αυτούς τους προβλεπόμενους χρόνους (“B” δραστηριότητες (από το Bound=αναπόφευκτες) Δραστηριότητες, οι οποίες μπορεί να συμβούν ή μπορεί να μη συμβούν, ανάλογα με τις συνθήκες της προσομοίωσης τη στιγμή του ελέγχου “C” δραστηριότητες (από το Conditional= υπό συνθήκη) Oι δραστηριότητες Β και C αντιστοιχούν στα εξαρτημένα και ανεξάρτητα γεγονότα αντίστοιχα Στην προσομοίωση των τριών φάσεων ελαχιστοποιούνται οι έλεγχοι για την έναρξη των δραστηριοτήτων

Προσομοίωση Διεργασιών Η προσομοίωση διεργασιών βασίζεται στη εκτέλεση εργασιών που περιγράφουν την προσομοίωση ανεξάρτητων στοιχείων ή τμημάτων του μοντέλου Οι εργασίες αυτές επικοινωνούν μεταξύ τους με τη χρήση σημάτων που προσομοιώνουν την επίδραση του ενός στοιχείου του μοντέλου πάνω σε άλλο Διατμηματικό σήμα ονομάζεται κάθε σήμα που είναι κοινό σε περισσότερα από ένα τμήματα του μοντέλου Διατμηματική επικοινωνία είναι η αλλαγή ενός διατμηματικού σήματος που προέρχεται από κάποια δραστηριότητα σε ένα τμήμα του μοντέλου Εργασία είναι μία πλήρης ατομική λειτουργία ενός τμήματος, δηλαδή μία σειρά γεγονότων τοπικών στο τμήμα

Χρονικό διάγραμμα προσομοίωσης διεργασιών Εκτέλεση των εργασιών Χρονικό διάγραμμα προσομοίωσης διεργασιών

Χρονική λίστα τμήματος μοντέλου και γενική χρονική λίστα

Χρονική λίστα τμήματος μοντέλου και γενική χρονική λίστα

Διάγραμμα ροής της ρουτίνας διαχείρισης ενός τμήματος του μοντέλου

Διάγραμμα του προγράμματος ελέγχου προσομοίωσης διεργασιών

Ευχαριστώ !