Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16
|
|
- Φιλομήλ Μιαούλης
- 6 χρόνια πριν
- Προβολές:
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 Άσκηση 1 (20 μονάδες) Οι ιδιότητες διατυπώνοντας στην PLTL ως εξής: (α) Αν ο καταχωρητής Κ 1 κάποια στιγμή πάρει την τιμή 1 θα διατηρήσει την τιμή αυτή
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Σειρά Προβλημάτων 4 Λύσεις Άσκηση 1 Θεωρήστε την ακόλουθη δομή Kripke. {entry} 0 1 {active} 2 {active, request} 3 {active, response} Να διατυπώσετε τις πιο κάτω προτάσεις στην LTL (αν αυτό είναι εφικτό)
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Θεωρήστε το σύνολο των ατομικών προτάσεων ΑΡ = {α, π, ε} που αντιστοιχούν στις ενέργειες αποστολής μηνύματος, παραλαβής μηνύματος και επιστροφής αποτελέσματος που εκτελούνται
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 Έστω το σύνολο ατομικών προτάσεων ΑΡ = {red, yellow, green}. Με βάση τις ατομικές προτάσεις ΑΡ διατυπώστε τις πιο κάτω προτάσεις που αφορούν την κατάσταση των φώτων της
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ ΗΜΕΡΟΜΗΝΙΑ : Πέμπτη, 21 Μαρτίου 2013 ΔΙΑΡΚΕΙΑ : 14:00 16:00 ΔΙΔΑΣΚΟΥΣΑ : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 4 i. FG φ GF ψ G (φ U (ψ φ)) Έστω δομή Μ και w κάποιο μονοπάτι της δομής. Θα δείξουμε ότι w FG φ GF ψ αν και μόνο αν w G (φ U (ψ φ)) Ξεκινώντας με το αριστερό σκέλος έχουμε:
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 4
Άσκηση 0 (25 μονάδες) Λύσεις Σειράς Ασκήσεων 4 (α) Θεωρήστε το πιο κάτω πρόγραμμα λογικού προγραμματισμού και χρησιμοποιήστε τη μέθοδο της SLD επίλυσης για να φθάσετε σε διάψευση του στόχου. concat([],
Διαβάστε περισσότεραCTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4)
CTL - Λογική Δένδρου Υπολογισμού (ΗR Κεφάλαιο 3.4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL
Διαβάστε περισσότεραΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΣΤΗ 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 Σύγκριση των PLTL και CTL Δικαιοσύνη
Διαβάστε περισσότεραΓραμμική και διακλαδωμένη χρονική λογική
CTL - Λογική Δένδρου Υπολογισμού Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Διακλαδωμένες Χρονικές λογικές CTL σύνταξη και ερμηνεία Έλεγχος μοντέλου για τη CTL Σύγκριση των PLTL και CTL Δικαιοσύνη
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ664: Ανάλυση και Επαλθευση Συστημάτων Τμμα Πληροφορικς Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC0, PC1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα
Διαβάστε περισσότεραCTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1)
CTL Έλεγχος Μοντέλου (ΗR Κεφάλαιο 3.5 και 3.6.1) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος μοντέλου για τη CTL CTL* ΕΠΛ 412 Λογική στην Πληροφορική 8-1 Αλγόριθμος Μοντελο-ελέγχου Πως μπορούμε
Διαβάστε περισσότεραΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 8-1
To εργαλείο UPPAAL Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Εισαγωγή στo εργαλείο UPPAAL Γλώσσα Μοντελοποίησης Ο προσομοιωτής Ο επαληθευτής ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 8-1 Εισαγωγή
Διαβάστε περισσότεραΣτην ενότητα αυτή θα μελετηθούν τα εξής θέματα:
Χρονικά αυτόματα Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Συστήματα πραγματικού Χρόνου Διακριτός και συνεχής χρόνος Χρονικά αυτόματα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 7-1 Συστήματα
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC i, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. Process P i :
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Κανένα πιρούνι δεν χρησιμοποιείται ποτέ από περισσότερους από ένα φιλόσοφους. ΑG [ (l 0 r 2) (l 1 r 0) (l 2 r 1) (β) Ο φιλόσοφος i θα φάει τουλάχιστον μια φορά.
Διαβάστε περισσότεραΆλγεβρες ιεργασιών και Τροπικές Λογικές
Άλγεβρες ιεργασιών και Τροπικές Λογικές Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Οι λογικές HML και WHML Ο λογικός χαρακτηρισµός των ~ και Η λογική CTL- ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Σειρά Προβλημάτων 4 Λύσεις Άσκηση Θεωρήστε τις πιο κάτω διεργασίες: A....A B....B.... P ( A B \{ P ( A A \{,,, },,, } (α Να κτίσετε τα συστήματα μεταβάσεων που αντιστοιχούν στις διεργασίες P, Ρ. Ακολουθούν
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις Να αποφασίσετε κατά πόσο οι πιο κάτω προδιαγραφές είναι ορθές σύμφωνα με την έννοια της μερικής ορθότητας και την έννοια της ολικής ορθότητας. Να αιτιολογήσετε σύντομα
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { D το D είναι ένα DFA το οποίο αποδέχεται όλες τις λέξεις στο Σ * } (α) Για να διαγνώσουμε το πρόβλημα μπορούμε
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΗ ΑΣΚΗΣΗ 3
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 231: Δομές Δεδομένων και Αλγόριθμοι Εαρινό Εξάμηνο 2013 ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΗ ΑΣΚΗΣΗ 3 Διδάσκων Καθηγητής: Παναγιώτης Ανδρέου Ημερομηνία Υποβολής: 05/04/2013 Ημερομηνία
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G,k η G είναι μια ασυμφραστική γραμματική η οποία παράγει κάποια λέξη 1 n όπου n k } (β) { Μ,k η Μ είναι
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΣτην ενότητα αυτή θα µελετηθούν τα εξής θέµατα:
Χρονικά αυτόµατα Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Συστήµατα πραγµατικού Χρόνου ιακριτός και συνεχής χρόνος Χρονικά αυτόµατα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων 12-1 Συστήµατα
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το
Διαβάστε περισσότεραΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι
ΠΡΟΔΙΑΓΡΑΦΗ ΙΔΙΟΤΗΤΩΝ ΜΕ ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι Ιδιότητες προσεγγισιμότητας (reachability properties): αναφέρονται στο ενδεχόμενο προσέγγισης μιας συγκεκριμένης κατάστασης. Ιδιότητες ασφαλείας (safety properties):
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G 1, G 2 οι G 1 και G 2 είναι δύο CFG που παράγουν μια κοινή λέξη μήκους 144 } (β) { D,k το D είναι ένα DFA
Διαβάστε περισσότεραΑδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)
Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Το Πρόβλημα του Αδιεξόδου Ένα σύνολο από διεργασίες σε αναμονή, όπου η κάθε μια κατέχει έναν αριθμό από πόρους και περιμένει να αποκτήσει και έναν
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC 1, PC 2, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. bool y 1
Διαβάστε περισσότεραΦροντιστήριο 8 Φύλλο Ασκήσεων UPPAAL 2
Φροντιστήριο 8 Φύλλο Ασκήσεων UPPAAL 2 Χρόνοι και Ρολόγια Κατά τη σχεδίαση και την ανάλυση πραγματικών συστημάτων, πολλές φορές ο χρόνος έχει μεγάλη σημασία. Για παράδειγμα, μπορεί να χρειαστεί να καθορίσουμε
Διαβάστε περισσότεραΦροντιστήριο 8 Λύσεις
Άσκηση 1 Φροντιστήριο 8 Λύσεις Θεωρήστε την πιο κάτω Μηχανή Turing όπου όλες οι μεταβάσεις που απουσιάζουν οδηγούν στην κατάσταση απόρριψης (q απόρριψης). Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία
Διαβάστε περισσότεραΧρονικά Συστήματα και Σχέσεις Ισοδυναμίας
Χρονικά Συστήματα και Σχέσεις Ισοδυναμίας Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σχέσεις ισοδυναμίας time bisimultion untime bisimultion wek time bisimultion region grphs ΕΠΛ 664 Ανάλυση και Επαλήθευση
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 1 Λύσεις (α) Χρησιμοποιούμε τις επιπλέον μεταβλητές PC 0, PC 1, (program counters) οι οποίες παίρνουν ως τιμές ονόματα των γραμμών του κώδικα όπως φαίνεται πιο κάτω. P[0] P[1]
Διαβάστε περισσότεραΕιδικό Καθεστώς Φ.Π.Α (39β) Δημιουργία Αυτόματα Παραγόμενων Εγγραφών / Άρθρων
Ειδικό Καθεστώς Φ.Π.Α (39β) Δημιουργία Αυτόματα Παραγόμενων Εγγραφών / Άρθρων Περιεχόμενα Περιεχόμενα... 2 1 Ποιες ενέργειες πρέπει να έχουν προηγηθεί πριν την δημιουργία των παραγόμενων άρθρων 39β....
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { R η R είναι μια κανονική έκφραση η οποία παράγει μια μη πεπερασμένη γλώσσα} (β) { G η G είναι μια CFG η οποία
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές
Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα
Διαβάστε περισσότεραΑδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)
Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Εισαγωγή Μοντέλο συστήματος Χαρακτηρισμός και ορισμός κατάστασης αδιεξόδου Μέθοδοι χειρισμού αδιεξόδων Αποτροπή αδιεξόδου (Deadlock Prevention) Αποφυγή
Διαβάστε περισσότεραΤυχαιοκρατικοί Αλγόριθμοι
Πιθανότητες και Αλγόριθμοι Ανάλυση μέσης περίπτωσης Μελέτα τη συμπεριφορά ενός αλγορίθμου σε μια «μέση» είσοδο (ως προς κάποια κατανομή) Τυχαιοκρατικός αλγόριθμος Λαμβάνει τυχαίες αποφάσεις καθώς επεξεργάζεται
Διαβάστε περισσότεραΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΤΥΠΙΚΕΣ ΜΕΘΟΔΟΙ ΑΝΑΛΥΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΜ. ΠΛΗΡΟΦΟΡΙΚΗΣ Α.Π.Θ. ΔΙΔΑΣΚΩΝ: Π. ΚΑΤΣΑΡΟΣ. 29 Ιουνίου 2007 ΔΙΑΦΑΝΕΙΑ 1
ΧΡΟΝΙΚΗ ΛΟΓΙΚΗ Ι ΗλογικήCTL* (Computation Tree Logic) χρησιμοποιείται από εργαλεία ελέγχου μοντέλων για την τυπική περιγραφή ιδιοτήτων καταστάσεων που αναφέρονται στις εκτελέσεις ενός συστήματος. Χρησιμοποιεί
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή
Διαβάστε περισσότεραΦροντιστήριο 8 Λύσεις
Άσκηση 1 Θεωρήστε την πιο κάτω Μηχανή Turing. Φροντιστήριο 8 Λύσεις Σε κάθε σκέλος, να προσδιορίσετε την ακολουθία των φάσεων τις οποίες διατρέχει η μηχανή όταν δέχεται τη διδόμενη λέξη. (α) 11 (β) 1#1
Διαβάστε περισσότερα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
Διαβάστε περισσότεραΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ
ΜΕΡΟΣ ΙΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ 36 ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ Πολλές από τις αποφάσεις
Διαβάστε περισσότεραΈνα αφαιρετικό πραγματικού χρόνου μοντέλο λειτουργικού συστήματος για MPSoC
Ένα αφαιρετικό πραγματικού χρόνου μοντέλο λειτουργικού συστήματος για MPSoC Αρχιτεκτονική Πλατφόρμας Μπορεί να μοντελοποιηθεί σαν ένα σύνολο από διασυνδεδεμένα κομμάτια: 1. Στοιχεία επεξεργασίας (processing
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι
Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/ Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;)
Διαβάστε περισσότεραΑσκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Παραδώστε μια αναφορά (το πολύ 5 σελίδων) για την άσκηση 9 και επιδείξτε
Διαβάστε περισσότεραΑυτοματοποιημένη Επαλήθευση
Αυτοματοποιημένη Επαλήθευση Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος Μοντέλου Αλγόριθμοι γράφων Αλγόριθμοι αυτομάτων Αυτόματα ως προδιαγραφές ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 4-1
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Συναίνεση και Σφάλματα Διεργασιών Παναγιώτα Παναγοπούλου Περίληψη Συναίνεση με σφάλματα διεργασιών Το πρόβλημα Ο αλγόριθμος FloodSet Επικύρωση δοσοληψιών Ορισμός του προβλήματος
Διαβάστε περισσότεραΣυστήματα Υποστήριξης Αποφάσεων
ΠΜΣ Πληροφορική Συστήματα Υποστήριξης Αποφάσεων Επιλογέας Μαθήματος Φοιτητών με τη χρήση εφαρμογής μέσω διαδικτύου Γκίκας Χρήστος ΜΠΠΛ/ 09032 Οκτώβριος 14 Επιλογέας Μαθήματος Εφαρμογή που χρησιμοποιείται
Διαβάστε περισσότεραΔίκτυα Υπολογιστών Εργαστήρια
Δίκτυα Υπολογιστών Εργαστήρια Άσκηση 6 η Πολλαπλή Πρόσβαση με Ακρόαση Φέροντος (CSMA-CD) Πανεπιστήμιο Ιωαννίνων Τμήμα Μηχανικών Η/Υ και Πληροφορικής Διδάσκων: Παπαπέτρου Ευάγγελος 2 1 Εισαγωγή Σκοπός της
Διαβάστε περισσότεραΟλοκληρωμένα Κυκλώματα
Δημοκρίτειο Πανεπιστήμιο Θράκης Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Γ. Δημητρακόπουλος Ολοκληρωμένα Κυκλώματα Πρόοδος - Φθινόπωρο 2017 Θέμα 1 ο Σχεδιάστε το datapath για τον υπολογισμό
Διαβάστε περισσότεραΑιτιώδεις Σχέσεις και Χρονισµός. Παναγιώτα Φατούρου Αρχές Κατανεµηµένου Υπολογισµού
Αιτιώδεις Σχέσεις και Χρονισµός Η Σχέση Happens-Before (Συµβαίνει-πριν) Οι εκτελέσεις, ως ακολουθίες γεγονότων, καθορίζουν µια καθολική διάταξη σε αυτά. Ωστόσο είναι δυνατό δύο υπολογιστικά γεγονότα από
Διαβάστε περισσότεραΜάθημα 7 ο. Αλγόριθμοι Χρονοδρομολόγησης
Μάθημα 7 ο Αλγόριθμοι Χρονοδρομολόγησης Σκοπός του μαθήματος Στην ενότητα αυτή θα εξηγήσουμε το ρόλο και την αξιολόγηση των αλγορίθμων χρονοδρομολόγησης, και θα παρουσιάσουμε τους κυριότερους. Θα μάθουμε:
Διαβάστε περισσότεραΤο κείμενο που ακολουθεί αποτελεί επεξεργασία του πρωτότυπου κειμένου του Α. Κάστωρ για την επίλυση των παραδειγμάτων κρίσιμης αλυσίδας που
Το κείμενο που ακολουθεί αποτελεί επεξεργασία του πρωτότυπου κειμένου του Α. Κάστωρ για την επίλυση των παραδειγμάτων κρίσιμης αλυσίδας που παρουσιάστηκαν στις 19/11/2015 και 3/12/2015 στις διαλέξεις του
Διαβάστε περισσότεραΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ
ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ [Κεφ..6: Συνέπειες του Θεωρήματος της Μέσης Τιμής πλην της Ενότητας Μονοτονία Συνάρτησης του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ
Διαβάστε περισσότεραΧΡΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι Μάθημα: Λειτουργικά Συστήματα Ι ΧΡΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Διδάσκων: Καθ. Κ. Λαμπρινουδάκης clam@unipi.gr 1 Χρονοδρομολογητής ή χρονοπρογραμματιστής (scheduler) είναι το τμήμα του Λ.Σ.
Διαβάστε περισσότεραΣημειωματάριο Δευτέρας 30 Οκτ. 2017
Σημειωματάριο Δευτέρας 30 Οκτ. 2017 Συναρτήσεις (functions) Μια συνάρτηση στην Python είναι κομμάτι κώδικα που φέρει το δικό του όνομα (ακολουθεί τη λέξη κλειδί def στον ορισμό της συνάρτησης, έχει τα
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 3 Λύσεις Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) { w {(, )} * οι παρενθέσεις στην w είναι ισοζυγισμένες } (β) { a k b m c 2m a k k > 0,
Διαβάστε περισσότεραΔεύτερο πακέτο ασκήσεων
ΕΚΠΑ Τμήμα Οικονομικών Επιστημών Μικροοικονομική Θεωρία ΙΙ Εαρινό εξάμηνο Ακαδ. έτους 08-09 Αν. Παπανδρέου, Φ. Κουραντή, Ηρ. Κόλλιας Δεύτερο πακέτο ασκήσεων Προθεσμία παράδοσης Παρασκευή 0 Μαϊου. Θα υπάρξει
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση με σφάλματα διεργασιών Κατανεμημένα Συστήματα Ι 5η Διάλεξη 10 Νοεμβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 5η Διάλεξη 1 Συναίνεση με σφάλματα διεργασιών Προηγούμενη διάλεξη
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Εκλογή αρχηγού και κατασκευή BFS δένδρου σε σύγχρονο γενικό δίκτυο Παναγιώτα Παναγοπούλου Περίληψη Εκλογή αρχηγού σε γενικά δίκτυα Ορισμός του προβλήματος Ο αλγόριθμος FloodMax
Διαβάστε περισσότεραΑ Ν Α Λ Τ Η Α Λ Γ Ο Ρ Ι Θ Μ Ω Ν Κ Ε Υ Α Λ Α Ι Ο 5. Πως υπολογίζεται ο χρόνος εκτέλεσης ενός αλγορίθμου;
5.1 Επίδοση αλγορίθμων Μέχρι τώρα έχουμε γνωρίσει διάφορους αλγόριθμους (αναζήτησης, ταξινόμησης, κ.α.). Στο σημείο αυτό θα παρουσιάσουμε ένα τρόπο εκτίμησης της επίδοσης (performance) η της αποδοτικότητας
Διαβάστε περισσότεραΆλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας
Άλγεβρες Διεργασιών και Σχέσεις Ισοδυναμίας Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Σχέσεις ισοδυναμίας trce equivlence filure equivlence strong isimultion wek isimultion ΕΠΛ 664 Ανάλυση και Επαλήθευση
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Τελικές εξετάσεις Πέμπτη 27 Ιουνίου 2013 10:003:00 Έστω το πάζλ των οκτώ πλακιδίων (8-puzzle)
Διαβάστε περισσότεραΜαθηματικά Πληροφορικής Πιθανοτικά Εργαλεία. Υποπροσθετικότητα. Η Πιθανοτική Μέθοδος (The Probabilistic Method)
Μαθηματικά Πληροφορικής Πιθανοτικά Εργαλεία Δύο βασικά εργαλεία από τη Θεωρία Πιθανοτήτων. 1 Υποπροσθετικότητα (Union Bound). 2 Γραμμικότητα Αναμενόμενης Τιμής (Linearity of Expectation). Τμήμα Πληροφορικής
Διαβάστε περισσότεραΆσκηση 3 (ανακοινώθηκε στις 24 Απριλίου 2017, προθεσμία παράδοσης: 2 Ιουνίου 2017, 12 τα μεσάνυχτα).
Κ08 Δομές Δεδομένων και Τεχνικές Προγραμματισμού Διδάσκων: Μανόλης Κουμπαράκης Εαρινό Εξάμηνο 2016-2017. Άσκηση 3 (ανακοινώθηκε στις 24 Απριλίου 2017, προθεσμία παράδοσης: 2 Ιουνίου 2017, 12 τα μεσάνυχτα).
Διαβάστε περισσότεραΕργαστήριο 6 ο 7 ο / Ερωτήματα Ι
Εργαστήριο 6 ο 7 ο / Ερωτήματα Ι Απλά ερωτήματα Επιλογής Ερωτήματα με Ενώσεις πινάκων Ερωτήματα με Παραμετρικά Κριτήρια Ερωτήματα με Υπολογιζόμενα πεδία Απλά ερωτήματα Επιλογής Τα Ερωτήματα μας επιτρέπουν
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 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 Independent Set is NP-complete Ορισμός. Εστω
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Εκλογή αρχηγού σε γενικά δίκτυα 20 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Εκλογή αρχηγού σε γενικά δίκτυα Προηγούμενη διάλεξη Σύγχρονα Κατανεμημένα Συστήματα Μοντελοποίηση συστήματος Πρόβλημα εκλογής αρχηγού
Διαβάστε περισσότεραΑσκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση»
Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Διδάσκων: Ι. Ανδρουτσόπουλος, 2016-17 Ασκήσεις μελέτης της ενότητας «Συντακτική Ανάλυση» Παραδώστε μια αναφορά (το πολύ 5 σελίδων) για την άσκηση 9 και
Διαβάστε περισσότεραΔιάλεξη 21: Γράφοι IV - Βραχύτερα Μονοπάτια σε Γράφους
Διάλεξη 2: Γράφοι IV - Βραχύτερα Μονοπάτια σε Γράφους Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Βραχύτερα Μονοπάτια σε γράφους - Ο αλγόριθμος Dijkstra για εύρεση της βραχύτερης απόστασης
Διαβάστε περισσότεραΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ ΔΗΛΩΣΗ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΣΥΓΓΡΑΜΜΑΤΩΝ
ΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ ΔΗΛΩΣΗ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΣΥΓΓΡΑΜΜΑΤΩΝ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ ΑΚΑΔ. ΕΤΟΥΣ 2015-2016 Ηράκλειο, 28/09/2015 ΕΓΓΡΑΦΗ ΣΤΟ ΕΞΑΜΗΝΟ Σύμφωνα με το Ν. 4009, άρθρο 33, παρ. 2 και την ορθή επανάληψη της
Διαβάστε περισσότεραΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ
ΔΙΑΓΩΝΙΣΜΑ ΠΡΟΣΟΜΟΙΩΣΗΣ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΘΕΜΑ 1 (Α) Σημειώστε δίπλα σε κάθε πρόταση «Σ» ή «Λ» εφόσον είναι σωστή ή λανθασμένη αντίστοιχα. 1. Τα συντακτικά λάθη ενός προγράμματος
Διαβάστε περισσότεραΧΡΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Μάθημα: ΧΡΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Διδάσκoντες: Καθ. Κ. Λαμπρινουδάκης (clam@unipi.gr) Δρ. Α. Γαλάνη (agalani@unipi.gr) 1 Συμβαίνει συχνά πολλές διεργασίες να ανταγωνίζονται για τον έλεγχο
Διαβάστε περισσότεραΘέματα Μεταγλωττιστών
Γιώργος Δημητρίου Ενότητα 9 η : Θέματα Δρομολόγησης Εντολών ILP Παραλληλισμός επιπέδου εντολής Εξαρτήσεις δεδομένων Εξαρτήσεις ελέγχου (διαδικασιακές) Με διαθέσιμους πόρους, οι εντολές μπορούν να εκτελεστούν
Διαβάστε περισσότεραΠ4.2.1 ΣΧΕΔΙΟ ΔΗΜΟΣΙΟΤΗΤΑΣ
Π4.2.1 ΣΧΕΔΙΟ ΔΗΜΟΣΙΟΤΗΤΑΣ Αριθμός Έκδοσης: ΕΚΕΤΑ ΙΜΕΤ ΕΜ Β 2013 9 Παραδοτέο ΙΜΕΤ Τίτλος Έργου: «Ολοκληρωμένο σύστημα για την ασφαλή μεταφορά μαθητών» Συγγραφέας: Δρ. Μαρία Μορφουλάκη ΘΕΣΣΑΛΟΝΙΚΗ, ΜΑΙΟΣ
Διαβάστε περισσότεραΑσκήσεις Επανάληψης. Επανάληψη Εαρινό Εξάμηνο 2019 Σελίδα 1
Ασκήσεις Επανάληψης Άσκηση 1 (Τελική Εξέταση 5/015) Να δείξετε ότι η πιο κάτω γλώσσα δεν είναι διαγνώσιμη. { Μ L(M) {ΘΕΩΡΙΑ, ΥΠΟΛΟΓΙΣΜΟΥ} και L(M) 3} (Για την αναγωγή μπορείτε να χρησιμοποιήσετε τη γνωστή
Διαβάστε περισσότεραΤμήμα Ηλεκτρολόγων Μηχανικών & Τεχνολογίας Υπολογιστών. Γαβριήλ Β. Γιαννακόπουλος Καθηγητής
Τμήμα Ηλεκτρολόγων Μηχανικών & Τεχνολογίας Υπολογιστών Γαβριήλ Β. Γιαννακόπουλος Καθηγητής Πρόεδρος του Τμήματος για την διετία 2013-2015 ΔΙΑΤΑΞΕΙΣ ΔΗΛΩΣΗΣ ΜΑΘΗΜΑΤΩΝ ΚΑΙ ΔΙΠΛΩΜΑΤΙΚΩΝ ΕΡΓΑΣΙΩΝ ΠΡΟΠΤΥΧΙΑΚΟ
Διαβάστε περισσότεραΟΔΗΓΙΕΣ ΕΓΓΡΑΦΗΣ ΚΑΙ ΥΛΟΠΟΙΗΣΗΣ ΠΡΑΚΤΙΚΗΣ ΑΣΚΗΣΗΣ 2014
Ε Θ Ν Ι Κ Ο Μ Ε Τ Σ Ο Β Ι Ο Π Ο Λ Υ Τ Ε Χ Ν Ε Ι Ο ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΓΡΑΦΕΙΟ ΠΡΑΚΤΙΚΗΣ ΑΣΚΗΣΗΣ Πληροφορίες: Α. Δημακοπούλου, τηλ. 210-7723030 ((aldim@central.ntua.gr), Σπ.
Διαβάστε περισσότεραΑ ΚΥΚΛΟΣ ΣΠΟΥΔΩΝ. Ο Α Κύκλος Σπουδών οδηγεί στην απόκτηση μεταπτυχιακού διπλώματος ειδίκευσης στην «Οπτική και Όραση».
Α ΚΥΚΛΟΣ ΣΠΟΥΔΩΝ Ο Α Κύκλος Σπουδών οδηγεί στην απόκτηση μεταπτυχιακού διπλώματος ειδίκευσης στην «Οπτική και Όραση». 1. Προϋποθέσεις για τη λήψη Μεταπτυχιακού Διπλώματος Ειδίκευσης (Μ.Δ.Ε.) Κάθε Μεταπτυχιακός
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη
Διαβάστε περισσότεραΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι
ΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι Η τυπική επαλήθευση βάση μοντέλου είναι κατάλληλη για συστήματα επικοινωνούντων διεργασιών (π.χ. κατανεμημένα συστήματα) όπου το βασικό πρόβλημα είναι ο έλεγχος αλλά γενικά δεν
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)
Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες
Διαβάστε περισσότεραΔιαφορικές Εξισώσεις.
Διαφορικές Εξισώσεις. Εαρινό εξάμηνο 05-6. Λύσεις πρώτου φυλλαδίου ασκήσεων.. Για κάθε μία από τις παρακάτω διαφορικές εξισώσεις πείτε αν είναι γραμμική ή όχι και προσδιορίστε την τάξη της. α. y + y +
Διαβάστε περισσότεραΚατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός. Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια
Διαβάστε περισσότεραΘεωρία Πιθανοτήτων, εαρινό εξάμηνο Λύσεις του όγδοου φυλλαδίου ασκήσεων.
Θεωρία Πιθανοτήτων, εαρινό εξάμηνο 2017-. Λύσεις του όγδοου φυλλαδίου ασκήσεων. 1. Έστω F X, F Y οι συναρτήσεις κατανομής των τ.μ. X, Y και F X,Y η από κοινού συνάρτηση κατανομής τους. Αποδείξτε ότι (i)
Διαβάστε περισσότεραΔιάλεξη 18: Πρόβλημα Βυζαντινών Στρατηγών. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 8: Πρόβλημα Βυζαντινών Στρατηγών ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Ορισμός Προβλήματος Τι θα δούμε σήμερα Συνθήκες Συμφωνίας κάτω από Βυζαντινό Στρατηγό Πιθανοτικοί αλγόριθμοι επίλυσης Βυζαντινής
Διαβάστε περισσότεραΠρογραμματισμός ΙI (Θ)
Τεχνολογικό Εκπαιδευτικό Ίδρυμα Κεντρικής Μακεδονίας - Σέρρες Τμήμα Μηχανικών Πληροφορικής Προγραμματισμός ΙI (Θ) Δρ. Δημήτρης Βαρσάμης Επίκουρος Καθηγητής Μάρτιος 2017 Δρ. Δημήτρης Βαρσάμης Μάρτιος 2017
Διαβάστε περισσότεραΦροντιστήριο 9 Λύσεις
Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΔιάλεξη 04: Παραδείγματα Ανάλυσης
Διάλεξη 04: Παραδείγματα Ανάλυσης Πολυπλοκότητας/Ανάλυση Αναδρομικών Αλγόριθμων Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Παραδείγματα Ανάλυσης Πολυπλοκότητας : Μέθοδοι, παραδείγματα
Διαβάστε περισσότεραΠροσεγγιστικοί Αλγόριθμοι
Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. http://xkcd.com/287/ Πολλά NP-πλήρη προβλήματα έχουν μεγάλο πρακτικό ενδιαφέρον. Πως μπορούμε να αντιμετωπίσουμε το γεγονός ότι είναι απίθανη(;)
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΕικονική Μνήµη. Κεφάλαιο 8. Dr. Garmpis Aristogiannis - EPDO TEI Messolonghi
Εικονική Μνήµη Κεφάλαιο 8 Υλικό και δοµές ελέγχου Οι αναφορές στην µνήµη υπολογίζονται δυναµικά κατά την εκτέλεση Ηδιεργασίαχωρίζεταισετµήµατα τα οποία δεν απαιτείται να καταλαµβάνουν συνεχόµενες θέσεις
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ Τ Μ Η Μ Α Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ Τ Μ Η Μ Α Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ ΕΠΛ 035 - ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΑΛΓΟΡΙΘΜΟΙ ΓΙΑ ΗΛΕΚΤΡΟΛΟΓΟΥΣ ΜΗΧΑΝΙΚΟΥΣ ΚΑΙ ΜΗΧΑΝΙΚΟΥΣ ΥΠΟΛΟΓΙΣΤΩΝ Ακαδηµαϊκό έτος 2017-2018 Υπεύθυνος εργαστηρίου: Γεώργιος
Διαβάστε περισσότερα