Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας
|
|
- Άτροπος Αντωνοπούλου
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα Μέθοδοι ελέγχου και εξακρίβωσης ορθής λειτουργίας Μ.Στεφανιδάκης
2 Ενσωματωμένα Συστήματα: Απαιτήσεις Αξιοπιστία (reliability) Χρηστικότητα (usability) Προσαρμοστικότητα (adaptability) Χρήση από μη ειδικευμένους χειριστές Σε απροσδιόριστες συνθήκες Ασφάλεια (safety) Safety-critical systems Οχήματα Αεροσκάφη Ιατρικά μηχανήματα... Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 2
3 Ασφάλεια: βασικές έννοιες Ηέννοια του ατυχήματος Μη αναμενόμενη σειρά γεγονότων Με αποτέλεσμα Βλάβη ζωής Βλάβη περιουσίας ή εξοπλισμού Βλάβη περιβάλλοντος Κίνδυνος ατυχήματος Σοβαρότητα Πιθανότητα εκδήλωσης Αδυναμία αποκλεισμού ατυχήματος! Μόνο μείωση του κινδύνου ατυχήματος Με αύξηση του κόστους του συστήματος Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 3
4 Τμήματα εφαρμογής ελέγχου (χειριστής) υπολογιστής ADC αισθητήρες ελεγχόμενο σύστημα DAC διάταξη ελέγχου (actuator) Πιθανότητα αστοχίας Σε οποιοδήποτε από τα εμπλεκόμενα μέρη Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 4
5 Ασφαλείς εφαρμογές Fail-safe Άμεση αναγνώριση σφαλμάτων Από υλικό, λογισμικό ή χειριστή Αντίδραση σε σύντομο χρόνο Πριν να επηρεαστεί η συμπεριφορά του συστήματος Μετάβαση σε ασφαλή κατάσταση (safe state) Γενικά: μη λειτουργική κατάσταση!! Fail-operational Συνέχιση παροχής κρίσιμης υπηρεσίας Μετά από την εμφάνιση σφάλματος Πιθανώς: με υποβαθμισμένη ποιότητα Π.χ.: έλεγχος πτήσης αεροσκαφών Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 5
6 Σφάλματα Οδήγηση συστήματος σε εσφαλμένη κατάσταση Είδη σφαλμάτων Τυχαία Σκόπιμα Φυσικά Λόγω σχεδιασμού Εσωτερικά Εξωτερικά Από αστοχία συστήματος ή εξωτερικούς παράγοντες Προσωρινά Μόνιμα Πιθανώς: μόνιμη κατάσταση στο σύστημα Αναγκαιότητα εξωτερικής επέμβασης - επισκευής Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 6
7 Αντιμετώπιση σφαλμάτων Σε επίπεδο αρχιτεκτονικής συστήματος Διαφανώς ως προς την εφαρμογή Σύνθετο σύστημα πρόσθετο υλικό Σε επίπεδο εφαρμογής Πρόσθετες λειτουργίες ανίχνευσης και διόρθωσης Πολυπλοκότερο λογισμικό (εφαρμογής) Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 7
8 Αστοχίες λόγω σφαλμάτων Απόκλιση από την προσχεδιασμένη λειτουργία Λόγω μετάβασης σε κατάσταση λάθους......η οποία προκαλείται από σφάλματα Είδη αστοχιών Υπολογιζόμενων τιμών Χρονικές Μόνιμες Προσωρινές Απλές Καταστροφικές Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 8
9 Αστοχίες σε κατανεμημένα συστήματα Συνεκτική μετάδοση της πληροφορίας Όλα τα υποσυστήματα λαμβάνουν την ίδια πληροφορία fail-consistent fail-silent (ορθή μετάδοση ή καθόλου) fail-stop Μη συνεκτική μετάδοση Διαφορετικά (εσφαλμένα) αποτελέσματα Malicious (Byzantine) failures Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 9
10 Ανοχή σε σφάλματα Μέσω πολλαπλών ίδιων τμημάτων (replicas) Για την αντιμετώπιση k αστοχιών του ίδιου τύπου χρειάζονται: k+1 τμήματα (fail-silent) Αντίγραφα σε αναμονή 2k+1 τμήματα (fail-consistent) Διαδικασία ψηφοφορίας 3k+1 τμήματα (malicious) Πρωτόκολλα συμφωνίας με καθολική ανταλλαγή πληροφοριών Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 10
11 Διόρθωση σφάλματος: exceptions Παρουσία σφάλματος σε διεργασία Δημιουργία exception Από υλικό ή λογισμικό Εκτέλεση ρουτίνας εξυπηρέτησης Επηρεάζει τον χρόνο WCET της διεργασίας! Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 11
12 Ανάλυση συνθηκών σφάλματος Failure mode and Effects analysis (FMEA) Σε κάθε επιμέρους τμήμα του συστήματος Τυχαία σφάλματα υλικού Κατασκευαστικές αστοχίες Προγραμματιστικά λάθη Επιβάρυνση περιβαλλοντικών παραγόντων Σφάλματα συντήρησης Διορθώσεις για τη μείωση πιθανότητας σφάλματος Αύξηση ποιότητας και αξιοπιστίας τμημάτων Διατάξεις ασφάλειας (εσωτερικές & εξωτερικές) Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 12
13 Άλλες μέθοδοι ανάλυσης Fault Tree Analysis (FTA) Ξεκινώντας από αναγνωρισμένο σφάλμα Ανίχνευση τμημάτων που μπορούν να το προκαλέσουν Και καθορισμός μέτρων για τον περιορισμό του (Probabilistic) Risk Analysis ([P]RA) Ποσοτική μέθοδος Πιθανότητα σφάλματος κάθε υποτμήματος π.χ. ανά ώρα λειτουργίας Εξαγωγή συνοπτικής πιθανότητας σφάλματος Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 13
14 Παράδειγμα FTA Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 14
15 Σφάλματα ανάπτυξης Πως διαπιστώνεται η ορθή λειτουργία του νέου συστήματος; Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 15
16 Έλεγχος ορθής λειτουργίας Σε πολλά συστήματα: το μεγαλύτερο μέρος του κύκλου ανάπτυξης! Δοκιμαστική λειτουργία (testing) Με επιλεγμένα δεδομένα εισόδου Για τον έλεγχο παρεχόμενων λειτουργιών Και τήρηση χρονικών προθεσμιών Formal Methods Μαθηματικές και λογικές τεχνικές Για την απεικόνιση ενός συστήματος Και την απόδειξη της ορθής λειτουργίας Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 16
17 Testing Με αντιπροσωπευτικά(;) δεδομένα εισόδου Προσομοίωση χειρότερης περίπτωσης Κάλυψη μέρους των πιθανών καταστάσεων λειτουργίας Σε συνδυασμό με εξομοίωση Δυνατότητα παρατήρησης (observability) Probe effect Σχεδιασμός για έλεγχο Πρόβλεψη αρχιτεκτονικής για διευκόλυνση ελέγχου Αλλά: ο δοκιμαστικός έλεγχος μπορεί μόνο να δείξει την παρουσία σφαλμάτων, ποτέ όμως να αποδείξει την απουσία τους (Dijkstra) Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 17
18 Formal Methods Κατασκευή μοντέλου συστήματος Σύνολο καταστάσεων (πληροφορία μεταβλητών κ.λ.π.) Περιγραφή συνθηκών μεταβάσεων μεταξύ καταστάσεων Μαθηματική περιγραφή προδιαγραφών εφαρμογής Περιορισμοί (π.χ. χρονικοί) Σύνολο λογικών κανόνων Για την απόδειξη ότι το σύστημα τηρεί τις προδιαγραφές Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 18
19 Model Checking Αυτοματοποιημένη απόδειξη Μέσω υπολογιστικών εργαλείων Εξαντλητική διερεύνηση συνόλου καταστάσεων Για απόκλιση από το επιθυμητό σχήμα Παραβίαση προδιαγραφών- Reachability Analysis Σε περίπτωση αποτυχίας; Παρουσίαση αντι-παραδείγματος Περίπτωση μη επιθυμητής λειτουργίας Υπόδειξη διόρθωσης μοντέλου Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 19
20 Model Checking Γενικευμένη αντιμετώπιση Υλικό, λογισμικό, επικοινωνίες Δυνατότητα μερικού ελέγχου Των σημαντικότερων υποσυστημάτων Μειωμένη συμμετοχή χρήστη Κρισιμότητα ακρίβειας μοντέλου Δυσκολία κατασκευής Ταιριάζει σε εφαρμογές ελέγχου (όχι data intensive) Αυτόματη δημιουργία κώδικα Κατευθείαν από το μοντέλο Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 20
21 Συμπεριλαμβάνοντας τον χρόνο Καταγωγή: Temporal logics Χρήση αυτομάτων πεπερασμένων καταστάσεων Έμμεση μόνο χρήση χρόνου (διάταξη συμβάντων) Προσθήκη της έννοιας του χρόνου Real Time Temporal Logic Metric Temporal Logic Time Propositional Temporal Logic Time Computational Tree Logic Duration Calculus Διακριτή ή συνεχής αναπαράσταση χρόνου Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 21
22 Timed Automata ύπαρξη μεταβλητών clock συσχέτιση μεταβάσεων με συνθήκη clock, ενέργεια, reset clock Λειτουργικά Συστήματα Πραγματικού Χρόνου Ασφαλή Συστήματα 22
ΕΚτίµηση ΚΙνδύνου ΕΦαρµογή Της ΣΥστηµικής ΠΡοσέγγισης Στη ΔΙαχείριση ΚΙνδύνου ΠΟιότητας
ΕΚτίµηση ΚΙνδύνου ΕΦαρµογή Της ΣΥστηµικής ΠΡοσέγγισης Στη ΔΙαχείριση ΚΙνδύνου ΠΟιότητας Risk Assessment: A Systems Approach to Quality Risk Management ΔΗΜΗΤΡΙΟΣ ΒΑΡΣΟΣ MSI Hellas Consulting Group Πανεπιστήµιο
Διαβάστε περισσότεραΑνοχή απέναντι σε Σφάλµατα Fault Tolerance
Ανοχή απέναντι σε Σφάλµατα Fault Tolerance Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο Κύπρου Βασικές
Διαβάστε περισσότεραΑξιοπιστία Σύνθετων Συστημάτων
Αξιοπιστία Σύνθετων Συστημάτων Τμήμα Μηχανικών Παραγωγής και Διοίκησης Χειμερινό 2016 2017 Διδάσκων: Καθηγητής Παντελής Ν. Μπότσαρης Εργαστήρια/Ασκήσεις: Δρ. Πέτρος Πιστοφίδης 1 Tεχνικές υπολογισμού αξιοπιστίας
Διαβάστε περισσότεραΣυγγραφή κώδικα, δοκιμασία, επαλήθευση. Γιάννης Σμαραγδάκης
Συγγραφή κώδικα, δοκιμασία, επαλήθευση Γιάννης Σμαραγδάκης Προδιαγραφή απαιτήσεων Σχεδιασμός συνεπείς σχέσεις Υψηλό επίπεδο συνεπείς σχέσεις Χαμηλό επίπεδο συνεπείς σχέσεις Πλάνο δοκιμών Κώδικας Συγγραφή
Διαβάστε περισσότεραΑνάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420)
Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Διάλεξη 2: Βασικές Έννοιες Τεχνολογίας Λογισμικού Ο Ρόλος του Τεχνολόγου Λογισμικού Επιστήμη Υπολογιστών Πελάτης 2 Θεωρίες Λειτουργίες Υπολογιστή Πρόβλημα Σχεδιασμός
Διαβάστε περισσότερα(μονάδες 1) Απάντηση: α. Σ β. Σ γ. Σ δ. Λ ε. Σ. Εξεταστική Περίοδος Σεπτεμβρίου Αξιοπιστία και Συντήρηση Τεχνικών Συστημάτων 2
Στοιχεία Μαθήματος Αξιοπιστία και συντήρηση τεχνικών συστημάτων Εξεταστική Σεπτεμβρίου 2017 Διδάσκων: Δρ. Π. Ν. Μπότσαρης ΘΕΜΑΤΑ Όνομα: Επώνυμο: Α.Μ: Εξάμηνο: Στοιχεία Υποψηφίου 1. Ο ακόλουθος ορισμός
Διαβάστε περισσότεραΛειτουργικά Συστήματα Πραγματικού Χρόνου
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Λειτουργικά Συστήματα Πραγματικού Χρόνου Η χρήση του χρόνου Μ.Στεφανιδάκης Συστήματα πραγματικού χρόνου: ελεγκτής και ελεγχόμενο σύστημα real-time system
Διαβάστε περισσότεραΒασικές έννοιες. Κατανεμημένα Συστήματα 1
Βασικές έννοιες Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Ορισμός κατανεμημένου συστήματος Ένα σύστημα από ξεχωριστές ενεργές οντότητες (ονομάζονται «κόμβοι» ή «διεργασίες») που εκτελούνται ταυτόχρονα/ανεξάρτητα
Διαβάστε περισσότεραΧρονοδρομολόγηση Ι Μοντέλα διεργασιών, Προθεσμίες και Αλγόριθμοι
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Χρονοδρομολόγηση Ι Μοντέλα διεργασιών, Προθεσμίες και Αλγόριθμοι Μ.Στεφανιδάκης Χρονοδρομολόγηση (scheduling) αλγόριθμος επιλογή (init) READY RUNNING (terminate)
Διαβάστε περισσότεραΘΕΜΑΤΑ. Όνομα: Αξιοπιστία και συντήρηση τεχνικών συστημάτων Εξεταστική Ιανουαρίου 2017 Διδάσκων: Δρ. Π. Ν. Μπότσαρης
Κτίριο I, Κτίρια ΠΡΟΚΑΤ, MeDiLab.pme.duth.gr Ktirio I, Ktiria PROKAT, Xanthi 0, Greece Στοιχεία Μαθήματος Αξιοπιστία και συντήρηση τεχνικών συστημάτων Εξεταστική Ιανουαρίου 201 Διδάσκων: Δρ. Π. Ν. Μπότσαρης
Διαβάστε περισσότεραΚίνδυνος (hazard). Η εγγενής ιδιότητα μιας επικίνδυνης ουσίας ή φυσικής κατάστασης που ενδέχεται να βλάψει την ανθρώπινη υγεία ή/και το περιβάλλον
Κίνδυνος (hazard). Η εγγενής ιδιότητα μιας επικίνδυνης ουσίας ή φυσικής κατάστασης που ενδέχεται να βλάψει την ανθρώπινη υγεία ή/και το περιβάλλον Επικινδυνότητα (risk). Η πιθανότητα μιας συγκεκριμένης
Διαβάστε περισσότεραΤο μάθημα. Λειτουργικά Συστήματα Πραγματικού Χρόνου Βασικές Έννοιες 6. Ενσωματωμένα Συστήματα (embedded systems) Παραδείγματα
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Λειτουργικά Συστήματα Πραγματικού Χρόνου Βασικές Έννοιες Το μάθημα ΛΣ Πραγματικού Χρόνου Θεωρητικό υπόβαθρο Αρχές Προγραμματισμού Παραδείγματα ΛΣ Εργασίες
Διαβάστε περισσότεραΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ
ΕΠΛ664 ΑΝΑΛΥΣΗ ΚΑΙ ΕΠΑΛΗΘΕΥΣΗ ΣΥΣΤΗΜΑΤΩΝ Περιγραφή του μαθήματος Στόχοι του μαθήματος Αξιολόγηση Βιβλιογραφία ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 1-1 Διδασκαλία Διαλέξεις: Δευτέρα και Πέμπτη, 15:00-16:30
Διαβάστε περισσότεραΒασικές έννοιες. Κατανεμημένα Συστήματα 1
Βασικές έννοιες Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Ορισμός κατανεμημένου συστήματος Ένα σύστημα από ξεχωριστές ενεργές οντότητες (ονομάζονται «κόμβοι» ή «διεργασίες») που εκτελούνται ταυτόχρονα/ανεξάρτητα
Διαβάστε περισσότεραΠροσομοίωση Συστημάτων
Προσομοίωση Συστημάτων Προσομοίωση και μοντέλα συστημάτων Άγγελος Ρούσκας Τμήμα Ψηφιακών Συστημάτων Πανεπιστήμιο Πειραιώς Γενικός ορισμός συστήματος Ένα σύνολο στοιχείων/οντοτήτων που αλληλεπιδρούν μεταξύ
Διαβάστε περισσότεραΛειτουργικά Συστήματα Πραγματικού Χρόνου
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Λειτουργικά Συστήματα Πραγματικού Χρόνου Βασικές Έννοιες Μ.Στεφανιδάκης Το μάθημα ΛΣ Πραγματικού Χρόνου Θεωρητικό υπόβαθρο Αρχές Προγραμματισμού Παραδείγματα
Διαβάστε περισσότεραΚατανεμημένα συστήματα και Επικοινωνία Πραγματικού Χρόνου
Λειτουργικά Συστήματα Πραγματικού Χρόνου 2006-07 Κατανεμημένα συστήματα και Επικοινωνία Πραγματικού Χρόνου Μ.Στεφανιδάκης Κατανεμημένα συστήματα ελέγχου Α Β διασυνδετικό δίκτυο Γ Δ Ε π.χ. οι επιμέρους
Διαβάστε περισσότεραΚεφάλαιο 1 : Εισαγωγή
Κεφάλαιο 1 : Εισαγωγή Τεχνικές Εκτίμησης Υπολογιστικών Συστημάτων Γιάννης Γαροφαλάκης Καθηγητής Ορισμός πληροφοριακού συστήματος Ένα πληροφοριακό σύστημα είναι «οποιαδήποτε συλλογή τμημάτων υλικού ή λογισμικού»
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες
Διαβάστε περισσότεραΘωμάς Κοντογιάννης Καθηγητής Πολυτεχνείου Κρήτης
Θωμάς Κοντογιάννης Καθηγητής Πολυτεχνείου Κρήτης ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ Α ΣΥΣΤΗΜΑΤΑ ΔΙΑΧΕΙΡΗΣΗΣ ΑΣΦΑΛΕΙΑΣ: ΘΕΩΡΗΤΙΚΕΣ ΠΡΟΣΕΓΓΙΣΕΙΣ ΚΑΙ ΠΑΡΑΓΟΝΤΕΣ ΕΠΙΡΡΟΗΣ ΚΕΦΑΛΑΙΟ 1 ΣΥΣΤΗΜΑΤΑ ΔΙΑΧΕΙΡΙΣΗΣ ΑΣΦΑΛΕΙΑΣ...3 1.1
Διαβάστε περισσότεραΕπαλήθευση μοντέλου. (model Verification) Προσομοίωση Βιομηχανικής Παραγωγής & Επιχειρήσεων
Επαλήθευση μοντέλου (model Verification) Προσομοίωση Βιομηχανικής Παραγωγής & Επιχειρήσεων ΚΕΦ. 5 Μοντελοποίηση Τυχαίοι Αριθμοί Διαγράμματα Επαλήθευση Ανάλυση Αποτελεσμάτων Επαλήθευση, Επικύρωση και Αξιοπιστία
Διαβάστε περισσότεραοκιμασία και πλάνο δοκιμασίας
οκιμασία και πλάνο ς Γιάννης Σμαραγδάκης Η επιχειρεί να απαντήσει Κάνει το λογισμικό αυτό που υποτίθεται; Πότε μπορεί να έχει πρόβλημα; Πόσο γρήγορα τρέχει; Πόσο ακριβή είναι τα αποτελέσματα; Όταν έχει
Διαβάστε περισσότεραΕισαγωγή. Εποπτικός Έλεγχος Βιοµηχανικών ιεργασιών. Στόχος συστήµατος διαχείρισης ελέγχου
Εισαγωγή Εποπτικός Έλεγχος Βιοµηχανικών ιεργασιών Στόχος συστήµατος διαχείρισης ελέγχου διασφάλιση της ποιότητας του παραγόµενου προϊόντος, µεγιστοποίηση της παραγωγής, ελαχιστοποίηση της ενέργειας, βέλτιστη
Διαβάστε περισσότεραΚωδικοποίηση και Έλεγχος Ορθότητας
Κωδικοποίηση και Έλεγχος Ορθότητας περιεχόμενα περουσίασης Κωδικοποίηση Πρότυπα και διαδικασίες κωδικοποίησης Τεκμηρίωση Διαχείριση εκδόσεων Έλεγχος ορθότητας λογισμικού κωδικοποίηση διαχείριση εκδόσεων
Διαβάστε περισσότεραΑνάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420)
Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Διάλεξη 8: Σχεδίαση Συστήματος Σχεδίαση Συστήματος 2 Διεργασία μετατροπής του προβλήματος σε λύση. Από το Τί στο Πώς. Σχέδιο: Λεπτομερής περιγραφή της λύσης. Λύση:
Διαβάστε περισσότεραΤεχνικές Εκτίμησης Υπολογιστικών Συστημάτων Ενότητα 1: Εισαγωγή. Γαροφαλάκης Ιωάννης Πολυτεχνική Σχολή Τμήμα Μηχ/κών Η/Υ & Πληροφορικής
Τεχνικές Εκτίμησης Υπολογιστικών Συστημάτων Ενότητα 1: Εισαγωγή Γαροφαλάκης Ιωάννης Πολυτεχνική Σχολή Τμήμα Μηχ/κών Η/Υ & Πληροφορικής Περιεχόμενα ενότητας Ορισμός πληροφοριακού συστήματος Κύρια κριτήρια
Διαβάστε περισσότεραΤμήμα Μηχανικών Παραγωγής και Διοίκησης Χειμερινό Διδάσκων: Καθηγητής Παντελής Ν. Μπότσαρης Εργαστήρια/Ασκήσεις: Δρ.
ΑΞΙΟΠΙΣΤΙΑ ΚΑΙ ΣΥΝΤΗΡΗΣΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ Τμήμα Μηχανικών Παραγωγής και Διοίκησης Χειμερινό 2016 2017 Διδάσκων: Καθηγητής Παντελής Ν. Μπότσαρης Εργαστήρια/Ασκήσεις: Δρ. Πέτρος Πιστοφίδης Εισαγωγή
Διαβάστε περισσότεραΠΡΟΣΟΜΟΙΩΣΗ. Προσομοίωση είναι η μίμηση της λειτουργίας ενός πραγματικού συστήματος και η παρακολούθηση της εξέλιξης του μέσα στο χρόνο.
ΠΡΟΣΟΜΟΙΩΣΗ Προσομοίωση είναι η μίμηση της λειτουργίας ενός πραγματικού συστήματος και η παρακολούθηση της εξέλιξης του μέσα στο χρόνο. δημιουργία μοντέλου προσομοίωσης ( - χρήση μαθηματικών, λογικών και
Διαβάστε περισσότεραΕ 07.01.10. Έκδοση 1.0 / 18.1.2010 Η ΣΤΡΑΤΗΓΙΚΗ ΣΥΝΤΗΡΗΣΗΣ ΤΗΣ ΕΠΙΔΟΜΗΣ ΤΗΣ ΓΡΑΜΜΗΣ 07 ΓΕΝΙΚΑ 01 ΓΕΝΙΚΕΣ Ο ΗΓΙΕΣ
Ε 07.01.10 ΓΕΝΙΚΗ ΙΕΥΘΥΝΣΗ ΥΠΟ ΟΜΗΣ ΙΕΥΘΥΝΣΗ ΓΡΑΜΜΗΣ Έκδοση 1.0 / 18.1.2010 07 ΓΕΝΙΚΑ 01 ΓΕΝΙΚΕΣ Ο ΗΓΙΕΣ 10 Η ΣΤΡΑΤΗΓΙΚΗ ΣΥΝΤΗΡΗΣΗΣ ΤΗΣ ΕΠΙΔΟΜΗΣ ΤΗΣ ΓΡΑΜΜΗΣ Η Οδηγία τέθηκε σε ισχύ με την υπ αριθμ. Γ/4.333.082/18.1.2010
Διαβάστε περισσότερασφαλμάτων Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν. Πατρών
Λογική εξομοίωση και εξομοίωση σφαλμάτων Περίγραμμα ργρ Επιβεβαίωση σχεδιασμού και εξομοίωση (Verification and Simulation) Είδη εξομοίωσης (Types of Simulation) Εξομοίωση σφαλμάτων (Fault Simulation) Σειριακή
Διαβάστε περισσότεραΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 2 ο : Βασικές έννοιες. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος:
ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 2 ο : Βασικές έννοιες Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Γλωσσική Τεχνολογία, Μάθημα 2 ο, Βασικές
Διαβάστε περισσότεραΤμήμα Μηχανικών Παραγωγής και Διοίκησης
Τμήμα Μηχανικών Παραγωγής και Διοίκησης Χειμερινό Εξάμηνο Καθ. Παντελής Μπότσαρης Πέτρος Πιστοφίδης (PhD) Μέθοδος που προσδιορίζει και αναλύει τα αιτία ενός μείζονος ανεπιθύμητου γεγονότος Αρχίζει με την
Διαβάστε περισσότερα3. Προσομοίωση ενός Συστήματος Αναμονής.
3. Προσομοίωση ενός Συστήματος Αναμονής. 3.1. Διατύπωση του Προβλήματος. Τα συστήματα αναμονής (queueing systems), βρίσκονται πίσω από τα περισσότερα μοντέλα μελέτης της απόδοσης υπολογιστικών συστημάτων,
Διαβάστε περισσότεραΗ λύση. Διεκπεραιώνει γρήγορα και με ασφάλεια όλες τις ενέργειες ώστε να παράγεται το επιθυμητό αποτέλεσμα στο σωστό χρόνο.
Λογιστική σουίτα Οι ανάγκες Οι απαιτήσεις του συνεχώς μεταβαλλόμενου οικονομικού και φοροτεχνικού περιβάλλοντος σε συνδυασμό με τις αυξανόμενες ανάγκες πληροφόρησης των επιχειρήσεων έχουν αυξήσει ραγδαία
Διαβάστε περισσότεραΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ - ΟΡΙΣΜΟΙ
ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ - ΟΡΙΣΜΟΙ Κίνδυνος (hazard). Η εγγενής ιδιότητα μιας επικίνδυνης ουσίας ή φυσικής κατάστασης που ενδέχεται να βλάψει την ανθρώπινη υγεία ή/και το περιβάλλον Επικινδυνότητα (risk). Η πιθανότητα
Διαβάστε περισσότεραΣυνδυαστική Επιρροή των Χαρακτηριστικών της Οδού και της Κυκλοφορίας στη Συμπεριφορά του Οδηγού με Δεδομένα από Έξυπνα Κινητά Τηλέφωνα
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΟΜΕΑΣ ΜΕΤΑΦΟΡΩΝ ΚΑΙ ΣΥΓΚΟΙΝΩΝΙΑΚΗΣ ΥΠΟΔΟΜΗΣ Συνδυαστική Επιρροή των Χαρακτηριστικών της Οδού και της Κυκλοφορίας στη Συμπεριφορά του Οδηγού με Δεδομένα
Διαβάστε περισσότεραΑΞΙΟΠΙΣΤΙΑ ΥΛΙΚΟΥ ΚΑΙ ΛΟΓΙΣΜΙΚΟΥ
ΑΞΙΟΠΙΣΤΙΑ ΥΛΙΚΟΥ ΚΑΙ ΛΟΓΙΣΜΙΚΟΥ Εισαγωγή Ηεµφάνιση ηλεκτρονικών υπολογιστών και λογισµικού σε εφαρµογές µε υψηλές απαιτήσεις αξιοπιστίας, όπως είναι διαστηµικά προγράµµατα, στρατιωτικές τηλεπικοινωνίες,
Διαβάστε περισσότεραΤμήμα Μηχανικών Παραγωγής και Διοίκησης
Τμήμα Μηχανικών Παραγωγής και Διοίκησης Χειμερινό Εξάμηνο Καθ. Παντελής Μπότσαρης Πέτρος Πιστοφίδης (PhD) Σύστημα Μια σύνθεση στοιχείων (μηχανών) ή υποσυστημάτων, συναρμολογημένα κατάλληλα, ώστε να υλοποιούν
Διαβάστε περισσότεραΠΑΣ/ΠβΑΣ Λίστα Δεξιοτήτων (5 η Έκδοση)
Εισαγωγή ΠΑΣ/ΠβΑΣ Λίστα Δεξιοτήτων (5 η Έκδοση) Η λίστα ΠΑΣ/ΠβΑΣ Λίστα Δεξιοτήτων συμπεριλαμβάνει τις γνώσεις και τις δεξιότητες που αποτελούν το θεμέλιο για τις εξετάσεις ΠΑΣ/ΠβΑΣ. Δομή Η ΠΑΣ/ΠβΑΣ Λίστα
Διαβάστε περισσότεραΕξειδικευμένο λογισμικό για GRC
Εξειδικευμένο λογισμικό για GRC Αναγκαίο για το αποτέλεσμα, ή πολυτέλεια; Αθήνα, 27 Σεπτεμβρίου 2019 Λευτέρης Αναστασάκης Αντιπρόεδρος ΔΣ, PRIORITY ISO 19600:2014 Compliance management systems Guidelines
Διαβάστε περισσότεραΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ: ΑΝΙΧΝΕΥΣΗ ΣΦΑΛΜΑΤΩΝ ΣΕ ΤΗΛΕΠΙΚΟΙΝΩΝΙΑΚΑ ΔΙΚΤΥΑ
ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ: ΑΝΙΧΝΕΥΣΗ ΣΦΑΛΜΑΤΩΝ ΣΕ ΤΗΛΕΠΙΚΟΙΝΩΝΙΑΚΑ ΔΙΚΤΥΑ ΑΝΙΧΝΕΥΣΗ ΣΦΑΛΜΑΤΩΝ: Κυκλικός Έλεγχος Πλεονασμού CRC codes Cyclic Redundancy Check codes Ο μηχανισμός ανίχνευσης σφαλμάτων στις επικοινωνίες
Διαβάστε περισσότεραΟδική ασφάλεια. Ενότητα 1: Εισαγωγή Διάλεξη 1.2: Εισαγωγή στη μεθοδολογία εκτίμησης συχνότητας συγκρούσεων
Οδική ασφάλεια Ενότητα 1: Εισαγωγή Διάλεξη 1.2: Εισαγωγή στη μεθοδολογία εκτίμησης συχνότητας συγκρούσεων Ευτυχία Ναθαναήλ Πολυτεχνική Σχολή Τμήμα Πολιτικών Μηχανικών Στόχος Αναδρομή Ανασκόπηση του εγχειριδίου
Διαβάστε περισσότεραΒιοµηχανικά Ατυχήµατα
Βιοµηχανικά Ατυχήµατα Κωνσταντινίδου Αργυρή-Μυρτώ Επιβλέπων Ερευνητής: ρ. Ζ. Νιβολιανίτου Τριµελής Επιτροπή: Ν. Μαρκάτος Α. Λυγερός Χ. Κυρανούδης Μονάδα Υπολογιστικής Ρευστοµηχανικής ΙΝΣΤΙΤΟΥΤΟ ΠΥΡΗΝΙΚΗΣ
Διαβάστε περισσότεραΕφαρμογή Διαχείρισης Στόλου Οχημάτων «RouteΤracker»
Λειτουργικά Χαρακτηριστικά Εφαρμογή Διαχείρισης Στόλου Οχημάτων «RouteΤracker» Εφαρμογή Διαχείρισης Στόλου Οχημάτων «RouteΤracker» Η εφαρμογή διαχείρισης στόλου οχημάτων RouteTracker δίνει τη δυνατότητα
Διαβάστε περισσότεραRobotArmy Περίληψη έργου
RobotArmy Περίληψη έργου Στην σημερινή εποχή η ανάγκη για αυτοματοποίηση πολλών διαδικασιών γίνεται όλο και πιο έντονη. Συνέχεια ακούγονται λέξεις όπως : βελτιστοποίηση ποιότητας ζωής, αυτοματοποίηση στον
Διαβάστε περισσότεραΣυνεργασία σμήνους μη επανδρωμένων οχημάτων (UAVs) σε αποστολές αποτύπωσης
Συνεργασία σμήνους μη επανδρωμένων οχημάτων (UAVs) σε αποστολές αποτύπωσης Εννοιολογικά στάδια Κατασκευή UAVs Επικοινωνία μεταξύ των μελών Ανάλυση καταγεγραμμένων γεγονότων Αρχιτεκτονική Αρχηγού Σμήνους
Διαβάστε περισσότεραΔΙΕΡΕΥΝΗΣΗ ΤΗΣ ΕΠΙΡΡΟΗΣ ΤΗΣ ΟΔΗΓΗΣΗΣ ΤΗ ΝΥΧΤΑ ΣΤΗ ΣΥΜΠΕΡΙΦΟΡΑ ΚΑΙ ΣΤΗΝ ΑΣΦΑΛΕΙΑ ΤΩΝ ΝΕΩΝ ΟΔΗΓΩΝ ΣΤΙΣ ΠΟΛΕΙΣ ΜΕ ΤΗ ΧΡΗΣΗ ΠΡΟΣΟΜΟΙΩΤΗ ΟΔΗΓΗΣΗΣ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΤΟΜΕΑΣ ΜΕΤΑΦΟΡΩΝ ΚΑΙ ΣΥΓΚΟΙΝΩΝΙΑΚΗΣ ΥΠΟΔΟΜΗΣ ΔΙΕΡΕΥΝΗΣΗ ΤΗΣ ΕΠΙΡΡΟΗΣ ΤΗΣ ΟΔΗΓΗΣΗΣ ΤΗ ΝΥΧΤΑ ΣΤΗ ΣΥΜΠΕΡΙΦΟΡΑ ΚΑΙ ΣΤΗΝ ΑΣΦΑΛΕΙΑ ΤΩΝ ΝΕΩΝ ΟΔΗΓΩΝ ΣΤΙΣ ΠΟΛΕΙΣ
Διαβάστε περισσότεραΑΣΦΑΛΕΙΑ ΥΠΟ ΟΜΩΝ ΚΑΙ ΙΑΧΕΙΡΙΣΗ ΚΙΝ ΥΝΩΝ 13&14 ΜΑΪΟΥ 2003
Α ΠΑΝΕΛΛΗΝΙΟ ΣΥΝΕ ΡΙΟ Η ΠΡΟΣΤΑΣΙΑ ΤΗΣ ΚΡΙΣΙΜΗΣ ΥΠΟ ΟΜΗΣ ΤΗΣ ΧΩΡΑΣ ΑΣΦΑΛΕΙΑ ΥΠΟ ΟΜΩΝ ΚΑΙ ΙΑΧΕΙΡΙΣΗ ΚΙΝ ΥΝΩΝ ρ. Ιωάννης Α. Παπάζογλου Εργαστήριο Αξιοπιστίας Συστηµάτων & Βιοµηχανικής Ασφάλειας Ινστιτούτο
Διαβάστε περισσότεραΛειτουργικά συστήματα πραγματικού χρόνου
Λειτουργικά συστήματα πραγματικού χρόνου Τι είναι λειτουργικό σύστημα πραγματικού χρόνου; Λειτουργικό Σύστημα Πραγματικού Χρόνου (ΛΣΠΧ) είναι ένα λειτουργικό σύστημα που προορίζεται για εφαρμογές πραγματικού
Διαβάστε περισσότεραΣύστημα Διαχείρισης Εξοπλισμού «PRAXIS»
Σύστημα Διαχείρισης Εξοπλισμού «PRAXIS» Το Σύστημα Praxis της OPTIONSNET, αποτελεί ένα ολοκληρωμένο λογισμικό για την διαχείριση ιατρό-τεχνολογικού εξοπλισμού. Το σύστημα αφορά στην καταγραφή, κωδικοποίηση
Διαβάστε περισσότεραΠληροφορική 2. Τεχνολογία Λογισμικού
Πληροφορική 2 Τεχνολογία Λογισμικού 1 2 Κρίση Λογισμικού (1968) Στην δεκαετία του 1970 παρατηρήθηκαν μαζικά: Μεγάλες καθυστερήσεις στην ολοκλήρωση κατασκευής λογισμικών Μεγαλύτερα κόστη ανάπτυξης λογισμικού
Διαβάστε περισσότεραΣΧΕΔΙΑΣΜΟΣ ΚΑΤΑΣΚΕΥΩΝ
Τ.Ε.Ι. Θεσσαλίας Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανολογίας ΣΧΕΔΙΑΣΜΟΣ ΚΑΤΑΣΚΕΥΩΝ Κώστας Κιτσάκης Μηχανολόγος Μηχανικός ΤΕ MSc Διασφάλιση ποιότητας Επιστημονικός Συνεργάτης Στάδιο Σχεδιομελέτης Πορεία
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 18 ΑΞΙΟΠΙΣΤΙΑ ΛΟΓΙΣΜΙΚΟΥ
ΚΕΦΑΛΑΙΟ 18 ΑΞΙΟΠΙΣΤΙΑ ΛΟΓΙΣΜΙΚΟΥ ΣΤΟΧΟΙ Να περιγράψουµε τους τρόπους προδιαγραφών αξιοπιστίας και µέτρησης Να εισάγουµε µονάδες µέτρησης της αξιοπιστίας και την χρησιµότητα τους στις προδιαγραφές αξιοπιστίας
Διαβάστε περισσότεραΕΛΕΓΧΟΣ ΠΑΡΑΓΩΓΙΚΩΝ ΔΙΕΡΓΑΣΙΩΝ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα ΕΛΕΓΧΟΣ ΠΑΡΑΓΩΓΙΚΩΝ ΔΙΕΡΓΑΣΙΩΝ Ενότητα: Αναγνώριση Διεργασίας - Προσαρμοστικός Έλεγχος (Process Identification) Αλαφοδήμος Κωνσταντίνος
Διαβάστε περισσότεραΑ/Α Τίτλος θέματος Επιβλέπων Σύντομη περιγραφή Προαπαιτούμενα γνωστικά πεδία 1 ΚΛΙΜΑΤΙΚΕΣ ΠΟΛΙΤΙΚΕΣ ΤΗΣ Ε. Ε. Δρ. Ι.
ΤΕΙ ΑΘΗΝΑΣ ΤΜΗΜΑ MHXANIΚΩΝ ΕΝΕΡΓΕΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ Τ.Ε. Πίνακας προτεινόμενων πτυχιακών εργασιών για το εαρινό εξάμηνο 203-4 ΤΜΗΜΑ: MHXANIKΩN ΕΝΕΡΓΕΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ Τ.Ε. ΤΟΜΕΑΣ: ΕΝΕΡΓΕΙΑΚΗΣ ΗΛΕΚΤΡΟΛΟΓΙΑΣ
Διαβάστε περισσότεραOptimized Maintenance Strategies
Optimized Maintenance Strategies Αξιόπιστη Λειτουργία Μηχανημάτων Η μέθοδος Condition Based Maintenance (CBM) αποτελεί το σύγχρονο δόγμα συντήρησης μηχανημάτων. Δύο γενεές μεταγενέστερη της μεθόδου PMS
Διαβάστε περισσότεραΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ
ΠΜΣ - ΕΠΙΣΤΗΜΗ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑ ΤΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ (Industrial Informatics) Α. ΒΕΛΩΝΗ Σ. ΦΑΤΟΥΡΟΣ ΒΙΟΜΗΧΑΝΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ Η Βιομηχανική Πληροφορική είναι ο εξειδικευμένος
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Εργαστηριακή και Βιομηχανική Ηλεκτρονική Ηλ. Αμφ. 2, 3. Γλώσσες Προγραμματισμού Ι. Ηλ. Αμφ. 1, 2, 3, 4, 5
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ Ακαδημαϊκό Έτος 2016-2017 Περίοδος Ιουνίου 2017 Έκδοση 08.06.2017 ΗΜΕΡΟΜΗΝΙΑ ΩΡΑ 1ο-2ο ΕΞΑΜΗΝΟ 3ο-4ο
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Αρχιτεκτονική Υπολογιστών Ηλ. Αιθ. 001, 002. Ηλ. Αιθ. 003, 004 Ηλεκτρονική ΙΙΙ Ηλ. αιθ. 003, 004. Θεωρία Δικτύων & Κυκλωμάτων
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ Ακαδημαϊκό Έτος 2017-2018 Περίοδος Ιουνίου 2018 v20180517 ΗΜΕΡΟΜΗΝΙΑ ΩΡΑ 1ο-2ο ΕΞΑΜΗΝΟ 3ο-4ο ΕΞΑΜΗΝΟ
Διαβάστε περισσότεραΤεχνολογία λογισμικού στην πράξη
Τεχνολογία λογισμικού στην πράξη Έλεγχος λογισμικού Διομήδης Σπινέλλης Τμήμα Διοικητικής Επιστήμης και Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών dds@aueb.gr http://www.dmst.aueb.gr/dds @CoolSWEng 2016-06-27
Διαβάστε περισσότεραΑΝΑΛΥΣΗ ΠΡΟΤΙΜΗΣΕΩΝ ΓΙΑ ΤΗ ΧΡΗΣΗ ΣΥΣΤΗΜΑΤΟΣ ΕΝΟΙΚΙΑΖΟΜΕΝΩΝ ΠΟΔΗΛΑΤΩΝ ΣΤΟΝ ΔΗΜΟ ΑΘΗΝΑΙΩΝ
Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Πολιτικών Μηχανικών Τομέας Μεταφορών και Συγκοινωνιακής Υποδομής ΑΝΑΛΥΣΗ ΠΡΟΤΙΜΗΣΕΩΝ ΓΙΑ ΤΗ ΧΡΗΣΗ ΣΥΣΤΗΜΑΤΟΣ ΕΝΟΙΚΙΑΖΟΜΕΝΩΝ ΠΟΔΗΛΑΤΩΝ ΣΤΟΝ ΔΗΜΟ ΑΘΗΝΑΙΩΝ ΤΣΟΛΑΚΗ ΑΘΗΝΑ
Διαβάστε περισσότεραΠΑΡΑΔΕΙΓΜΑ ΣΤΟ BIZAGI ΕΘΝΙΚΗ ΣΧΟΛΗ ΔΗΜΟΣΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΑΥΤΟΔΙΟΙΚΗΣΗΣ
Ανάλυση - Προσομοίωση ΠΑΡΑΔΕΙΓΜΑ ΣΤΟ BIZAGI ΕΘΝΙΚΗ ΣΧΟΛΗ ΔΗΜΟΣΙΑΣ ΔΙΟΙΚΗΣΗΣ & ΑΥΤΟΔΙΟΙΚΗΣΗΣ 1 Προσομοίωση Η προσομοίωση είναι μέθοδος μελέτης ενός συστήματος και εξοικείωσης με τα χαρακτηριστικά του με
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Ηλ. Αιθ. 003, 004 Ηλεκτρονική ΙΙΙ Ηλ. αιθ. 003, 004
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Ακαδημαϊκό Έτος 2017-2018 Περίοδος Ιουνίου 2018 ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ ΗΜΕΡΟΜΗΝΙΑ ΩΡΑ 1ο-2ο ΕΞΑΜΗΝΟ 3ο-4ο ΕΞΑΜΗΝΟ 5ο-6ο ΕΞΑΜΗΝΟ
Διαβάστε περισσότεραSEVESO III. Η Αναγνώριση Κινδύνων ως Χρήσιμο Εργαλείο. Βασίλειος Πέππας, Χημικός Μηχανικός, MEng, MSc, AIChemE, AIGEM
SEVESO III Η Αναγνώριση Κινδύνων ως Χρήσιμο Εργαλείο Βασίλειος Πέππας, Χημικός Μηχανικός, MEng, MSc, AIChemE, AIGEM Διευθυντής Βιομηχανικής Ασφάλειας, Εργονομία Α.Ε. peppas@ergonomia.gr Ίδρυση Διεπιστημονική
Διαβάστε περισσότεραΗ λύση. Διεκπεραιώνει γρήγορα και με ασφάλεια όλες τις ενέργειες ώστε να παράγεται το επιθυμητό αποτέλεσμα στο σωστό χρόνο.
Λογιστική σουίτα II Οι ανάγκες Οι απαιτήσεις του συνεχώς μεταβαλλόμενου οικονομικού και φοροτεχνικού περιβάλλοντος σε συνδυασμό με τις αυξανόμενες ανάγκες πληροφόρησης των επιχειρήσεων έχουν αυξήσει ραγδαία
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΠΑΝΑΛΗΠΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Ακαδημαϊκό Έτος 2016-2017 Περίοδος Σεπεμβρίου 2017 ΠΡΟΓΡΑΜΜΑ ΕΠΑΝΑΛΗΠΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ Έκδοση 05.07.2017 ΗΜΕΡΟΜΗΝΙΑ ΩΡΑ 3-4ο
Διαβάστε περισσότεραΑναγνώριση Προτύπων Ι
Αναγνώριση Προτύπων Ι Ενότητα 1: Μέθοδοι Αναγνώρισης Προτύπων Αν. Καθηγητής Δερματάς Ευάγγελος Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραστη Συμπεριφορά του Οδηγού Αξιοποιώντας Λεπτομερή Δεδομένα
Προτυποποίηση της επιρροής της Χρήσης Κινητού Τηλεφώνου στη Συμπεριφορά του Οδηγού Αξιοποιώντας Λεπτομερή Δεδομένα από Αισθητήρες Έξυπνων Κινητών Τηλεφώνων Αναστασία Αργυροπούλου Επιβλέπων: Γιώργος Γιαννής,
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΠΑΝΑΛΗΠΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ ΟΡΘΗ ΕΠΑΝΑΛΗΨΗ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΠΑΝΑΛΗΠΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ ΟΡΘΗ ΕΠΑΝΑΛΗΨΗ Ακαδημαϊκό Έτος 2017-2018 Περίοδος Σεπτεμβρίου 2018 Έκδοση 17/07/2018 ΗΜΕΡΟΜΗΝΙΑ
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη
Διαβάστε περισσότεραΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ. 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ
ΜΑΘΗΜΑ: Εισαγωγή στις Αρχές της Επιστήμης των Η/Υ 1 η ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ: ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ Στόχος Θεματικής Ενότητας Οι μαθητές να περιγράφουν τους βασικούς τομείς της Επιστήμης των Υπολογιστών και να μπορούν
Διαβάστε περισσότεραΑπλή Γραμμική Παλινδρόμηση και Συσχέτιση 19/5/2017
Απλή Γραμμική Παλινδρόμηση και Συσχέτιση 2 Εισαγωγή Η ανάλυση παλινδρόμησης περιλαμβάνει το σύνολο των μεθόδων της στατιστικής που αναφέρονται σε ποσοτικές σχέσεις μεταξύ μεταβλητών Πρότυπα παλινδρόμησης
Διαβάστε περισσότεραΕπιστήμη της Πληροφορικής. Εργασία του μαθητή Δημήτρη Τσιαμπά του τμήματος Α4
Επιστήμη της Πληροφορικής Εργασία του μαθητή Δημήτρη Τσιαμπά του τμήματος Α4 Η πληροφορική είναι η επιστήμη που ερευνά την κωδικοποίηση, διαχείριση και μετάδοση συμβολικών αναπαραστάσεων πληροφοριών. Επίσης
Διαβάστε περισσότερα6 ντήρηση καλούνται να παίξουν ολοένα και πιο σημαντικό ρόλο στην ανταγωνιστικότητα των επιχειρήσεων. Στο σημείο αυτό θεωρώ χρέος μου και ευχαρίστηση
5 ΠΡΟΛΟΓΟΣ Με την παγκοσμιοποίηση διευρύνθηκαν θεαματικά οι αγορές και με την απομάκρυνση κάθε μορφής προστατευτισμού οι επιχειρήσεις καλούνται πλέον να λειτουργούν σε ένα άκρως ανταγωνιστικό περιβάλλον.
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ ΔΙΟΙΚΗΣΗΣ
ΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑ ΔΙΟΙΚΗΣΗΣ ΔΕΔΟΜΕΝΑ ΔΕΔΟΜΕΝΑ ΠΛΗΡΟΦΟΡΙΑ ΑΡΙΘΜΟΙ ΣΥΜΒΟΛΑ - ΛΕΞΕΙΣ ΟΠΟΙΑΔΗΠΟΤΕ ΔΡΑΣΤΗΡΙΟΤΗΤΑ ΣΥΜΒΑΙΝΕΙ ΣΕ ΜΙΑ ΟΙΚΟΝΟΜΙΚΗ ΜΟΝΑΔΑ ΠΡΕΠΕΙ ΝΑ ΜΕΤΡΕΙΤΑΙ ΚΑΙ ΝΑ ΚΑΤΑΓΡΑΦΕΤΑΙ ΟΡΓΑΝΩΣΗ ΚΑΤΑΓΡΑΦΗΣ
Διαβάστε περισσότεραiii ΠΕΡΙΕΧΟΜΕΝΑ Πρόλογος
iii ΠΕΡΙΕΧΟΜΕΝΑ Πρόλογος xi 1 Αντικείμενα των Πιθανοτήτων και της Στατιστικής 1 1.1 Πιθανοτικά Πρότυπα και Αντικείμενο των Πιθανοτήτων, 1 1.2 Αντικείμενο της Στατιστικής, 3 1.3 Ο Ρόλος των Πιθανοτήτων
Διαβάστε περισσότεραΕπίπεδο ζεύξης δεδοµένων
Επίπεδο ζεύξης δεδοµένων Εφαρµογών Παρουσίασης Συνόδου ιακίνησης ικτύου Ζεύξης Ζεύξης Φυσικό Τι κάνει το επίπεδο ζεύξης Χρησιµοποιεί τις υπηρεσίες του φυσικού επιπέδου, ήτοι την (ανασφαλή) µεταφορά δεδοµένων,
Διαβάστε περισσότεραΤεχνολογικό Εκπαιδευτικό Ίδρυμα Δυτικής Μακεδονίας Western Macedonia University of Applied Sciences Κοίλα Κοζάνης Kozani GR 50100
Ποσοτικές Μέθοδοι Τεχνολογικό Εκπαιδευτικό Ίδρυμα Δυτικής Μακεδονίας Western Macedonia University of Applied Sciences Κοίλα Κοζάνης 50100 Kozani GR 50100 Απλή Παλινδρόμηση Η διερεύνηση του τρόπου συμπεριφοράς
Διαβάστε περισσότεραΔιαχείριση Ενέργειας (BEMS)
Διαχείριση Ενέργειας (BEMS) Τα τελευταία χρόνια με την εισαγωγή της πληροφορικής στο πεδίο των αυτοματισμών έγιναν αρκετά δημοφιλή τα συστήματα διαχείρισης ενέργειας (Building Energy Management Systems
Διαβάστε περισσότεραΙεραρχία Μνήμης. Εικονική μνήμη (virtual memory) Επεκτείνοντας την Ιεραρχία Μνήμης. Εικονική Μνήμη. Μ.Στεφανιδάκης
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής ρχιτεκτονική Υπολογιστών 2016-17 Εικονική Μνήμη (και ο ρόλος της στην ιεραρχία μνήμης) http://mixstef.github.io/courses/comparch/ Μ.Στεφανιδάκης Δευτερεύουσα μνήμη
Διαβάστε περισσότεραΟ σχεδιασμός και η. συγγραφή σεναρίων και το ζήτημα της επιλογής
Ο σχεδιασμός και η συγγραφή σεναρίων και το ζήτημα της επιλογής Χρήστος Θ. Κουσιδώνης, Φεβρουάριος 2016 Γιατί τα σενάρια? Ποιον χρονικό ορίζοντα? Πως επιλέγουμε? - 1 Γιατί κάνουμε σενάρια Τι είναι το σενάριο?
Διαβάστε περισσότεραΤο υπό έκδοση διεθνές πρότυπο πιστοποίησης ISO 22000 «Συστήµατα διαχείρισης
«Νέο διεθνές πρότυπο πιστοποίησης για τα συστήµατα διαχείρισης της ασφάλειας τροφίµων και ανταπόκριση στις σύγχρονες ανάγκες των επιχειρήσεων στην παγκόσµια αλυσίδα τροφίµων» Ιωάννης Χ. Σαριδάκης Συντονιστής
Διαβάστε περισσότεραΠΑΡΆΡΤΗΜΑ Β Ενδεικτική Λίστα Διδασκόντων Μελών Δ.Ε.Π. του Τμήματος
ΠΑΡΆΡΤΗΜΑ Β Ενδεικτική Λίστα Διδασκόντων Μελών Δ.Ε.Π. του Τμήματος 1 Βασίλειος Χρυσικόπουλος Καθηγητής Πληροφορική Δίκτυα Ασφάλεια Πληροφοριών Ερευνητικά Ενδιαφέροντα Ασφάλεια Δίκτυα Η/Υ http://di.ionio.gr/staff-2/faculty-staff/vassilischrissikopoulos/
Διαβάστε περισσότεραΣύχρονο. Τα πλέον σύγχρονα εργαλεία ως αποτέλεσμα συνεχών βελτιώσεων.
1. Ακρίβεια Υψηλή αξιοπιστία λόγω της πλούσιας εμπειρίας στην έρευνα και την πρακτική εργασία. Σύχρονο Τα πλέον σύγχρονα εργαλεία ως αποτέλεσμα συνεχών βελτιώσεων. Έμφαση στο Άτομο Προσωπική υποστήριξη
Διαβάστε περισσότεραΕισαγωγή στη Σχεδίαση Λογισμικού
Εισαγωγή στη Σχεδίαση Λογισμικού περιεχόμενα παρουσίασης Τι είναι η σχεδίαση λογισμικού Έννοιες σχεδίασης Δραστηριότητες σχεδίασης Σχεδίαση και υποδείγματα ανάπτυξης λογισμικού σχεδίαση Η σχεδίαση του
Διαβάστε περισσότεραΔιοίκηση Έργου. Ενότητα 6: ΔΙΑΧΕΙΡΙΣΗ ΚΙΝΔΥΝΟΥ. Σαμαρά Ελπίδα Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)
Διοίκηση Έργου Ενότητα 6: ΔΙΑΧΕΙΡΙΣΗ ΚΙΝΔΥΝΟΥ Σαμαρά Ελπίδα Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Εισαγωγή στα Συστήματα Ηλεκτρικής Ενέργειας (ΣΗΕ) Ηλ. Αμφ. 1, 2, 3. Ηλεκτρομαγνητικά Πεδία Β. Ηλ. Αμφ.
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ Ακαδημαϊκό Έτος 2018-19 Περίοδος Ιουνίου 2019 'Εκδοση 20/05/2019 03/06/2019 04/06/2019 05/06/2019 06/06/2019
Διαβάστε περισσότεραΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ. Ενότητα 1: Εισαγωγή στις Βάσεις Δεδομένων. Αθανάσιος Σπυριδάκος Διοίκηση Επιχειρήσεων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ενότητα 1: Εισαγωγή στις Βάσεις Δεδομένων Αθανάσιος Σπυριδάκος Διοίκηση Επιχειρήσεων Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΑΝΑΚΟΙΝΩΣΗ Αναβάθμιση συστημάτων λογισμικού
ΕΛΛΗΝΙΚΗ ΗΜΟΚΡΑΤΙΑ ΓΕΩΤΕΧΝΙΚΟ ΕΠΙΜΕΛΗΤΗΡΙΟ ΕΛΛΑΔΑΣ ΙΕΥΘΥΝΣΗ ΙΟΙΚΗΣΗΣ ΥΠΗΡΕΣΙΩΝ ΓΕΩΤ.Ε.Ε. ΤΜΗΜΑ ΜΕΛΕΤΩΝ & ΤΕΚΜΗΡΙΩΣΗΣ ΒΕΝΙΖΕΛΟΥ 64, 546 31 ΘΕΣΣΑΛΟΝΙΚΗ ΤΗΛ.: 2310 278817-8, FAX: 2310 236308 /ΝΣΗ E-mail:
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Εισαγωγή στα Συστήματα Ηλεκτρικής Ενέργειας (ΣΗΕ) (επί πτυχίω) Ηλ. Αμφ. 1, 2, 3
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ Ακαδημαϊκό Έτος 2018-19 Περίοδος Ιουνίου 2019 Έκδοση 21/05/2019 03/06/2019 04/06/2019 05/06/2019 06/06/2019
Διαβάστε περισσότεραΛουκάς Τσιρώνης
M3 Λουκάς Τσιρώνης loukas.tsironis@gmail.com Περιεχόμενα 1. Εισαγωγή στη ΟΠ 2. Σχεδιασμός Ποιότητας 3. Έλεγχος Ποιότητας 4. Βελτίωση Ποιότητας 5. Οικονομική Ανάλυση της Ποιότητας 6. Μέθοδοι Τεχνικές και
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Εισαγωγή στα Συστήματα Ηλεκτρικής Ενέργειας (ΣΗΕ) (επί πτυχίω) Ηλ. Αμφ. 1, 2, 3
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ Ακαδημαϊκό Έτος 2018-19 Περίοδος Ιουνίου 2019 Έκδοση 24/05/2019 03/06/2019 04/06/2019 05/06/2019 06/06/2019
Διαβάστε περισσότεραΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής
ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:
Διαβάστε περισσότεραΠροσδιορισμός Δείκτη Ποιότητας Κτηματολογικής Βάσης
Προσδιορισμός Δείκτη Ποιότητας Κτηματολογικής Βάσης Ιωάννης Καββάδας Αγρ. Τοπογράφος Μηχανικός, MSc Υποψήφιος Διδάκτωρ Ε.Μ.Π. Προϊστάμενος Τμήματος Ελέγχων & Διαχείρισης Ποιότητας Έργων Διεύθυνση Έργων
Διαβάστε περισσότεραΙόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Αρχιτεκτονική Υπολογιστών Εικονική Μνήμη. (και ο ρόλος της στην ιεραρχία μνήμης)
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Αρχιτεκτονική Υπολογιστών 2011-12 Εικονική (και ο ρόλος της στην ιεραρχία μνήμης) http://di.ionio.gr/~mistral/tp/comparch/ Μ.Στεφανιδάκης Ιεραρχία η νέα τάση: [2011]
Διαβάστε περισσότεραΑρχιτεκτονική Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Αρχιτεκτονική Υπολογιστών Υποσύστημα μνήμης Διδάσκων: Επίκουρος Καθηγητής Αριστείδης Ευθυμίου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΠΑΝΑΛΗΠΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΓΡΑΜΜΑ ΕΠΑΝΑΛΗΠΤΙΚΩΝ ΕΞΕΤΑΣΕΩΝ Ακαδημαϊκό Έτος 2018-2019 Περίοδος Σεπεμβρίου 2019 Έκδοση 17/07/2019 26/08/2019 27/08/2019
Διαβάστε περισσότεραΕκτέλεση προγράμματος
ιεπιφάνεια controller Επισκόπηση λειτουργιών CNC Επισκόπηση λειτουργιών DNC Επικοινωνίες 1 2 Αυτόματα Εκτέλεση προγράμματος παραγωγή Χειροκίνητα για απλές λίγες κινήσεις Εντολή προς εντολή για έλεγχο ορθότητας
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Ενότητα 1: Εισαγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons
Διαβάστε περισσότεραΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ. Στοχαστικά Συστήματα & Επικοινωνίες Ηλ. Αμφ. 1, 2 Ηλ. Αιθ. 001, 002. Γλώσσες Προγραμματισμού Ι Ηλ. Αμφ.
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ & ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Ακαδημαϊκό Έτος 2015-2016 Περίοδος Ιουνίου 2016 ΠΡΟΓΡΑΜΜΑ ΕΞΕΤΑΣΕΩΝ ΗΜΕΡΟΜΗΝΙΑ ΩΡΑ 1ο-2ο ΕΞΑΜΗΝΟ 3ο-4ο ΕΞΑΜΗΝΟ 5ο-6ο ΕΞΑΜΗΝΟ
Διαβάστε περισσότερα