Μεταγλωττιστές ΙΙ. Γέννηση ενδιάμεσης αναπαράστασης. 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

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

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

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

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

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

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

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

Φόρμα Σχεδιασμού Διάλεξης (ημ/α: 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. Να διατυπώσετε το παρακάτω παίγνιο μηδενικού αθροίσματος ως πρόβλημα γραμμικού

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

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

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

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

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

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

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

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 Α. Να µεταφέρετε στο τετράδιό σας και να συµπληρώσετε τον παρακάτω πίνακα αλήθειας δύο προτάσεων

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

{ i f i == 0 and p > 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. 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 Αντικείμενο του μαθήματος Προηγμένα Θέματα Θεωρητικής Πληροφορικής Επιμέρους στόχοι

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Μεταγλωττιστές ΙΙ. 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 Γέννηση τελικού κώδικα για τον

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 Οικονομικές έννοιες Ανταλλαγή Αντιπραγματισμός Εμπόριο Ερωτήσεις Ποιοι κερδίζουν από το εμπόριο αγαθών και υπηρεσιών; Γιατί η άμεση ανταλλαγή

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Μητροπολιτικά Οπτικά Δίκτυα. 11.1. Εισαγωγή

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

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

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

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

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

Ελεγχος Στατιστικών Υποθέσεων με τη χρήση του στατιστικού προγραμμάτος SPSS v. 20

Ελεγχος Στατιστικών Υποθέσεων με τη χρήση του στατιστικού προγραμμάτος SPSS v. 20 A Πανεπιστήμιο Αιγαίου Σχολή Επιστημών της ιοίκησης Τμήμα Μηχανικών Οικονομίας και ιοίκησης Εργαστήριο Στατιστικής Ελεγχος Στατιστικών Υποθέσεων με τη χρήση του στατιστικού προγραμμάτος SPSS v. 20 26Επιμέλεια:

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

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

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

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

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

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

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

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

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

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

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

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

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

Εισαγωγή στο MATLAB. Στη συγγραφή των σημειώσεων συνέβαλαν οι μεταπτυχιακές φοιτήτριες Ελισάβετ Πισιάρα και Σπυρούλα Οδυσσέως

Εισαγωγή στο MATLAB. Στη συγγραφή των σημειώσεων συνέβαλαν οι μεταπτυχιακές φοιτήτριες Ελισάβετ Πισιάρα και Σπυρούλα Οδυσσέως Εισαγωγή στο MATLAB Στη συγγραφή των σημειώσεων συνέβαλαν οι μεταπτυχιακές φοιτήτριες Ελισάβετ Πισιάρα και Σπυρούλα Οδυσσέως Περιεχόμενα Εισαγωγή στο MATLAB: Δ12-2 Εισαγωγή Μεταβλητές (Variables) Πίνακες

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

Σκιαγράφηση της διάλεξης. Γλώσσες Περιγραφής Υλικού Ι. Χρήση τελεστών σε αναθέσεις. Σύνταξη κώδικα στη Verilog HDL: Βασικές συμβάσεις.

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

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

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

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

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

Φροντιστήριο 2: Ανάλυση Αλγόριθμου. Νικόλας Νικολάου ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 1 / 10

Φροντιστήριο 2: Ανάλυση Αλγόριθμου. Νικόλας Νικολάου ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 1 / 10 Φροντιστήριο 2: Ανάλυση Αλγόριθμου Εκλογής Προέδρου με O(nlogn) μηνύματα Νικόλας Νικολάου ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 1 / 10 Περιγραφικός Αλγόριθμος Αρχικά στείλε μήνυμα εξερεύνησης προς τα δεξιά

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

17 Μαρτίου 2013, Βόλος

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

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

Ημέρα 4 η (α) Αγορά και πώληση της εργασιακής δύναμης. (β) Η απόλυτη υπεραξία. Αγορά και πώληση της εργασιακής δύναμης

Ημέρα 4 η (α) Αγορά και πώληση της εργασιακής δύναμης. (β) Η απόλυτη υπεραξία. Αγορά και πώληση της εργασιακής δύναμης Ημέρα 4 η (α) Αγορά και πώληση της εργασιακής δύναμης (β) Η απόλυτη υπεραξία Αγορά και πώληση της εργασιακής δύναμης Στο κεφάλαιο για την αγορά και την πώληση της εργατικής δύναμης (ελληνική έκδοση: τόμος

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

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

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

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

Ημέρα 3 η. (α) Aπό την εργασιακή διαδικασία στη διαδικασία παραγωγής (β) Αξία του προϊόντος και αξία της εργασιακής δύναμης

Ημέρα 3 η. (α) Aπό την εργασιακή διαδικασία στη διαδικασία παραγωγής (β) Αξία του προϊόντος και αξία της εργασιακής δύναμης Ημέρα 3 η. (α) Aπό την εργασιακή διαδικασία στη διαδικασία παραγωγής (β) Αξία του προϊόντος και αξία της εργασιακής δύναμης Η εργασιακή διαδικασία και τα στοιχεία της. Η κοινωνική επικύρωση των ιδιωτικών

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

Συντάκτης: Παναγιώτης Βεργούρος, Οικονομολόγος Συγγραφέας βιβλίων, Μικρο μακροοικονομίας διαγωνισμών ΑΣΕΠ

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

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

Opinion Mining. Χριστίνα Αραβαντινού aravantino@ceid.upatras.gr. Χριστίνα Αραβαντινού Opinion Mining Μάιος 2014 1 / 26

Opinion Mining. Χριστίνα Αραβαντινού aravantino@ceid.upatras.gr. Χριστίνα Αραβαντινού Opinion Mining Μάιος 2014 1 / 26 Opinion Mining Χριστίνα Αραβαντινού aravantino@ceid.upatras.gr Μάιος 2014 Χριστίνα Αραβαντινού Opinion Mining Μάιος 2014 1 / 26 Περιεχόμενα Εισαγωγή Εφαρμογές ομή μιας άποψης Είδη απόψεων Προσεγγίσεις

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

Γλώσσες Περιγραφής Υλικού Ι. Εισαγωγικά. Οργάνωση των παραδόσεων. nkavv@uop.gr. 1 Εισαγωγή στη Verilog HDL. 28 Φεβρουαρίου 2012

Γλώσσες Περιγραφής Υλικού Ι. Εισαγωγικά. Οργάνωση των παραδόσεων. nkavv@uop.gr. 1 Εισαγωγή στη Verilog HDL. 28 Φεβρουαρίου 2012 Αντικείμενο του μαθήματος CST304: Γλώσσες Περιγραφής Υλικού Ι Γλώσσες Περιγραφής Υλικού Ι Εισαγωγή στη Verilog HDL Νικόλαος Καββαδίας nkavv@uop.gr 28 Φεβρουαρίου 2012 Επιμέρους στόχοι του μαθήματος Σχεδιασμός

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

ΜΑΘΗΜΑ: ΓΕΝΙΚΟ ΔΙΟΙΚΗΤΙΚΟ ΔΙΚΑΙΟ ΔΙΚΑΣΤΩΝ

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

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

1. Η συγκεκριμένη εφαρμογή της λειτουργίας για τη λήψη φορολογικής ενημερότητας βρίσκεται στην αρχική σελίδα της ιστοσελίδας της Γ.Γ.Π.Σ.

1. Η συγκεκριμένη εφαρμογή της λειτουργίας για τη λήψη φορολογικής ενημερότητας βρίσκεται στην αρχική σελίδα της ιστοσελίδας της Γ.Γ.Π.Σ. ΕΓΚΥΚΛΙΟΣ 23 η ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Αθήνα, 10 Ιουλίου 2013 ΥΠΟΥΡΓΕΙΟ ΔΙΚΑΙΟΣΥΝΗΣ, ΔΙΑΦΑΝΕΙΑΣ ΚΑΙ ΑΝΘΡΩΠΙΝΩΝ ΔΙΚΑΙΩΜΑΤΩΝ ΣΥΝΤΟΝΙΣΤΙΚΗ ΕΠΙΤΡΟΠΗ Αριθμ. Πρωτ. 153 ΣΥΜΒΟΛΑΙΟΓΡΑΦΙΚΩΝ ΣΥΛΛΟΓΩΝ ΕΛΛΑΔΟΣ Α Θ Η Ν

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

ΔΙΚΑΙΩΜΑΤΑ ΠΡΟΣΟΡΜΙΣΗΣ, ΠΑΡΑΒΟΛΗΣ, ΠΡΥΜΝΟΔΕΤΗΣΗΣ ΚΑΙ ΕΛΛΙΜΕΝΙΣΜΟΥ ΣΚΑΦΩΝ ΣΕ ΘΑΛΑΣΣΙΕΣ ΠΕΡΙΟΧΕΣ. (ΛΙΜΑΝΙΑ κ.λπ.) ΤΟΠΙΚΗΣ ΑΡΜΟΔΙΟΤΗΤΑΣ ΛΙΜΕΝΙΚΩΝ

ΔΙΚΑΙΩΜΑΤΑ ΠΡΟΣΟΡΜΙΣΗΣ, ΠΑΡΑΒΟΛΗΣ, ΠΡΥΜΝΟΔΕΤΗΣΗΣ ΚΑΙ ΕΛΛΙΜΕΝΙΣΜΟΥ ΣΚΑΦΩΝ ΣΕ ΘΑΛΑΣΣΙΕΣ ΠΕΡΙΟΧΕΣ. (ΛΙΜΑΝΙΑ κ.λπ.) ΤΟΠΙΚΗΣ ΑΡΜΟΔΙΟΤΗΤΑΣ ΛΙΜΕΝΙΚΩΝ ΔΙΚΑΙΩΜΑΤΑ ΠΡΟΣΟΡΜΙΣΗΣ, ΠΑΡΑΒΟΛΗΣ, ΠΡΥΜΝΟΔΕΤΗΣΗΣ ΚΑΙ ΕΛΛΙΜΕΝΙΣΜΟΥ ΣΚΑΦΩΝ ΣΕ ΘΑΛΑΣΣΙΕΣ ΠΕΡΙΟΧΕΣ (ΛΙΜΑΝΙΑ κ.λπ.) ΤΟΠΙΚΗΣ ΑΡΜΟΔΙΟΤΗΤΑΣ ΛΙΜΕΝΙΚΩΝ ΤΑΜΕΙΩΝ ΚΑΙ ΔΗΜΟΤΙΚΩΝ ΛΙΜΕΝΙΚΩΝ ΤΑΜΕΙΩΝ Επιμέλεια Άγγελου Αργυρακόπουλου

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

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

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

ΚΛΑΔΟΣ: ΠΕ11 ΦΥΣΙΚΗΣ ΑΓΩΓΗΣ

ΚΛΑΔΟΣ: ΠΕ11 ΦΥΣΙΚΗΣ ΑΓΩΓΗΣ ΚΛΑΔΟΣ: ΠΕ11 ΦΥΣΙΚΗΣ ΑΓΩΓΗΣ Μάθημα: Ενόργανη Γυμναστική Χρήσιμα θεωρία στο κεφάλαιο της ενόργανης γυμναστικής για το γνωστικό αντικείμενο ΠΕ11 της Φυσικής Αγωγής από τα Πανεπιστημιακά Φροντιστήρια Κολλίντζα.

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

Βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική. Προηγμένα Θέματα Θεωρητικής Πληροφορικής

Βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική. Προηγμένα Θέματα Θεωρητικής Πληροφορικής Βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική Προηγμένα Θέματα Θεωρητικής Πληροφορικής Χρονοπρογραμματισμός κώδικα και βελτιστοποιήσεις εξαρτημένες από την αρχιτεκτονική Νικόλαος Καββαδίας nkvv@uop.r

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

Εκφωνήσεις και Λύσεις των Θεμάτων

Εκφωνήσεις και Λύσεις των Θεμάτων ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΕΠΑΛ (ΟΜΑΔΑ Β ) ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ Δευτέρα 8 Μαΐου 0 Εκφωνήσεις και Λύσεις των Θεμάτων

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

Σκιαγράφηση της διάλεξης. Η εντολή ASSERT (2) nkavv@physics.auth.gr nkavv@uop.gr

Σκιαγράφηση της διάλεξης. Η εντολή ASSERT (2) nkavv@physics.auth.gr nkavv@uop.gr Σκιαγράφηση της διάλεξης Γλώσσες Περιγραφής Υλικού Δομές ελέγχου/επαλήθευσης λειτουργίας των κυκλωμάτων Νικόλαος Καββαδίας nkavv@physics.auth.gr nkavv@uop.gr Δομές ελέγχου/επαλήθευσης λειτουργίας των κυκλωμάτων

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

ΥΔΡΟΛΟΓΙΚΗ ΠΡΟΣΟΜΟΙΩΣΗ ΚΑΙ ΠΡΟΓΝΩΣΗ

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

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

Προτεινόμενα θέματα στο μάθημα. Αρχές Οικονομικής Θεωρίας ΟΜΑΔΑ Α. Στις προτάσεις από Α.1. μέχρι και Α10 να γράψετε στο τετράδιό σας τον αριθμό της

Προτεινόμενα θέματα στο μάθημα. Αρχές Οικονομικής Θεωρίας ΟΜΑΔΑ Α. Στις προτάσεις από Α.1. μέχρι και Α10 να γράψετε στο τετράδιό σας τον αριθμό της Προτεινόμενα θέματα στο μάθημα Αρχές Οικονομικής Θεωρίας ΟΜΑΔΑ Α Στις προτάσεις από Α.1. μέχρι και Α10 να γράψετε στο τετράδιό σας τον αριθμό της καθεμιάς και δίπλα σε κάθε αριθμό την ένδειξη Σωστό, αν

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

1. Ο εγγυημένος ρυθμός οικονομικής ανάπτυξης στο υπόδειγμα Harrod Domar εξαρτάται

1. Ο εγγυημένος ρυθμός οικονομικής ανάπτυξης στο υπόδειγμα Harrod Domar εξαρτάται 1. Ο εγγυημένος ρυθμός οικονομικής ανάπτυξης στο υπόδειγμα Harrod Domar εξαρτάται από: α) Τη ροπή για αποταμίευση β) Το λόγο κεφαλαίου προϊόντος και τη ροπή για αποταμίευση γ) Το λόγο κεφαλαίου προϊόντος

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

Πανεπιστήμιο Πειραιώς. Πρόγραμμα Μεταπτυχιακών Σπουδών Αναλογιστική Επιστήμη και Διοικητική Κινδύνου

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

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

Κεφάλαιο 2.4: Τα βασικά στοιχεία ενός Επιχειρηματικού Σχεδίου (Business Plan) Μέσα από αυτό το κεφάλαιο φαίνεται ότι αφενός η σωστή δημιουργία και

Κεφάλαιο 2.4: Τα βασικά στοιχεία ενός Επιχειρηματικού Σχεδίου (Business Plan) Μέσα από αυτό το κεφάλαιο φαίνεται ότι αφενός η σωστή δημιουργία και Κεφάλαιο 2.4: Τα βασικά στοιχεία ενός Επιχειρηματικού Σχεδίου (Business Plan) Περίληψη Κεφαλαίου: Μέσα από αυτό το κεφάλαιο φαίνεται ότι αφενός η σωστή δημιουργία και αφετέρου η σωστή εφαρμογή του Επιχειρηματικού

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

Αρχάνες, 10/12/2012 Αρ. Πρωτ: 561

Αρχάνες, 10/12/2012 Αρ. Πρωτ: 561 Αρχάνες, 10/12/2012 Αρ. Πρωτ: 561 ΠΡΟΣΚΛΗΣΗ ΕΚ ΗΛΩΣΗΣ ΕΝ ΙΑΦΕΡΟΝΤΟΣ Η Αναπτυξιακή Ηρακλείου Α.Α.Ε. ΟΤΑ απευθύνει πρόσκληση εκδήλωσης ενδιαφέροντος για την επιλογή Αναδόχου για την κατασκευή ιστοσελίδας

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

ΘΕΜΑ: Διαφορές εσωτερικού εξωτερικού δανεισμού. Η διαχρονική κατανομή του βάρους από το δημόσιο δανεισμό.

ΘΕΜΑ: Διαφορές εσωτερικού εξωτερικού δανεισμού. Η διαχρονική κατανομή του βάρους από το δημόσιο δανεισμό. 1 ΘΕΜΑ: Διαφορές εσωτερικού εξωτερικού δανεισμού. Η διαχρονική κατανομή του βάρους από το δημόσιο δανεισμό. Σύνταξη: Παπαδόπουλος Θεοχάρης, Οικονομολόγος, Οικονομολόγος, MSc, PhD Candidate, εισηγητής Φροντιστηρίων

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

ΕΚΘΕΣΕΙΣ ΑΠΟΛΟΓΙΣΜΟΥ

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

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

H εφαρμογή των Συστημάτων Γεωγραφικών Πληροφοριών στα Μοντέλα Συγκοινωνιακού Σχεδιασμού

H εφαρμογή των Συστημάτων Γεωγραφικών Πληροφοριών στα Μοντέλα Συγκοινωνιακού Σχεδιασμού H εφαρμογή των Συστημάτων Γεωγραφικών Πληροφοριών στα Μοντέλα Συγκοινωνιακού Σχεδιασμού Γ. Κατσούλης* Μηχανικός Γεωπληροφορικής και Τοπογραφίας Τ.Ε. Διευθ. Κουρμούλη 2, 11145, Αθήνα Α. Μοσχόπουλος Μηχανικός

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

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

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

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

ΘΕΜΑ: Aποτελεσματικότητα της νομισματικής και δημοσιονομικής πολιτικής σε μια ανοικτή οικονομία

ΘΕΜΑ: Aποτελεσματικότητα της νομισματικής και δημοσιονομικής πολιτικής σε μια ανοικτή οικονομία ΘΕΜΑ: ποτελεσματικότητα της νομισματικής και δημοσιονομικής πολιτικής σε μια ανοικτή οικονομία Σύνταξη: Μπαντούλας Κων/νος, Οικονομολόγος, Ms Χρηματοοικονομικών 1 Η πρώτη θεωρία σχετικά με τον αυτόματο

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ. Τρίτη Γραπτή Εργασία στη Στατιστική

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

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

Η Πληροφορική στο Δημοτικό Διδακτικές Προσεγγίσεις Αδάμ Κ. Αγγελής Παιδαγωγικό Ινστιτούτο

Η Πληροφορική στο Δημοτικό Διδακτικές Προσεγγίσεις Αδάμ Κ. Αγγελής Παιδαγωγικό Ινστιτούτο Η Πληροφορική στο Δημοτικό Διδακτικές Προσεγγίσεις Αδάμ Κ. Αγγελής Παιδαγωγικό Ινστιτούτο Α) Το γενικό πλαίσιο.ε.π.π.σ. και Α.Π.Σ. Β) Ο Υπολογιστής στην τάξη Γ) Ενδεικτικές ραστηριότητες Α) Το γενικό πλαίσιο.ε.π.π.σ.

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