Μεταγλωττιστές ΙΙ. Γέννηση ενδιάμεσης αναπαράστασης. 10 Νοεμβρίου Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ

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

Download "Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Γέννηση ενδιάμεσης αναπαράστασης. 10 Νοεμβρίου 2010. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ"

Transcript

1 Μεταγλωττιστές ΙΙ Γέννηση ενδιάμεσης αναπαράστασης Νικόλαος Καββαδίας 10 Νοεμβρίου 2010

2 Η έννοια της ενδιάμεσης αναπαράστασης Ενδιάμεση αναπαράσταση (IR: intermediate representation): απλοποιημένη, σημασιολογικά ισοδύναμη μορφή του πηγαίου προγράμματος Είναι η κοινή (koine) γλώσσα η οποία χρησιμοποιείται για την επικοινωνία πληροφορίας για το πηγαίο πρόγραμμα από το frontend στο backend του μεταγλωττιστή Παράγεται από τα αφηρημένα συντακτικά δένδρα (AS: Abstract Syntax ree) στα οποία αποδομείται το πηγαίο πρόγραμμα από το frontend Στο επίπεδο της IR υλοποιούνται μετασχηματισμοί για την εφαρμογή βελτιστοποιήσεων ανεξάρτητων από την αρχιτεκτονική του στοχευόμενου επεξεργαστή

3 Άποψη του μεταγλωττιστή από την πλευρά της IR Η εξαγωγή της IR είναι το αποτέλεσμα της λεκτικής, συντακτικής και σημασιολογικής ανάλυσης του πηγαίου προγράμματος

4 Υποβιβασμός (αποδόμηση) σύνθετων εκφράσεων Προγραμματιστικές δομές οι οποίες αποδομούνται σε απλούστερες εντολές ελέγχου και επανάληψης προσπελάσεις σε στοιχεία πίνακα προσπελάσεις σε στοιχεία σύνθετων δομών δεδομένων (όπως είναι η struct στην ANSI C και η record στην Pascal) σύνθετες αριθμητικές εκφράσεις Παράδειγμα: ανάγνωση του στοιχείου του πίνακα a στη διεύθυνση i*widh+(j+2) και ανάθεση στην μεταβλητή b b = a[i][j+2]; => t1 = j+2; t2 = WIDH * i; t3 = t1 + t2; t4 = 4 * t3; t5 = address(a); t6 = t4 + t5; b = *t6;

5 Αφηρημένο συντακτικό δένδρο (AS: Abstract Syntax ree) Φυσική αναπαράσταση της εξόδου του συντακτικού αναλυτή για το πηγαίο πρόγραμμα Οι κόμβοι αναπαριστούν λεκτικές μονάδες του πηγαίου προγράμματος Παράδειγμα: το AS για την έκφραση a + a (b c) + (b c) d + + a * * - a - d b c b c

6 Κατευθυνόμενοι ακυκλικοί γράφοι (DAGs) για την αναπαράσταση εκφράσεων Η αναπαράσταση DAG (Directed Acyclic Graph) μιας έκφρασης αναγνωρίζει τις κοινές υποεκφράσεις (CSE: Common SubExpression), δηλ. εκείνες τις εκφράσεις που εμφανίζονται περισσότερες από μία φορά στο AS Ενας κόμβος N που αναπαριστά μια CSE έχει περισσότερους από έναν κόμβους-παιδιά Σε ένα AS η κοινή υποέκφραση εμφανίζεται σε τόσα αντίτυπα όσες φορές εμφανίζεται στην αρχική έκφραση Παράδειγμα: το DAG για την έκφραση a + a (b c) + (b c) d + * + d * - a b c

7 Κώδικας τριών διευθύνσεων (AC: hree Address Code) Γραμμικοποιημένη αναπαράσταση ενός AS ή DAG Ακολουθία απλών εντολών, οι οποίες χρησιμοποιούν κατά μέγιστο τρία ορίσματα: δύο ορίσματα ανάγνωσης και ένα εγγραφής Ο κώδικας AC ϑυμίζει τις εντολές συμβολομεταφραστή ενός απλού επεξεργαστή RISC με τη διαφορά ότι γίνεται αναφορά σε συμβολικές ϑέσεις αποθήκευσης Για το παράδειγμα: * t4 + t5 t3 + t2 t1 = b - c; t2 = a * t1; t3 = a + t2; t4 = t1 * d; t5 = t3 + t4; t1 d * t1 - a b c

8 Περιγραφή εντολών και διευθύνσεων σε κώδικα AC (1) Ο κώδικας τριών διευθύνσεων αποτελείται από εντολές που δρουν πάνω σε δεδομένα τα οποία υποδεικνύονται από διευθύνσεις Οι διευθύνσεις αυτές σε μεταγενέστερο στάδιο της μεταγλώττισης αποδίδουν μεταβλητές που αποθηκεύονται σε φυσικούς καταχωρητές ή σε ϑέσεις μνήμης δεδομένων Οι διευθύνσεις σε εντολές AC μπορεί να είναι ονόματα, σταθερές, ή προσωρινές μεταβλητές Ονόματα: όπως ονόματα μεταβλητών του πηγαίου προγράμματος (μεταβλητές καθολικής ή τοπικής εμβέλειας) Σταθερές: αριθμητικές ή συμβολικές Προσωρινές μεταβλητές: τις παράγει ο μεταγλωττιστής κατά την αποδόμηση του πηγαίου προγράμματος

9 Περιγραφή εντολών και διευθύνσεων σε κώδικα AC (2) Τύποι εντολών σε AC Συμβολικές ετικέττες (symbolic labels) της μορφής LABELn: για τον καθορισμό συγκεκριμένων σημείων στη ροή του προγράμματος Στοχεύονται από εντολές μεταφοράς ροής ελέγχου Παίρνουν οριστικές τιμές (δείκτη εντολής) από ένα δεύτερο πέρασμα (backpatching) Εντολές ανάθεσης της μορφής: x = y op z; όπου op είναι τελεστής αριθμητικός, λογικός ή σύγκρισης Εντολές ανάθεσης για μοναδιαίους τελεστές: x = op y; όπως είναι οι τελεστές αντιστροφής, λογικής άρνησης, και μετατροπής τύπου δεδομένων (casting) Εντολές αντιγραφής της μορφής x = y;

10 Περιγραφή εντολών και διευθύνσεων σε κώδικα AC (3) Τύποι εντολών σε AC (συνέχεια) Άλματα χωρίς συνθήκη: goto LABEL; Άλματα υπό συνθήκη της μορφής if (x) goto LABEL; και if (!x) goto LABEL; Κλήση υποπρογράμματος y = p(x1, x2,..., xn) με n ορίσματα param x1; param x2;... param xn; call p, n; // or y = call p, n; Επιστροφή τιμής (χρήση σε υποπρογράμματα): return y; Αναθέσεις σε στοιχεία πίνακα όπως x = y[i]; και x[i] = y; που εκφράζουν λειτουργίες φόρτωσης από και αποθήκευσης σε μνήμη Δεικτοδοτημένες αναθέσεις x = &y; η ανάθεση της διεύθυνσης της μεταβλητής y στην x x = *y; η τιμή που βρίσκεται στη διεύθυνση y ανατίθεται στη μεταβλητή x *x = y; η τιμή η οποία δεικτοδοτείται από τον δείκτη x ισούται πλέον με y

11 Μεταγλώττιση πηγαίου κώδικα σε AC Εστω το εξής τμήμα πηγαίου κώδικα i = 0; do { i = i + 1; } while (a[i] < v); Μετατροπή σε AC L: i = 0; i = i + 1; t0 = a[i]; if (t0 < v) goto L; Παραδείγματα χρήσης AC βρίσκουμε στους μεταγλωττιστές GCC (υπό τη μορφή GIMPLE) και LANCE [Leupers, 2003] ως εκτελέσιμο κώδικα C χαμηλού επιπέδου

12 Αναπαράσταση ενδιάμεσου κώδικα σε τετράδες (quadruples ή quads) Η τετράδα αποτελεί δομή δεδομένων κατάλληλη για χρήση από το μεταγλωττιστή προκειμένου τη διατήρηση της πληροφορίας κώδικα AC Οι τετράδες έχουν ένα-προς-ένα αντιστοιχία με τις εντολές AC και αποτελούνται από τα εξής επιμέρους στοιχεία: op για τον τελεστή, arg 1, arg 2 για τα δύο έντελα ανάγνωσης, και result για το έντελο εγγραφής στο οποίο γράφεται τυχόν αποτέλεσμα της εντολής. Ενα ή περισσότερα από τα πεδία arg 1, arg 2, result μπορεί να είναι κενά Τα στοιχεία μιας τετράδας υλοποιούνται ως μέλη μιας struct της C Για παράδειγμα η εντολή z = x + y; αντιπροσωπεύεται από την τετράδα ( +, x, y, z) Για το παράδειγμα: t1 = b - c; t2 = a * t1; t3 = a + t2; t4 = t1 * d; t5 = t3 + t4; op arg 1 arg 2 result 0 subtract b c t1 1 multiply a t1 t2 2 add a t2 t3 3 multiply t1 d t4 4 add t3 t4 t5

13 Το βασικό μπλοκ (BB: basic block) (1) Ενα βασικό μπλοκ αποτελεί μία ακολουθία διαδοχικών εντολών με ένα σημείο εισόδου και ένα σημείο εξόδου με τις ακόλουθες ιδιότητες: Η ροή ελέγχου μπορεί να μεταφερθεί στο βασικό μπλοκ μόνο διαμέσου της 1ης εντολής του Η ροή ελέγχου εξέρχεται από το βασικό μπλοκ από την τελευταία εντολή του η οποία είναι η μόνη που επιτρέπεται να μεταφέρει τη ροή εκτέλεσης του προγράμματος σε μη διαδοχική διεύθυνση Το βασικό μπλοκ αποτελεί τη ϑεμελιώδη μονάδα μεταγλώττισης στην οποία εφαρμόζονται βασικές βελτιστοποιήσεις και ϑεμελιώδεις φάσεις της μεταγλώττισης όπως η επιλογή εντολών (instruction selection) και ο καταμερισμός καταχωρητών (register allocation)

14 Το βασικό μπλοκ (BB: Basic Block) (2) Παράδειγμα 1 data = inp; 2 count = 0; 3 4 while (data!= 0) 5 { 6 count += (data & 0x1); 7 data = data >> 0x1; 8 } 1 L1: 2 data = inp; 3 count = 0; 4 5 L2: 6 if (data!= 0) goto L3; 7 else goto L_EXI; 8 9 L3: 10 t0 = data & 0x1; 11 count = count + t0; 12 data = data >> 0x1; 13 goto L2; L_EXI: 16...

15 Το βασικό μπλοκ (BB: basic block) (3) Η έννοια του βασικού μπλοκ χρησιμοποιείται από το επίπεδο της IR μέχρι και τον τελικό κώδικα (assembly) για τη στοχευόμενη μηχανή Η ροή ελέγχου μεταφέρεται στο BB από προηγηθέντα (predecessor) BB και μεταφέρεται σε διάδοχα (successor) BB Σημεία αλλαγής ροής ελέγχου Άμεσες ή έμμεσες διακλαδώσεις (branches) και άλματα (jumps) με ή χωρίς συνθήκη Κλήσεις υποπρογραμμάτων Εξαιρέσεις (exceptions)

16 Ορισμός του Γράφου Εξάρτησης Δεδομένων (DDG: Data-Dependence Graph) ενός BB Ενας Γράφος Εξάρτησης Δεδομένων (DDG) είναι ο κατευθυνόμενος ακυκλικός γράφος (DAG) που αντιπροσωπεύει τις εξαρτήσεις δεδομένων σε μια ακολουθία διαδοχικών εντολών Definition (DDG βασικού μπλοκ) Καλείται DDG(V, E) ο κατευθυνόμενος ακυκλικός γράφος που αναπαριστά τη ροή και τις εξαρτήσεις δεδομένων σε δοθέν βασικό μπλοκ οι κόμβοι V αναπαριστούν στοιχειώδεις λειτουργίες και οι ακμές E αναπαριστούν εξαρτήσεις δεδομένων. Ο γράφος DDG αντιστοιχείται σε έναν γράφο DDG + (V V +, E E + ), ο οποίος περιλαμβάνει επιπρόσθετους κόμβους V + και επιπρόσθετες ακμές E +. Οι επιπρόσθετοι κόμβοι V + αναπαριστούν μεταβλητές (έντελα/ορίσματα) εισόδου και εξόδου από το βασικό μπλοκ. Οι επιπρόσθετες ακμές E + συνδέουν κόμβους του V + με κόμβους του V, και κόμβους V με του V +.

17 Γράφος Ροής Ελέγχου (CG: Control low Graph) Ενας Γράφος Ροής Ελέγχου (CG) αποτελεί μια αναπαράσταση όλων των διαδρομών τις οποίες μπορεί να διαβεί η ροή εκτέλεσης του προγράμματος. Οι κορυφές του CG αποτελούν βασικά μπλοκ και οι ακμές του αντιπροσωπεύουν άλματα στη ροή ελέγχου Ενα CG αντιπροσωπεύει ένα υποπρόγραμμα (π.χ. function της C) και έτσι ένα πηγαίο πρόγραμμα αναπαρίσταται από ένα σύνολο από CG Ενα CG μπορεί να αποτελεί κυκλικό γράφο Ειδική σημασία στη λειτουργία αλγορίθμων ανάλυσης ροής ελέγχου και δεδομένων σε CG έχουν το μπλοκ εισόδου και το μπλοκ εξόδου του, τα οποία μπορεί και να είναι εικονικά (source, sink blocks)

18 Γράφος Ροής Ελέγχου-Δεδομένων (CDG: Control-Data low Graph) Η IR είναι οργανώσιμη σε μορφή Γράφου Ροής Ελέγχου-Δεδομένων (CDG) για κάθε συνάρτηση του πηγαίου προγράμματος Ο CDG είναι ένας ιεραρχικός γράφος δύο επιπέδων Ανώτερο επίπεδο: CG που έχει ως κορυφές τα BB της συνάρτησης και ως ακμές τις εξαρτήσεις ελέγχου μεταξύ τους Κατώτερο επίπεδο: BB που αντιπροσωπεύεται από τον DDG του Γενικά ο CDG μπορεί να οριστεί ως η ΔΙΑΤΕΤΑΓΜΕΝΗ ΤΡΙΑΔΑ (3-tuple) CDG(V, E, D) όπου: V το σύνολο των λειτουργιών, σταθερών τιμών και μεταβλητών ή ορισμάτων εισόδου/εξόδου σε αυτό το τμήμα του προγράμματος, E οι σχέσεις ανάμεσα σε κορυφές του συνόλου V, και D οι έμφυτες χρονικές καθυστερήσεις (π.χ. σε ns ή σε κύκλους μηχανής) για την ολοκλήρωση των λειτουργιών V

19 Ολοκληρωμένο παράδειγμα: Από την C στο CDG (1) Συνάρτηση υπολογισμού απόλυτης τιμής σε C int iabs(int a) { int temp; } if (a < 0) temp = -a; else temp = a; return temp;

20 Ολοκληρωμένο παράδειγμα: Από την C στο CDG (2) Κώδικας AC για τη συνάρτηση iabs iabs: t2 = a; t3 = 0; t4 = (t2 < t3); if (t4) goto L1; t5 = t2; goto L2; L1: t5 = -t2; L2: return t5; Το CDG της iabs t3 = 0; BB 1 t4 = (t2 < t3); if (t4) goto L1; iabs: t2 = a; BB 2 BB 3 t5 = t2; goto L2; BB 0 L1: t5 = -t2; BB 4 L2: return t5; BB 5

21 Ενδιάμεση αναπαράσταση με χρήση Στατικής Απλής Ανάθεσης (SSA: Static Single Assignment) Η Στατική Απλή Ανάθεση (SSA) [Cytron, 1991] αποτελεί ΙΔΙΟΤΗΤΑ μιας IR σε σχέση με το πως επιλέγουμε να χειριστούμε τις μεταβλητές Definition (Ιδιότητα της στατικής απλής ανάθεσης) Ενα πρόγραμμα βρίσκεται σε μορφή SSA αν κάθε μεταβλητή ορίζεται στατικά το πολύ μία φορά, δηλ. δεν υπάρχουν δύο τοποθεσίες στο πρόγραμμα οι οποίες να αναθέτουν στην ίδια μεταβλητή AC p = a + b; q = p - c; p = q * d; p = e - p2; q = p + q; SSA-AC p1 = a + b; q1 = p1 - c; p2 = q1 * d; p3 = e - p2; q2 = p3 + q1;

22 Η συνάρτηση φ (1) Η ίδια μεταβλητή μπορεί να οριστεί μέσω δύο ή παραπάνω μονοπατιών ροής ελέγχου σε ένα πρόγραμμα Εστω το τμήμα κώδικα if (flag) x = -1; else x = 1; y = x * a; Στη μορφή SSA χρησιμοποιούμε διαφορετικά ονόματα για τη μεταβλητή x στα δύο μονοπάτια Η συνάρτηση φ (phi) επανασυνδέει τις x1, x2 στη x3 έχοντας την τιμή της μίας ή της άλλης ανάλογα με την τιμή της συνθήκης flag Ετσι έχουμε if (flag) x1 = -1; else x2 = 1; x3 = phi(x1, x2); y = x3 * a;

23 Η συνάρτηση φ (2) Η συνάρτηση φ φέρει τόσα ορίσματα όσα είναι και τα βασικά μπλοκ τα οποία είναι προηγηθέντα (predecessors) του BB (οδηγούν τη ροή ελέγχου) στο οποίο πρόκειται να χρησιμοποιηθεί (δηλ. όσες είναι οι εισερχόμενες ακμές) Κάθε όρισμα συνδέεται με μοναδικό τρόπο με ένα και μόνο από τα προηγηθέντα BB Το αποτέλεσμα μιας συνάρτησης φ είναι εκείνη η εκδοχή της μεταβλητής η οποία προέρχεται από το μονοπάτι ροής ελέγχου το οποίο τελικά οδηγεί κατά την εκτέλεση του προγράμματος στο εν λόγω BB Οι συναρτήσεις φ τοποθετούνται πριν από τις πραγματικές εντολές σε ένα BB και ϑεωρείται ότι υπολογίζονται ταυτόχρονα

24 Απλή μέθοδος για την κατασκευή της μορφής SSA Αλγόριθμος δύο φάσεων [Aycock and Horspool, 2000] για την απλή γέννηση SSA 1 Εισαγωγή φ-συναρτήσεων για κάθε μεταβλητή σε κάθε BB με αριθμό ορισμάτων ίσο με τον αριθμό των εισερχόμενων ακμών 2 Φάση ελαχιστοποίησης των φ-συναρτήσεων 2.1 Διαγραφή των φ-συναρτήσεων της μορφής: V i φ(v i, V i,..., V i ) 2.2 Διαγραφή των φ-συναρτήσεων της μορφής V i φ(v x1, V x2,..., V xk ), όπου x 1, x 2,..., x k {i, j} 3 Απαρίθμηση τιμών (value numbering) για τη δεικτοδότηση κάθε νέου ορισμού μιας μεταβλητής (επαναλαμβάνεται)

25 Παράδειγμα πηγαίου προγράμματος και το AC IR του Πηγαίο πρόγραμμα i = 123; j = i * j; do { PRIN(j); if (j > 5) { i = i + 1; } else { break; } } while (i <= 234); BB3: i = i + 1 BB1: i = 123 j = i * j BB2: PRIN(j) t0 = j > 5 BB4: BB5: t1 = i <= 234 BB6:

26 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 1 IR BB1: i1 = 123; j1 = i1 * j0; BB2: PRIN(j); t0 = j > 5; if (t0) goto BB3; else goto BB4; BB3: i = i + 1; goto BB5; BB4: goto BB6; BB5: t1 = i <= 234; if (t1) goto BB2; else goto BB6; BB6: BB3: i = i + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: PRIN(j) t0 = j > 5 BB4: BB5: t1 = i <= 234 BB6:

27 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 2 IR BB1: i1 = 123; j1 = i1 * j0; BB2: i2 = phi(i1, i6); j2 = phi(j1, j5); PRIN(j2); t0 = j2 > 5; if (t0) goto BB3; else goto BB4; BB3: i = i + 1; goto BB5; BB4: goto BB6; BB5: t1 = i <= 234; if (t1) goto BB2; else goto BB5; BB6: BB3: i = i + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i6) j2 = phi(j1, j5) PRIN(j2) t0 = j2 > 5 BB4: BB5: t1 = i <= 234 BB6:

28 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 3 IR BB1: i1 = 123; j1 = i1 * j0; BB2: i2 = phi(i1, i6); j2 = phi(j1, j5); PRIN(j2); t0 = j2 > 5; if (t0) goto BB3; else goto BB4; BB3: i3 = phi(i2); j3 = phi(j2); i4 = i3 + 1; goto BB5; BB4: goto BB6; BB5: t1 = i <= 234; if (t1) goto BB2; else goto BB5; BB6: BB3: i3 = phi(i2) j3 = phi(j2) i4 = i3 + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i6) j2 = phi(j1, j5) PRIN(j2) t0 = j2 > 5 BB4: BB5: t1 = i <= 234 BB6:

29 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 4 IR BB1: i1 = 123; j1 = i1 * j0; BB2: i2 = phi(i1, i6); j2 = phi(j1, j5); PRIN(j2); t0 = j2 > 5; if (t0) goto BB3; else goto BB4; BB3: i3 = phi(i2); j3 = phi(j2); i4 = i3 + 1; goto BB5; BB4: i5 = phi(i2); j4 = phi(j2); goto BB6; BB5: t1 = i <= 234; if (t1) goto BB2; else goto BB5; BB6: BB3: i3 = phi(i2) j3 = phi(j2) i4 = i3 + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i6) j2 = phi(j1, j5) PRIN(j2) t0 = j2 > 5 BB5: t1 = i <= 234 BB6: BB4: i5 = phi(i2) j4 = phi(j2)

30 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 5 IR BB1: i1 = 123; j1 = i1 * j0; BB2: i2 = phi(i1, i6); j2 = phi(j1, j5); PRIN(j2); t0 = j2 > 5; if (t0) goto BB3; else goto BB4; BB3: i3 = phi(i2); j3 = phi(j2); i4 = i3 + 1; goto BB5; BB4: i5 = phi(i2); j4 = phi(j2); goto BB6; BB5: i6 = phi(i4); j5 = phi(j3); t1 = i6 <= 234; if (t1) goto BB2; else goto BB5; BB6: BB3: i3 = phi(i2) j3 = phi(j2) i4 = i3 + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i6) j2 = phi(j1, j5) PRIN(j2) t0 = j2 > 5 BB5: i6 = phi(i4) j5 = phi(j3) t1 = i6 <= 234 BB6: BB4: i5 = phi(i2) j4 = phi(j2)

31 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 6 IR BB1: i1 = 123; j1 = i1 * j0; BB2: i2 = phi(i1, i6); j2 = phi(j1, j5); PRIN(j2); t0 = j2 > 5; if (t0) goto BB3; else goto BB4; BB3: i3 = phi(i2); j3 = phi(j2); i4 = i3 + 1; goto BB5; BB4: i5 = phi(i2); j4 = phi(j2); goto BB6; BB5: i6 = phi(i4); j5 = phi(j3); t1 = i6 <= 234; if (t1) goto BB2; else goto BB5; BB6: i7 = phi(i6, i5); j6 = phi(j5, j4); BB3: i3 = phi(i2) j3 = phi(j2) i4 = i3 + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i6) j2 = phi(j1, j5) PRIN(j2) t0 = j2 > 5 BB5: i6 = phi(i4) j5 = phi(j3) t1 = i6 <= 234 BB4: i5 = phi(i2) j4 = phi(j2) BB6: i7 = phi(i6, i5) j6 = phi(j5, j4)

32 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 7 Εξουδετέρωση περιττών εκδοχών (versions) της μεταβλητής i i 2 φ(i 1, i 6 ) i 3 φ(i 2 ) i 5 φ(i 2 ) i 6 φ(i 4 ) i 7 φ(i 6, i 5 ) i 3 i 2 i 5 i 2 i 6 i 4 = { i2 φ(i 1, i 4 ) i 7 φ(i 4, i 2 ) BB3: j3 = phi(j2) i4 = i2 + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i4) j2 = phi(j1, j5) PRIN(j2) t0 = j2 > 5 BB4: j4 = phi(j2) BB5: j5 = phi(j3) t1 = i4 <= 234 BB6: i7 = phi(i4, i2) j6 = phi(j5, j4)

33 Εξαγωγή SSA από πηγαίο πρόγραμμα: Βήμα 8 Εξουδετέρωση περιττών εκδοχών (versions) της μεταβλητής j BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 j 2 φ(j 1, j 5 ) j 3 φ(j 2 ) j 4 φ(j 2 ) j 5 φ(j 3 ) j 6 φ(j 5, j 4 ) j 3 j 2 j 4 j 2 j 5 j 4 j 3 = BB3: i4 = i2 + 1 BB2: i2 = phi(i1, i4) PRIN(j1) t0 = j1 > 5 BB4: j 2 φ(j 1, j 2 ) [ j 2 j 1 ] = none BB5: t1 = i4 <= 234 BB6: i7 = phi(i4, i2)

34 Μετά την εξαγωγή SSA από πηγαίο πρόγραμμα IR BB1: i1 = 123; j1 = i1 * j0; BB2: i2 = phi(i1, i4); PRIN(j1); t0 = j1 > 5; if (t0) goto BB3; else goto BB4; BB3: i4 = i2 + 1; goto BB5; BB4: goto BB6; BB5: t1 = i4 <= 234; if (t1) goto BB2; else goto BB5; BB6: i7 = phi(i4, i2); BB3: i4 = i2 + 1 BB1: i0 = j0 = i1 = 123 j1 = i1 * j0 BB2: i2 = phi(i1, i4) PRIN(j1) t0 = j1 > 5 BB4: BB5: t1 = i4 <= 234 BB6: i7 = phi(i4, i2)

35 Κίνητρα για τη χρήση SSA Η μορφή SSA προτιμάται στις μοντέρνες σχεδιάσεις μεταγλωττιστών (GCC 4.5.1, LLVM 2.7, Machine-SUI 2, libfirm ) για τους εξής λόγους: Οι αναλύσεις ροής δεδομένων (data flow analyses) είναι περισσότερο αποδοτικές Διευκολύνεται η εφαρμογή συγκεκριμένων τύπων βελτιστοποιήσεων Ορισμένες αναλύσεις και βελτιστοποιήσεις όπως η εξουδετέρωση κοινής υποεκφράσεως (CSE) είναι έμφυτες στην αναπαράσταση (πραγματοποιούνται κατά την εξαγωγή της SSA) Οι αλυσίδες χρήσης-ορισμού (def-use chains) είναι εμφανείς Οι αλυσίδες ορισμού-χρήσης (use-def chains) είναι ευκολότερο να αναπαρασταθούν

36 Αναφορές του μαθήματος I A. V. Aho, R. Sethi, and J. D. Ullman, Μεταγλωττιστές: Αρχές, Τεχνικές και Εργαλεία, με την επιμέλεια των: Άγγελος Σπ. Βώρος και Νικόλαος Σπ. Βώρος και Κων/νος Γ. Μασσέλος, κεφάλαια 6, 6.1.1, 6.2, 6.2.1, 6.2.4, 8.4, 9.6.1, Εκδόσεις Νέων Τεχνολογιών, Website for the English version: R. Leupers, O. Whalen, M. Hahenauer,. Kogel, and P. Marwedel, An executable intermediate representation for retargetable compilation and high-level code optimization, in Proceedings of the hird International Workshop on Systems, Architectures, Modeling, and Simulation (SAMOS 2003), Samos, Greece, July , pp R. Cytron, J. errante, B. K. Rosen, M. N. Wegman, and. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM ransactions on Programming Languages and Systems, vol. 13, no. 4, pp , October 1991.

37 Αναφορές του μαθήματος II J. Aycock and N. Horspool, Simple generation of static single assignment form, in Proceedings of the 9th International Conference in Compiler Construction, Berlin, Germany, March 2000, pp Machine-SUI research compiler. [Online]. Available: he GNU compiler collection homepage. [Online]. Available: LLVM (Low-Level Virtual Machine) compiler homepage. [Online]. Available: LANCE C compiler. [Online]. Available:

Γέννηση ενδιάμεσης αναπαράστασης. Προηγμένα Θέματα Θεωρητικής Πληροφορικής. Τύποι IR. Άποψη του μεταγλωττιστή από την πλευρά της IR.

Γέννηση ενδιάμεσης αναπαράστασης. Προηγμένα Θέματα Θεωρητικής Πληροφορικής. Τύποι IR. Άποψη του μεταγλωττιστή από την πλευρά της IR. Η έννοια της ενδιάμεσης αναπαράστασης Προηγμένα Θέματα Θεωρητικής Πληροφορικής Γέννηση ενδιάμεσης αναπαράστασης Νικόλαος Καββαδίας nkavv@uop.gr 17 Μαρτίου 2010 Ενδιάμεση αναπαράσταση (IR: intermediate

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

Αποδεικτικές Διαδικασίες και Μαθηματική Επαγωγή.

Αποδεικτικές Διαδικασίες και Μαθηματική Επαγωγή. Αποδεικτικές Διαδικασίες και Μαθηματική Επαγωγή. Mαθηματικό σύστημα Ένα μαθηματικό σύστημα αποτελείται από αξιώματα, ορισμούς, μη καθορισμένες έννοιες και θεωρήματα. Η Ευκλείδειος γεωμετρία αποτελεί ένα

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

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Καταμερισμός καταχωρητών. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Καταμερισμός καταχωρητών. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Καταμερισμός καταχωρητών Νικόλαος Καββαδίας nkavv@uop.gr 01 Δεκεμβρίου 2010 Γενικά για τον καταμερισμό καταχωρητών Καταμερισμός καταχωρητών (register allocation): βελτιστοποίηση μεταγλωττιστή

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

Μεταγλωττιστές ΙΙ. Επιλογή κώδικα. 24 Νοεμβρίου Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ

Μεταγλωττιστές ΙΙ. Επιλογή κώδικα. 24 Νοεμβρίου Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Επιλογή κώδικα Νικόλαος Καββαδίας nkavv@uop.gr 24 Νοεμβρίου 2010 Ο γεννήτορας κώδικα Επιθυμητές ιδιότητες του γεννήτορα κώδικα (code generator) Το παραγόμενο πρόγραμμα χαμηλού επιπέδου

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

Φόρμα Σχεδιασμού Διάλεξης (ημ/α: 17/03/08, έκδοση: 1.0)

Φόρμα Σχεδιασμού Διάλεξης (ημ/α: 17/03/08, έκδοση: 1.0) 1. Κωδικός Μαθήματος: (Εισαγωγή στον Προγραμματισμό) 2. Α/Α Διάλεξης: 1 1. Τίτλος: Εισαγωγή στους υπολογιστές. 2. Μαθησιακοί Στόχοι: Συνοπτική παρουσίαση της εξέλιξης των γλωσσών προγραμματισμού και των

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

Ας υποθέσουμε ότι ο παίκτης Ι διαλέγει πρώτος την τυχαιοποιημένη στρατηγική (x 1, x 2 ), x 1, x2 0,

Ας υποθέσουμε ότι ο παίκτης Ι διαλέγει πρώτος την τυχαιοποιημένη στρατηγική (x 1, x 2 ), x 1, x2 0, Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Στατιστικής Εισαγωγή στην Επιχειρησιακή Ερευνα Εαρινό Εξάμηνο 2015 Μ. Ζαζάνης Πρόβλημα 1. Να διατυπώσετε το παρακάτω παίγνιο μηδενικού αθροίσματος ως πρόβλημα γραμμικού

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

Οι γέφυρες του ποταμού... Pregel (Konigsberg)

Οι γέφυρες του ποταμού... Pregel (Konigsberg) Οι γέφυρες του ποταμού... Pregel (Konigsberg) Β Δ Β Δ Γ Γ Κύκλος του Euler (Euler cycle) είναι κύκλος σε γράφημα Γ που περιέχει κάθε κορυφή του γραφήματος, και κάθε ακμή αυτού ακριβώς μία φορά. Για γράφημα

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

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Χρονοπρογραμματισμός κώδικα και βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Χρονοπρογραμματισμός κώδικα και βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική Μεταγλωττιστές ΙΙ Χρονοπρογραμματισμός κώδικα και βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική Νικόλαος Καββαδίας nkavv@uop.gr 21 Δεκεμβρίου 2010 Βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική

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

21/11/2005 Διακριτά Μαθηματικά. Γραφήματα ΒΑΣΙΚΗ ΟΡΟΛΟΓΙΑ : ΜΟΝΟΠΑΤΙΑ ΚΑΙ ΚΥΚΛΟΙ Δ Ι. Γεώργιος Βούρος Πανεπιστήμιο Αιγαίου

21/11/2005 Διακριτά Μαθηματικά. Γραφήματα ΒΑΣΙΚΗ ΟΡΟΛΟΓΙΑ : ΜΟΝΟΠΑΤΙΑ ΚΑΙ ΚΥΚΛΟΙ Δ Ι. Γεώργιος Βούρος Πανεπιστήμιο Αιγαίου Γραφήματα ΒΑΣΙΚΗ ΟΡΟΛΟΓΙΑ : ΜΟΝΟΠΑΤΙΑ ΚΑΙ ΚΥΚΛΟΙ A Ε B Ζ Η Γ K Θ Δ Ι Ορισμός Ένα (μη κατευθυνόμενο) γράφημα (non directed graph) Γ, είναι μία δυάδα από σύνολα Ε και V και συμβολίζεται με Γ=(Ε,V). Το σύνολο

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

Pointers. Σημερινό Μάθημα! Χρήση pointer Τελεστής * Τελεστής & Γενικοί δείκτες Ανάκληση Δέσμευση μνήμης new / delete Pointer σε αντικείμενο 2

Pointers. Σημερινό Μάθημα! Χρήση pointer Τελεστής * Τελεστής & Γενικοί δείκτες Ανάκληση Δέσμευση μνήμης new / delete Pointer σε αντικείμενο 2 Pointers 1 Σημερινό Μάθημα! Χρήση pointer Τελεστής * Τελεστής & Γενικοί δείκτες Ανάκληση Δέσμευση μνήμης new / delete Pointer σε αντικείμενο 2 1 Μνήμη μεταβλητών Κάθε μεταβλητή έχει διεύθυνση Δεν χρειάζεται

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

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. 26 Ιανουαρίου 2011. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. 26 Ιανουαρίου 2011. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Ανασκόπηση του μαθήματος και ϑέματα πρακτικής εξάσκησης Νικόλαος Καββαδίας nkavv@uop.gr 26 Ιανουαρίου 2011 Σκιαγράφηση της διάλεξης Παραλειπόμενα Αναδρομή στο περιεχόμενο του μαθήματος

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

Τρίτη, 05 Ιουνίου 2001 ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ Γ ΛΥΚΕΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ

Τρίτη, 05 Ιουνίου 2001 ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ Γ ΛΥΚΕΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Τρίτη, 05 Ιουνίου 2001 ΤΕΧΝΟΛΟΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ Γ ΛΥΚΕΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΘΕΜΑ 1 Α. Να µεταφέρετε στο τετράδιό σας και να συµπληρώσετε τον παρακάτω πίνακα αλήθειας δύο προτάσεων

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

Μεταγλωττιστές ΙΙ. Βελτιστοποιήσεις ανεξάρτητες από την αρχιτεκτονική. Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ

Μεταγλωττιστές ΙΙ. Βελτιστοποιήσεις ανεξάρτητες από την αρχιτεκτονική. Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Βελτιστοποιήσεις ανεξάρτητες από την αρχιτεκτονική Νικόλαος Καββαδίας nkavv@uop.gr 08 Δεκεμβρίου 2010 Η έννοια της βελτιστοποίησης προγράμματος Βελτιστοποίηση προγράμματος (program optimization):

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

Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ

Νικόλαος Καββαδίας Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Η οργάνωση του μεταγλωττιστή Νικόλαος Καββαδίας nkavv@uop.gr 03 Νοεμβρίου 2010 Αντικείμενο του μαθήματος CST325: Μεταγλωττιστές ΙΙ (1) Επιμέρους στόχοι του μαθήματος Παρουσίαση ϑεμάτων

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

{ i f i == 0 and p > 0

{ i f i == 0 and p > 0 ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΕΤΑΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ Σχεδίαση και Ανάλυση Αλγορίθμων Διδάσκων: Ε. Μαρκάκης, Φθινοπωρινό εξάμηνο 014-015 Λύσεις 1ης Σειράς Ασκήσεων

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

Προηγμένα Θέματα Θεωρητικής Πληροφορικής

Προηγμένα Θέματα Θεωρητικής Πληροφορικής Προηγμένα Θέματα Θεωρητικής Πληροφορικής Βελτιστοποιήσεις για την εκμετάλλευση της παραλληλίας και ενίσχυση της τοπικότητας (Ι) Νικόλαος Καββαδίας nkavv@uop.gr 19 Μαΐου 2010 Βελτιστοποιήσεις για την εκμετάλλευση

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

Προηγμένα Θέματα Θεωρητικής Πληροφορικής

Προηγμένα Θέματα Θεωρητικής Πληροφορικής Προηγμένα Θέματα Θεωρητικής Πληροφορικής Βελτιστοποιήσεις ανεξάρτητες από την αρχιτεκτονική Νικόλαος Καββαδίας nkavv@uop.gr 28 Απριλίου 2010 Η έννοια της βελτιστοποίησης προγράμματος Βελτιστοποίηση προγράμματος

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

Εξαναγκασμένες ταλαντώσεις, Ιδιοτιμές με πολλαπλότητα, Εκθετικά πινάκων. 9 Απριλίου 2013, Βόλος

Εξαναγκασμένες ταλαντώσεις, Ιδιοτιμές με πολλαπλότητα, Εκθετικά πινάκων. 9 Απριλίου 2013, Βόλος ιαφορικές Εξισώσεις Εξαναγκασμένες ταλαντώσεις, Ιδιοτιμές με πολλαπλότητα, Ατελείς ιδιοτιμές Εκθετικά πινάκων Μανόλης Βάβαλης Τμήμα Μηχανικών Η/Υ Τηλεπικοινωνιών και ικτύων Πανεπιστήμιο Θεσσαλίας 9 Απριλίου

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

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

Γενικά για τον καταμερισμό καταχωρητών. Προηγμένα Θέματα Θεωρητικής Πληροφορικής. Εναλλακτικές προσεγγίσεις στο πρόβλημα του Γενικά για τον καταμερισμό καταχωρητών Προηγμένα Θέματα Θεωρητικής Πληροφορικής Καταμερισμός καταχωρητών Νικόλαος Καββαδίας nkavv@uop.gr 1 Απριλίου 010 Καταμερισμός καταχωρητών (register allocation): βελτιστοποίηση

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

Μεταγλωττιστές ΙΙ. Βελτιστοποιήσεις για την εκμετάλλευση της παραλληλίας και ενίσχυση της τοπικότητας

Μεταγλωττιστές ΙΙ. Βελτιστοποιήσεις για την εκμετάλλευση της παραλληλίας και ενίσχυση της τοπικότητας Μεταγλωττιστές ΙΙ Βελτιστοποιήσεις για την εκμετάλλευση της παραλληλίας και ενίσχυση της τοπικότητας Νικόλαος Καββαδίας nkavv@uop.gr 22 Δεκεμβρίου 2010 Βελτιστοποιήσεις για την εκμετάλλευση της παραλληλίας

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

Η έννοια της βελτιστοποίησης προγράμματος. Προηγμένα Θέματα Θεωρητικής Πληροφορικής

Η έννοια της βελτιστοποίησης προγράμματος. Προηγμένα Θέματα Θεωρητικής Πληροφορικής Η έννοια της βελτιστοποίησης προγράμματος Προηγμένα Θέματα Θεωρητικής Πληροφορικής Βελτιστοποιήσεις ανεξάρτητες από την αρχιτεκτονική Νικόλαος Καββαδίας nkavv@uop.gr 28 Απριλίου 2010 Βελτιστοποίηση προγράμματος

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

Σκιαγράφηση της διάλεξης. Προηγμένα Θέματα Θεωρητικής Πληροφορικής.

Σκιαγράφηση της διάλεξης. Προηγμένα Θέματα Θεωρητικής Πληροφορικής. Σκιαγράφηση της διάλεξης Προηγμένα Θέματα Θεωρητικής Πληροφορικής Ανασκόπηση του μαθήματος - Γέννηση τελικού κώδικα για RISC επεξεργαστές Νικόλαος Καββαδίας nkavv@uop.gr Σύνοψη του μαθήματος Ενδεικτικά

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

ΣΤΟ ΦΑΡΜΑΚΕΙΟ. Με την πιστοποίηση του έχει πρόσβαση στο περιβάλλον του φαρμακείου που παρέχει η εφαρμογή.

ΣΤΟ ΦΑΡΜΑΚΕΙΟ. Με την πιστοποίηση του έχει πρόσβαση στο περιβάλλον του φαρμακείου που παρέχει η εφαρμογή. ΣΤΟ ΦΑΡΜΑΚΕΙΟ Ο ασθενής έχοντας μαζί του το βιβλιάριο υγείας του και την τυπωμένη συνταγή από τον ιατρό, η οποία αναγράφει τον μοναδικό κωδικό της, πάει στο φαρμακείο. Το φαρμακείο αφού ταυτοποιήσει το

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

8 Βελτιστοποιήσεις για την ανάδειξη της παραλληλίας

8 Βελτιστοποιήσεις για την ανάδειξη της παραλληλίας Αντικείμενο του μαθήματος Προηγμένα Θέματα Θεωρητικής Πληροφορικής Προηγμένα Θέματα Θεωρητικής Πληροφορικής Η οργάνωση του μεταγλωττιστή Νικόλαος Καββαδίας nkavv@uop.gr 10 Μαρτίου 2010 Επιμέρους στόχοι

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. nkavv@uop.gr. Περισσότερα για τα αρθρώματα Αναθέσεις και τελεστές Συντρέχων κώδικας

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. nkavv@uop.gr. Περισσότερα για τα αρθρώματα Αναθέσεις και τελεστές Συντρέχων κώδικας Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Ι Μοντελοποίηση συνδυαστικών κυκλωμάτων Νικόλαος Καββαδίας nkavv@uop.gr 06 Μαρτίου 2012 Περισσότερα για τα αρθρώματα Αναθέσεις και τελεστές Συντρέχων

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. nkavv@uop.gr. Ανασκόπηση ϑεμάτων παλαιών εξετάσεων του μαθήματος. Περιεχόμενο εξετάσεων

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. nkavv@uop.gr. Ανασκόπηση ϑεμάτων παλαιών εξετάσεων του μαθήματος. Περιεχόμενο εξετάσεων Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Ι Θέματα πρακτικής εξάσκησης Νικόλαος Καββαδίας nkavv@uop.gr 08 Ιουνίου 2011 Ανασκόπηση ϑεμάτων παλαιών εξετάσεων του μαθήματος Εξεταστική περίοδος Ιουνίου-Ιουλίου

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

Προηγμένα Θέματα Θεωρητικής Πληροφορικής

Προηγμένα Θέματα Θεωρητικής Πληροφορικής Προηγμένα Θέματα Θεωρητικής Πληροφορικής Η οργάνωση του μεταγλωττιστή Νικόλαος Καββαδίας nkavv@uop.gr 10 Μαρτίου 2010 Αντικείμενο του μαθήματος Προηγμένα Θέματα Θεωρητικής Πληροφορικής Επιμέρους στόχοι

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

Συναρτήσεις ΙΙ. Σημερινό μάθημα

Συναρτήσεις ΙΙ. Σημερινό μάθημα Συναρτήσεις ΙΙ 1 Σημερινό μάθημα Εμβέλεια Εμφωλίαση Τύπος αποθήκευσης Συναρτήσεις ως παράμετροι Πέρασμα με τιμή Πολλαπλά return Προκαθορισμένοι ρ Παράμετροι ρ Υπερφόρτωση συναρτήσεων Inline συναρτήσεις

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

Σχέσεις και ιδιότητές τους

Σχέσεις και ιδιότητές τους Σχέσεις και ιδιότητές τους Διμελής (binary) σχέση Σ από σύνολο Χ σε σύνολο Υ είναι ένα υποσύνολο του καρτεσιανού γινομένου Χ Υ. Αν (χ,ψ) Σ, λέμε ότι το χ σχετίζεται με το ψ και σημειώνουμε χσψ. Στην περίπτωση

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

Συναρτήσεις & Κλάσεις

Συναρτήσεις & Κλάσεις Συναρτήσεις & Κλάσεις Overloading class member συναρτήσεις/1 #include typedef unsigned short int USHORT; enum BOOL { FALSE, TRUE}; class Rectangle { public: Rectangle(USHORT width, USHORT

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

Εισαγωγή στη γλώσσα προγραμματισμού Fortran 95

Εισαγωγή στη γλώσσα προγραμματισμού Fortran 95 Τ Ε Τ Υ Π Κ Εισαγωγή στη γλώσσα προγραμματισμού Fortran 95 Σημειώσεις Διαλέξεων Σ. Σ Ηράκλειο Φεβρουάριος 2015 Copyright c 2006 2015 Σ. Σταματιάδης, (stamatis@materials.uoc.gr) Η στοιχειοθεσία έγινε από

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

Αναγνώριση Προτύπων. Σήμερα! Λόγος Πιθανοφάνειας Πιθανότητα Λάθους Κόστος Ρίσκο Bayes Ελάχιστη πιθανότητα λάθους για πολλές κλάσεις

Αναγνώριση Προτύπων. Σήμερα! Λόγος Πιθανοφάνειας Πιθανότητα Λάθους Κόστος Ρίσκο Bayes Ελάχιστη πιθανότητα λάθους για πολλές κλάσεις Αναγνώριση Προτύπων Σήμερα! Λόγος Πιθανοφάνειας Πιθανότητα Λάθους Πιθανότητα Λάθους Κόστος Ρίσκο Bayes Ελάχιστη πιθανότητα λάθους για πολλές κλάσεις 1 Λόγος Πιθανοφάνειας Ας υποθέσουμε ότι θέλουμε να ταξινομήσουμε

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

Ταξινόμηση των μοντέλων διασποράς ατμοσφαιρικών ρύπων βασισμένη σε μαθηματικά κριτήρια.

Ταξινόμηση των μοντέλων διασποράς ατμοσφαιρικών ρύπων βασισμένη σε μαθηματικά κριτήρια. ΠΡΟΤΕΙΝΟΜΕΝΑ ΘΕΜΑΤΑ Ταξινόμηη των μοντέλων διαποράς ατμοφαιρικών ρύπων βαιμένη ε μαθηματικά κριτήρια. Μοντέλο Ελεριανά μοντέλα (Elerian) Λαγκρατζιανά μοντέλα (Lagrangian) Επιπρόθετος διαχωριμός Μοντέλα

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Γενικά χαρακτηριστικά του επεξεργαστή MU0. nkavv@uop.gr. Προγραμματιζόμενοι επεξεργαστές

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Γενικά χαρακτηριστικά του επεξεργαστή MU0. nkavv@uop.gr. Προγραμματιζόμενοι επεξεργαστές Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Ι Προγραμματιζόμενοι επεξεργαστές Νικόλαος Καββαδίας nkavv@uop.gr Προγραμματιζόμενοι επεξεργαστές Ρεαλιστικό παράδειγμα: ο επεξεργαστής MU0 (MicroProcessor

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

Ανεξαρτησία Ανεξαρτησία για οικογένειες συνόλων και τυχαίες μεταβλητές

Ανεξαρτησία Ανεξαρτησία για οικογένειες συνόλων και τυχαίες μεταβλητές 10 Ανεξαρτησία 10.1 Ανεξαρτησία για οικογένειες συνόλων και τυχαίες μεταβλητές Στην παράγραφο αυτή δουλεύουμε σε χώρο πιθανότητας (Ω, F, P). Δίνουμε καταρχάς τον ορισμό της ανεξαρτησίας για ενδεχόμενα,

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

«ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ»

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

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

HY 280. θεμελιακές έννοιες της επιστήμης του υπολογισμού ΑΣΚΗΣΕΙΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Γεώργιος Φρ.

HY 280. θεμελιακές έννοιες της επιστήμης του υπολογισμού ΑΣΚΗΣΕΙΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Γεώργιος Φρ. HY 280 «ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ» θεμελικές έννοιες της επιστήμης του υπολογισμού ΑΣΚΗΣΕΙΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ Γεώργιος Φρ. Γεωργκόπουλος μέρος Α Εισγωγή, κι η σική θεωρί των πεπερσμένων

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

Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής. Ακαδημαϊκό Έτος ΠΑΡΑΔΟΤΕΟ: Έκθεση Προόδου Υλοποίησης του Μαθήματος «Εισαγωγή στον Προγραμματισμό»

Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής. Ακαδημαϊκό Έτος ΠΑΡΑΔΟΤΕΟ: Έκθεση Προόδου Υλοποίησης του Μαθήματος «Εισαγωγή στον Προγραμματισμό» Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Ακαδημαϊκό Έτος 2007 2008 ΠΑΡΑΔΟΤΕΟ: Έκθεση Προόδου Υλοποίησης του Μαθήματος «Εισαγωγή στον Προγραμματισμό» Διδάσκοντες: Θεόδωρος Ανδρόνικος & Δημήτριος Θεοτόκης Περιεχόμενα

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

Συγκέντρωση Κίνησης. 6.1. Εισαγωγή. 6.2. Στατική Συγκέντρωση Κίνησης

Συγκέντρωση Κίνησης. 6.1. Εισαγωγή. 6.2. Στατική Συγκέντρωση Κίνησης Συγκέντρωση Κίνησης 6.1. Εισαγωγή Σε ένα οπτικό WDM δίκτυο, οι κόμβοι κορμού επικοινωνούν μεταξύ τους και ανταλλάσουν πληροφορία μέσω των lightpaths. Ένα WDM δίκτυο κορμού είναι υπεύθυνο για την εγκατάσταση

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

Αναγνώριση Προτύπων. Σημερινό Μάθημα

Αναγνώριση Προτύπων. Σημερινό Μάθημα Αναγνώριση Προτύπων Σημερινό Μάθημα Bias (απόκλιση) και variance (διακύμανση) Ελεύθεροι Παράμετροι Ελεύθεροι Παράμετροι Διαίρεση dataset Μέθοδος holdout Cross Validation Bootstrap Bias (απόκλιση) και variance

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

ΣΥΝΟΛΑ (προσέξτε τα κοινά χαρακτηριστικά των παρακάτω προτάσεων) Οι άνθρωποι που σπουδάζουν ΤΠ&ΕΣ και βρίσκονται στην αίθουσα

ΣΥΝΟΛΑ (προσέξτε τα κοινά χαρακτηριστικά των παρακάτω προτάσεων) Οι άνθρωποι που σπουδάζουν ΤΠ&ΕΣ και βρίσκονται στην αίθουσα ΣΥΝΟΛΑ (προσέξτε τα κοινά χαρακτηριστικά των παρακάτω προτάσεων) Οι άνθρωποι που σπουδάζουν ΤΠ&ΕΣ και βρίσκονται στην αίθουσα Τα βιβλία διακριτών μαθηματικών του Γ.Β. Η/Υ με επεξεργαστή Pentium και χωρητικότητα

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

Ψηφιακή Εικόνα. Σημερινό μάθημα!

Ψηφιακή Εικόνα. Σημερινό μάθημα! Ψηφιακή Εικόνα Σημερινό μάθημα! Ψηφιακή Εικόνα Αναλογική εικόνα Ψηφιοποίηση (digitalization) Δειγματοληψία Κβαντισμός Δυαδικές δ έ (Binary) εικόνες Ψηφιακή εικόνα & οθόνη Η/Υ 1 Ψηφιακή Εικόνα Μια ακίνητη

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

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ. Μούλου Ευγενία

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ. Μούλου Ευγενία ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΑΡΧΕΙΑ Ο πιο γνωστός τρόπος οργάνωσης δεδομένων με τη χρήση ηλεκτρονικών υπολογιστών είναι σε αρχεία. Ένα αρχείο μπορούμε να το χαρακτηρίσουμε σαν ένα σύνολο που αποτελείται από οργανωμένα

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

( ιμερείς) ΙΜΕΛΕΙΣ ΣΧΕΣΕΙΣ Α Β «απεικονίσεις»

( ιμερείς) ΙΜΕΛΕΙΣ ΣΧΕΣΕΙΣ Α Β «απεικονίσεις» ( ιμερείς) ΙΜΕΛΕΙΣ ΣΧΕΣΕΙΣ Α Β «πεικονίσεις» 1. ΣΧΕΣΕΙΣ: το σκεπτικό κι ο ορισμός. Τ σύνολ νπριστούν ιδιότητες μεμονωμένων στοιχείων: δεδομένου συνόλου S, κι ενός στοιχείου σ, είνι δυντόν είτε σ S είτε

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

Προηγμένα Θέματα Θεωρητικής Πληροφορικής

Προηγμένα Θέματα Θεωρητικής Πληροφορικής Προηγμένα Θέματα Θεωρητικής Πληροφορικής Βελτιστοποιήσεις για την εκμετάλλευση της παραλληλίας και ενίσχυση της τοπικότητας (ΙΙ) Νικόλαος Καββαδίας nkavv@uop.gr 26 Μαΐου 2010 Μετασχηματισμοί βρόχου (loop

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

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Γέννηση τελικού κώδικα για RISC επεξεργαστές. 12 Ιανουαρίου 2011. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Γέννηση τελικού κώδικα για RISC επεξεργαστές. 12 Ιανουαρίου 2011. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Γέννηση τελικού κώδικα για RISC επεξεργαστές Νικόλαος Καββαδίας nkavv@uop.gr 12 Ιανουαρίου 2011 Σκιαγράφηση της διάλεξης Η αρχιτεκτονική επεξεργαστή MIPS Γέννηση τελικού κώδικα για τον

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

Ανελίξεις σε συνεχή χρόνο

Ανελίξεις σε συνεχή χρόνο 4 Ανελίξεις σε συνεχή χρόνο Σε αυτό το κεφάλαιο είναι συγκεντρωμένοι ορισμοί και αποτελέσματα από τη θεωρία των στοχαστικών ανελιξεων συνεχούς χρόνου. Με εξαίρεση την Παράγραφο 4.1, η οποία είναι εντελώς

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

Έννοια. Η αποδοχή της κληρονομίας αποτελεί δικαίωμα του κληρονόμου, άρα δεν

Έννοια. Η αποδοχή της κληρονομίας αποτελεί δικαίωμα του κληρονόμου, άρα δεν 1 1. Αποδοχή κληρονομίας Έννοια. Η αποδοχή της κληρονομίας αποτελεί δικαίωμα του κληρονόμου, άρα δεν μπορεί να ασκηθεί από τους δανειστές του κληρονόμου, τον εκτελεστή της διαθήκης, τον κηδεμόνα ή εκκαθαριστή

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

Α. ΓΙΑ ΟΛΟΥΣ ΤΟΥΣ ΜΑΘΗΤΕΣ ΘΡΗΣΚΕΥΤΙΚΑ. ΙΣΤΟΡΙΑ (Γενικής Παιδείας) ΑΡΧΑΙΑ ΕΛΛΗΝΙΚΑ (Γενικής Παιδείας) ΛΟΓΟΤΕΧΝΙΑ (Γενικής Παιδείας)

Α. ΓΙΑ ΟΛΟΥΣ ΤΟΥΣ ΜΑΘΗΤΕΣ ΘΡΗΣΚΕΥΤΙΚΑ. ΙΣΤΟΡΙΑ (Γενικής Παιδείας) ΑΡΧΑΙΑ ΕΛΛΗΝΙΚΑ (Γενικής Παιδείας) ΛΟΓΟΤΕΧΝΙΑ (Γενικής Παιδείας) 2014 15 1 Α. ΓΙΑ ΟΛΟΥΣ ΤΟΥΣ ΜΑΘΗΤΕΣ ΘΡΗΣΚΕΥΤΙΚΑ Διδακτικές ενότητες: 1 6, 10, 11, 12, 15, 16. ΙΣΤΟΡΙΑ (Γενικής Παιδείας) ΚΕΦΑΛΑΙΟ Α Ενότητες : 1, 2, 3 (εκτός από : Επανάσταση στις Ηγεμονίες, Εδραίωση της

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

Εργαστηριακή Άσκηση Θερμομόρφωση (Thermoforming)

Εργαστηριακή Άσκηση Θερμομόρφωση (Thermoforming) Σελίδα 1 Πανεπιστήμιο Κύπρου Τμήμα Μηχανικών Μηχανολογίας και Κατασκευαστικής ΜΜΚ 452: Μηχανικές Ιδιότητες και Κατεργασία Πολυμερών Εργαστηριακή Άσκηση Θερμομόρφωση (Thermoforming) Σελίδα 2 Εισαγωγή: Η

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

ΠΑΝΕΠΙΣΤΗΜΙΑΚΑ ΦΡΟΝΤΙΣΤΗΡΙΑ ΚΟΛΛΙΝΤΖΑ ΜΑΘΗΜΑ: ΕΡΩΤΗΣΕΙΣ ΟΙΚΟΝΟΜΙΚΗΣ ΘΕΩΡΙΑΣ

ΠΑΝΕΠΙΣΤΗΜΙΑΚΑ ΦΡΟΝΤΙΣΤΗΡΙΑ ΚΟΛΛΙΝΤΖΑ ΜΑΘΗΜΑ: ΕΡΩΤΗΣΕΙΣ ΟΙΚΟΝΟΜΙΚΗΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑ: ΕΡΩΤΗΣΕΙΣ ΟΙΚΟΝΟΜΙΚΗΣ ΘΕΩΡΙΑΣ Tα Πανεπιστημιακά Φροντιστήρια «ΚΟΛΛΙΝΤΖΑ» προετοιμάζοντας σε ολιγομελείς ομίλους τους υποψήφιους για τον επικείμενο διαγωνισμό του Υπουργείου Οικονομικών, με κορυφαίο

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

Μονάδες 5 1.2.α. Να γράψετε στο τετράδιό σας τον παρακάτω πίνακα σωστά συµπληρωµένο.

Μονάδες 5 1.2.α. Να γράψετε στο τετράδιό σας τον παρακάτω πίνακα σωστά συµπληρωµένο. ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ Γ ΤΑΞΗ ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΕΥΤΕΡΑ 12 ΙΟΥΝΙΟΥ 2000 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ (ΚΥΚΛΟΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΠΑΡΑΓΩΓΗΣ): ΧΗΜΕΙΑ - ΒΙΟΧΗΜΕΙΑ ΣΥΝΟΛΟ ΣΕΛΙ

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

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Επαναστοχεύσιμοι μεταγλωττιστές. 19 Ιανουαρίου 2011. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ

Μεταγλωττιστές ΙΙ. nkavv@uop.gr. Επαναστοχεύσιμοι μεταγλωττιστές. 19 Ιανουαρίου 2011. Νικόλαος Καββαδίας nkavv@uop.gr Μεταγλωττιστές ΙΙ Μεταγλωττιστές ΙΙ Επαναστοχεύσιμοι μεταγλωττιστές Νικόλαος Καββαδίας nkavv@uop.gr 19 Ιανουαρίου 2011 Σκιαγράφηση της διάλεξης Εισαγωγή στα ενσωματωμένα συστήματα (embedded systems) Η χρησιμότητα των επαναστοχεύσιμων

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

ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ Γ ΤΑΞΗ

ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ Γ ΤΑΞΗ ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΣΑΒΒΑΤΟ 24 ΙΟΥΝΙΟΥ 2000 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ (ΚΥΚΛΟΥ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΠΑΡΑΓΩΓΗΣ): ΗΛΕΚΤΡΟΛΟΓΙΑ ΣΥΝΟΛΟ ΣΕΛΙ ΩΝ : ΕΞΙ

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

2. Δίκτυα Πολυπλεξίας Μήκους Κύματος (WDM Δίκτυα)

2. Δίκτυα Πολυπλεξίας Μήκους Κύματος (WDM Δίκτυα) 2. Δίκτυα Πολυπλεξίας Μήκους Κύματος (WDM Δίκτυα) Η πολυπλεξία μήκους κύματος (WDM πολυπλεξία) παρέχει συμβατότητα μεταξύ του εύρους ζώνης του οπτικού μέσου οπτική ίνα και του εύρους ζώνης του τερματικού

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

Ο Ισχυρός Νόμος των Μεγάλων Αριθμών

Ο Ισχυρός Νόμος των Μεγάλων Αριθμών 1 Ο Ισχυρός Νόμος των Μεγάλων Αριθμών Στο κεφάλαιο αυτό παρουσιάζουμε ένα από τα σημαντικότερα αποτελέσματα της Θεωρίας Πιθανοτήτων, τον ισχυρό νόμο των μεγάλων αριθμών. Η διατύπωση που θα αποδείξουμε

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Μηχανές Πεπερασμένων Καταστάσεων: Εισαγωγή και.

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Μηχανές Πεπερασμένων Καταστάσεων: Εισαγωγή και. Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Ι Μηχανές πεπερασμένων καταστάσεων Νικόλαος Καββαδίας nkavv@uop.gr 24 Απριλίου 2012 Μηχανές πεπερασμένων καταστάσεων (FSM: Finite-State Machine) Ορισμός

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

Γλώσσες Περιγραφής Υλικού Ι

Γλώσσες Περιγραφής Υλικού Ι Γλώσσες Περιγραφής Υλικού Ι Μηχανές πεπερασμένων καταστάσεων Νικόλαος Καββαδίας nkavv@uop.gr 24 Απριλίου 2012 Σκιαγράφηση της διάλεξης Μηχανές πεπερασμένων καταστάσεων (FSM: Finite-State Machine) Ορισμός

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

Γλώσσες Περιγραφής Υλικού Ι

Γλώσσες Περιγραφής Υλικού Ι Γλώσσες Περιγραφής Υλικού Ι Θέματα πρακτικής εξάσκησης Νικόλαος Καββαδίας nkavv@uop.gr 29 Μαΐου 2012 Σκιαγράφηση της διάλεξης Ανασκόπηση ϑεμάτων παλαιών εξετάσεων του μαθήματος Εξεταστική περίοδος Ιουνίου-Ιουλίου

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

Περιγραφή Περιγράμματος

Περιγραφή Περιγράμματος Περιγραφή Περιγράμματος Σήμερα! Περιγραφή Περιγράμματος Κώδικας Αλύσσου (chain code) Πολυγωνική γραμμή Υπογραφή (signature) περιγράμματος Μετασχηματισμός Fourier περιγράμματος 1 Περιγραφή Περιγράμματος

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

ΜΑΘΗΜΑ: ΠΟΛΙΤΙΚΗ ΟΙΚΟΝΟΜΙΑ-ΔΗΜΟΣΙΑ ΟΙΚΟΝΟΜΙΚΗ

ΜΑΘΗΜΑ: ΠΟΛΙΤΙΚΗ ΟΙΚΟΝΟΜΙΑ-ΔΗΜΟΣΙΑ ΟΙΚΟΝΟΜΙΚΗ ΜΑΘΗΜΑ: ΠΟΛΙΤΙΚΗ ΟΙΚΟΝΟΜΙΑ-ΔΗΜΟΣΙΑ ΟΙΚΟΝΟΜΙΚΗ Σύνταξη: Παπαδόπουλος Θεοχάρης, Οικονομολόγος, MSc, PhD Candidate Κατηγορίες οφέλους και κόστους που προέρχονται από τις δημόσιες δαπάνες Για την αξιολόγηση

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

ΣΤΟ ΙΑΤΡΕΙΟ. Με την πιστοποίηση του αποκτά πρόσβαση στο περιβάλλον του ιατρού που παρέχει η εφαρμογή.

ΣΤΟ ΙΑΤΡΕΙΟ. Με την πιστοποίηση του αποκτά πρόσβαση στο περιβάλλον του ιατρού που παρέχει η εφαρμογή. ΣΤΟ ΙΑΤΡΕΙΟ Ο ιατρός αφού διαπιστώσει εάν το πρόσωπο που προσέρχεται για εξέταση είναι το ίδιο με αυτό που εικονίζεται στο βιβλιάριο υγείας και ελέγξει ότι είναι ασφαλιστικά ενήμερο (όπως ακριβώς γίνεται

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

ΗΛΕΚΤΡΙΚΗ ΕΝΕΡΓΕΙΑ ΣΤΗ ΚΡΗΤΗ

ΗΛΕΚΤΡΙΚΗ ΕΝΕΡΓΕΙΑ ΣΤΗ ΚΡΗΤΗ ΗΛΕΚΤΡΙΚΗ ΕΝΕΡΓΕΙΑ ΣΤΗ ΚΡΗΤΗ ΑΝΤΙΟΠΗ ΓΙΓΑΝΤΙ ΟΥ Τοµεάρχης Λειτουργίας Κέντρων Ελέγχου Συστηµάτων Μεταφοράς ιεύθυνσης ιαχείρισης Νησιών ΗΛΕΚΤΡΙΚΟ ΣΥΣΤΗΜΑ ΚΡΗΤΗΣ 2009 Εγκατεστηµένη Ισχύς (Ατµοµονάδες, Μονάδες

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

Γλώσσες Περιγραφής Υλικού Ι

Γλώσσες Περιγραφής Υλικού Ι Γλώσσες Περιγραφής Υλικού Ι Μοντελοποίηση συνδυαστικών κυκλωμάτων Νικόλαος Καββαδίας nkavv@uop.gr 06 Μαρτίου 2012 Σκιαγράφηση της διάλεξης Περισσότερα για τα αρθρώματα Αναθέσεις και τελεστές Συντρέχων

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

Αναλυτικές ιδιότητες

Αναλυτικές ιδιότητες 8 Αναλυτικές ιδιότητες 8. Βαθμός συνέχειας* Ξέρουμε ότι η κίνηση Brown είναι συνεχής και θα δείξουμε αργότερα ότι είναι πουθενά διαφορίσιμη. Πόσο ομαλή είναι λοιπόν; Μια ασθενέστερη μορφή ομαλότητας είναι

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

ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΡΧΕΣ ΟΙΚΟΝΟΜΙΚΗΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ Γ ΛΥΚΕΙΟΥ

ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΡΧΕΣ ΟΙΚΟΝΟΜΙΚΗΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ Γ ΛΥΚΕΙΟΥ ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΡΧΕΣ ΟΙΚΟΝΟΜΙΚΗΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑ ΕΠΙΛΟΓΗΣ Γ ΛΥΚΕΙΟΥ ΗΜΕΡΟΜΗΝΙΑ: ΕΠΩΝΥΜΟ: ΟΝΟΜΑ: ΟΜΑΔΑ Α Για τις προτάσεις Α1 μέχρι και Α6 να

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ. Πρώτη Γραπτή Εργασία. Εισαγωγή στους υπολογιστές Μαθηματικά

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ. Πρώτη Γραπτή Εργασία. Εισαγωγή στους υπολογιστές Μαθηματικά ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ Πρόγραμμα Σπουδών: ΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ και ΟΡΓΑΝΙΣΜΩΝ Θεματική Ενότητα: ΕΟ-13 Ποσοτικές Μέθοδοι Ακαδημαϊκό Έτος: 2012-13 Πρώτη Γραπτή Εργασία Εισαγωγή στους υπολογιστές Μαθηματικά

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

Σχεδίαση Ψηφιακών Κυκλωμάτων

Σχεδίαση Ψηφιακών Κυκλωμάτων Σχεδίαση Ψηφιακών Κυκλωμάτων Συνδυαστική και ακολουθιακή λογική Νικόλαος Καββαδίας nkavv@uop.gr 10 Νοεμβρίου 2010 Σκιαγράφηση της διάλεξης Αρχές σχεδίασης συνδυαστικών κυκλωμάτων CMOS Λογικές πύλες και

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

Σκιαγράφηση της διάλεξης. Σχεδίαση Ψηφιακών Κυκλωμάτων. Ορισμοί για τις χρονικές καθυστερήσεις διάδοσης. Συνδυαστική και ακολουθιακή λογική

Σκιαγράφηση της διάλεξης. Σχεδίαση Ψηφιακών Κυκλωμάτων. Ορισμοί για τις χρονικές καθυστερήσεις διάδοσης. Συνδυαστική και ακολουθιακή λογική Σκιαγράφηση της διάλεξης Σχεδίαση Ψηφιακών Κυκλωμάτων Συνδυαστική και ακολουθιακή λογική Νικόλαος Καββαδίας nkavv@uop.gr Αρχές σχεδίασης συνδυαστικών κυκλωμάτων CMOS Λογικές πύλες και βασικά συνδυαστικά

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

Κληρονομικότητα. Σήμερα! Κλάση Βάσης Παράγωγη κλάση Απλή κληρονομικότητα Protected δεδομένα Constructors & Destructors overloading

Κληρονομικότητα. Σήμερα! Κλάση Βάσης Παράγωγη κλάση Απλή κληρονομικότητα Protected δεδομένα Constructors & Destructors overloading Κληρονομικότητα Σήμερα! Κλάση Βάσης Παράγωγη κλάση Απλή κληρονομικότητα Protected δεδομένα Constructors & Destructors overloading 2 1 Κλάση Βάση/Παράγωγη Τα διάφορα αντικείμενα μπορούν να έχουν μεταξύ

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

Παραβολή ψ=αχ 2 +βχ+γ, α 0. Η παραβολή ψ = αχ 2. Γενικά : Κάθε συνάρτηση της μορφής ψ=αχ 2 + βχ +γ, α 0 λέγεται τετραγωνική συνάρτηση.

Παραβολή ψ=αχ 2 +βχ+γ, α 0. Η παραβολή ψ = αχ 2. Γενικά : Κάθε συνάρτηση της μορφής ψ=αχ 2 + βχ +γ, α 0 λέγεται τετραγωνική συνάρτηση. Η παραβολή ψ=αχ 2 +βχ+γ Σελίδα 1 από 10 Παραβολή ψ=αχ 2 +βχ+γ, α0 Γενικά : Κάθε συνάρτηση της μορφής ψ=αχ 2 + βχ +γ, α0 λέγεται τετραγωνική συνάρτηση. Η παραβολή ψ = αχ 2 Η γραφική παράσταση της συνάρτησης

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

nkavv@physics.auth.gr nkavv@uop.gr

nkavv@physics.auth.gr nkavv@uop.gr Γλώσσες Περιγραφής Υλικού Μη προγραμματιζόμενοι επεξεργαστές Νικόλαος Καββαδίας nkavv@physics.auth.gr nkavv@uop.gr 26 Μαΐου 2009 Σκιαγράφηση της διάλεξης Μη προγραμματιζόμενοι επεξεργαστές Υλοποίηση με

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

- 1 - Ποιοι κερδίζουν από το εμπόριο αγαθών και υπηρεσιών; Γιατί η άμεση ανταλλαγή αγαθών, ορισμένες φορές, είναι δύσκολο να

- 1 - Ποιοι κερδίζουν από το εμπόριο αγαθών και υπηρεσιών; Γιατί η άμεση ανταλλαγή αγαθών, ορισμένες φορές, είναι δύσκολο να - 1 - Ο παράξενος πραματευτής Ανθολόγιο Ε & Στ τάξης: 277-279 Οικονομικές έννοιες Ανταλλαγή Αντιπραγματισμός Εμπόριο Ερωτήσεις Ποιοι κερδίζουν από το εμπόριο αγαθών και υπηρεσιών; Γιατί η άμεση ανταλλαγή

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

Επιχειρησιακή Ερευνα Ι

Επιχειρησιακή Ερευνα Ι Επιχειρησιακή Ερευνα Ι Μ. Ζαζάνης Κεφάλαιο 1 Τετραγωνικές μορφές στον R n και το ϑεώρημα του Taylor Ορισμός 1. Εστω a 11 a 1n A =.. a n1 a nn συμμετρικός πίνακας n n με στοιχεία στους πραγματικούς αριθμούς.

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

Αναγνώριση Προτύπων. Σημερινό Μάθημα

Αναγνώριση Προτύπων. Σημερινό Μάθημα Αναγνώριση Προτύπων Σημερινό Μάθημα Μη Παραμετρικός Υπολογισμός πυκνότητας με εκτίμηση Ιστόγραμμα Παράθυρα Parzen Εξομαλυμένη Kernel Ασκήσεις 1 Μη Παραμετρικός Υπολογισμός πυκνότητας με εκτίμηση Κατά τη

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Διαφορές μεταξύ των περιγραφών συνδυαστικών και ακολουθιακών κυκλωμάτων

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Διαφορές μεταξύ των περιγραφών συνδυαστικών και ακολουθιακών κυκλωμάτων Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Ι Μοντελοποίηση ακολουθιακών κυκλωμάτων Νικόλαος Καββαδίας nkavv@uop.gr 13 Μαρτίου 2012 Στοιχεία ακολουθιακής σχεδίασης με Verilog HDL Λίστα ευαισθησίας

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

Ανεξαρτησία Ανεξαρτησία για οικογένειες συνόλων και τυχαίες μεταβλητές

Ανεξαρτησία Ανεξαρτησία για οικογένειες συνόλων και τυχαίες μεταβλητές 10 Ανεξαρτησία 10.1 Ανεξαρτησία για οικογένειες συνόλων και τυχαίες μεταβλητές Στην παράγραφο αυτή δουλεύουμε σε χώρο πιθανότητας (Ω, F, P). Δίνουμε καταρχάς τον ορισμό της ανεξαρτησίας για ενδεχόμενα,

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

Αλγόριθμοι & Βελτιστοποίηση ΠΜΣ-ΕΤΥ : Μεταπτυχιακό Μάθημα

Αλγόριθμοι & Βελτιστοποίηση ΠΜΣ-ΕΤΥ : Μεταπτυχιακό Μάθημα Αλγόριθμοι & Βελτιστοποίηση ΠΜΣ-ΕΤΥ : Μεταπτυχιακό Μάθημα 9η Ενότητα: Προβλήματα ικτυακών Ροών Χρήστος Ζαρολιάγκης (zaro@ceid.upatras.gr) Σπύρος Κοντογιάννης (kontog@cse.uoi.gr) Τμήμα Μηχανικών Η/Υ & Πληροφορικής

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

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

ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΕΠΙΚΟΙΝΩΝΙΩΝ ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙ ΕΥΤΙΚΟ Ι ΡΥΜΑ ΣΕΡΡΩΝ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΕΠΙΚΟΙΝΩΝΙΩΝ ΣΥΜΠΛΗΡΩΜΑΤΙΚΕΣ ΣΗΜΕΙΩΣΕΙΣ ΨΗΦΙΑΚΗΣ ΕΠΕΞΕΡΓΑΣΙΑΣ ΕΙΚΟΝΑΣ ADOBE PHOTOSHOP CS ΑΝΑΣΤΑΣΙΟΣ Β. ΣΥΜΕΩΝΙ ΗΣ

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

Σκιαγράφηση της διάλεξης. Μηχανές Πεπερασμένων Καταστάσεων: Εισαγωγή και.

Σκιαγράφηση της διάλεξης. Μηχανές Πεπερασμένων Καταστάσεων: Εισαγωγή και. Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Μηχανές πεπερασμένων καταστάσεων Νικόλαος Καββαδίας nkavv@physics.auth.gr, nkavv@uop.gr 12 Μαΐου 2009 Μηχανές πεπερασμένων καταστάσεων (FSM: Finite-State

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

Φόρμα Σχεδιασμού Διάλεξης (ημ/α: 17/03/08, έκδοση: 1.0)

Φόρμα Σχεδιασμού Διάλεξης (ημ/α: 17/03/08, έκδοση: 1.0) 2. Α/Α Διάλεξης: 1 1. Τίτλος: Εισαγωγή στο Λογικό Προγραμματισμό. 2. Μαθησιακοί Στόχοι: Εισαγωγή στις έννοιες του διαδικαστικού και του δηλωτικού προγραμματισμού. 3. Θέματα που καλύπτει: Εισαγωγή στις

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

Γλώσσες Περιγραφής Υλικού Ι

Γλώσσες Περιγραφής Υλικού Ι Γλώσσες Περιγραφής Υλικού Ι Μη προγραμματιζόμενοι επεξεργαστές Νικόλαος Καββαδίας nkavv@uop.gr 08 Μαΐου 2012 Σκιαγράφηση της διάλεξης Μη προγραμματιζόμενοι επεξεργαστές Η οργάνωση των μη-προγραμματιζόμενων

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

Βελτίωση Εικόνας. Σήμερα!

Βελτίωση Εικόνας. Σήμερα! Βελτίωση Εικόνας Σήμερα! Υποβάθμιση εικόνας Τεχνικές Βελτίωσης Restoration (Αποκατάσταση) Τροποποίηση ιστογράμματος Ολίσθηση ιστογράμματος Διάταση (stretching) Ισοστάθμιση του ιστογράμματος (histogram

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

Γλώσσες Περιγραφής Υλικού Μηχανές πεπερασμένων καταστάσεων Νικόλαος Καββαδίας nkavv@physics.auth.gr, nkavv@uop.gr 12 Μαΐου 2009 Σκιαγράφηση της διάλεξης Μηχανές πεπερασμένων καταστάσεων (FSM: Finite-State

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

Αναγνώριση Προτύπων 1

Αναγνώριση Προτύπων 1 Αναγνώριση Προτύπων 1 Σημερινό Μάθημα Βασικό σύστημα αναγνώρισης προτύπων Προβλήματα Πρόβλεψης Χαρακτηριστικά και Πρότυπα Ταξινομητές Classifiers Προσεγγίσεις Αναγνώρισης Προτύπων Κύκλος σχεδίασης Συστήματος

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

Projects για το εργαστήριο. των Βάσεων Δεδομένων

Projects για το εργαστήριο. των Βάσεων Δεδομένων Projects για το εργαστήριο των Βάσεων Δεδομένων Θεσσαλονίκη, Νοέμβριος Δεκέμβριος 2013 1. Το πολυκατάστημα Το πολυκατάστημα έχει ένα σύνολο από εργαζομένους. Κάθε εργαζόμενος χαρακτηρίζεται από έναν κωδικό

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

Αντικειμενοστραφής. Προγραμματισμού

Αντικειμενοστραφής. Προγραμματισμού Αντικειμενοστραφής προγραμματισμός Σημερινό μάθημα Μειονεκτήματα Δομημένου Προγραμματισμού Αντικειμενοστραφής προγραμματισμός Ορισμοί Κλάσεις Αντικείμεναμ Χαρακτηριστικά ΑΠ C++ Class 1 Δομημένος Προγραμματισμός

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

Αναγνώριση Προτύπων. Σημερινό Μάθημα

Αναγνώριση Προτύπων. Σημερινό Μάθημα Αναγνώριση Προτύπων Σημερινό Μάθημα Η κατάρα της διαστατικότητας Μείωση διαστάσεων εξαγωγή χαρακτηριστικών επιλογή χαρακτηριστικών Αναπαράσταση έναντι Κατηγοριοποίησης Ανάλυση Κυρίων Συνιστωσών PCA Γραμμική

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

Κεφάλαιο Η εκθετική κατανομή. Η πυκνότητα πιθανότητας της εκθετικής κατανομής δίδεται από την σχέση (1.1) f(x) = 0 αν x < 0.

Κεφάλαιο Η εκθετική κατανομή. Η πυκνότητα πιθανότητας της εκθετικής κατανομής δίδεται από την σχέση (1.1) f(x) = 0 αν x < 0. Κεφάλαιο Συνεχείς Τυχαίες Μεταβλητές. Η εκθετική κατανομή Η πυκνότητα πιθανότητας της εκθετικής κατανομής δίδεται από την σχέση f(x) = λe λx αν x, αν x

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

Σκιαγράφηση της διάλεξης

Σκιαγράφηση της διάλεξης Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Προχωρημένα στοιχεία της VHDL Νικόλαος Καββαδίας nkavv@physics.auth.gr 31 Μαρτίου 2009 Προχωρημένα στοιχεία της VHDL Τύποι και υποτύποι προκαθορισμένοι

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

Γραμμική Ανεξαρτησία. Τμήμα Μηχανικών Η/Υ Τηλεπικοινωνιών και ικτύων Πανεπιστήμιο Θεσσαλίας. 17 Μαρτίου 2013, Βόλος

Γραμμική Ανεξαρτησία. Τμήμα Μηχανικών Η/Υ Τηλεπικοινωνιών και ικτύων Πανεπιστήμιο Θεσσαλίας. 17 Μαρτίου 2013, Βόλος Γραμμικές Συνήθεις ιαφορικές Εξισώσεις Ανώτερης Τάξης Γραμμικές Σ Ε 2ης τάξης Σ Ε 2ης τάξης με σταθερούς συντελεστές Μιγαδικές ρίζες Γραμμικές Σ Ε υψηλότερης τάξης Γραμμική Ανεξαρτησία Μανόλης Βάβαλης

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

Μία χρονοσειρά (time serie) είναι μια ακολουθία

Μία χρονοσειρά (time serie) είναι μια ακολουθία Matching Βάση Χρονοσειρών Μία χρονοσειρά (time serie) είναι μια ακολουθία πραγματικών αριθμών, που αντιπροσωπεύουν μετρήσεις μιας πραγματικής μεταβλητής σε ίσα χρονικά διαστήματα πχ Οι τιμές των μετοχών

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

Το δεντροπλάτος και το γνήσιο δεντροπλάτος.

Το δεντροπλάτος και το γνήσιο δεντροπλάτος. Διπλωματική Εργασία Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών Τμήμα Μαθηματικών μπλ : Μεταπτυχιακό Πρόγραμμα στη Λογική και Θεωρία Αλγορίθμων και Υπολογισμού Το δεντροπλάτος και το γνήσιο δεντροπλάτος.

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

G περιέχει τουλάχιστον μία ακμή στο S. spanning tree στο γράφημα G.

G περιέχει τουλάχιστον μία ακμή στο S. spanning tree στο γράφημα G. ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ - ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΕΤΑΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ Σχεδίαση και Ανάλυση Αλγορίθμων Διδάσκων: Ε. Μαρκάκης, Φθινοπωρινό εξάμηνο 2014-2015 Λύσεις 3ης Σειράς Ασκήσεων

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι (1) Μη προγραμματιζόμενοι επεξεργαστές

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι (1) Μη προγραμματιζόμενοι επεξεργαστές Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Ι Μη προγραμματιζόμενοι επεξεργαστές Νικόλαος Καββαδίας nkavv@uop.gr 04 Μαΐου 2011 Μη προγραμματιζόμενοι επεξεργαστές Η οργάνωση των μη-προγραμματιζόμενων

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

ΜΑΘΗΜΑ: ΟΙΚΟΝΟΜΙΚΗ ΘΕΩΡΙΑ

ΜΑΘΗΜΑ: ΟΙΚΟΝΟΜΙΚΗ ΘΕΩΡΙΑ ΜΑΘΗΜΑ: ΟΙΚΟΝΟΜΙΚΗ ΘΕΩΡΙΑ Tα Πανεπιστημιακά Φροντιστήρια «ΚΟΛΛΙΝΤΖΑ» προετοιμάζοντας σε ολιγομελείς ομίλους τους υποψήφιους για τον επικείμενο διαγωνισμό του Υπουργείου Οικονομικών, με κορυφαίο επιτελείο

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

Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής. Ακαδημαϊκό Έτος ΠΑΡΑΔΟΤΕΟ: Έκθεση Προόδου Υλοποίησης του Μαθήματος «Λογικός Προγραμματισμός»

Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής. Ακαδημαϊκό Έτος ΠΑΡΑΔΟΤΕΟ: Έκθεση Προόδου Υλοποίησης του Μαθήματος «Λογικός Προγραμματισμός» Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Ακαδημαϊκό Έτος 2007 2008 ΠΑΡΑΔΟΤΕΟ: Έκθεση Προόδου Υλοποίησης του Μαθήματος «Λογικός Προγραμματισμός» Διδάσκοντες: Θεόδωρος Ανδρόνικος & Μιχαήλ Στεφανιδάκης Περιεχόμενα

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

Μεγέθη ταλάντωσης Το απλό εκκρεμές

Μεγέθη ταλάντωσης Το απλό εκκρεμές Μεγέθη ταλάντωσης Το απλό εκκρεμές 1.Σκοποί: Οι μαθητές Να κατανοήσουν τις έννοιες της περιοδικής κίνησης και της ταλάντωσης Να κατανοήσουν ότι η περιοδική κίνηση δεν είναι ομαλή Να γνωρίσουν τα μεγέθη

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

1. Σε περίπτωση κατά την οποία η τιμή ενός αγαθού μειωθεί κατά 2% και η ζητούμενη

1. Σε περίπτωση κατά την οποία η τιμή ενός αγαθού μειωθεί κατά 2% και η ζητούμενη Tα Πανεπιστημιακά Φροντιστήρια «ΚΟΛΛΙΝΤΖΑ» προετοιμάζοντας σε ολιγομελείς ομίλους τους υποψήφιους για τον επικείμενο διαγωνισμό του Υ- πουργείου Οικονομικών και στοχεύοντας στην όσο το δυνατό πληρέστερη

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

ΑΣΕΠ 2000 ΑΣΕΠ 2000 Εμπορική Τράπεζα 1983 Υπουργείο Κοιν. Υπηρ. 1983

ΑΣΕΠ 2000 ΑΣΕΠ 2000 Εμπορική Τράπεζα 1983 Υπουργείο Κοιν. Υπηρ. 1983 20 Φεβρουαρίου 2010 ΑΣΕΠ 2000 1. Η δεξαμενή βενζίνης ενός πρατηρίου υγρών καυσίμων είναι γεμάτη κατά τα 8/9. Κατά τη διάρκεια μιας εβδομάδας το πρατήριο διέθεσε τα 3/4 της βενζίνης αυτής και έμειναν 4000

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