Κατανεµηµένα Συστήµατα 1, Μάθηµα Βασικής Επιλογής Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων

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

Download "Κατανεµηµένα Συστήµατα 1, Μάθηµα Βασικής Επιλογής Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων"

Transcript

1 Κατανεµηµένα Συστήµατα 1, Μάθηµα Βασικής Επιλογής Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Απόστολος Φίλιππας Τµήµα Μηχανικών Η/Υ και Πληροφορικής 10 Ιανουαρίου, 2011 Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

2 Προηγούµενα Μαθήµατα Ενα νέο υπολογιστικό µοντέλο Εφαρµογές Προηγούµενα Μαθήµατα Υποθέσεις µέχρι τώρα Απειρη µνήµη Unique IDs και δυνατότητα ανίχνευσης κάποιων σφαλµάτων Σταθερή δοµή δικτύου, καµία αναφορά σε mobility patterns (µοτίβα κινητικότητας) Ασύγχρονα Κατανεµηµένα Συστήµατα Μοντελοποίηση των στοιχείων του κατανεµηµένου συστήµατος µε αυτόµατα καταστάσεων (state machines) Χρονική Απροσδιοριστία - ϑα χρειαστούν τεχνικές διαφορετικές από την µέχρι τώρα ανάλυση της χρονικής πολυπλοκότητας Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

3 Προηγούµενα Μαθήµατα Ενα νέο υπολογιστικό µοντέλο Εφαρµογές Σήµερα.. Θα παρουσιάσουµε ένα νέο υπολογιστικό µοντέλο για κατανεµηµένα συστήµατα Αποτελείται απο αλληλεπιδρούσες υπολογιστικές οντότητες (objects). Οι οντότητες αυτές µπορεί να ειναι διεργασίες σε PCs, κινητά µε αισθητήρες, η ταυτότητα σας στο facebook,... Υπάρχει πολύ µεγάλος αριθµός οντοτήτων Η κάθεµία απο αυτές έχει πολύ περιορισµένους πόρους (π.χ. µνήµη) Οι οντότητες αυτές αλληλεπιδρούν µεταξύ τους µε έναν µη-ντετερµινιστικό τρόπο, υπό την έννοια πως δεν διαλέγουν αυτές µε ποιες οντότητες ϑα αλληλεπιδράσουν, δεν έχουν δηλαδή κανέναν έλεγχο των αλληλεπιδράσεων αυτών Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

4 Προηγούµενα Μαθήµατα Ενα νέο υπολογιστικό µοντέλο Εφαρµογές Εφαρµογές - 1 ίκτυα Αισθητήρων (Wireless Sensor Networks, WSNs) Αποτελούνται από µεγάλο πλήθος συσκευών υνατότητες υπολογισµού, ασύρµατης επικοινωνίας, περιορισµένη µνήµη, λειτουργούν µε µικρή µπαταρία και ϕέρουν ποικιλία αισθητήρων για µέτρηση µεγεθών (π.χ. ϑερµοκρασία) Μπορούν να πραγµατοποιήσουν µεγάλης κλίµακας ανιχνεύσεις (πυργκαγιές σε δάση, έξυπνα σπίτια). Wireless NanoSensor Networks Οπως πριν, αλλά τώρα κάθε συσκευή έχει µέγεθος µερικών µm Επαναστατικές εφαρµογές σε κλάδους όπως ιατρική (παρακολούθηση, ενέσεις ϕαρµάκων), γεωργία ακριβειας, κτλ.. Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

5 Προηγούµενα Μαθήµατα Ενα νέο υπολογιστικό µοντέλο Εφαρµογές Εφαρµογές - 2 Χηµικές Αντιδράσεις Εδώ οι αλληλεπιδρούσες οντότητες ειναι τα µόρια εν έχουν κανέναν έλεγχο πάνω στις αλληλεπιδράσεις τους. Φανταστείτε π.χ. µια χηµική αντίδραση που συµβαίνει σε ένα δοκιµαστικό σωλήνα Αυτογνωσία Συστηµάτων Μοντελοποιούµε τα συστήµατα µε χρηση γραφηµάτων Οι οντότητες των συστηµάτων, δηλαδή πλέον οι κόµβοι τω γράφων αντιλαµβάνονται ιδιότητες των γράφων στους οποίους ανήκουν και συνεπώς του ίδιου του συστήµατατος π.χ. Αν ϑεωρήσουµε οντότητες τα facebook profiles των ϕοιτητών µίας αίθουσας, να µπορεί κάθε ϕοιτητής να ξέρει αν τουλάχιστον 5 ϕοιτητές µέσα σε αυτήν την αίθουσα έχουν παραπάνω απο 200 ϕίλους. Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

6 Στην συνέχεια... 1 Προηγούµενα Μαθήµατα Ενα νέο υπολογιστικό µοντέλο Εφαρµογές 2 3 Συµπεράσµατα Ασκήσεις Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

7 Ενα µινιµαλιστικό Μοντέλο - Υποθέσεις Προσπαθούµε να κάνουµε υποθέσεις µινιµαλιστικές αλλά όχι τετριµµένες για τις δυνατότητες κάθε υπολογιστικής µονάδας, την οποία καλούµε πράκτορα (agent) FSMs(µηχανές πεπερασµένων καταστάσεων), όχι άπειρη µνήµη Καµία µορφή υποδοµής (ούτε unique IDs!) Ασύγχρονο σύστηµα Οι πράκτορες έχουν την δυνατότητα να ανταλλάσσουν πληροφορία (αλληλεπίδραση) Οι πράκτορες δεν µπορούν να ελέγξουν τις µεταξύ τους αλληλεπιδράσεις - Παθητική Κίνηση(passive mobility) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

8 (ανεπίσηµα) - 1 Μία συλλογή πανοµοιότυπα προγραµµατισµένων πρακτόρων Ολοι οι πράκτορες παίρνουν αρχικά µία είσοδο απο το περιβάλλον τους(π.χ. µέσω αισθητήρων) Κωδικοποιούµε το input κάθε agent στην αρχική του κατάσταση Οι πράκτορες ύπο κάποιες συνθήκες αλληλεπιδρούν και αλλάζουν κατάσταση σύµφωνα µε κάποιους κανόνες µετάβασης Οποιαδήποτε χρονική στιγµή, µπορούµε να πάρουµε το output κάθε πράκτορα παρατηρώντας την κατάσταση του Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

9 (ανεπίσηµα) - 2 Τι ορίζουµε ως αλγόριθµο/πρωτόκολλο Ενα πεπερασµένο σύνολο καταστάσεων στις οποίες µπορει να ϐρεθεί ο κάθε agent Μία συνάρτηση εισόδου, απεικονίζει εισόδους σε καταστάσεις Μία συνάρτηση µετάβασης, σύµφωνα µε την οποία οι δύο agents που αλληλεπίδρασαν ϑα αλλάξουν την κατάσταση τους Μία συνάρτηση εξόδου, απεικονίζει καταστάσεις σε εξόδους Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

10 Ενα παράδειγµα Πως ϑα υπολογίσουµε το OR εισόδων-bits Κάθε agent παίρνει ως input 0 ή 1. Ολοι οι agents πρέπει eventually να µάθουν το αποτέλεσµα του OR όλων των bits Εχουµε: Σύνολο καταστάσεων: 0, 1 Συνάρτηση Μετάβασης 0, 0 0, 0 0, 1 1, 1 1, 0 1, 1 1, 1 1, 1 Η έξοδος κάθε agent είναι η κατάσταση του Ετσι, αν έστω και ένας agent έχει πάρει ως input 1, τότε eventually όλοι οι agents ϑα συγκλίνουν στην κατάσταση 1 (άρα και στην έξοδο) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

11 Οµως.. Ερωτήµατα έρχονται σιγά σιγά στην επιφάνεια! Πως επηρρεάζει το πλήθος των agents το πρωτόκολλό µας; Θα χρειαστούµε διαφορετικό αλγόριθµο ή πρέπει να κάνουµε τροποποιήσεις;; Τι µας εγγυάται πως αληλλεπιδράσεις που µπορούν να γινουν και πρέπει να γίνουν για να έχει νόηµα ο υπολογισµός, τελικά ϑα γίνουν; Σε ποια ερωτήµατα µπορούν να απαντήσουν τα Population Protocols; (υπολογιστική δύναµη) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

12 Φορµαλιστικός Ορισµός Ενα Πρωτόκολλο Πληθυσµών ειναι µία εξάδα (Q, X, Y, I, O, δ), όπου: Q, το πεπερασµένο σύνολο καταστάσεων X, το πεπερασµένο αλφάβητο εισόδου(π.χ. τι τιµές παίρνουν οι αισθητήρες µέσω µίας µέτρησης) Y, το πεπερασµένο αλφάβητο εξόδου I : X Q, η συνάρτηση εισόδου που απεικονίζει εισόδους σε καταστάσεις. Αρα I(σ) είναι η αρχική κατάσταση του agent µε είσοδο σ O : Q Y, η συνάρτηση εξόδου που απεικονίζει καταστάσεις σε εξόδους. Αρα O(q) είναι η έξοδος του agent που ϐρίσκεται σε κατάσταση q δ : Q Q Q Q, η συνάρτηση µετάβασης που περιγράφει πως αλληλεπιδρά ένα Ϲεύγος agents. Αν δ(p, q) = (p, q ), ϑα λέµε πως η (p, q) (p, q ) είναι µία µετάβαση και ϑα ορίζουµε δ 1 (p, q) = p και δ 2 (p, q) = q. Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

13 Γράφος Αλληλεπιδράσεων Το δίκτυο που σχηµατίζουν οι agents µοντελοποιείται από κατευθυνόµενο, πλήρως συνδεδεµένο γράφο αλληλεπιδράσεων G = (V, E) Εχουµε: n = V ο αριθµός των agents m = E ο αριθµός των ακµών, δηλαδή των πιθανών αλληλεπιδράσεων, όπου: Μία ακµή (u, v) E σηµαίνει πως οι agents u και v µπορούν να αλληλεπιδράσουν Στην αλληλεπίδραση αυτή ο u ϑα είναι ο initiator και ο v ϑα είναι ο responder Οι διακριτοί ϱόλοι των δύο agents είναι µία ϐασική υπόθεση του µοντελου µας που σπάει την συµµετρία! Είναι αυτό χρήσιµο; Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

14 ιαµορφώσεις - 1 Μία διαµόρφωση(configuration) C : V Q είναι ένα στιγµιότυπο (snapshot) όλων των καταστάσεων των agents και µπορει να περιγραφεί απο ένα διάνυσµα µε τις καταστάσεις αυτές Εστω C, C δύο διαµορφώσεις και u, v δύο agents. Θα λέµε πως η C πηγαίνει στην C µέσω της αληλλεπίδρασης e = (u, v) και ϑα συµβολίζουµε C e C αν: C (u) = δ 1 (C(u), C(v)) C (v) = δ 2 (C(u), C(v)) C (w) = C(w), για κάθε w A {u, v} Θα λέµε πως η διαµόρφωση C είναι προσβάσιµη απο την C αν υπάρχει µία ακολουθία διαµορφώσεων C = C 0, C 1,..., C n = C, τετοια ώστε C i C i+1 για κάθε i, 0 i < n, και ϑα το συµβολίζουµε µε C C Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

15 ιαµορφώσεις - 2 Με άλλα λόγια, ξέροντας την τρέχουσα διαµόρφωση έχουµε πλήρη γνώση για την τρέχουσα κατάσταση του συστήµατος, αφού µας ενηµερώνει για την κατάσταση στην οποία ϐρίσκεται κάθε agent του πληθυσµού Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

16 Γράφος Μεταβάσεων Ο γράφος µεταβασεων ενός PPA που τρέχει σε έναν γράφο αλληλεπιδράσεων G είναι ένας κατευθυνόµενος γράφος όπου: κόµβοι του είναι το συνολο όλων των διαµορφώσεων του πληθυσµού Q V το σύνολο ακµών του ορίζεται ώς E = {(C, C ) C, C Q V and C C } Μπορει να έχει κύκλους Μπορεί (C, C) E Μια ισχυρά συνεκτική συνιστώσα του γράφου είναι τελική ανν δεν υπάρχει ακµή που να ξεκινά απο κόµβο της συνιστώσας και να κατευθύνεται σε κόµβο εκτός αυτής. Μια διαµόρφωση ειναι τελική ανν ανήκει σε µία τελική ισχυρά συνεκτική συνιστώσα του γράφου Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

17 Εκτέλεση Μία εκτέλεση(execution) είναι µία πεπερασµένη ή άπειρη ακολουθία διαµορφώσεων Μία άπειρη εκτέλεση είναι δίκαιη εάν για κάθε Ϲεύγος διαµορφώσεων C, C τέτοιων ώστε C C, αν η C εµφανίζεται άπειρες ϕορές στην εκτέλεση, τότε και η C εµφανίζεται άπειρες ϕορές στην εκτέλεση Ενας υπολογισµός(computation) είναι µία άπειρη δίκαιη εκτέλεση Πως όµως αποφασίζεται ποια ή ποιες αλληλεπιδράσεις ϑα γίνουν στο επόµενο ϐηµα και πως ορίζεται ακριβώς η συνθήκη δικαιοσύνης; Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

18 Παθητική Κίνηση Οι παθητικώς κινούµενοι πράκτορες ειναι µία πολύ ενδιαφέρουσα έννοια που εισάγουν τα PPs Η παθητική κίνηση καθιστά τις αλληλεπιδράσεις µεταξύ των πρακτόρων µη ντερµινιστικές ( µη καθορίσιµες απο τους ίδιους) Στην περίπτωση των WSNs ϑα µπορούσαµε να ϕανταστούµε πως αυτό συµβαίνει π.χ. επειδή ο αέρας παρασύρει τους αισθητήρες µας απο την αρχική τους ϑέση Οµως η έννοια της παθητικής κίνησης δεν αφορά πάντα σε ϕυσική κίνηση των πρακτόρων Στο παράδειγµα όπου ϑεωρούµε πράκτορες του συστήµατος µας τα facebook walls χρηστών και ακµές του δικτύου τις µεταξύ τους ϕιλίες. Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

19 Εχθρικός δροµολογητής - 1 Η επόµενη αλληλεπίδραση που ϑα συµβεί επιλέγεται ανάµεσα σε όλες τις δυνατές( V V )απο έναν εχθρικό δροµολογητή Αποδεικνύεται εύκολα πως κάθε δροµολογητής που επιλέγει ένα ή περισσότερα Ϲεύγη προς αλληλεπίδραση κάθε ϕορά, µπορεί να προσωµοιωθεί από δροµολογητή που επιλέγει µόνο ένα Ϲεύγος προς αληλλεπίδραση κάθε ϕορά Θα ϑεωρούµε λοιπόν χ.β.τ.γ. πως µόνο ένα Ϲεύγος agents αλληλεπιδρά σε κάθε ϐήµα της εκτέλεσης Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

20 Εχθρικός δροµολογητής - 2 Ο δροµολογητής ϑα µπορούσε να επιλέγει συνεχώς το ίδιο Ϲεύγος agents προς αλληλεπίδραση κάθε ϕορά, ή ένα Ϲεύγος που δεν ϑα ϐοηθούσε στον υπολογισµό µας Αυτό ϑα έκανε τον υπολογισµό µας να µην µπορεί να προχωρήσει και να ολοκληρωθεί, αφού δεν ϑα χρησιµοποιηθούν ποτέ οι είσοδοι όλου του πληθυσµού και συνεπώς το πρωτόκολλο δεν µπορέσει να εκτελεστεί σωστά. Πρέπει λοιπόν να επιβάλλουµε µια συνθήκη δικαιοσύνης στον εχθρικό δροµολογητή Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

21 Συνθήκη ικαιοσύνης - 1 Οτιδήποτε ειναι πάντοτε πιθανό να συµβεί, τελικά συµβαίνει Επιβάλλουµε µία ισχυρή καθολική συνθήκη δικαιοσύνης στον εχθρικό δροµολογητή ιαισθητικά, επιβάλλουµε στον δροµολογητή να είναι υπολογιστικά ϕιλικός, απαγορεύοντας του να αποφευγει ένα συγκεκριµενο ϐήµα για πάντα Ενας άλλος τρόπος για δούµε το αποτέλεσµα της συνθήκης δικαιοσύνης, είναι πως κάθε διαµόρφωση που ειναι πάντοτε προσβάσιµη τελικά επιτυγχάνεται Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

22 Συνθήκη ικαιοσύνης - 2 Πόσο ισχυρή ειναι η συνθήκη δικαιοσύνης; Υπο µία έννοια, η συνθήκη δικαιοσύνης ειναι λιγότερο ισχυρή απο το να απαιτήσουµε κάθε Ϲεύγος agents να αλληλεπιδρούν απείρως συχνά - υπάρχουν δικαιες εκτελέσεις όπου µερικοί agents δεν ϑα συναντηθούν ποτέ! Από την άλλη πλευρά, η συνθήκη δικαιοσύνης ειναι αρκετά ισχυρή, καθώς αποφεύγουµε την περίπτωση όπου δύο agents αλληλεπιδρούν µόνο όταν ϐρίσκονται στην λάθος κατάσταση για να έχουµε κάποιο χρήσιµο αποτέλεσµα απο την αλληλεπιδραση τους. Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

23 Συνθήκη ικαιοσύνης - 3 Πόσο ϕυσικό ειναι να υποθέτουµε την ύπαρξη συνθήκης δικαιοσύνης; Θέλουµε να κάνουµε µιναµαλιστικές υποθέσεις για το µοντέλο µας, όµως µε µία η συνθήκη δικαιοσύνης µοιάζει πολύ ισχυρή Η συνθήκη δικαιοσύνης είναι µία ϕυσική υπόθεση Ο λόγος ειναι πως στα περισσότερα ϕυσικά συστήµατα, όπως και αυτά που εξετάζουµε, το γεγονός πως οι agents είναι παθητικώς κινούµενοι επιβάλλει άµεσα την συνθήκη αυτή στον δροµολογητή Για παράδειγµα, στα WSNs, η παθητική κίνηση των πρακτόρων είναι αποτέλεσµα κάποιου ϕυσικού ϕαινοµένου όπως το πέταγµα των πουλιών, η ϱοή ενός ποταµού, ο άνεµος κτλ.. Τέτοια ϕυσικά ϕαινόµενα συνήθως υπακούν σε κάποια πιθανοτική κατανοµή (ή µία συλλογή πιθανοτικών κατανοµών). Ετσι για να είναι ένας εχθρικός δροµολογητής δίκαιος, πρέπει απλά να ικανοποιεί κάποιες ϕυσικές ιδιότητες! Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

24 Ιδιότητες - Οµοιοµορφία Οι περιγραφές των πρωτοκόλλων είναι ανεξάρτητες απο το µέγεθος του πληθυσµού ηλαδή, χρειάζεται O(1) συνολική χωρητικότητα µνήµης σε κάθε πράκτορα. Η µινιµαλιστική αυτή υπόθεση που κάνουµε, είναι γνωστή ως ιδιότητα οµοιοµορφίας Παρόλα αυτά, ίσως αυτή η υπόθεση να παραείναι µινιµαλιστική! Θα µπορούσε κάθε agent να έχει µνήµη της τάξης του O(log(n)); Πόση µνήµη ϑα είχε κάθε agent για πληθυσµό agents;(που είναι ένα αστρονοµικό νούµερο πληθυσµού - υπάρχουν λιγότερα άτοµα στην γη!) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

25 Ιδιότητες - Ανωνυµία Τα PPs είναι ανώνυµα Αυτό συµβαίνει επειδή δεν υπάρχει αρκετή µνήµη σε κάθε agent ώστε να µπορεί να αποθηκεύσει UIDs Αµεση συνέπεια : η συνάρτηση µετάβασης συµπεριφέρεται µε τον ίδιο τρόπο σε όλους τους agents Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

26 Σταθεροποίηση - 1 Τα PPs, σε αντίθεση µε τις µηχανές Turing, δεν τερµατίζουν! Αρα δεν υπαρχει προκαθορισµένος χρόνος για να διαβάσει κανείς την έξοδο του πληθυσµού Στην ϑέση του τερµατισµού εισάγουµε την έννοια της σταθεροποίησης Λέµε πως η έξοδος ενός υπολογισµού σταθεροποιείται, εάν ϕτάνει σε µία διαµόρφωση µετά την οποία κανείς πράκτορας δεν µπορει να αλλάξει τιµή εξόδου ανεξαρτήτως του πως ϑα εξελιχθεί ο υπολογισµός απο εκεί και έπειτα ιαισθητικά ϑα µπορούσαµε να το δούµε ως µια τελική ισχυρά συνεκτική συνιστώσα του γράφου µεταβάσεων, της οποίας κάθε κόµβος δίνει την ίδια έξοδο Αφού η εξοδος δεν µπορεί να µεταβληθεί, η έξοδος αυτή είναι τελική Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

27 Σταθεροποίηση - 2 Η σταθεροποίηση είναι µία καθολική ιδιότητα του πληθυσµού Γενικά, οι agents δεν µπορούν να ξέρουν πότε αυτή έχει επιτευχθεί Μπορούµε όµως µε κατάλληλη πιθανοτική ανάλυση και ύπο πιθανοτικούς δροµολογητές να ϕράξουµε το αναµενόµενο πλήθος των αλληλεπιδράσεων που ϑα συµβούν µέχρι η έξοδος να σταθεροποιηθεί Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

28 Example 1 : Flock of Birds Θέλουµε να ϐρούµε αν τουλάχιστον 5 agents έχουν είσοδο 1 Καθε agent παίρνει είσοδο 0 ή 1 Το πρόβληµα αυτό λέγεται flock of birds και ειναι το πιο κλασικό παράδειγµα στα PPs. Ενα σµήνος πουλιών είναι εφοδιασµένα µε αισθητήρες οι οποίοι έχουν την δυνατότητα να ανιχνεύσουν άνοδο στην ϑερµοκρασία των πουλιών. Θέλουµε να µάθουµε αν τουλάχιστον 5 πουλιά έχουν ανεβασµένη ϑερµοκρασία (ανιχνεύοντας έτσι µία επικείµενη επιδηµία) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

29 Example 1 : Flock of Birds Θα χρειαστούµε 5 καταστάσεις, Q = {1, 2, 3, 4, 5} Αν κάποιος agent πάρει ως είσοδο 1, ϑα ϐρεθεί στην κατάσταση 1. Αν πάρει ως είσοδο 0 ϑα ϐρεθεί στην κατάσταση 0. ηλαδή I(1) = 1 και I(0) = 0 Αν κάποιος agent ϐρίσκεται στην κατάσταση 5, ϑα δινει έξοδο 1. Αν ϐρίσκεται σε οποιαδήποτε άλλη κατάσταση ϑα δίνει έξοδο 0. ηλαδή O(5) = 1 και O(0) = O(1) = O(2) = O(3) = O(4) = 0 Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

30 Example 1 : Flock of Birds Το πιο ϐασικό σηµειο: η συνάρτηση µετάβασης Κανόνας 1: x, y min(x + y, 5), 0 Με τον κανόνα αυτό ο αριθµός των άσσων µαζεύεται σε έναν agent Κανόνας 2: 5, 5, 5 Ενας agent έφτασε στην κατάσταση 5, η οποία λειτουργεί ως κατάσταση συναγερµού και διαδίδεται σε κάθε agent που την συναντάει Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

31 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

32 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

33 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

34 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

35 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

36 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

37 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

38 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

39 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

40 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

41 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

42 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

43 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

44 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

45 Παράδειγµα: (N 1 5) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

46 Example 2 : Majority - 1 Καθε agent είναι αρχικά κόκκινος ή πράσινος Θέλουµε να ϐρούµε αν κόκκινων > πράσινων Ιδέες; Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

47 Example 2 : Majority - 2 Καταστάσεις: Q = {red, green, yes, no} Συναρτηση Μετάβασης: Κανόνας 1: red, green no, no Κανόνας 2: red, no red, yes Κανόνας 3: green, yes green, no Κανόνας 4: yes, no no, no Κανόνας 5: σε οποιαδήποτε άλλη περιπτωση η συνάρτηση µετάβασης δεν αλλάζει τιποτα Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

48 Example 2 : Majority - 3 Είναι τουλάχιστον το 40% των εισόδων ειναι κόκκινα; 2 κόκκινα ϑα εξαλείφουν 3 πράσινα Οι άλλοι κανόνες (σχεδόν) ίδιοι! Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

49 Example 3 : Modulo Θέλουµε να υπολογίσουµε το άθροισµα όλων των εισόδων modulo4 Κάθε agent παίρνει µία τιµή στο {0, 1, 2, 3} Ολοι οι πράκτορες πρέπει να ϐρεθούν τελικά σε κατάσταση που να απεικονίζει το σωστο αποτέλεσµα Κάθε πράκτορας έχει ένα live bit Οταν δύο awake κόµβοι συναντηθούν, ο ένας παίρνει το άθροισµα και ο άλλος κοιµάται Οταν ένας awake και ένας asleep κόµβος συναντηθούν, τότε ο δεύτερος αποθηκεύει το άθροισµα του πρώτου Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

50 Example 4 : Leader Election Το γνωστό πρόβληµα της εκλογής αρχηγού Θυµάστε πως στην περίπτωση του δακτυλίου απουσία UIDs δεν µπορούσαµε να λύσουµε το πρόβληµα! Η υπόθεση διακριτών ϱόλων initiator και responder ϑα µας ϐοηθήσει εδώ Ολοι οι agents ξεκινούν απο την κατάσταση leader Κανόνας: leader, leader leader, not leader Τόσο απλά! Τελικά, ϑα υπάρχει ακριβώς ένας agent σε κατάσταση leader Βλέπουµε λοιπόν πως µπορούµε να λύσουµε δύσκολα προβλήµατα µε έυκολα πρωτόκολλα Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

51 Ερωτήµατα Είδαµε αρκετά παραδείγµατα υπολογισµών στα PPs Οµως σαν Computer Scientists µας αρέσουν τα µαθηµατικά..(;;) Πρόβληµα 1 Πως ϑα µπορούσαµε να εκφράσουµε πιο ϕορµαλιστικά τα ερωτήµατα που ϑέτουµε σε ένα PP; Πρόβληµα 2 Σε ποια ερωτήµατα µπορεί να απαντήσει ένα PP, δηλαδή ποια είναι η υπολογιστική του ισχύς; Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

52 Κατηγορήµατα Εστω X = X V το σύνολο όλων των δυνατών αναθέσεων εισόδου Ενα κατηγόρηµα είναι ουσιαστικά µία συνάρτηση X {0, 1} ένα κατηγόρηµα δίνει δηλαδή ως έξοδο Ναι / Οχι Τα κατηγορήµατα πρέπει να ειναι συµµετρικά Αυτό σηµαίνει πως η σειρά των εισόδων είναι αδιάφορη ως προς το αποτέλεσµα του κατηγορήµατος π.χ. στο flock of birds µας είναι αδιάφορο το ποιοι 5 agents έχουν εισοδο 1, µας ενδιαφέρει µόνο το αν 5 agents έχουν είσοδο 1 Ετσι µπορούµε να γράφουµε τα κατηγορηµατα στην µορφή P(x 1, x 2,..., x n ) όπου: n = ο αριθµός των δυνατών αρχικών καταστάσεων x i = ο αριθµός των agents που αρχιζουν στην κατάσταση i Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

53 Υπολογίσιµα Κατηγορήµατα Θεώρηµα Ενα κατηγόρηµα ειναι υπολογίσιµο ανν ανήκει στην παρακάτω λίστα: k i=1 c ix i a (γενίκευση του threshold και της πλειοψηφίας) k i=1 c ix i a(modb) (γενίκευση του mod) Boolean συνδυασµοί των παραπάνω Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

54 How to: k i=1 c ix i a Σκιαγράφηση της απόδειξης: Κάθε agent που έχει ως είσοδο το i-ιστό σύµβολο ξεκινά στην κατάσταση c i µε τιµή c i την τιµή αυτή Αρα x i agents ξεκινούν µε τιµή c i Ταυτόχρονα, εκλέγουµε leader και µαζεύουµε εκεί το άθροισµα των τιµών Αν το άθροισµα αυτό είναι µεγαλύτερο του a τότε ο leader δίνει έξοδο YES. Αλλιώς δινει έξοδο NO Ο leader διαδίδει την έξοδο του στους άλλους agents Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

55 How to: k i=1 c ix i a(modb) Σκιαγράφηση της απόδειξης: Παρόµοια λογική µε πριν Μαζεύουµε το άθροισµα στον leader Επειτα διαδίδουµε την απάντηση στον πληθυσµό Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

56 How to: Boolean Operators Αν A,B υπολογίσιµα κατηγορήµατα: Πως ϑα υπολογίσουµε το A ; Πως ϑα υπολογίσουµε το A B ; Πως ϑα υπολογίσουµε το A B ; Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

57 ιαφορετικοί Χαρακτηρισµοί είχνοντας τα παραπάνω δείξαµε το Πως ϑα δείξουµε όµως το ευθύ; Θα χρειαστούµε έναν διαφορετικό χαρακτηρισµό της κλάσης των υπολογίσιµων κατηγορηµάτων Θα χρησιµοποιήσουµε τα ηµιγραµµικά σύνολα Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

58 Ηµιγραµµικά Σύνολα Ενα σύνολο διανυσµάτων x = (x 1, x 2,..., x k ) N k είναι γραµµικό αν είναι της µορφής { v 0 + c 1 v c m v m } µε c i N Ενα σύνολο διανυσµάτων είναι ηµιγραµµικό αν είναι πεπερασµένη ένωση γραµµικών συνόλων Θεώρηµα Ενα κατηγόρηµα ειναι υπολογίσιµο ανν είναι ηµιγραµµικό Γενικά δεν είναι εύκολο να προσδιορίσουµε αν ένα κατηγόρηµα ειναι ηµιγραµµικό.. Υπάρχει όµως ένας πιο εύκολος τροπος! Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

59 Αριθµητική Presburger Ενα υποσύνολο του N k είναι ηµιγραµµικό ανν ειναι καθορίσιµο στην Presburger αριθµητική Η Presburger αριθµητική είναι ένα σύστηµα λογικών τύπων πρώτης τάξης που χρησιµοποιεί τα σύµβολα +, 0, 1,,,,,, =, <, (, ) και µεταβλητές εν περιλαµβάνει τον πολλαπλασιασµό Ετσι µερικά απο τα κατηγορηµατα που είδαµε πριν εκφραζονται ως: Πλειοψηφία: x 1 < x 2 mod3 : y : y + y + y = x 1 τουλάχιστον 40% κόκκινα : (x 1 + x 1 < x 0 + x 0 + x 0 ) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

60 Τι ξέρουµε Ενα κατηγόρηµα ειναι υπολογίσιµο απο το ϐασικό µοντέλο των PPs ανν: Είναι boolean συνδυασµός των κατηγορηµάτων mod και threshold ή είναι ηµιγραµµικό ή ειναι εκφράσιµο στην Presburger αριθµητική Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

61 Συµπεράσµατα Ασκήσεις Στην συνέχεια... 1 Προηγούµενα Μαθήµατα Ενα νέο υπολογιστικό µοντέλο Εφαρµογές 2 3 Συµπεράσµατα Ασκήσεις Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

62 Συµπεράσµατα Ασκήσεις Συνοψίζοντας Ορίσαµε λοιπόν το υπολογιστικό µοντέλο των Population Protocols Μεγάλο πλήθος πρακτορων Πολύ περιορισµένοι πόροι Παθητική Κίνηση Εχθρικός ροµολογητής και ικαιοσύνη Σταθεροποίηση Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

63 Συµπεράσµατα Ασκήσεις Το επόµενο ϐήµα - 1 Κάναµε µινιµαλιστικές υποθέσεις για το ϐασικό µοντέλο των PPs Καταλαβαίνουµε ακριβώς τι µπορεί να υπολογιστεί Το επόµενο ϐήµα ειναι να ενισχύσουµε το ϐασικό µοντέλο µε ϱεαλιστικές υποθέσεις......και να προσπαθήσουµε να καταλάβουµε πως αυτές επηρρεάζουν την υπολογιστική του δύναµη Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

64 Συµπεράσµατα Ασκήσεις Το επόµενο ϐήµα - 2 Εχουν προταθεί πολλές επεκτάσεις του ϐασικού µοντέλου, όπως: Mediated PPs: κάθε επικοινωνιακός δίαυλος(ακµή) ειναι εξοπλισµένος µε buffer µεγέθους O(1) µπορούµε πλέον να υπολογίσουµε και non-semilinear κατηγορήµατα PALOMA: κάθε πράκτορας έχει µνήµη µεγέθους O(logn) αλγόριθµος για κατασκευή UIDs Πολλή απο την παραπάνω δουλειά έχει γίνει από τους Π.Σπυράκη, Ι.Χατζηγιαννάκη, Ο.Μιχαήλ, Α.Παυλόγιαννη, Σ.Νικολάου, υπάρχει δηλαδή έντονο ερευνητικό ενδιαφέρον στο τµήµα µας. Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

65 Συµπεράσµατα Ασκήσεις Ασκήσεις Ασκηση 1 Εστω C = C 0, C 1,... µία άπειρη εκτέλεση ενός PP A, το οποίο τρέχει σε γράφο αλληλεπιδράσεων G, F C το σύνολο των διαµορφώσεων που εµφανίζονται απείρως συχνά στην C και T FC ο υπογράφος του T(A, G) που επάγεται από το F C. Να δειχθεί ότι η εκτέλεση C είναι υπολογισµός αν και µόνο αν ο T FC είναι µία τελική ισχυρά συνεκτική συνιστώσα του T(A, G). Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

66 Συµπεράσµατα Ασκήσεις Ασκήσεις Ασκηση 2 Εστω ο εξής εναλλακτικός ορισµός της δικαιοσύνης: Ολες οι αλληλεπιδράσεις συµβαίνουν απέιρως συχνά Επάγεται απο αυτόν τον ορισµό το ίδιο αποτέλεσµα µε τον ορισµό της δικαιοσύνης που ορίσαµε; Αν ναι, δικαιολογείστε; Αν όχι, δώστε αντιπαράδειγµα ώστε παράδειγµα δίκαιης εκτέλεσης όπου κάποια αλληλεπίδραση δεν συµβαίνει ποτέ. Υπόδειξη: Χρησιµοποιείστε το leader election σε ένα πολύ απλό δίκτυο Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

67 Συµπεράσµατα Ασκήσεις Ασκήσεις Ασκηση 3 ώστε πρωτόκολλο υπολογισµού του παρακάτω κατηγορηµατος, αν X = {0, 1}: Υπάρχει Ϲυγός αριθµός κόµβων µε είσοδο 1 Υπόδειξη: Χρησιµοποιείστε την ιδέα του live bit, όπως αυτή παρουσιάστηκε στην ιαφάνεια 49 Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

68 Συµπεράσµατα Ασκήσεις Ασκήσεις Ασκηση 4 οθέντος PP A, αν Q είναι το σύνολο καταστάσεων του A και αν το A τρέχει σε πλήρη γράφο αλληλεπιδράσεων n κόµβων, να δειχθεί ότι υπάρχουν (1 + n Q 1 ) Q 1 διαφορετικές διαµορφώσεις Συνδυαστικής ϕυσεως πρόβληµα Αναγωγή στο πρόβληµα τοποθέτησης µπαλών σε κάδους ( ιακριτά 1) Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

69 Συµπεράσµατα Ασκήσεις Ασκήσεις Ασκηση 5 Να δειχθεί πως η κλάση των υπολογίσιµων κατηγορηµάτων είναι κλειστή ως προς τις πράξεις του συµπληρώµατος, της ένωσης και της τοµής Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

70 Συµπεράσµατα Ασκήσεις Ασκήσεις Ασκηση 6 Στο µοντέλο MPP, οι ακµές έχουν πλέον µνήµη και άρα µπορούν να ϐρίσκονται σε κάποια κατάσταση. Εστω πως κάθε πράκτορας παίρνει είσοδο απο το X = {a, b, c} Να δώσετε πρωτόκολλο υπολογισµού του κατηγορήµατος πολλαπλασιασµού, δηλαδή αν N c = N a N b Υποθέστε πλήρες γράφηµα αλληλεπιδράσεων Σε ένα πλήρες γράφηµα, οι πράκτορες µε εισοδο a και οι πράκτορες µε εισοδο b έχουν ακριβώς N a N b ακµές µεταξύ τους Κάθε ακµή ϑα µπορεί να ϐρεθεί στις καταστάσεις marked, unmarked Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

71 Συµπεράσµατα Ασκήσεις Ευχαριστώ Ευχαριστώ πολύ για την προσοχή! Κατανεµηµένα Συστήµατα 1 ΤΜΗΥΠ/ΠΠ, ευτέρα 10 Ιανουαρίου / 71

Ασκήσεις Φροντιστηρίου «Υπολογιστική Νοηµοσύνη Ι» 7ο Φροντιστήριο 15/1/2008

Ασκήσεις Φροντιστηρίου «Υπολογιστική Νοηµοσύνη Ι» 7ο Φροντιστήριο 15/1/2008 Ασκήσεις Φροντιστηρίου «Υπολογιστική Νοηµοσύνη Ι» 7ο Φροντιστήριο 5//008 Πρόβληµα ο Στα παρακάτω ερωτήµατα επισηµαίνουµε ότι perceptron είναι ένας νευρώνας και υποθέτουµε, όπου χρειάζεται, τη χρήση δικτύων

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

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση Διμελής Σχέση Σχέσεις Διδάσκοντες: Φ. Αφράτη, Δ. Επιμέλεια διαφανειών: Δ. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διατεταγμένο ζεύγος (α, β): Δύο αντικείμενα

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

2. Στοιχεία Πολυδιάστατων Κατανοµών

2. Στοιχεία Πολυδιάστατων Κατανοµών Στοιχεία Πολυδιάστατων Κατανοµών Είναι φανερό ότι έως τώρα η µελέτη µας επικεντρώνεται κάθε φορά σε πιθανότητες που αφορούν µία τυχαία µεταβλητή Σε αρκετές όµως περιπτώσεις ενδιαφερόµαστε να εξετάσουµε

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

Σηµειώσεις στις σειρές

Σηµειώσεις στις σειρές . ΟΡΙΣΜΟΙ - ΓΕΝΙΚΕΣ ΕΝΝΟΙΕΣ Σηµειώσεις στις σειρές Στην Ενότητα αυτή παρουσιάζουµε τις βασικές-απαραίτητες έννοιες για την µελέτη των σειρών πραγµατικών αριθµών και των εφαρµογών τους. Έτσι, δίνονται συστηµατικά

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

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθος Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://wwwmathuoigr/ abeligia/linearalgebrai/laihtml

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

Κεφάλαιο 5 Οι χώροι. Περιεχόµενα 5.1 Ο Χώρος. 5.3 Ο Χώρος C Βάσεις Το Σύνηθες Εσωτερικό Γινόµενο Ασκήσεις

Κεφάλαιο 5 Οι χώροι. Περιεχόµενα 5.1 Ο Χώρος. 5.3 Ο Χώρος C Βάσεις Το Σύνηθες Εσωτερικό Γινόµενο Ασκήσεις Σελίδα 1 από 6 Κεφάλαιο 5 Οι χώροι R και C Περιεχόµενα 5.1 Ο Χώρος R Πράξεις Βάσεις Επεξεργασµένα Παραδείγµατα Ασκήσεις 5. Το Σύνηθες Εσωτερικό Γινόµενο στο Ορισµοί Ιδιότητες Επεξεργασµένα Παραδείγµατα

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

ΣΕΙΡΕΣ TAYLOR. Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων. Πολυώνυµο είναι κάθε συνάρτηση της µορφής:

ΣΕΙΡΕΣ TAYLOR. Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων. Πολυώνυµο είναι κάθε συνάρτηση της µορφής: ΣΕΙΡΕΣ TAYLOR Στην Ενότητα αυτή θα ασχοληθούµε µε την προσέγγιση συναρτήσεων µέσω πολυωνύµων Πολυώνυµο είναι κάθε συνάρτηση της µορφής: p( ) = a + a + a + a + + a, όπου οι συντελεστές α i θα θεωρούνται

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

2.2.3 Η εντολή Εκτύπωσε

2.2.3 Η εντολή Εκτύπωσε 2.2.3 Η εντολή Εκτύπωσε Η εντολή Εκτύπωσε χρησιµοποιείται προκειµένου να εµφανίσουµε κάτι στην οθόνη του υπολογιστή. Για τον λόγο αυτό ονοµάζεται και εντολή εξόδου. Ισοδύναµα µπορεί να χρησιµοποιηθεί και

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

11, 12, 13, 14, 21, 22, 23, 24, 31, 32, 33, 34, 41, 42, 43, 44.

11, 12, 13, 14, 21, 22, 23, 24, 31, 32, 33, 34, 41, 42, 43, 44. ΤΕΧΝΙΚΕΣ ΚΑΤΑΜΕΤΡΗΣΗΣ Η καταµετρηση ενος συνολου µε πεπερασµενα στοιχεια ειναι ισως η πιο παλια µαθηµατικη ασχολια του ανθρωπου. Θα µαθουµε πως, δεδοµενης της περιγραφης ενος συνολου, να µπορουµε να ϐρουµε

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

Ανάλυση Δεδοµένων µε χρήση του Στατιστικού Πακέτου R

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

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

ΚΕΦΑΛΑΙΟ 12: Θεωρία υπολογισµών

ΚΕΦΑΛΑΙΟ 12: Θεωρία υπολογισµών ΚΕΦΑΛΑΙΟ 12: Θεωρία υπολογισµών 1 Συναρτήσεις και ο υπολογισµός τους 2 Μηχανές Turing 3 Καθολικές γλώσσες προγραµµατισµού 4 Μια µη υπολογίσιµη συνάρτηση 5 Πολυπλοκότητα προβληµάτων 1 Συναρτήσεις Μία συνάρτηση

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

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008 Μικρό Θεώρηµα του Fermat, η συνάρτηση του Euler και Μαθηµατικοί ιαγωνισµοί Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Αύγουστος 2008 Αλεξανδρος Γ. Συγκελακης

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

Οικονοµικό Πανεπιστήµιο Αθηνών. Τµήµα Πληροφορικής. Φθινοπωρινό Εξάµηνο 2015. Δοµές Δεδοµένων - Εργασία 2. Διδάσκων: E. Μαρκάκης

Οικονοµικό Πανεπιστήµιο Αθηνών. Τµήµα Πληροφορικής. Φθινοπωρινό Εξάµηνο 2015. Δοµές Δεδοµένων - Εργασία 2. Διδάσκων: E. Μαρκάκης Οικονοµικό Πανεπιστήµιο Αθηνών Τµήµα Πληροφορικής Φθινοπωρινό Εξάµηνο 2015 Δοµές Δεδοµένων - Εργασία 2 Διδάσκων: E. Μαρκάκης Ταξινόµηση και Ουρές Προτεραιότητας Σκοπός της 2 ης εργασίας είναι η εξοικείωση

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

ιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων

ιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων ιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο

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

QR είναι ˆx τότε x ˆx. 10 ρ. Ποιά είναι η τιµή του ρ και γιατί (σύντοµη εξήγηση). P = [X. 0, X,..., X. (n 1), X. n] a(n + 1 : 1 : 1)

QR είναι ˆx τότε x ˆx. 10 ρ. Ποιά είναι η τιµή του ρ και γιατί (σύντοµη εξήγηση). P = [X. 0, X,..., X. (n 1), X. n] a(n + 1 : 1 : 1) ΕΠΙΣΤΗΜΟΝΙΚΟΣ ΥΠΟΛΟΓΙΣΜΟΣ I (22 Σεπτεµβρίου) ΕΠΙΛΕΓΜΕΝΕΣ ΑΠΑΝΤΗΣΕΙΣ 1ο ΘΕΜΑ 1. Αφού ορίσετε ακριβώς τι σηµαίνει πίσω ευσταθής υπολογισµός, να εξηγήσετε αν ο υ- πολογισµός του εσωτερικού γινοµένου δύο διανυσµάτων

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

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 7 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Βοηθος Ασκησεων: Χ. Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://www.math.uoi.gr/ abeligia/linearalgebrai/lai.html

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

Mathematics and its Applications, 5th

Mathematics and its Applications, 5th Μαθηµατικα για Πληροφορικη Εφαρµογες και τεχνικες Ηλιας Κουτσουπιάς Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών Σχετικα µε το µαθηµα Σχετικα µε το µαθηµα Το µαθηµα πραγµατευεται καποια ϑεµατα

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

Έργο µιας χρονικά µεταβαλλόµενης δύναµης

Έργο µιας χρονικά µεταβαλλόµενης δύναµης Έργο µιας χρονικά µεταβαλλόµενης δύναµης Κ. Ι. Παπαχρήστου Τοµέας Φυσικών Επιστηµών, Σχολή Ναυτικών οκίµων papachristou@snd.edu.gr Θα συζητήσουµε µερικά λεπτά σηµεία που αφορούν το έργο ενός χρονικά µεταβαλλόµενου

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

Εισαγωγή στους Αλγόριθµους. Αλγόριθµοι. Ιστορικά Στοιχεία. Ο πρώτος Αλγόριθµος. Παραδείγµατα Αλγορίθµων. Τι είναι Αλγόριθµος

Εισαγωγή στους Αλγόριθµους. Αλγόριθµοι. Ιστορικά Στοιχεία. Ο πρώτος Αλγόριθµος. Παραδείγµατα Αλγορίθµων. Τι είναι Αλγόριθµος Εισαγωγή στους Αλγόριθµους Αλγόριθµοι Τι είναι αλγόριθµος; Τι µπορεί να υπολογίσει ένας αλγόριθµος; Πως αξιολογείται ένας αλγόριθµος; Παύλος Εφραιµίδης pefraimi@ee.duth.gr Αλγόριθµοι Εισαγωγικές Έννοιες

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

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 19/05/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/21/2015 1 1 5/21/2015 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που

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

7.5 Πρωτόκολλο IP. Τεχνολογία ικτύων Επικοινωνιών ΙΙ

7.5 Πρωτόκολλο IP. Τεχνολογία ικτύων Επικοινωνιών ΙΙ Τεχνολογία ικτύων Επικοινωνιών ΙΙ 7.5 Πρωτόκολλο IP 38. Τι είναι το πρωτόκολλο ιαδικτύου (Internet Protocol, IP); Είναι το βασικό πρωτόκολλο του επιπέδου δικτύου της τεχνολογίας TCP/IP. Βασίζεται στα αυτοδύναµα

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

Περίληψη ιπλωµατικής Εργασίας

Περίληψη ιπλωµατικής Εργασίας Περίληψη ιπλωµατικής Εργασίας Θέµα: Εναλλακτικές Τεχνικές Εντοπισµού Θέσης Όνοµα: Κατερίνα Σπόντου Επιβλέπων: Ιωάννης Βασιλείου Συν-επιβλέπων: Σπύρος Αθανασίου 1. Αντικείµενο της διπλωµατικής Ο εντοπισµός

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

Σηµειώσεις στις συναρτήσεις

Σηµειώσεις στις συναρτήσεις Σηµειώσεις στις συναρτήσεις 4 Η έννοια της συνάρτησης Ο όρος «συνάρτηση» χρησιµοποιείται αρκετά συχνά για να δηλώσει ότι ένα µέγεθος, µια κατάσταση κτλ εξαρτάται από κάτι άλλο Και στα µαθηµατικά ο όρος

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

Είναι το ηλεκτρικό ρεύµα διανυσµατικό µέγεθος;

Είναι το ηλεκτρικό ρεύµα διανυσµατικό µέγεθος; Είναι το ηλεκτρικό ρεύµα διανυσµατικό µέγεθος; Για να εξετάσουµε το κύκλωµα LC µε διδακτική συνέπεια νοµίζω ότι θα πρέπει να τηρήσουµε τους ορισµούς που δώσαµε στα παιδιά στη Β Λυκείου. Ας ξεκινήσουµε

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

ροµολόγηση πακέτων σε δίκτυα υπολογιστών

ροµολόγηση πακέτων σε δίκτυα υπολογιστών ροµολόγηση πακέτων σε δίκτυα υπολογιστών Συµπληρωµατικές σηµειώσεις για το µάθηµα Αλγόριθµοι Επικοινωνιών Ακαδηµαϊκό έτος 2011-2012 1 Εισαγωγή Οι παρακάτω σηµειώσεις παρουσιάζουν την ανάλυση του άπληστου

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

P (A B) = P (A) + P (B) P (A B)

P (A B) = P (A) + P (B) P (A B) ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-217: Πιθανότητες - Χειµερινό Εξάµηνο 2015 ιδάσκων : Π. Τσακαλίδης Φροντιστήριο 1 Επιµέλεια : Σοφία Σαββάκη Ασκηση 1. Ο εκφωνητής του δελτίου καιρού δίνει

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

Αλγόριθμοι και Πολυπλοκότητα

Αλγόριθμοι και Πολυπλοκότητα Αλγόριθμοι και Πολυπλοκότητα Ροή Δικτύου Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Μοντελοποίηση Δικτύων Μεταφοράς Τα γραφήματα χρησιμοποιούνται συχνά για την μοντελοποίηση

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12)

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΕΡΓΑΣΙΑ η Ηµεροµηνία Αποστολής στον Φοιτητή: 5 Οκτωβρίου 006 Ηµεροµηνία παράδοσης της Εργασίας: 0 Νοεµβρίου 006.

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

Κεφάλαιο 9 ο Κ 5, 4 4, 5 0, 0 0,0 5, 4 4, 5. Όπως βλέπουµε το παίγνιο δεν έχει καµιά ισορροπία κατά Nash σε αµιγείς στρατηγικές διότι: (ΙΙ) Α Κ

Κεφάλαιο 9 ο Κ 5, 4 4, 5 0, 0 0,0 5, 4 4, 5. Όπως βλέπουµε το παίγνιο δεν έχει καµιά ισορροπία κατά Nash σε αµιγείς στρατηγικές διότι: (ΙΙ) Α Κ Κεφάλαιο ο Μεικτές Στρατηγικές Τώρα θα δούµε ένα παράδειγµα στο οποίο κάθε παίχτης έχει τρεις στρατηγικές. Αυτό θα µπορούσε να είναι η µορφή που παίρνει κάποιος µετά που έχει απαλείψει όλες τις αυστηρά

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

ΤΕΙ Κρήτης, Παράρτηµα Χανίων

ΤΕΙ Κρήτης, Παράρτηµα Χανίων ΠΣΕ, Τµήµα Τηλεπικοινωνιών & ικτύων Η/Υ Εργαστήριο ιαδίκτυα & Ενδοδίκτυα Η/Υ ( ηµιουργία συστήµατος µε ροint-tο-ροint σύνδεση) ρ Θεοδώρου Παύλος Χανιά 2003 Περιεχόµενα 1 ΕΙΣΑΓΩΓΗ...2 2 ΤΟ ΚΑΝΑΛΙ PΟINT-TΟ-PΟINT...2

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

----------Εισαγωγή στη Χρήση του SPSS for Windows ------------- Σελίδα: 0------------

----------Εισαγωγή στη Χρήση του SPSS for Windows ------------- Σελίδα: 0------------ ----------Εισαγωγή στη Χρήση του SPSS for Windows ------------- Σελίδα: 0------------ ΚΕΦΑΛΑΙΟ 9 ο 9.1 ηµιουργία µοντέλων πρόβλεψης 9.2 Απλή Γραµµική Παλινδρόµηση 9.3 Αναλυτικά για το ιάγραµµα ιασποράς

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

Προηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων

Προηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 20 εκεµβρίου, 2010 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα

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

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις HY118- ιακριτά Μαθηµατικά Παρασκευή, 06/03/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/8/2015

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

* τη µήτρα. Κεφάλαιο 1o

* τη µήτρα. Κεφάλαιο 1o Κεφάλαιο 1o Θεωρία Παιγνίων Η θεωρία παιγνίων εξετάζει καταστάσεις στις οποίες υπάρχει αλληλεπίδραση µεταξύ ενός µικρού αριθµού ατόµων. Άρα σε οποιαδήποτε περίπτωση, αν ο αριθµός των ατόµων που συµµετέχουν

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

(GNU-Linux, FreeBSD, MacOsX, QNX

(GNU-Linux, FreeBSD, MacOsX, QNX 1.7 διαταξεις (σελ. 17) Παράδειγµα 1 Θα πρέπει να κάνουµε σαφές ότι η επιλογή των λέξεων «προηγείται» και «έπεται» δεν έγινε απλώς για λόγους αφαίρεσης. Μπορούµε δηλαδή να ϐρούµε διάφορα παραδείγµατα στα

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

Κεφάλαιο 5ο: Εντολές Επανάληψης

Κεφάλαιο 5ο: Εντολές Επανάληψης Χρήστος Τσαγγάρης ΕΕ ΙΠ Τµήµατος Μαθηµατικών, Πανεπιστηµίου Αιγαίου Κεφάλαιο 5ο: Εντολές Επανάληψης Η διαδικασία της επανάληψης είναι ιδιαίτερη συχνή, αφού πλήθος προβληµάτων µπορούν να επιλυθούν µε κατάλληλες

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

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA Αριθµοθεωρητικοί Αλγόριθµοι και το Κρυπτοσύστηµα RSA Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Υπολογισµός Μέγιστου Κοινού ιαιρέτη Αλγόριθµος του Ευκλείδη Κλάσεις Ισοδυναµίας και Αριθµητική modulo

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

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA)

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Ντετερμινιστικά Πεπερασμένα Αυτόματα 14-Sep-11 Τυπικός Ορισμός Ντετερμινιστικών

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

Τεχνητή Νοημοσύνη. 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος. http://www.aueb.gr/users/ion/

Τεχνητή Νοημοσύνη. 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος. http://www.aueb.gr/users/ion/ Τεχνητή Νοημοσύνη 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στα βιβλία: Τεχνητή Νοημοσύνη των Βλαχάβα κ.ά., 3η έκδοση, Β. Γκιούρδας

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

Κεφάλαιο 3: Τυχαίες µεταβλητές και κατανοµές πιθανότητας.

Κεφάλαιο 3: Τυχαίες µεταβλητές και κατανοµές πιθανότητας. Κεφάλαιο 3: Τυχαίες µεταβλητές και κατανοµές πιθανότητας. Περιεχόµενα ιακριτές τυχαίες µεταβλητές Συνεχείς τυχαίες µεταβλητές Μέση τιµή τυχαίων µεταβλητών Ροπές, διασπορά, και τυπική απόκλιση τυχαίων µεταβλητών

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

5.1 Θεωρητική εισαγωγή

5.1 Θεωρητική εισαγωγή ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 5 ΚΩ ΙΚΟΠΟΙΗΣΗ BCD Σκοπός: Η κατανόηση της µετατροπής ενός τύπου δυαδικής πληροφορίας σε άλλον (κωδικοποίηση/αποκωδικοποίηση) µε τη µελέτη της κωδικοποίησης BCD

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

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

ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου

ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου ιακριτά Μαθηµατικά Ασκήσεις Φροντιστηρίου Εαρινό Εξάµηνο 2009 Κάτια Παπακωνσταντινοπούλου 1. Εστω A ένα µη κενό σύνολο. Να δείξετε ότι η αλγεβρική δοµή (P(A), ) είναι αβελιανή οµάδα. 2. Εστω ένα ξενοδοχείο

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

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x.

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x. Κεφάλαιο 4 Μήκη και ορθές γωνίες Μήκος διανύσµατος Στο επίπεδο, R 2, ϐρίσκουµε το µήκος ενός διανύσµατος x = (x 1, x 2 ) χρησιµοποιώντας το Πυθαγόρειο ϑεώρηµα : x 2 = x 2 1 + x 2 2. Στο χώρο R 3, εφαρµόζουµε

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

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις ΚΕΦΑΛΑΙΟ 2 Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις 2.1 ΕΙΣΑΓΩΓΗ Όπως έχουµε δει, για να προσδιορίσουµε τις αποκρίσεις ενός κυκλώµατος, πρέπει να λύσουµε ένα σύνολο διαφορικών

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

ΕΙΣΑΓΩΓΗ ΣΤΟ MATLAB- SIMULINK

ΕΙΣΑΓΩΓΗ ΣΤΟ MATLAB- SIMULINK ΕΙΣΑΓΩΓΗ ΣΤΟ MATLAB- SIMULINK ρ. Γεώργιος Φ. Φραγκούλης Καθηγητής Ver. 0.2 9/2012 ιανύσµατα & ισδιάστατοι πίνακες Ένα διάνυσµα u = (u1, u2,, u ) εισάγεται στη MATLAB ως εξής : u=[ u1, u2,, un ] ή u=[ u1

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

ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ

ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ ΣΕΝΑΡΙΟ ΠΑΙΧΝΙ ΙΟΥ Το παιχνίδι θα αποτελείται από δυο παίκτες, οι οποίοι θα βρίσκονται αντικριστά στις άκρες ενός γηπέδου δεξιά και αριστερά, και µια µπάλα.

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

Κανόνες για ανάπτυξη διαγραµµάτων κλάσεων

Κανόνες για ανάπτυξη διαγραµµάτων κλάσεων 1 Ελληνικό Ανοικτό Πανεπιστήµιο Κανόνες για ανάπτυξη διαγραµµάτων κλάσεων ρ. Πάνος Φιτσιλής 2 Περιεχόµενα Προσδιορισµός κλάσεων Πως να ονοµάσουµε τις κλάσεις; Που να τις βρούµε; Τι να κοιτάξουµε; Τι να

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

Κεφάλαιο 7 Βασικά Θεωρήµατα του ιαφορικού Λογισµού

Κεφάλαιο 7 Βασικά Θεωρήµατα του ιαφορικού Λογισµού Σελίδα 1 από Κεφάλαιο 7 Βασικά Θεωρήµατα του ιαφορικού Λογισµού Στο κεφάλαιο αυτό θα ασχοληθούµε µε τα βασικά θεωρήµατα του διαφορικού λογισµού καθώς και µε προβλήµατα που µπορούν να επιλυθούν χρησιµοποιώντας

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

Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)

Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα ροής και το πρόβληµα της µέγιστης ροής Η µεθοδολογία Ford-Fulkerson Ο αλγόριθµος Edmonds-Karps ΕΠΛ 232

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

ΚΕΦΑΛΑΙΟ 18. 18 Μηχανική Μάθηση

ΚΕΦΑΛΑΙΟ 18. 18 Μηχανική Μάθηση ΚΕΦΑΛΑΙΟ 18 18 Μηχανική Μάθηση Ένα φυσικό ή τεχνητό σύστηµα επεξεργασίας πληροφορίας συµπεριλαµβανοµένων εκείνων µε δυνατότητες αντίληψης, µάθησης, συλλογισµού, λήψης απόφασης, επικοινωνίας και δράσης

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

a = 10; a = k; int a,b,c; a = b = c = 10;

a = 10; a = k; int a,b,c; a = b = c = 10; C: Από τη Θεωρία στην Εφαρµογή Κεφάλαιο 4 ο Τελεστές Γ. Σ. Τσελίκης Ν. Δ. Τσελίκας Ο τελεστής εκχώρησης = Ο τελεστής = χρησιµοποιείται για την απόδοση τιµής (ή αλλιώς ανάθεση τιµής) σε µία µεταβλητή Π.χ.

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

4.3. Γραµµικοί ταξινοµητές

4.3. Γραµµικοί ταξινοµητές Γραµµικοί ταξινοµητές Γραµµικός ταξινοµητής είναι ένα σύστηµα ταξινόµησης που χρησιµοποιεί γραµµικές διακριτικές συναρτήσεις Οι ταξινοµητές αυτοί αναπαρίστανται συχνά µε οµάδες κόµβων εντός των οποίων

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

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

ΣΗΜΕΙΩΣΕΙΣ ΓΙΑ ΤΟ ΜΑΘΗΜΑ ΣΤΑΤΙΣΤΙΚΗ ΓΙΑ ΠΟΛΙΤΙΚΟΥΣ ΜΗΧΑΝΙΚΟΥΣ ΜΕΡΟΣ Β ΣΗΜΕΙΩΣΕΙΣ ΓΙΑ ΤΟ ΜΑΘΗΜΑ ΣΤΑΤΙΣΤΙΚΗ ΓΙΑ ΠΟΛΙΤΙΚΟΥΣ ΜΗΧΑΝΙΚΟΥΣ ΜΕΡΟΣ Β ηµήτρης Κουγιουµτζής http://users.auth.gr/dkugiu/teach/civilengineer E mail: dkugiu@gen.auth.gr 1/11/2009 2 Περιεχόµενα 1 ΠΕΡΙΓΡΑΦΙΚΗ

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

Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ. 3.1 Η έννοια της παραγώγου. y = f(x) f(x 0 ), = f(x 0 + x) f(x 0 )

Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ. 3.1 Η έννοια της παραγώγου. y = f(x) f(x 0 ), = f(x 0 + x) f(x 0 ) Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ 3.1 Η έννοια της παραγώγου Εστω y = f(x) µία συνάρτηση, που συνδέει τις µεταβλητές ποσότητες x και y. Ενα ερώτηµα που µπορεί να προκύψει καθώς µελετούµε τις δύο αυτές ποσοτήτες είναι

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

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι (2006-07)

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι (2006-07) ΤΕΙ ΥΤΙΚΗΣ ΜΑΚΕ ΟΝΙΑΣ ΠΑΡΑΡΤΗΜΑ ΚΑΣΤΟΡΙΑΣ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι (2006-07) Επιµέλεια Σηµειώσεων : Βασιλειάδης Γεώργιος Καστοριά, εκέµβριος 2006

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

ΠΟΤΕ ΙΣΧΥΕΙ Η ΑΡΧΗ ΤΗΣ ΕΛΑΧΙΣΤΗΣ ΔΡΑΣΕΩΣ. φυσικό σύστηµα; Πρόκειται για κίνηση σε συντηρητικό πεδίο δυνάµεων;

ΠΟΤΕ ΙΣΧΥΕΙ Η ΑΡΧΗ ΤΗΣ ΕΛΑΧΙΣΤΗΣ ΔΡΑΣΕΩΣ. φυσικό σύστηµα; Πρόκειται για κίνηση σε συντηρητικό πεδίο δυνάµεων; ΠΟΤΕ ΙΣΧΥΕΙ Η ΑΡΧΗ ΤΗΣ ΕΛΑΧΙΣΤΗΣ ΔΡΑΣΕΩΣ Είδαµε ότι η φυσική κίνηση ενός σωµατιδίου σε συντηρητικό πεδίο ικανοποιεί την αρχή ελάχιστης δράσης του Hamilton µε Λαγκρανζιανή, όπου η κινητική ενέργεια του

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

Αλγόριθµοι δροµολόγησης µε µέσα µαζικής µεταφοράς στο µεταφορικό δίκτυο των Αθηνών

Αλγόριθµοι δροµολόγησης µε µέσα µαζικής µεταφοράς στο µεταφορικό δίκτυο των Αθηνών 1 Αλγόριθµοι δροµολόγησης µε µέσα µαζικής µεταφοράς στο µεταφορικό δίκτυο των Αθηνών ΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ της Κωτσογιάννη Μαριάννας Περίληψη 1. Αντικείµενο- Σκοπός Αντικείµενο της διπλωµατικής αυτής εργασίας

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΙΩΑΝΝΗΣ Α. ΤΣΑΓΡΑΚΗΣ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΜΕΡΟΣ 5: ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΥΠΟΧΩΡΟΙ ΓΡΑΜΜΙΚΗ ΑΝΕΞΑΡΤΗΣΙΑ ΒΑΣΕΙΣ & ΔΙΑΣΤΑΣΗ Δ.Χ. ΣΗΜΕΙΩΣΕΙΣ

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

Τα είδη της κρούσης, ανάλογα µε την διεύθυνση κίνησης των σωµάτων πριν συγκρουστούν. (α ) Κεντρική (ϐ ) Εκκεντρη (γ ) Πλάγια

Τα είδη της κρούσης, ανάλογα µε την διεύθυνση κίνησης των σωµάτων πριν συγκρουστούν. (α ) Κεντρική (ϐ ) Εκκεντρη (γ ) Πλάγια 8 Κρούσεις Στην µηχανική µε τον όρο κρούση εννοούµε τη σύγκρουση δύο σωµάτων που κινούνται το ένα σχετικά µε το άλλο.το ϕαινόµενο της κρούσης έχει δύο χαρακτηριστικά : ˆ Εχει πολύ µικρή χρονική διάρκεια.

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ ΘΕΜΑ 1 ο (2.5 µονάδες) ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΝΕΥΡΩΝΙΚΑ ΙΚΤΥΑ Τελικές εξετάσεις 21 Σεπτεµβρίου 2004 ιάρκεια: 3 ώρες Το παρακάτω σύνολο

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

Μηχανές Πεπερασµένων Καταστάσεων

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

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

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

Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ) Η ΤΕΧΝΗ ΤΟΥ ΙΑΒΑΣΜΑΤΟΣ ΜΕΤΑΞΥ ΤΩΝ ΑΡΙΘΜΩΝ (ΠΑΡΕΜΒΟΛΗ ΚΑΙ ΠΡΟΣΕΓΓΙΣΗ) ΜΙΧΑΛΗΣ ΤΖΟΥΜΑΣ ΕΣΠΟΤΑΤΟΥ 3 ΑΓΡΙΝΙΟ. ΠΕΡΙΛΗΨΗ Η έννοια της συνάρτησης είναι στενά συνυφασµένη µε τον πίνακα τιµών και τη γραφική παράσταση.

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

Οι θεµελιώδεις έννοιες που απαιτούνται στη Επαγωγική Στατιστική (Εκτιµητική, ιαστήµατα Εµπιστοσύνης και Έλεγχοι Υποθέσεων) είναι:

Οι θεµελιώδεις έννοιες που απαιτούνται στη Επαγωγική Στατιστική (Εκτιµητική, ιαστήµατα Εµπιστοσύνης και Έλεγχοι Υποθέσεων) είναι: Κατανοµές ειγµατοληψίας 1.Εισαγωγή Οι θεµελιώδεις έννοιες που απαιτούνται στη Επαγωγική Στατιστική (Εκτιµητική, ιαστήµατα Εµπιστοσύνης και Έλεγχοι Υποθέσεων) είναι: 1. Στατιστικής και 2. Κατανοµής ειγµατοληψίας

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

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ.

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ. Παραδείγματα Απαρίθμησης Γνωστό: P (M 2 M τρόποι επιλογής υποσυνόλου του M Τεχνικές Απαρίθμησης Πχ M {A, B, C} P (M 2 3 8 #(Υποσυνόλων με 2 στοιχεία ( 3 2 3 #(Διατεταγμένων υποσυνόλων με 2 στοιχεία 3 2

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

Κεφάλαιο 6 Παράγωγος

Κεφάλαιο 6 Παράγωγος Σελίδα από 5 Κεφάλαιο 6 Παράγωγος Στο κεφάλαιο αυτό στόχος µας είναι να συνδέσουµε µία συγκεκριµένη συνάρτηση f ( ) µε µία δεύτερη συνάρτηση f ( ), την οποία και θα ονοµάζουµε παράγωγο της f. Η τιµή της

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

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ ΕΞΙΣΩΣΕΩΝ

ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ ΕΞΙΣΩΣΕΩΝ ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ ΕΞΙΣΩΣΕΩΝ Θα ξεκινήσουµε την παρουσίαση των γραµµικών συστηµάτων µε ένα απλό παράδειγµα από τη Γεωµετρία, το οποίο ϑα µας ϐοηθήσει στην κατανόηση των συστηµάτων αυτών και των συνθηκών

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

Προσδιορισµός της φασµατικής ισχύος ενός σήµατος

Προσδιορισµός της φασµατικής ισχύος ενός σήµατος Προσδιορισµός της φασµατικής ισχύος ενός σήµατος Το φάσµα ενός χρονικά εξαρτώµενου σήµατος µας πληροφορεί πόσο σήµα έχουµε σε µία δεδοµένη συχνότητα. Έστω µία συνάρτηση µίας µεταβλητής, τότε από το θεώρηµα

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

Οι πράξεις που χρειάζονται για την επίλυση αυτών των προβληµάτων (αφού είναι απλές) µπορούν να τεθούν σε µια σειρά και πάρουν µια αλγοριθµική µορφή.

Οι πράξεις που χρειάζονται για την επίλυση αυτών των προβληµάτων (αφού είναι απλές) µπορούν να τεθούν σε µια σειρά και πάρουν µια αλγοριθµική µορφή. Η Αριθµητική Ανάλυση χρησιµοποιεί απλές αριθµητικές πράξεις για την επίλυση σύνθετων µαθηµατικών προβληµάτων. Τις περισσότερες φορές τα προβλήµατα αυτά είναι ή πολύ περίπλοκα ή δεν έχουν ακριβή αναλυτική

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

Εργαστήριο ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ. Εισαγωγή

Εργαστήριο ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ. Εισαγωγή Εισαγωγή Εργαστήριο ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ Ξεκινάµε την εργαστηριακή µελέτη της Ψηφιακής Λογικής των Η/Υ εξετάζοντας αρχικά τη µορφή των δεδοµένων που αποθηκεύουν και επεξεργάζονται οι υπολογιστές και προχωρώντας

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ ΠΑΙΓΝΙΩΝ Τελικές Εξετάσεις Παρασκευή 16 Οκτωβρίου 2007 ιάρκεια εξέτασης: 3 ώρες (15:00-18:00) ΘΕΜΑ 1

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

Παράρτηµα 3 Εξισώσεις Διαφορών και Στοχαστικές Διαδικασίες

Παράρτηµα 3 Εξισώσεις Διαφορών και Στοχαστικές Διαδικασίες Γιώργος Αλογοσκούφης, Θέµατα Δυναµικής Μακροοικονοµικής, Αθήνα 0 Παράρτηµα 3 Εξισώσεις Διαφορών και Στοχαστικές Διαδικασίες Στο παράρτηµα αυτό εξετάζουµε τις ιδιότητες και τους τρόπους επίλυσης των εξισώσεων

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

Πρόβληµα 2 (15 µονάδες)

Πρόβληµα 2 (15 µονάδες) ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΕΦΑΡΜΟΓΕΣ, 2013-2014 ΔΙΔΑΣΚΩΝ: Ε. Μαρκάκης Πρόβληµα 1 (5 µονάδες) 2 η Σειρά Ασκήσεων Προθεσµία Παράδοσης: 19/1/2014 Υπολογίστε

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

5. Γεννήτριες Τυχαίων Αριθµών.

5. Γεννήτριες Τυχαίων Αριθµών. 5. Γεννήτριες Τυχαίων Αριθµών. 5.1. Εισαγωγή. Στο Κεφάλαιο αυτό θα δούµε πώς µπορούµε να δηµιουργήσουµε τυχαίους αριθµούς από την οµοιόµορφη κατανοµή στο διάστηµα [0,1]. Την κατανοµή αυτή, συµβολίζουµε

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

ΚΕΦΑΛΑΙΟ 1 Ο ΠΙΘΑΝΟΤΗΤΕΣ

ΚΕΦΑΛΑΙΟ 1 Ο ΠΙΘΑΝΟΤΗΤΕΣ ΚΕΦΛΙΟ Ο ΠΙΘΝΟΤΗΤΕΣ. Εισαγωγή Στην Θεωρία Πιθανοτήτων, ξεκινάµε από το λεγόµενο πείραµα δηλαδή µια διαδικασία η οποία µπορεί να επαναληφθεί θεωρητικά άπειρες φορές, κάτω από τις ίδιες ουσιαστικά συνθήκες,

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

5. Μέθοδοι αναγνώρισης εκπαίδευση χωρίς επόπτη

5. Μέθοδοι αναγνώρισης εκπαίδευση χωρίς επόπτη 5. Μέθοδοι αναγνώρισης εκπαίδευση χωρίς επόπτη Tο πρόβληµα του προσδιορισµού των συγκεντρώσεων των προτύπων, όταν δεν είναι γνωστό το πλήθος τους και η ταυτότητα των προτύπων, είναι δύσκολο και για την

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

Αλγόριθµοι Οπισθοδρόµησης

Αλγόριθµοι Οπισθοδρόµησης Αλγόριθµοι Οπισθοδρόµησης Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Η οπισθοδρόµηση στο σχεδιασµό αλγορίθµων Το πρόβληµα των σταθερών γάµων και ο αλγόριθµος των Gale-Shapley Το πρόβληµα

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

Άρα, Τ ser = (A 0 +B 0 +B 0 +A 0 ) επίπεδο 0 + (A 1 +B 1 +A 1 ) επίπεδο 1 + +(B 5 ) επίπεδο 5 = 25[χρονικές µονάδες]

Άρα, Τ ser = (A 0 +B 0 +B 0 +A 0 ) επίπεδο 0 + (A 1 +B 1 +A 1 ) επίπεδο 1 + +(B 5 ) επίπεδο 5 = 25[χρονικές µονάδες] Α. Στο παρακάτω διάγραµµα εµφανίζεται η εκτέλεση ενός παράλληλου αλγόριθµου που λύνει το ίδιο πρόβληµα µε έναν ακολουθιακό αλγόριθµο χωρίς πλεονασµό. Τα Α i και B i αντιστοιχούν σε ακολουθιακά υποέργα

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

Κεφάλαιο 2: ιατάξεις και Συνδυασµοί.

Κεφάλαιο 2: ιατάξεις και Συνδυασµοί. Κεφάλαιο : ιατάξεις και Συνδυασµοί. Περιεχόµενα Εισαγωγή Βασική αρχή απαρίθµησης ιατάξεις µε και χωρίς επανατοποθέτηση Συνδυασµοί Ασκήσεις Εισαγωγή Μέχρι το τέλος αυτού του κεφαλαίου ϑα ϑεωρούµε πειράµατα

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

Αριθµητική Ανάλυση. ιδάσκοντες: Καθηγητής Ν. Μισυρλής, Επίκ. Καθηγητής Φ.Τζαφέρης ΕΚΠΑ. 16 Ιανουαρίου 2015

Αριθµητική Ανάλυση. ιδάσκοντες: Καθηγητής Ν. Μισυρλής, Επίκ. Καθηγητής Φ.Τζαφέρης ΕΚΠΑ. 16 Ιανουαρίου 2015 Αριθµητική Ανάλυση ιδάσκοντες: Καθηγητής Ν. Μισυρλής, Επίκ. Καθηγητής Φ.Τζαφέρης ΕΚΠΑ 16 Ιανουαρίου 2015 ιδάσκοντες:καθηγητής Ν. Μισυρλής,Επίκ. Καθηγητής Φ.Τζαφέρης Αριθµητική (ΕΚΠΑ) Ανάλυση 16 Ιανουαρίου

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

K είναι το σύνολο των καταστάσεων. Σ είναι το αλφάβητο των συµβόλων που χρησιµοποιούνται και το οποίο. s K είναι η αρχική κατάσταση της M.

K είναι το σύνολο των καταστάσεων. Σ είναι το αλφάβητο των συµβόλων που χρησιµοποιούνται και το οποίο. s K είναι η αρχική κατάσταση της M. Ισοδυναµία των Μηχανών Turing (TM) Αλέξανδρος Γ. Συγκελάκης 11 Απριλίου 2006 1 Βασική µορφή Μηχανών Turing (BTM) Η ϐασική µορφή της Μηχανής Turing (ΒΤΜ) αποτελείται από ένα σύνολο εντολών, µία ταινία που

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

1. Βάσεις αριθμητικών συστημάτων 2. Μετατροπές μεταξύ ξύβάσεων 3. Αρνητικοί δυαδικοί αριθμοί 4. Αριθμητικές πράξεις δυαδικών αριθμών

1. Βάσεις αριθμητικών συστημάτων 2. Μετατροπές μεταξύ ξύβάσεων 3. Αρνητικοί δυαδικοί αριθμοί 4. Αριθμητικές πράξεις δυαδικών αριθμών ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΥΠΟΛΟΓΙΣΤΩΝ MHXANIKOI Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΥΑ ΙΚΟΙ ΑΡΙΘΜΟΙ (ΑΚΕΡΑΙΟΙ ΑΡΙΘΜΟΙ) Γ. Τσιατούχας Παράρτηµα A ιάρθρωση 1. Βάσεις αριθμητικών συστημάτων 2. Μετατροπές μεταξύ ξύβάσεων 3. Αρνητικοί

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

Ευφυείς Τεχνολογίες ----Πράκτορες

Ευφυείς Τεχνολογίες ----Πράκτορες Ευφυείς Τεχνολογίες ----Πράκτορες Ενότητα 3: Εισαγωγή στους Ευφυείς Πράκτορες Δημοσθένης Σταμάτης demos@it.teithe.gr www.it.teithe.gr/~demos Μαθησιακοί Στόχοι της ενότητας 3 H κατανόηση της φύσης των πρακτόρων

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

Εισαγωγή ΕΙΣΑΓΩΓΗ ΣΤΑ ΓΣΠ

Εισαγωγή ΕΙΣΑΓΩΓΗ ΣΤΑ ΓΣΠ ΕΙΣΑΓΩΓΗ ΣΤΑ ΓΣΠ Τα τελευταία 25 χρόνια, τα προβλήµατα που σχετίζονται µε την διαχείριση της Γεωγραφικής Πληροφορίας αντιµετωπίζονται σε παγκόσµιο αλλά και εθνικό επίπεδο µε την βοήθεια των Γεωγραφικών

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία

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

Στοχαστικά Σήµατα και Εφαρµογές

Στοχαστικά Σήµατα και Εφαρµογές Στοχαστικά Σήµατα & Εφαρµογές Ανασκόπηση Στοιχείων Γραµµικής Άλγεβρας ιδάσκων: Ν. Παπανδρέου (Π.. 407/80) Πανεπιστήµιο Πατρών ΤµήµαΜηχανικώνΗ/Υ και Πληροφορικής ιανύσµατα Ορίζουµετοδιάνυσµα µε Ν στοιχεία

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

ΙΙΙ εσµευµένη Πιθανότητα

ΙΙΙ εσµευµένη Πιθανότητα ΙΙΙ εσµευµένη Πιθανότητα 1 Λυµένες Ασκήσεις Ασκηση 1 Στρίβουµε ένα νόµισµα δύο ϕορές. Υποθέτοντας ότι και τα τέσσερα στοιχεία του δειγµατοχώρου Ω {(K, K, (K, Γ, (Γ, K, (Γ, Γ} είναι ισοπίθανα, ποια είναι

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

Β06Σ03 ΣΤΑΤΙΣΤΙΚΗ ΠΕΡΙΓΡΑΦΙΚΗ ΕΦΑΡΜΟΣΜΕΝΗ ΣΤΗΝ ΨΥΧΟΠΑΙΔΑΓΩΓΙΚΗ

Β06Σ03 ΣΤΑΤΙΣΤΙΚΗ ΠΕΡΙΓΡΑΦΙΚΗ ΕΦΑΡΜΟΣΜΕΝΗ ΣΤΗΝ ΨΥΧΟΠΑΙΔΑΓΩΓΙΚΗ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΑΓΩΓΗΣ ΠΑΙΔΑΓΩΓΙΚΟ ΤΜΗΜΑ ΔΗΜΟΤΙΚΗΣ ΕΚΠΑΙΔΕΥΣΗΣ Β06Σ03 ΣΤΑΤΙΣΤΙΚΗ ΠΕΡΙΓΡΑΦΙΚΗ ΕΦΑΡΜΟΣΜΕΝΗ ΣΤΗΝ ΨΥΧΟΠΑΙΔΑΓΩΓΙΚΗ Ενότητα 2: Επαγωγική-περιγραφική στατιστική, παραµετρικές

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

Εφαρμοσμένη Κρυπτογραφία Ι

Εφαρμοσμένη Κρυπτογραφία Ι Εφαρμοσμένη Κρυπτογραφία Ι Κωνσταντίνου Ελισάβετ ekonstantinou@aegean.gr http://www.icsd.aegean.gr/ekonstantinou Ησυνάρτησηφ(.) του Euler Για κάθε ακέραιο n> 0, έστω φ(n) το πλήθος των ακεραίων στο διάστημα

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

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

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΛΓΟΡΙΘΜΩΝ ΒΟΗΘΟΣ: ΒΑΓΓΕΛΗΣ ΔΟΥΡΟΣ 1 ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΛΓΟΡΙΘΜΩΝ ΒΟΗΘΟΣ: ΒΑΓΓΕΛΗΣ ΔΟΥΡΟΣ Φροντιστήριο #2: Πολυωνυμικοί Αλγόριθμοι, Εισαγωγή στα Γραφήματα, Αναζήτηση κατά Βάθος, Τοπολογική Ταξινόμηση

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

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

ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ ΜΕΡΟΣ ΤΡΙΤΟ Ένταξη των Τ.Π.Ε. στην διδασκαλία και τη µάθηση I) ΣΤΟΙΧΕΙΑ ΘΕΜΕΛΙΩΣΕΩΝ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΜΗΧΑΝΩΝ ΓΙΑ ΤΟ ΓΥΜΝΑΣΙΟ ΚΑΙ ΤΟ ΛΥΚΕΙΟ Παύλος Γ. Σπυράκης (google: Paul Spirakis) Ερευνητικό Ακαδηµαϊκό

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

Κανονικ ες ταλαντ ωσεις

Κανονικ ες ταλαντ ωσεις Κανονικες ταλαντωσεις Ειδαµε ηδη οτι φυσικα συστηµατα πλησιον ενος σηµειου ευαταθους ισορροπιας συ- µπεριφερονται οπως σωµατιδια που αλληλεπιδρουν µε γραµµικες δυναµεις επαναφορας οπως θα συνεαινε σε σωµατιδια

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

Αριθµητική Παραγώγιση και Ολοκλήρωση

Αριθµητική Παραγώγιση και Ολοκλήρωση Ιαν. 9 Αριθµητική Παραγώγιση και Ολοκλήρωση Είδαµε στο κεφάλαιο της παρεµβολής συναρτήσεων πώς να προσεγγίζουµε µια (συνεχή) συνάρτηση f από ένα πολυώνυµο, όταν γνωρίζουµε + σηµεία του γραφήµατος της συνάρτησης:

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

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΑΝΑΛΗΨΗΣ 1) Πότε χρησιμοποιείται η δομή επανάληψης

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

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

ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ

ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ Γιώργος Πρέσβης ΜΑΘΗΜΑΤΙΚΑ B ΛΥΚΕΙΟΥ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΚΕΦΑΛΑΙΟ Ο : ΕΞΙΣΩΣΗ ΕΥΘΕΙΑΣ ΕΠΑΝΑΛΗΨΗ Φροντιστήρια Φροντιστήρια ΜΕΘΟΔΟΛΟΓΙΑ ΑΣΚΗΣΕΩΝ 1η Κατηγορία : Εξίσωση Γραμμής 1.1 Να εξετάσετε

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

ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΠΑΡΑΣΚΕΥΗ 30 MAΪΟΥ

ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΠΑΡΑΣΚΕΥΗ 30 MAΪΟΥ ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΠΑΝΕΛΛΑ ΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΕΠΑΛ (ΟΜΑ Α Β ) ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΠΑΡΑΣΚΕΥΗ 30 MAΪΟΥ 04 Λύσεις των θεµάτων

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

4. ΠΕΠΕΡΑΣΜΕΝΑ ΣΤΟΙΧΕΙΑ ΣΕ ΜΟΝΟ ΙΑΣΤΑΤΑ ΠΡΟΒΛΗΜΑΤΑ. φ για την εφαρµογή της µεθόδου Galerkin δεν

4. ΠΕΠΕΡΑΣΜΕΝΑ ΣΤΟΙΧΕΙΑ ΣΕ ΜΟΝΟ ΙΑΣΤΑΤΑ ΠΡΟΒΛΗΜΑΤΑ. φ για την εφαρµογή της µεθόδου Galerkin δεν . ΠΕΠΕΡΑΣΜΕΝΑ ΣΤΟΙΧΕΙΑ ΣΕ ΜΟΝΟ ΙΑΣΤΑΤΑ ΠΡΟΒΛΗΜΑΤΑ Η επιλογή των συναρτήσεων βάσης ( ) φ για την εφαρµογή της µεθόδου Galrkn δεν είναι τόσο απλή, και στην γενική περίπτωση είναι µία δύσκολη διαδικασία.

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

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή KΕΦΑΛΑΙΟ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ ιατεταγµένα σώµατα-αξίωµα πληρότητας Ένα σύνολο Σ καλείται διατεταγµένο σώµα όταν στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι

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

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

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

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