A- A0 A+ | EN
Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού χρόνου
Διαβάστε τη διατριβή (Online)
Κατεβάστε τη διατριβή σε μορφή PDF (17.51 MB)  (Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/12905
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/12905
ND
12905
Εναλλακτικός τίτλος
A unified formal model for the representation of functionality and the schedulability analysis of real-time applications
Συγγραφέας
Γερογιάννης, Βασίλειος (Πατρώνυμο: Χ.)
Ημερομηνία
2001
Ίδρυμα
Πανεπιστήμιο Πατρών. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Εξεταστική επιτροπή
Πιντέλας Παναγιώτης
Σπυράκης Παύλος
Χριστοδουλάκης Δημήτριος
Ζαγούρας Χαράλαμπος
Βραχάτης Μιχαήλ
Καββαδίας Δημήτριος
Λυκοθανάσης Σπυρίδων
Επιστημονικό πεδίο
Φυσικές Επιστήμες ➨ Μαθηματικά
Λέξεις-κλειδιά
Δίκτυα petri; Τυπικές προδιαγραφές; Συστήματα πραγματικού χρόνου; Χρονοδρομολογησιμότητα; Μονότονη συχνότητα; Φορμαλισμός
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
xiii, 336 σελ., εικ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)
Μαθηματική προτυποποίηση εξέλιξης καρκινικών όγκων
ΔΙΑΓΝΩΣΗ ΒΛΑΒΩΝ ΜΕΣΩ ΕΛΕΓΧΟΥ ΔΟΝΗΣΕΩΝ ΣΕ ΒΙΟΜΗΧΑΝΙΚΗ ΓΡΑΜΜΗ ΠΑΡΑΓΩΓΗΣ ΠΛΥΝΤΗΡΙΩΝ
Προηγμένες τεχνολογίες διάγνωσης-πρόγνωσης βλαβών σε μηχανολογικές κατασκευές με χρήση εποπτικών μεθόδων: περίπτωση υπέρυθρης θερμογραφίας
Electromagnetic simulation and eigen-analysis of three dimensional radiating structures based on the finite element method
Εφαρμογή νοημόνων μεθόδων επεξεργασίας δυναμικών σημάτων στη διάγνωση βλαβών μηχανολογικού εξοπλισμού
Διάγνωση και αναγνώριση βλαβών σε κατασκευές με χρήση κυματικής διάδοσης
Διασπάσεις ομάδων και σχεδόν ισομετρίες
Βελτιστοποίηση στρατηγικού σχεδιασμού, οργάνωσης παραγωγής και λειτουργίας αντίστροφων εφοδιαστικών αλυσίδων
Βελτιώσεις στην προληπτική συντήρηση μηχανολογικού εξοπλισμού
Ανάπτυξη συστήματος βελτιστοποίησης του κόστους υλικών συντήρησης και λειτουργίας μηχανολογικού βιομηχανικού εξοπλισμού