Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16"

Transcript

1 ΜΕΡΟΣ Α Άσκηση 1 Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16 Δύο ιδιότητες φ και ψ είναι ισοδύναμες μεταξύ τους, φ ψ, αν, για κάθε δομή Kripke M, M φ αν και μόνο αν M ψ. Να αποφασίσετε ποια από τα πιο κάτω ζεύγη προτάσεων περιέχουν ισοδύναμες προτάσεις. Αν δύο προτάσεις είναι ισοδύναμες να δώσετε απόδειξη χρησιμοποιώντας τη σημασιολογία, διαφορετικά, να παρουσιάσετε δομή Kripke στην οποία να ικανοποιείται η μία ιδιότητα αλλά όχι η άλλη. i. AG p p AX AG p ii. A [ p U A(q U r) ] A [ p U (q A(q U r)) ] iii. A [ p U A(q U r) ] A [ (A p U q) U r ] Άσκηση 2 Θεωρήστε την ακόλουθη δομή Kripke. {} 1 2 {p,q} {t,r} 3 4 {q,r} Να αποφασίσετε κατά πόσο οι πιο κάτω CTL ιδιότητες ικανοποιούνται από τη δομή. Να εξηγήσετε τις απαντήσεις σας χρησιμοποιώντας τον αλγόριθμο μοντελοελέγχου της CTL. i. AG EF p EF A (q U EX t)) ii. E (t U q) EG AF (t q) Άσκηση 3 Θεωρήστε το πιο κάτω χρονικό αυτόματο. (α) Να αποφασίσετε κατά πόσο το αυτόματο περιέχει κάποιο μονοπάτι με συμπεριφορά Zeno. (β) Να αποφασίσετε κατά πόσο το αυτόματο περιέχει κάποιο μονοπάτι που οδηγεί σε χρονικό αδιέξοδο (κλείδωμα χρόνου/timelock). Σημείωση: Στο αυτόματο ο συμβολισμός reset(x) αντιστοιχεί τον μηδενισμό του ρολογιού x. Σειρά Προβλημάτων 3 Εαρινό Εξάμηνο 2016 Σελίδα 1

2 Άσκηση 4 Θεωρήστε τα αυτόματα που ακολουθούν: (α) Αυτόματο Τ 1 (β) Αυτόματο Τ 2 (α) Να αποφασίσετε τα πιο κάτω σχετικά με το αυτόματο Τ 1. (ι) Είναι δυνατό το αυτόματο να βρεθεί στην κατάσταση C; (ιι) Κάθε φορά που το αυτόματο θα βρεθεί στην κατάσταση Β το ρολόι x θα έχει τιμή μεγαλύτερη ή ίση του 1; (ιιι) Είναι δυνατό το ρολόι x να πάρει την τιμή 5; (β) Προσθέστε την ετικέτα tick? στην ακμή από το Α στο Β και την ετικέτα tock? στην ακμή από το Β στο Α έτσι ώστε το αυτόματο Τ 1 να μετατραπεί σε ένα αυτόματο Τ 1 και κατασκευάστε την παράλληλη σύνθεση Τ 1 Τ 2. (γ) Απαντήστε τα ερωτήματα από το σκέλος (α) για την παράλληλη σύνθεση Τ 1 Τ 2. Σειρά Προβλημάτων 3 Εαρινό Εξάμηνο 2016 Σελίδα 2

3 ΜΕΡΟΣ Β Eίστε υπεύθυνος ενός τμήματος σε μια εταιρεία και έχετε υπό την επίβλεψή σας δύο υπαλλήλους. Στο τμήμα σας έχει ανατεθεί ένα σύνολο από εργασίες οι οποίες, όπως έχετε ενημερωθεί, θα πρέπει να διεκπεραιωθούν όσο το δυνατόν γρηγορότερα. Συγκεκριμένα οι εργασίες θα ολοκληρωθούν από τους δύο υπάλληλους του τμήματός σας. Κάθε υπάλληλος μπορεί να εκτελεί το πολύ μια εργασία κάθε χρονική στιγμή και αφού ξεκινήσει να εκτελεί μια εργασία δεν θα διακόψει την εκτέλεσή της μέχρι να την ολοκληρώσει. Στόχος σας είναι να πετύχετε μια ανάθεση των εργασιών στους υπαλλήλους που να ελαχιστοποιεί τον χρόνο ολοκλήρωσης του συνόλου των εργασιών. Ως καλός προϊστάμενος, έχετε παρακολουθήσει αρκετές φορές τους υπαλλήλους σας να εργάζονται και έχετε τη δυνατότητα να πείτε (κατά προσέγγιση) πόσο χρόνο θα σπαταλήσει ο κάθε ένας από αυτούς για τη διεκπεραίωση της κάθε εργασίας που σας έχει δοθεί. Για παράδειγμα, ο πιο κάτω πίνακας δείχνει το χρόνο διεκπεραίωσης σε ώρες για πέντε διαφορετικές εργασίες από τους υπαλλήλους: Εργασία Υπάλληλος Α Υπάλληλος Β A 3 4 B 3 2 Γ 6 5 Δ 3 3 Ε 2 1 Όσον αφορά τις διάφορες εργασίες, γνωρίζετε ότι διαθέτουν αλληλεξαρτήσεις υπό τη μορφή προαπαιτούμενων με την έννοια ότι για να ξεκινήσουν κάποιες εργασίες πρέπει να ολοκληρωθεί ένα σύνολο από προαπαιτούμενες εργασίες. Σε συνέχεια του προηγούμενου παραδείγματος, ο πιο κάτω πίνακας δείχνει ένα παράδειγμα με πιθανά προαπαιτούμενα για τις εργασίες Α Ε. Εργασία Προαπαιτούμενα A B Γ Δ Ε Α, Β Β Δ Δεδομένων των πιο πάνω περιορισμών, υπάρχουν διάφορες αναθέσεις εργασιών στους υπαλλήλους, οι οποίες οδηγούν σε διαφορετικούς χρόνους περάτωσης του συνόλου των εργασιών, όπως για παράδειγμα οι ακόλουθες: Σειρά Προβλημάτων 3 Εαρινό Εξάμηνο 2016 Σελίδα 3

4 Η πρώτη ανάθεση έχει συνολικό χρόνο διεκπεραίωσης 10 ώρες ενώ η δεύτερη ανάθεση έχει συνολικό χρόνο διεκπεραίωσης 8 ώρες (αποτελεί και τη βέλτιστη λύση του συγκεκριμένου στιγμιότυπου). Δεδομένου ότι αντιμετωπίζετε σε τακτά χρονικά διαστήματα αυτό το πρόβλημα αποφασίσατε να αξιοποιήσετε την εμπειρία σας στο εργαλείο Uppaal, μοντελοποιώντας το πρόβλημα στο εργαλείο αυτό. Συγκεκριμένα, το σύστημα που επιθυμείτε να φτιάξετε θα παίρνει ως είσοδο (α) το σύνολο των εργασιών που πρέπει να υλοποιηθούν, (β) τους χρόνους που (προσεγγιστικά) χρειάζεται κάθε υπάλληλος για να εκτελέσει κάθε εργασία και (γ) το σύνολο των προαπαιτούμενων που έχει η κάθε διεργασία, και θα σας επιτρέπει να υπολογίσετε τον ελάχιστο χρόνο περάτωσης των εργασιών. Για να το πετύχετε, θα πρέπει να υλοποιήσετε δύο τύπους αυτομάτων: (1) αυτόματα που να μοντελοποιούν τις εργασίες και (2) αυτόματα που να μοντελοποιούν τους υπαλλήλους. Τα αυτόματα τύπου εργασία πρέπει να επικοινωνούν με τα αυτόματα τύπου υπάλληλος έτσι ώστε, αν τα προαπαιτούμενα της διεργασίας έχουν ολοκληρωθεί και ο υπάλληλος είναι διαθέσιμος, τότε να δεσμεύεται ο υπάλληλος για εκτέλεση της εργασίας και να αποδεσμεύεται με την πάροδο κατάλληλης ποσότητας χρόνου. Πιο πάνω φαίνεται μια πιθανή υλοποίηση του αυτομάτου υπάλληλος. Το αυτόματο αυτό έχει δύο καταστάσεις. Στην κατάσταση Idle αναμένει να επικοινωνήσει μαζί του ένα αυτόματο τύπου εργασία στο κανάλι use και θα μεταβεί στην κατάσταση InUse όπου θα παραμείνει μέχρι να περάσει η κατάλληλη ποσότητα χρόνου οπόταν θα ενημερώσει την εργασία για την ολοκλήρωσή της μέσω του καναλιού done. Σημειώστε ότι τα κανάλια use και done και η τιμή C αποτελούν παραμέτρους του συγκεκριμένου template και θα πρέπει να πάρουν πραγματικές τιμές ανάλογα με το μοντέλο που θέλουμε να τρέξουμε. Όσον αφορά την υλοποίηση των αυτομάτων τύπου εργασία, προσέξτε ότι θα πρέπει να δηλωθούν με τέτοιο τρόπο έτσι ώστε η κάθε εργασία να μπορεί να επιλέξει μηντετερμινιστικά ανάμεσα στους δύο υπαλλήλους κάτι που θα επιτρέψει τη διερεύνηση όλων των δυνατών αναθέσεων των εργασιών σε υπαλλήλους. Επίσης σημειώστε ότι για να επιτευχθούν οι διάφοροι έλεγχοι είναι δυνατό να χρησιμοποιηθούν καθολικές μεταβλητές. Με την ολοκλήρωση της εργασίας θα πρέπει να παραδώσετε μια αναφορά η οποία θα περιέχει τα ακόλουθα: Σειρά Προβλημάτων 3 Εαρινό Εξάμηνο 2016 Σελίδα 4

5 1. Τα μοντέλα * του πρωτοκόλλου που έχετε δημιουργήσει στο UPPAAL και την επεξήγησή τους. 2. Τη μεθοδολογία (ερωτήματα) που θα πρέπει να θέσει κάποιος στο εργαλείο για να εντοπίσει τον ελάχιστο χρόνο περάτωσης ενός στιγμιότυπου του προβλήματος. 3. Τον ελάχιστο χρόνος περάτωσης του πιο κάτω στιγμιότυπου: Εργασία Υπάλληλος Α Υπάλληλος Β Αναμένει τον τερματισμό A 1 2 B 4 2 Γ 5 5 Α Δ 2 4 Α, Β Ε 3 7 Β Ζ 7 8 Γ Η 1 1 Γ, Δ Θ 5 2 Ε, Η Ι 3 1 Ε * Τα μοντέλα σας θα πρέπει να είναι επεκτάσιμα, δηλαδή, θα πρέπει να είναι εύκολα προσαρμόσιμα για εφαρμογή σε διαφορετικά (άσχετα με το μέγεθος) στιγμιότυπα του προβλήματος. Λύσεις οι οποίες δεν είναι εύκολα προσαρμόσιμες (δηλαδή προσπαθούν να λύσουν μόνο το συγκεκριμένο στιγμιότυπο) θα έχουν μέγιστη βαθμολογία το 75/100. Σειρά Προβλημάτων 3 Εαρινό Εξάμηνο 2016 Σελίδα 5

Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13

Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13 Σειρά Προβλημάτων 4 Ημερομηνία Παράδοσης: 13/11/13 Άσκηση 1 (20 μονάδες) Οι ιδιότητες διατυπώνοντας στην PLTL ως εξής: (α) Αν ο καταχωρητής Κ 1 κάποια στιγμή πάρει την τιμή 1 θα διατηρήσει την τιμή αυτή

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Θεωρήστε το σύνολο των ατομικών προτάσεων ΑΡ = {α, π, ε} που αντιστοιχούν στις ενέργειες αποστολής μηνύματος, παραλαβής μηνύματος και επιστροφής αποτελέσματος που εκτελούνται

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Έστω το σύνολο ατομικών προτάσεων ΑΡ = {red, yellow, green}. Με βάση τις ατομικές προτάσεις ΑΡ διατυπώστε τις πιο κάτω προτάσεις που αφορούν την κατάσταση των φώτων της

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ ΗΜΕΡΟΜΗΝΙΑ : Πέμπτη, 21 Μαρτίου 2013 ΔΙΑΡΚΕΙΑ : 14:00 16:00 ΔΙΔΑΣΚΟΥΣΑ : Άννα Φιλίππου Ονοματεπώνυμο:

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 i. FG φ GF ψ G (φ U (ψ φ)) Έστω δομή Μ και w κάποιο μονοπάτι της δομής. Θα δείξουμε ότι w FG φ GF ψ αν και μόνο αν w G (φ U (ψ φ)) Ξεκινώντας με το αριστερό σκέλος έχουμε:

Διαβάστε περισσότερα

CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4)

CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4) CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 4

Λύσεις Σειράς Ασκήσεων 4 Άσκηση 0 (25 μονάδες) Λύσεις Σειράς Ασκήσεων 4 (α) Θεωρήστε το πιο κάτω πρόγραμμα λογικού προγραμματισμού και χρησιμοποιήστε τη μέθοδο της SLD επίλυσης για να φθάσετε σε διάψευση του στόχου. concat([],

Διαβάστε περισσότερα

ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL

ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ CTL/LTL ΑΣΚΗΣΗ 1 Θεωρήστε το μοντέλο Μ ενός συστήματος που δίνεται από το αυτόματο του σχήματος p, q s 0 s 1 s 2 q, και το (άπειρο) δέντρο του σχήματος s0 p, q s1 q, s0 p, q

Διαβάστε περισσότερα

CTL - Λογική Δένδρου Υπολογισμού

CTL - Λογική Δένδρου Υπολογισμού CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη

Διαβάστε περισσότερα

Γραμμική και διακλαδωμένη χρονική λογική

Γραμμική και διακλαδωμένη χρονική λογική CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη

Διαβάστε περισσότερα

CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1)

CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1) CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος μοντέλου για τη CTL CTL* ΕΠΛ 412 Λογική στην Πληροφορική 8-1 Αλγόριθμος Μοντελο-ελέγχου Πως μπορούμε

Διαβάστε περισσότερα

Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα:

Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Χρονικά αυτόματα Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Συστήματα πραγματικού Χρόνου Διακριτός και συνεχής χρόνος Χρονικά αυτόματα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 7-1 Συστήματα

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις ΕΠΛ664: Ανάλυση και Επαλθευση Συστημάτων Τμμα Πληροφορικς Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC0, PC1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα

Διαβάστε περισσότερα

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 8-1

ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 8-1 To εργαλείο UPPAAL Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Εισαγωγή στo εργαλείο UPPAAL Γλώσσα Μοντελοποίησης Ο προσομοιωτής Ο επαληθευτής ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 8-1 Εισαγωγή

Διαβάστε περισσότερα

Άλγεβρες ιεργασιών και Τροπικές Λογικές

Άλγεβρες ιεργασιών και Τροπικές Λογικές Άλγεβρες ιεργασιών και Τροπικές Λογικές Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Οι λογικές HML και WHML Ο λογικός χαρακτηρισµός των ~ και Η λογική CTL- ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC i, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. Process P i :

Διαβάστε περισσότερα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G,k η G είναι μια ασυμφραστική γραμματική η οποία παράγει κάποια λέξη 1 n όπου n k } (β) { Μ,k η Μ είναι

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Σειρά Προβλημάτων 4 Λύσεις Άσκηση Θεωρήστε τις πιο κάτω διεργασίες: A....A B....B.... P ( A B \{ P ( A A \{,,, },,, } (α Να κτίσετε τα συστήματα μεταβάσεων που αντιστοιχούν στις διεργασίες P, Ρ. Ακολουθούν

Διαβάστε περισσότερα

Ασκήσεις Επανάληψης Λύσεις

Ασκήσεις Επανάληψης Λύσεις Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)

Διαβάστε περισσότερα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε

Διαβάστε περισσότερα

Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα:

Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Χρονικά αυτόµατα Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Συστήµατα πραγµατικού Χρόνου ιακριτός και συνεχής χρόνος Χρονικά αυτόµατα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων 12-1 Συστήµατα

Διαβάστε περισσότερα

ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι

ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι Ιδιότητες προσεγγισιμότητας (reachability properties): αναφέρονται στο ενδεχόμενο προσέγγισης μιας συγκεκριμένης κατάστασης. Ιδιότητες ασφαλείας (safety properties):

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΗ ΑΣΚΗΣΗ 3

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΗ ΑΣΚΗΣΗ 3 ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 231: Δομές Δεδομένων και Αλγόριθμοι Εαρινό Εξάμηνο 2013 ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΗ ΑΣΚΗΣΗ 3 Διδάσκων Καθηγητής: Παναγιώτης Ανδρέου Ημερομηνία Υποβολής: 05/04/2013 Ημερομηνία

Διαβάστε περισσότερα

Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)

Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Το Πρόβλημα του Αδιεξόδου Ένα σύνολο από διεργασίες σε αναμονή, όπου η κάθε μια κατέχει έναν αριθμό από πόρους και περιμένει να αποκτήσει και έναν

Διαβάστε περισσότερα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G 1, G 2 οι G 1 και G 2 είναι δύο CFG που παράγουν μια κοινή λέξη μήκους 144 } (β) { D,k το D είναι ένα DFA

Διαβάστε περισσότερα

Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας

Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σχέσεις ισοδυναμίας time bisimultion untime bisimultion wek time bisimultion region grphs ΕΠΛ 664 Ανάλυση και Επαλήθευση

Διαβάστε περισσότερα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το

Διαβάστε περισσότερα

ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΜ. ΠΛΗΡΟΦΟΡΙΚΗΣ Α.Π.Θ. ΔΙΔΑΣΚΩΝ: Π. ΚΑΤΣΑΡΟΣ. 29 Ιουνίου 2007 ΔΙΑΦΑΝΕΙΑ 1

ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΜ. ΠΛΗΡΟΦΟΡΙΚΗΣ Α.Π.Θ. ΔΙΔΑΣΚΩΝ: Π. ΚΑΤΣΑΡΟΣ. 29 Ιουνίου 2007 ΔΙΑΦΑΝΕΙΑ 1 ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΗλογικήCTL* (Computation Tree Logic) χρησιμοποιείται από εργαλεία ελέγχου μοντέλων για την τυπική περιγραφή ιδιοτήτων καταστάσεων που αναφέρονται στις εκτελέσεις ενός συστήματος. Χρησιμοποιεί

Διαβάστε περισσότερα

Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)

Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Εισαγωγή Μοντέλο συστήματος Χαρακτηρισμός και ορισμός κατάστασης αδιεξόδου Μέθοδοι χειρισμού αδιεξόδων Αποτροπή αδιεξόδου (Deadlock Prevention) Αποφυγή

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές

Διαβάστε περισσότερα

Τυχαιοκρατικοί Αλγόριθμοι

Τυχαιοκρατικοί Αλγόριθμοι Πιθανότητες και Αλγόριθμοι Ανάλυση μέσης περίπτωσης Μελέτα τη συμπεριφορά ενός αλγορίθμου σε μια «μέση» είσοδο (ως προς κάποια κατανομή) Τυχαιοκρατικός αλγόριθμος Λαμβάνει τυχαίες αποφάσεις καθώς επεξεργάζεται

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή

Διαβάστε περισσότερα

Σειρά Προβλημάτων 1 Λύσεις

Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC 1, PC 2, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. bool y 1

Διαβάστε περισσότερα

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο

Διαβάστε περισσότερα

ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ

ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ ΜΕΡΟΣ ΙΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ 36 ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ Πολλές από τις αποφάσεις

Διαβάστε περισσότερα

Φροντιστήριο 8 Λύσεις

Φροντιστήριο 8 Λύσεις Άσκηση 1 Θεωρήστε την πιο κάτω Μηχανή Turing. Φροντιστήριο 8 Λύσεις Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία των φάσεων τις οποίες διατρέχει η μηχανή όταν δέχεται τη διδόμενη λέξη. (α) 11 (β) 1#1

Διαβάστε περισσότερα

Σειρά Προβλημάτων 5 Λύσεις

Σειρά Προβλημάτων 5 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές

Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα

Διαβάστε περισσότερα

Ειδικό Καθεστώς Φ.Π.Α (39β) Δημιουργία Αυτόματα Παραγόμενων Εγγραφών / Άρθρων

Ειδικό Καθεστώς Φ.Π.Α (39β) Δημιουργία Αυτόματα Παραγόμενων Εγγραφών / Άρθρων Ειδικό Καθεστώς Φ.Π.Α (39β) Δημιουργία Αυτόματα Παραγόμενων Εγγραφών / Άρθρων Περιεχόμενα Περιεχόμενα... 2 1 Ποιες ενέργειες πρέπει να έχουν προηγηθεί πριν την δημιουργία των παραγόμενων άρθρων 39β....

Διαβάστε περισσότερα

Συστήματα Υποστήριξης Αποφάσεων

Συστήματα Υποστήριξης Αποφάσεων ΠΜΣ Πληροφορική Συστήματα Υποστήριξης Αποφάσεων Επιλογέας Μαθήματος Φοιτητών με τη χρήση εφαρμογής μέσω διαδικτύου Γκίκας Χρήστος ΜΠΠΛ/ 09032 Οκτώβριος 14 Επιλογέας Μαθήματος Εφαρμογή που χρησιμοποιείται

Διαβάστε περισσότερα

Φροντιστήριο 8 Φύλλο Ασκήσεων UPPAAL 2

Φροντιστήριο 8 Φύλλο Ασκήσεων UPPAAL 2 Φροντιστήριο 8 Φύλλο Ασκήσεων UPPAAL 2 Χρόνοι και Ρολόγια Κατά τη σχεδίαση και την ανάλυση πραγματικών συστημάτων, πολλές φορές ο χρόνος έχει μεγάλη σημασία. Για παράδειγμα, μπορεί να χρειαστεί να καθορίσουμε

Διαβάστε περισσότερα

Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»

Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Παραδώστε μια αναφορά (το πολύ 5 σελίδων) για την άσκηση 9 και επιδείξτε

Διαβάστε περισσότερα

Αυτοματοποιημένη Επαλήθευση

Αυτοματοποιημένη Επαλήθευση Αυτοματοποιημένη Επαλήθευση Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος Μοντέλου Αλγόριθμοι γράφων Αλγόριθμοι αυτομάτων Αυτόματα ως προδιαγραφές ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 4-1

Διαβάστε περισσότερα

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { w {(, )} * οι παρενθέσεις στην w είναι ισοζυγισμένες } (β) { a k b m c 2m a k k > 0,

Διαβάστε περισσότερα

3.7 Παραδείγματα Μεθόδου Simplex

3.7 Παραδείγματα Μεθόδου Simplex 3.7 Παραδείγματα Μεθόδου Simplex Παράδειγμα 1ο (Παράδειγμα 1ο - Κεφάλαιο 2ο - σελ. 10): Το πρόβλημα εκφράζεται από το μαθηματικό μοντέλο: max z = 600x T + 250x K + 750x Γ + 450x B 5x T + x K + 9x Γ + 12x

Διαβάστε περισσότερα

Προσεγγιστικοί Αλγόριθμοι

Προσεγγιστικοί Αλγόριθμοι Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/ Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;)

Διαβάστε περισσότερα

Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας

Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σχέσεις ισοδυναμίας trce equivlence filure equivlence strong isimultion wek isimultion ΕΠΛ 664 Ανάλυση και Επαλήθευση

Διαβάστε περισσότερα

Α Ν Α Λ Τ Η Α Λ Γ Ο Ρ Ι Θ Μ Ω Ν Κ Ε Υ Α Λ Α Ι Ο 5. Πως υπολογίζεται ο χρόνος εκτέλεσης ενός αλγορίθμου;

Α Ν Α Λ Τ Η Α Λ Γ Ο Ρ Ι Θ Μ Ω Ν Κ Ε Υ Α Λ Α Ι Ο 5. Πως υπολογίζεται ο χρόνος εκτέλεσης ενός αλγορίθμου; 5.1 Επίδοση αλγορίθμων Μέχρι τώρα έχουμε γνωρίσει διάφορους αλγόριθμους (αναζήτησης, ταξινόμησης, κ.α.). Στο σημείο αυτό θα παρουσιάσουμε ένα τρόπο εκτίμησης της επίδοσης (performance) η της αποδοτικότητας

Διαβάστε περισσότερα

Δίκτυα Υπολογιστών Εργαστήρια

Δίκτυα Υπολογιστών Εργαστήρια Δίκτυα Υπολογιστών Εργαστήρια Άσκηση 6 η Πολλαπλή Πρόσβαση με Ακρόαση Φέροντος (CSMA-CD) Πανεπιστήμιο Ιωαννίνων Τμήμα Μηχανικών Η/Υ και Πληροφορικής Διδάσκων: Παπαπέτρου Ευάγγελος 2 1 Εισαγωγή Σκοπός της

Διαβάστε περισσότερα

ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ

ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΘΕΜΑ 1 ο (2.5 µονάδες) ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Τελικές εξετάσεις Παρασκευή 28 Σεπτεµβρίου 2007 ιάρκεια: 13:00-16:00

Διαβάστε περισσότερα

Ένα αφαιρετικό πραγματικού χρόνου μοντέλο λειτουργικού συστήματος για MPSoC

Ένα αφαιρετικό πραγματικού χρόνου μοντέλο λειτουργικού συστήματος για MPSoC Ένα αφαιρετικό πραγματικού χρόνου μοντέλο λειτουργικού συστήματος για MPSoC Αρχιτεκτονική Πλατφόρμας Μπορεί να μοντελοποιηθεί σαν ένα σύνολο από διασυνδεδεμένα κομμάτια: 1. Στοιχεία επεξεργασίας (processing

Διαβάστε περισσότερα

Π Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α

Π Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α Α Ρ Χ Α Ι Α Ι Σ Τ Ο Ρ Ι Α Π Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α Σ η µ ε ί ω σ η : σ υ ν ά δ ε λ φ ο ι, ν α µ ο υ σ υ γ χ ω ρ ή σ ε τ ε τ ο γ ρ ή γ ο ρ ο κ α ι α τ η µ έ λ η τ ο ύ

Διαβάστε περισσότερα

Το κείμενο που ακολουθεί αποτελεί επεξεργασία του πρωτότυπου κειμένου του Α. Κάστωρ για την επίλυση των παραδειγμάτων κρίσιμης αλυσίδας που

Το κείμενο που ακολουθεί αποτελεί επεξεργασία του πρωτότυπου κειμένου του Α. Κάστωρ για την επίλυση των παραδειγμάτων κρίσιμης αλυσίδας που Το κείμενο που ακολουθεί αποτελεί επεξεργασία του πρωτότυπου κειμένου του Α. Κάστωρ για την επίλυση των παραδειγμάτων κρίσιμης αλυσίδας που παρουσιάστηκαν στις 19/11/2015 και 3/12/2015 στις διαλέξεις του

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα

Διαβάστε περισσότερα

NP-complete problems. IS, 4-Degree IS,CLIQUE, NODE COVER, MAX CUT, MAX BISECTION, BISECTION WIDTH. NP-complete problems 1 / 30

NP-complete problems. IS, 4-Degree IS,CLIQUE, NODE COVER, MAX CUT, MAX BISECTION, BISECTION WIDTH. NP-complete problems 1 / 30 NP-complete problems IS, 4-Degree IS,CLIQUE, NODE COVER, MAX CUT, MAX BISECTION, BISECTION WIDTH Καλογερόπουλος Παναγιώτης (ΜΠΛΑ) NP-complete problems 1 / 30 Independent Set is NP-complete Ορισμός. Εστω

Διαβάστε περισσότερα

Συνεπής παρατήρηση εκτέλεσης & συνεπείς καθολικές καταστάσεις. Κατανεμημένα Συστήματα 1

Συνεπής παρατήρηση εκτέλεσης & συνεπείς καθολικές καταστάσεις. Κατανεμημένα Συστήματα 1 Συνεπής παρατήρηση εκτέλεσης & συνεπείς καθολικές καταστάσεις Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Λογικά συνεπείς τομές Τμήμα τοπικής ιστορίας: h i.k {e i.1,e i.2,e i.k } τμήμα της τοπικής εκτέλεσης

Διαβάστε περισσότερα

ΑΔΙΕΞΟΔΑ. Λειτουργικά Συστήματα Ι. Διδάσκων: Καθ. Κ. Λαμπρινουδάκης ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι

ΑΔΙΕΞΟΔΑ. Λειτουργικά Συστήματα Ι. Διδάσκων: Καθ. Κ. Λαμπρινουδάκης ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι Μάθημα: Λειτουργικά Συστήματα Ι ΑΔΙΕΞΟΔΑ Διδάσκων: Καθ. Κ. Λαμπρινουδάκης clam@unipi.gr 1 ΑΔΙΕΞΟΔΑ 2 ΠΟΡΟΙ Υπάρχουν δύο τύποι πόρων σε υπολογιστικά συστήματα: Προεκτοπίσιμοι πόροι

Διαβάστε περισσότερα

Αιτιώδεις Σχέσεις και Χρονισµός. Παναγιώτα Φατούρου Αρχές Κατανεµηµένου Υπολογισµού

Αιτιώδεις Σχέσεις και Χρονισµός. Παναγιώτα Φατούρου Αρχές Κατανεµηµένου Υπολογισµού Αιτιώδεις Σχέσεις και Χρονισµός Η Σχέση Happens-Before (Συµβαίνει-πριν) Οι εκτελέσεις, ως ακολουθίες γεγονότων, καθορίζουν µια καθολική διάταξη σε αυτά. Ωστόσο είναι δυνατό δύο υπολογιστικά γεγονότα από

Διαβάστε περισσότερα

Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»

Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Διδάσκων: Ι. Ανδρουτσόπουλος, 2016-17 Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Παραδώστε μια αναφορά (το πολύ 5 σελίδων) για την άσκηση 9 και

Διαβάστε περισσότερα

Αποτίµησηκαθολικού κατηγορήµατος

Αποτίµησηκαθολικού κατηγορήµατος Αποτίµησηκαθολικού κατηγορήµατος Εισαγωγή Ιδιότητες καθολικών κατηγορηµάτων Αδιέξοδα Ανίχνευση αδιεξόδων Συγκεντρωτική ανίχνευση Ιεραρχική ανίχνευση Κατανεµηµένη ανίχνευση Επανόρθωση αδιεξόδων Κατανεµηµένος

Διαβάστε περισσότερα

ΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι

ΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι ΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι Η τυπική επαλήθευση βάση μοντέλου είναι κατάλληλη για συστήματα επικοινωνούντων διεργασιών (π.χ. κατανεμημένα συστήματα) όπου το βασικό πρόβλημα είναι ο έλεγχος αλλά γενικά δεν

Διαβάστε περισσότερα

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες

Διαβάστε περισσότερα

Θέματα Μεταγλωττιστών

Θέματα Μεταγλωττιστών Γιώργος Δημητρίου Ενότητα 9 η : Θέματα Δρομολόγησης Εντολών ILP Παραλληλισμός επιπέδου εντολής Εξαρτήσεις δεδομένων Εξαρτήσεις ελέγχου (διαδικασιακές) Με διαθέσιμους πόρους, οι εντολές μπορούν να εκτελεστούν

Διαβάστε περισσότερα

Κατανεμημένα Συστήματα Ι

Κατανεμημένα Συστήματα Ι Συναίνεση με σφάλματα διεργασιών Κατανεμημένα Συστήματα Ι 5η Διάλεξη 10 Νοεμβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 5η Διάλεξη 1 Συναίνεση με σφάλματα διεργασιών Προηγούμενη διάλεξη

Διαβάστε περισσότερα

ΟΔΗΓΙΕΣ ΕΓΓΡΑΦΗΣ ΚΑΙ ΥΛΟΠΟΙΗΣΗΣ ΠΡΑΚΤΙΚΗΣ ΑΣΚΗΣΗΣ 2014

ΟΔΗΓΙΕΣ ΕΓΓΡΑΦΗΣ ΚΑΙ ΥΛΟΠΟΙΗΣΗΣ ΠΡΑΚΤΙΚΗΣ ΑΣΚΗΣΗΣ 2014 Ε Θ Ν Ι Κ Ο Μ Ε Τ Σ Ο Β Ι Ο Π Ο Λ Υ Τ Ε Χ Ν Ε Ι Ο ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΓΡΑΦΕΙΟ ΠΡΑΚΤΙΚΗΣ ΑΣΚΗΣΗΣ Πληροφορίες: Α. Δημακοπούλου, τηλ. 210-7723030 ((aldim@central.ntua.gr), Σπ.

Διαβάστε περισσότερα

Τμήμα Ηλεκτρολόγων Μηχανικών & Τεχνολογίας Υπολογιστών. Γαβριήλ Β. Γιαννακόπουλος Καθηγητής

Τμήμα Ηλεκτρολόγων Μηχανικών & Τεχνολογίας Υπολογιστών. Γαβριήλ Β. Γιαννακόπουλος Καθηγητής Τμήμα Ηλεκτρολόγων Μηχανικών & Τεχνολογίας Υπολογιστών Γαβριήλ Β. Γιαννακόπουλος Καθηγητής Πρόεδρος του Τμήματος για την διετία 2013-2015 ΔΙΑΤΑΞΕΙΣ ΔΗΛΩΣΗΣ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΔΙΠΛΩΜΑΤΙΚΩΝ ΕΡΓΑΣΙΩΝ ΠΡΟΠΤΥΧΙΑΚΟ

Διαβάστε περισσότερα

Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός. Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής

Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός. Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια

Διαβάστε περισσότερα

Εικονική Μνήµη. Κεφάλαιο 8. Dr. Garmpis Aristogiannis - EPDO TEI Messolonghi

Εικονική Μνήµη. Κεφάλαιο 8. Dr. Garmpis Aristogiannis - EPDO TEI Messolonghi Εικονική Μνήµη Κεφάλαιο 8 Υλικό και δοµές ελέγχου Οι αναφορές στην µνήµη υπολογίζονται δυναµικά κατά την εκτέλεση Ηδιεργασίαχωρίζεταισετµήµατα τα οποία δεν απαιτείται να καταλαµβάνουν συνεχόµενες θέσεις

Διαβάστε περισσότερα

ΕΝΟΤΗΤΑ 4 ΕΙΔΗ ΓΡΑΜΜΩΝ, ΕΙΔΗ ΤΡΙΓΩΝΩΝ, ΠΑΡΑΛΛΗΛΟΓΡΑΜΜΑ, ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ

ΕΝΟΤΗΤΑ 4 ΕΙΔΗ ΓΡΑΜΜΩΝ, ΕΙΔΗ ΤΡΙΓΩΝΩΝ, ΠΑΡΑΛΛΗΛΟΓΡΑΜΜΑ, ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΕΝΟΤΗΤΑ 4 ΕΙΔΗ ΓΡΑΜΜΩΝ, ΕΙΔΗ ΤΡΙΓΩΝΩΝ, ΠΑΡΑΛΛΗΛΟΓΡΑΜΜΑ, ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΔΕΙΚΤΕΣ ΕΠΙΤΥΧΙΑΣ ΑΡΙΘΜΟΙ Εκτίμηση και μέτρηση Μ3.6 Εκτιμούν, μετρούν, ταξινομούν και κατασκευάζουν γωνίες (με ή χωρίς τη χρήση της

Διαβάστε περισσότερα

Φροντιστήριο 9 Λύσεις

Φροντιστήριο 9 Λύσεις Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.

Διαβάστε περισσότερα

Άσκηση 3. Έλεγχος ανατροφοδότησης κατάστασης dc κινητήρα. Έλεγχος ανατροφοδότησης κατάστασης

Άσκηση 3. Έλεγχος ανατροφοδότησης κατάστασης dc κινητήρα. Έλεγχος ανατροφοδότησης κατάστασης Άσκηση 3 Έλεγχος ανατροφοδότησης κατάστασης dc κινητήρα Έλεγχος ανατροφοδότησης κατάστασης Ένα γραμμικό χρονικά αμετάβλητο (LTI) σύστημα όπως γνωρίζουμε, μπορεί να περιγραφεί στο πεδίο του χρόνου μέσω

Διαβάστε περισσότερα

Προσεγγιστικοί Αλγόριθμοι

Προσεγγιστικοί Αλγόριθμοι Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/ Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;)

Διαβάστε περισσότερα

Διάλεξη 04: Παραδείγματα Ανάλυσης

Διάλεξη 04: Παραδείγματα Ανάλυσης Διάλεξη 04: Παραδείγματα Ανάλυσης Πολυπλοκότητας/Ανάλυση Αναδρομικών Αλγόριθμων Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Παραδείγματα Ανάλυσης Πολυπλοκότητας : Μέθοδοι, παραδείγματα

Διαβάστε περισσότερα

Φροντιστήριο 11 Λύσεις

Φροντιστήριο 11 Λύσεις Άσκηση 1 Φροντιστήριο 11 Λύσεις Να αποδείξετε ότι η κλάση Ρ είναι κλειστή ως προς τις πράξεις της ένωσης, της συναρμογής και του συμπληρώματος. Θα πρέπει να δείξουμε ότι: (α) Ένωση: Αν οι Λ 1 και Λ 2 είναι

Διαβάστε περισσότερα

Τμήμα Πληροφορικής & Επικοινωνιών Δρ. Θεόδωρος Γ. Λάντζος

Τμήμα Πληροφορικής & Επικοινωνιών Δρ. Θεόδωρος Γ. Λάντζος Τμήμα Πληροφορικής & Επικοινωνιών Δρ. Θεόδωρος Γ. Λάντζος http://www.teiser.gr/icd/staff/lantzos lantzos@teiser.gr 1 Πώς δημιουργούμε πρόγραμμα Η/Υ; 1. Ανάλυση του προβλήματος 2. Επινόηση & Σχεδιασμός

Διαβάστε περισσότερα

1. Περιγράψετε τον πιο σημαντικό ρόλο του κάθε επιπέδου της TCP/IP στοίβας (δίνοντας και το όνομα του).

1. Περιγράψετε τον πιο σημαντικό ρόλο του κάθε επιπέδου της TCP/IP στοίβας (δίνοντας και το όνομα του). ΗY335: Δίκτυα Υπολογιστών Χειμερινό Εξάμηνο 2014-2015 Τμήμα Επιστήμης Υπολογιστών Πανεπιστήμιο Κρήτης Διδάσκουσα: Μαρία Παπαδοπούλη 20.11.20104 Πρόοδος Οδηγίες: Η κάθε απάντηση θα πρέπει να συνοδεύεται

Διαβάστε περισσότερα

Κατανεμημένα Συστήματα Ι

Κατανεμημένα Συστήματα Ι Εκλογή αρχηγού σε γενικά δίκτυα 20 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Εκλογή αρχηγού σε γενικά δίκτυα Προηγούμενη διάλεξη Σύγχρονα Κατανεμημένα Συστήματα Μοντελοποίηση συστήματος Πρόβλημα εκλογής αρχηγού

Διαβάστε περισσότερα

Σειρά Προβλημάτων 3 Λύσεις

Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { a i b j c k d m i, j, k, m 0 και i + j = k + m } (β) { uxvx rev u,v,x {0,1,2} + και όλα

Διαβάστε περισσότερα

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ [Κεφ..6: Συνέπειες του Θεωρήματος της Μέσης Τιμής πλην της Ενότητας Μονοτονία Συνάρτησης του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ

Διαβάστε περισσότερα

Π4.2.1 ΣΧΕΔΙΟ ΔΗΜΟΣΙΟΤΗΤΑΣ

Π4.2.1 ΣΧΕΔΙΟ ΔΗΜΟΣΙΟΤΗΤΑΣ Π4.2.1 ΣΧΕΔΙΟ ΔΗΜΟΣΙΟΤΗΤΑΣ Αριθμός Έκδοσης: ΕΚΕΤΑ ΙΜΕΤ ΕΜ Β 2013 9 Παραδοτέο ΙΜΕΤ Τίτλος Έργου: «Ολοκληρωμένο σύστημα για την ασφαλή μεταφορά μαθητών» Συγγραφέας: Δρ. Μαρία Μορφουλάκη ΘΕΣΣΑΛΟΝΙΚΗ, ΜΑΙΟΣ

Διαβάστε περισσότερα

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων.

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων. Εισαγωγή στη Λογική Α Τάξης Σ. Κοσμαδάκης Συντακτικό τύπων Α τάξης Α Θεωρούμε δεδομένο ένα λεξιλόγιο Λ, αποτελούμενο από (1) ένα σύνολο συμβόλων για σχέσεις, { R, S,... } (2) ένα σύνολο συμβόλων για συναρτήσεις,

Διαβάστε περισσότερα

Λύσεις Σειράς Ασκήσεων 5

Λύσεις Σειράς Ασκήσεων 5 Άσκηση 1 Λύσεις Σειράς Ασκήσεων 5 Να υπολογίσετε τις ασθενέστερες προσυνθήκες έτσι ώστε οι πιο κάτω προδιαγραφές να είναι ορθές σύμφωνα (i) με την έννοια της μερικής ορθότητας και (ii) με την έννοια της

Διαβάστε περισσότερα

ΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ ΔΗΛΩΣΗ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΣΥΓΓΡΑΜΜΑΤΩΝ

ΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ ΔΗΛΩΣΗ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΣΥΓΓΡΑΜΜΑΤΩΝ ΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ ΔΗΛΩΣΗ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΣΥΓΓΡΑΜΜΑΤΩΝ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ ΑΚΑΔ. ΕΤΟΥΣ 2015-2016 Ηράκλειο, 28/09/2015 ΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ Σύμφωνα με το Ν. 4009, άρθρο 33, παρ. 2 και την ορθή επανάληψη της

Διαβάστε περισσότερα

6. Σ 7. Λ 8. Λ 9. Λ 10. Λ

6. Σ 7. Λ 8. Λ 9. Λ 10. Λ 1 ο Π ΓΕΛ Αθηνών Γεννάδειο Γ! Προσανατολισμός Οικονομίας - Πληροφορικής Προσομοίωση στην Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον Αθήνα 28-04-2017 Ονοματεπώνυμο: Θέμα 1 ο Α. Να γράψετε στο τετράδιό

Διαβάστε περισσότερα

Πρόταση για Ανασχηματισμό του Προγράμματος Προπτυχιακών Σπουδών της ΣΗΜΜΥ

Πρόταση για Ανασχηματισμό του Προγράμματος Προπτυχιακών Σπουδών της ΣΗΜΜΥ Πρόταση για Ανασχηματισμό του Προγράμματος Προπτυχιακών Σπουδών της ΣΗΜΜΥ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών Περίληψη Τί προτείνουμε, πώς και γιατί με λίγα λόγια: 55 μαθήματα = 30 για ενιαίο

Διαβάστε περισσότερα

ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ

ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΘΕΜΑ 1 (Α) Σημειώστε δίπλα σε κάθε πρόταση «Σ» ή «Λ» εφόσον είναι σωστή ή λανθασμένη αντίστοιχα. 1. Τα συντακτικά λάθη ενός προγράμματος

Διαβάστε περισσότερα

Ασκήσεις μελέτης της 4 ης διάλεξης. ), για οποιοδήποτε μονοπάτι n 1

Ασκήσεις μελέτης της 4 ης διάλεξης. ), για οποιοδήποτε μονοπάτι n 1 Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2016 17 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 4 ης διάλεξης 4.1. (α) Αποδείξτε ότι αν η h είναι συνεπής, τότε h(n

Διαβάστε περισσότερα

0x2 = 2. = = δηλαδή η f δεν. = 2. Άρα η συνάρτηση f δεν είναι συνεχής στο [0,3]. Συνεπώς δεν. x 2. lim f (x) = lim (2x 1) = 3 και x 2 x 2

0x2 = 2. = = δηλαδή η f δεν. = 2. Άρα η συνάρτηση f δεν είναι συνεχής στο [0,3]. Συνεπώς δεν. x 2. lim f (x) = lim (2x 1) = 3 και x 2 x 2 ΚΕΦΑΛΑΙΟ ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 8: ΘΕΩΡΗΜΑ BOLZANO - ΠΡΟΣΗΜΟ ΣΥΝΑΡΤΗΣΗΣ - ΘΕΩΡΗΜΑ ΕΝΔΙΑΜΕΣΩΝ ΤΙΜΩΝ - ΘΕΩΡΗΜΑ ΜΕΓΙΣΤΗΣ ΚΑΙ ΕΛΑΧΙΣΤΗΣ ΤΙΜΗΣ - ΣΥΝΟΛΟ ΤΙΜΩΝ ΣΥΝΕΧΟΥΣ ΣΥΝΑΡΤΗΣΗΣ

Διαβάστε περισσότερα

Κατανεμημένα Συστήματα Ι

Κατανεμημένα Συστήματα Ι Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη

Διαβάστε περισσότερα

Α ΚΥΚΛΟΣ ΣΠΟΥΔΩΝ. Ο Α Κύκλος Σπουδών οδηγεί στην απόκτηση μεταπτυχιακού διπλώματος ειδίκευσης στην «Οπτική και Όραση».

Α ΚΥΚΛΟΣ ΣΠΟΥΔΩΝ. Ο Α Κύκλος Σπουδών οδηγεί στην απόκτηση μεταπτυχιακού διπλώματος ειδίκευσης στην «Οπτική και Όραση». Α ΚΥΚΛΟΣ ΣΠΟΥΔΩΝ Ο Α Κύκλος Σπουδών οδηγεί στην απόκτηση μεταπτυχιακού διπλώματος ειδίκευσης στην «Οπτική και Όραση». 1. Προϋποθέσεις για τη λήψη Μεταπτυχιακού Διπλώματος Ειδίκευσης (Μ.Δ.Ε.) Κάθε Μεταπτυχιακός

Διαβάστε περισσότερα

Μάθημα 7 ο. Αλγόριθμοι Χρονοδρομολόγησης

Μάθημα 7 ο. Αλγόριθμοι Χρονοδρομολόγησης Μάθημα 7 ο Αλγόριθμοι Χρονοδρομολόγησης Σκοπός του μαθήματος Στην ενότητα αυτή θα εξηγήσουμε το ρόλο και την αξιολόγηση των αλγορίθμων χρονοδρομολόγησης, και θα παρουσιάσουμε τους κυριότερους. Θα μάθουμε:

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ ΕΚΤΟ ΜΟΡΦΕΣ ΑΓΟΡΑΣ. 1. Τι πρέπει να κατανοήσει ο μαθητής

ΚΕΦΑΛΑΙΟ ΕΚΤΟ ΜΟΡΦΕΣ ΑΓΟΡΑΣ. 1. Τι πρέπει να κατανοήσει ο μαθητής ΚΕΦΑΛΑΙΟ ΕΚΤΟ ΜΟΡΦΕΣ ΑΓΟΡΑΣ 1. Τι πρέπει να κατανοήσει ο μαθητής Στο κεφάλαιο αυτό εξετάζονται τέσσερις βασικές μορφές οργάνωσης της αγοράς: ο πλήρης ανταγωνισμός, το μονοπώλιο, το ολιγοπώλιο και ο μονοπωλιακός

Διαβάστε περισσότερα

Γραφήματα οικογένειας παραβολών

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

Διαβάστε περισσότερα

Οδηγίες Συμπλήρωσης και Αποστολής Εντύπου Ε3

Οδηγίες Συμπλήρωσης και Αποστολής Εντύπου Ε3 Οδηγίες Συμπλήρωσης και Αποστολής Εντύπου Ε3 Το συγκεκριμένο εγχειρίδιο δημιουργήθηκε για να βοηθήσει την κατανόηση της διαδικασίας δημιουργίας και υποβολής του εντύπου Ε3. Παρακάτω προτείνεται μια αλληλουχία

Διαβάστε περισσότερα

Ακέραιος Γραµµικός Προγραµµατισµός

Ακέραιος Γραµµικός Προγραµµατισµός Μέγιστο Ανεξάρτητο Σύνολο Μέγιστο Ανεξάρτητο Σύνολο Εφαρµογές : Παράλληλη εκτέλεση εργασιών Χρονοπρογραµµατισµός (scheduling) Ανάθεση πόρων (resource allocation) Πρόβληµα k-ϐασιλισσών Τηλεπικοινωνίες Μέγιστο

Διαβάστε περισσότερα

ΟΔΗΓΟΣ ΠΤΥΧΙΑΚΩΝ ΕΡΓΑΣΙΩΝ

ΟΔΗΓΟΣ ΠΤΥΧΙΑΚΩΝ ΕΡΓΑΣΙΩΝ ΤΕΙ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ (ΜΕΣΟΛΟΓΓΙ) ΟΔΗΓΟΣ ΠΤΥΧΙΑΚΩΝ ΕΡΓΑΣΙΩΝ Μεσολόγγι, Οκτώβριος 2013 ΠΕΡΙΕΧΟΜΕΝΑ ΠΕΡΙΕΧΟΜΕΝΑ... 2 1. Γενικά... 3 2. Ανακοίνωση

Διαβάστε περισσότερα

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

Δραστηριότητα Περίπτωσης. Τίτλος: Οι διαφορές της απλής, της σύνθετης και της εμφωλευμένης δομής επιλογής Δραστηριότητα Περίπτωσης Τίτλος: Οι διαφορές της απλής, της σύνθετης και της εμφωλευμένης δομής επιλογής Γενικός Διδακτικός Στόχος: Να κατανοήσουν οι μαθητές τις διαφορές της απλής, της σύνθετης και της

Διαβάστε περισσότερα

Διάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι

Διάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Διάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Βυζαντινά Σφάλματα Τι θα δούμε σήμερα Κάτω Φράγμα για Αλγόριθμους Συμφωνίας με Βυζαντινά Σφάλματα: n > 3f Αλγόριθμος Συμφωνίας

Διαβάστε περισσότερα

Σειρά Προβλημάτων 4 Λύσεις

Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { w#z w, z {a,b}* και η z είναι υπολέξη της w}. Συγκεκριμένα,

Διαβάστε περισσότερα