Στην παρούσα βιβλιογραφική μελέτη καταγράφονται οι αλλαγές στο περιβάλλον οικονομικό, κοινωνικό και τεχνολογικό, ακολουθούμενες από τις πρόσφατες αλλαγές στις βασικές παραμέτρους της παρουσίας και του ρόλου των πληροφοριακών συστημάτων σε οργανισμούς και επιχειρήσεις. Η παρακολούθηση των αλλαγών στα δυο βασικά συστατικά του θέματος της μελέτης, (Πληροφοριακή τεχνολογία- εφαρμογές & Επιχειρησιακή στρατηγική), έγινε σε δύο επίπεδα. Χρησιμοποιώντας σαν βάση συγγράμματα, άρθρα και απόψεις αποδεκτές στον επιστημονικό και στον επιχειρηματικό χώρο, και εμπλουτίζοντας αυτή με μια επιλογή νέων στοιχείων που έρχονται στα χέρια μας μέσω των εφαρμογών της τεχνολογίας πληροφοριών και αφορούν τις δυνατότητες, την επίδραση και την επιρροή της τεχνολογίας αυτής, στη στρατηγική και τη λειτουργία ενός οργανισμού. Το ζήτημα της ευθυγράμμισης, ενσωμάτωσης ή ολοκλήρωσης των δύο στρατηγικών αναφέρεται στο βαθμό στον οποίο ο οργανισμός λαμβάνει υπόψη και χρησιμοποιεί τις δυνατότητες της πληροφοριακής τεχνολογίας και των εφαρμογών της, από τη φάση του σχεδιασμού της στρατηγικής του μέχρι την καθημερινή του λειτουργία. Τα βιβλιογραφικά ευρήματα αφορούν δημοσιεύσεις των τελευταίων κυρίως χρόνων και δεν είναι αριθμητικά σπουδαία. Κατά συνέπεια, έπρεπε να συμπληρωθούν με συμπεράσματα, σκέψεις και αναλύσεις βασισμένα σε συνεντεύξεις ειδικών, δημοσιεύματα εφημερίδων, στατιστικά στοιχεία κ.α. Η γενική φιλοσοφία στο κείμενο είναι οικονομικό-διοικητική χωρίς αυτό να βαίνει σε βάρος των συμπερασμάτων για την τεχνολογία της πληροφορικής. Προτάσεις για περαιτέρω έρευνα αλλά και πρακτικές συμβουλές για ζητήματα συγγενή με την ενσωμάτωση ΙΤ/Business, τη διαχείριση αλλαγών, τη διάρκεια της ευθυγράμμισης και τα αποτελέσματα της προσφέρονται και προκύπτουν από το κείμενο. / The study “Alignment of technology and business strategy in companies and organizations”, describes the changes in the financial, social and technological environment, followed by the changing role of information systems in the area of business, effectiveness and productivity. The detection of the changing facts in the two critical parts of the subject, (information technology and applications & business strategy) takes place in two different levels; mainly using books and articles with the addition of a wide selection of data and information available through internet surveys, statistics and business executives interviews which refer to the effect and the utility of information and communication technology and its applications in the acts of planning and forming the business strategy and in business in general. This study is characterized as managerial but that does not degrade any of the consumptions about information technology and information systems. Suggestions for research as well as practical advice are offered throughout the text.

Οι ραγδαία αυξανόμενες απαιτήσεις για ασύρματες ευρείας ζώνης υπηρεσίες και τα πρόσφατα επιτεύγματα στο σχεδιασμό κι υλοποίηση κινητών τερματικών συσκευών με δυνατότητες παροχής υπηρεσιών διαδικτύου επισπεύδουν την εισαγωγή των ασυρμάτων συστημάτων επικοινωνίας τέταρτης γενεάς στην παγκόσμια αγορά. Βασικό ρόλο στην εκπλήρωση των απαιτήσεων για αυξημένο ρυθμό μετάδοσης δεδομένων και ποιότητα υπηρεσιών που έχουν τεθεί από τα συστήματα αυτά, διαδραματίζουν οι χωροχρονικές τεχνικές επεξεργασίας σήματος που εφαρμόζονται στα ασύρματα συστήματα με πολλαπλές κεραίες στον πομπό ή/και στο δέκτη. Ευρέως διαδεδομένα και συνάμα απλά στην υλοποίηση συστήματα πολλαπλών κεραιών είναι οι δέκτες χωρικού διαφορισμού (ΔΧΔ), οι οποίοι παρέχουν τη δυνατότητα αποδοτικής αντιμετώπισης του φαινομένου των διαλείψεων πολυδιόδευσης που εμφανίζονται στο ασύρματο κανάλι, συνδυάζοντας κατάλληλα τα πολλαπλά ληφθέντα αντίγραφα του εκπεμπόμενου σήματος. Η θεωρητικά αναμενόμενη βελτίωση στις επιδόσεις ασυρμάτων συστημάτων που δύνανται να προσφέρουν οι ΔΧΔ σε σύγκριση με τους συμβατικούς δέκτες μονής κεραίας, προϋποθέτει τη στατιστική ανεξαρτησία των διαλείψεων πολυδιόδευσης που εμφανίζονται στις πολλαπλές κεραίες του δέκτη. Σε πρακτικές υλοποιήσεις, όμως, ποικίλες παράμετροι, όπως για παράδειγμα η μικρή απόσταση μεταξύ των πολλαπλών κεραιών του δέκτη, συντελούν ώστε οι διαλείψεις που εμφανίζονται στους κλάδους των ΔΧΔ να είναι αυθαίρετα συσχετισμένες. Η θεωρητική μελέτη επιδόσεων ΔΧΔ που υπόκεινται σε αυθαίρετα συσχετισμένα κανάλια διαλείψεων πολυδιόδευσης, γνωστών ως διαλείψεις μικρής κλίμακας (ΔΜΙΚ), αποτελεί το αντικείμενο έρευνας της παρούσας διδακτορικής διατριβής. Αν και πολυάριθμες ερευνητικές εργασίες ασχολούνται με τη μοντελοποίηση των συσχετισμένων ΔΜΙΚ και της επίδρασής τους στις επιδόσεις ΔΧΔ, η πλειονότητά τους, χρησιμοποιώντας τις στατιστικές ιδιότητες πολυ-μεταβλητών κατανομών, περιορίζεται σε ειδικές μορφές συσχέτισης των διαλείψεων και σε συμβατικές τεχνικές ΔΧΔ. Το γεγονός αυτό οφείλεται, σε μεγάλο βαθμό, στην απουσία απλών στη χρήση και στον υπολογισμό μαθηματικών εκφράσεων για τις στατιστικές ιδιότητες πολυ-μεταβλητών κατανομών με αυθαίρετα συσχετισμένες τυχαίες μεταβλητές (ΤΜ). Στα πλαίσια της διατριβής αυτής επισκοπούνται, αρχικά, οι προταθείσες μαθηματικές εκφράσεις για τις κυριότερες στατιστικές ιδιότητες των πολυ-μεταβλητών κατανομών Rayleigh, Nakagami-m, Weibull και γενικευμένου Γάμα (ΓG) με διάφορες μορφές συσχέτισης και περιγράφονται οι δυνατότητες χρησιμοποίησής τους στη μελέτη επιδόσεων ΔΧΔ που λειτουργούν σε συσχετισμένες ΔΜΙΚ. Κατόπιν, παρουσιάζοντας μια νέα μεθοδολογία δημιουργίας αυθαίρετα συσχετισμένων και μη απαραιτήτως ταυτόσημα κατανεμημένων (ΤΚ) ΤΜ ΓG, η οποία βασίζεται σε αυθαίρετα συσχετισμένες ΤΜ Gauss και στην ειδική κατηγορία των πινάκων Householder για την τριδιαγωνιοποίηση του πίνακα συσχέτισης (ΠΣ) των ΤΜ Gauss, προέκυψαν μια κλειστής μορφής έκφραση άνω φράγματος για την από κοινού συνάρτηση πυκνότητας πιθανότητας (ΣΠΠ) και μια αναλυτική έκφραση άνω φράγματος σε αναπαράσταση απειροσειρών για την από κοινού αθροιστική συνάρτηση κατανομής (ΑΣΚ) αυθαίρετα συσχετισμένων και μη απαραιτήτως ΤΚ ΤΜ ΓG. Τα προταθέντα άνω φράγματα περιέχουν αρκετές γνωστές μαθηματικές εκφράσεις για τις από κοινού ΣΠΠ κι ΑΣΚ ως ειδικές περιπτώσεις. Στη συνέχεια, προσεγγίζοντας τον ΠΣ αυθαίρετα συσχετισμένων ΤΜ Gauss με έναν ειδικής κατηγορίας πίνακα Green, εξάγεται μια κλειστής μορφής έκφραση προσέγγισης για την από κοινού ΣΠΠ αυθαίρετα συσχετισμένων και μη απαραιτήτως ΤΚ ΤΜ ΓG καθώς και μια αναλυτική έκφραση προσέγγισης σε αναπαράσταση απειροσειρών για την από κοινού ΑΣΚ τους. Επίσης, παρουσιάζονται αναλυτικές εκφράσεις σε αναπαραστάσεις απειροσειρών για τις κυριότερες στατιστικές ιδιότητες της τρι-μεταβλητής κατανομής ΓG με αυθαίρετο ΠΣ και μη απαραιτήτως ΤΚ ΤΜ καθώς και της πολυ-μεταβλητής κατανομής ΓG με σταθερό ΠΣ και μη απαραιτήτως ΤΚ ΤΜ. Όλων των μορφών οι προταθείσες αναλυτικές μαθηματικές εκφράσεις για τις ΣΠΠ κι ΑΣΚ της πολυ-μεταβλητής κατανομής ΓG χρησιμοποιούνται για τη μελέτη επιδόσεων δεκτών διαφορισμού επιλογής (ΔΕ), διαφορισμού μέγιστου λόγου (ΔΜΛ) και διαφορισμού μεταγωγής κι εξέτασης (ΔΜκΕ) που υπόκεινται σε ποικίλα περιβάλλοντα αυθαίρετα συσχετισμένων ΔΜΙΚ. Αρχικά, εξάγονται αναλυτικές εκφράσεις άνω φραγμάτων για την πιθανότητα διακοπής επικοινωνίας (ΠΔΕ), τη μέση πιθανότητα σφάλματος συμβόλου (ΜΠΣΣ) διαφόρων σχημάτων διαμόρφωσης και τη μέση χωρητικότητα καναλιού (ΜΧΚ) κατά Shannon δεκτών ΔΕ που λειτουργούν σε περιβάλλον αυθαίρετα συσχετισμένων και μη απαραιτήτως ΤΚ διαλείψεων ΓG. Επίσης, παρουσιάζονται αναλυτικές εκφράσεις για τα ίδια κριτήρια επίδοσης δεκτών ΔΕ με τρεις κεραίες καθώς κι αναλυτικές εκφράσεις προσεγγίσεων για τα κριτήρια επίδοσης δεκτών ΔΕ οποιουδήποτε πλήθους κεραιών. Κατόπιν, εξάγοντας νέες αναλυτικές μαθηματικές εκφράσεις σε αναπαραστάσεις απειροσειρών για τις κυριότερες στατιστικές ιδιότητες του αθροίσματος οποιουδήποτε αριθμού αυθαίρετα συσχετισμένων και ΤΚ ΤΜ Γάμα, προκύπτουν αναλυτικές εκφράσεις για την ΠΔΕ, τη ΜΠΣΣ διαφόρων σχημάτων διαμόρφωσης και τη ΜΧΚ κατά Shannon δεκτών ΔΜΛ που λειτουργούν σε αυθαίρετα συσχετισμένες και ΤΚ διαλείψεις Nakagami-m. Για το ίδιο περιβάλλον διαλείψεων, παρουσιάζονται αναλυτικές εκφράσεις σε αναπαραστάσεις απειροσειρών για την ΠΔΕ και τη ΜΠΣΣ διαφόρων σχημάτων διαμόρφωσης δεκτών ΔΜκΕ οποιουδήποτε πλήθους κεραιών. Η στενότητα των προταθέντων άνω φραγμάτων για τα κριτήρια επίδοσης των δεκτών ΔΕ, ΔΜΛ και ΔΜκΕ που υπόκεινται σε περιβάλλοντα αυθαίρετα συσχετισμένων ΔΜΙΚ, η ορθότητα των αναλυτικών εκφράσεων για τα ίδια κριτήρια κι η ακρίβεια των προταθέντων προσεγγίσεών τους μελετήθηκαν εκτενώς συγκρίνοντας πολυάριθμα αριθμητικά αποτελέσματα των εκφράσεων αυτών με αντίστοιχα αποτελέσματα που προέκυψαν από προσομοιώσεις σε Η/Υ, οι οποίες υλοποιήθηκαν για το σκοπό αυτό. / The rapidly increasing demands for wireless wideband services and the recent advances in the design and implementation of mobile terminal devices with Internet-based service providing capabilities expedite the introduction of fourth generation (4G) wireless communications systems in the international wireless market. These systems are expected to ensure increased data rates and quality of service in an anytime anywhere basis. Wireless systems that utilize multiple antennas at the transmitter and/or receiver as well as space-time signal processing techniques play a fundamental role in accomplishing the demands imposed by 4G wireless communications systems. Well-known multiple-antenna systems that enable simple implementations are space diversity receivers (SDRs). By properly combining the multiple received replicas of the transmitted signal, SDRs are capable of effectively mitigating the detrimental effects of multipath fading, known as small-scale fading (SSF), that is inherent in wireless channels. SDRs are theoretically known to improve wireless system’s performance compared with conventional single-antenna receivers. This improvement requires that the SSF channels among multiple receiver’s antennas are statistically independent. However, in practical implementations, due to several parameters such as for example the small distance among the receiver’s multiple branches, SSF channels are arbitrarily correlated. This doctoral dissertation presents a theoretical performance study of SDRs operating over arbitrarily correlated SSF channels. Although numerous scientific papers deal with correlated SSF channel modeling and the impact of correlated SSF on the performance of SDRs, their vast majority, which utilizes the statistical properties of multivariate distributions for studying SDRs’ performance, is restricted to special forms of fading correlation and conventional SDR techniques. This happens mainly due the fact that there is a lack of simple mathematical expressions for the statistical properties of multivariate distributions with arbitrarily correlated random variables (RVs) in the literature. Within the framework of this dissertation, firstly, the previously proposed mathematical expressions for the most prevalent statistical properties of the multivariate Rayleigh, Nakagami-m, Weibull and generalized Gamma (ΓG) distributions with various forms of correlation are summarized. Moreover, their capabilities of being utilized for the performance study of SDRs operating over correlated SSF are described. Next, by presenting a new methodology for generating arbitrarily correlated and not necessarily identically distributed (ID) ΓG RVs that is based on arbitrarily correlated Gaussian RVs and the special class of Householder matrices for tridiagonalizing the correlation matrix (CM) of Gaussian RVs, a closed-form upper bound expression for the joint probability density function (PDF) and an analytical upper bound expression in infinite series form for the joint cumulative distribution function (CDF) of arbitrarily correlated and not necessarily ID ΓG RVs are derived. The proposed upper bounds contain several known mathematical expressions for the joint PDF and CDF as special cases. In addition, by approximating the CM of arbitrarily correlated Gaussian RVs with the special class of Green’s matrices, a closed-form approximate expression for the joint PDF and an analytical approximate expression in infinite series form for the joint CDF of arbitrarily correlated and not necessarily ID ΓG RVs are obtained. Furthermore, analytical expressions in infinite series form for the most prevalent statistical properties of the trivariate ΓG distribution with an arbitrary CM and not necessarily ID RVs as well as of the multivariate ΓG distribution with a constant CM and not necessarily ID RVs are presented. The proposed analytic mathematical expressions of all forms for the PDF and CDF of the multivariate ΓG distribution are used for the performance study of selection diversity (SD), maximal-ratio diversity (MRD), and switch-and-examine diversity (SED) receivers over various arbitrarily correlated SSF channels. Firstly, analytical upper bound expressions for the outage probability (OP), average symbol error probability (ASEP) for several modulation formats, and average channel capacity (ACC) in Shannon’s sense of SD receivers operating over arbitrarily correlated and not necessarily ID ΓG fading are derived. Moreover, analytical expressions for the same performance criteria of triple-branch SD receivers as well as analytical approximate expressions for the performance criteria of multibranch SD receivers are presented. Next, by obtaining new analytic mathematical expressions in infinite series form for the most prevalent statistical properties of the sum of any number of arbitrarily correlated and ID Gamma RVs, analytical expressions for the OP, ASEP for several modulation formats, and ACC in Shannon’s sense of multibranch MRD receivers operating over arbitrarily correlated and ID Nakagami-m fading are derived. For the same fading conditions, analytical expressions in infinite series form for the OP and ASEP for several modulation formats of multibranch SED receivers are presented. The tightness of the proposed upper bounds for the performance criteria of multibranch SD, MRD, and SED receivers in various arbitrarily correlated SSF environments, the correctness of the analytical expressions for the same criteria, and the accuracy of the proposed approximations for them are studied in depth through comparisons between numerically evaluated results for the expressions and equivalent results obtained by means of computer simulations that were implemented for this purpose.

Στην παρούσα εργασία μελετήθηκε το πρόβλημα της σταθεροποίησης συστημάτων αναερόβιας χώνευσης σε συνθήκες μεγιστοποίησης του παραγόμενου βιοαερίου, υπό την παρουσία διαταραχών στην είσοδο του συστήματος. Εξήχθη ένα απλοποιημένο μοντέλο δύο καταστάσεων, για χρήση του για τους σκοπούς της ρύθμισης της διεργασίας. Για την παρακολούθηση της διεργασίας κατασκευάσθηκε ένα περιβάλλον παρακολούθησης σε LabView, με τη μέτρηση να είναι ο ρυθμος παραγωγής του βιοαερίου. Για τη σταθεροποίηση του συστήματος, αναπτύχθηκε ένας αναλογικός, ως προς τη μέτρηση του βιοαερίου, νόμος ανάδρασης εξόδου. Ο νόμος ανάδρασης σταθεροποιεί τη διεργασία σε μία μεγάλη περιοχή γύρω από τη βέλτιστη μόνιμη κατάσταση, χωρίς να οδηγεί στην έκπλυση της βιομάζας. Αυτή η ικανότητα του ρυθμιστή, δοκιμάσθηκε τόσο σε επίπεδο προσομοιώσεων όσο και σε πειραματικό επίπεδο. Αναπτύχθηκε, επίσης, θεωρία σχεδιασμού μη γραμμικών παρατηρητών, οι οποίοι χρησιμοποιούνται για την εκτίμηση των άγνωστων καταστάσεων και παραμέτρων της διεργασίας, που δεν μπορούν να μετρηθούν, καθώς και για την ανίχνευση πιθανών διαταραχών και υπολογισμό του μεγέθους τους. / The present work studied the problem of stabilization of anaerobic digesters in maximum biogas production rate conditions, under the effect of disturbances in the feed. A two state, simplified model was developed for control purposes. For monitoring of the process, a LabView monitoring environment was developed, with the biogas production rate being the measured output of the system. For stabilizing the system of the anaerobic reactor, a proportional with respect to the measured methane production rate output feedback control law was developed. The control law stabilizes the process in a very large region around the optimal steady state without driving the system towards washout of the biomass. This ability of the controller was tested both with simulation and experimentally. Also a nonlinear observer theory was developed. The designed nonlinear observer was used for estimating the unknown states and parameters of the system that cannot be measured and for the detection of the potential presence and magnitude of a disturbance.

Σκοπός της παρούσας εργασίας είναι η σύγκριση διαφόρων μεθόδων κατηγοριοποίησης που στηρίζονται σε αναπαράσταση γνώσης με κανόνες μέσω της δημιουργίας έμπειρων συστημάτων από γνωστά σύνολα δεδομένων. Για την εφαρμογή των μεθόδων και τη δημιουργία και υλοποίηση των αντίστοιχων έμπειρων συστημάτων χρησιμοποιούμε διάφορα εργαλεία όπως: (α) Το ACRES, το οποίο είναι ένα εργαλείο αυτόματης παραγωγής έμπειρων συστημάτων με συντελεστές βεβαιότητας. Οι συντελεστές βεβαιότητος μπορούν να υπολογίζονται κατά δύο τρόπους και επίσης παράγονται δύο τύποι έμπειρων συστημάτων που στηρίζονται σε δύο διαφορετικές μεθόδους συνδυασμού των συντελεστών βεβαιότητας (κατά MYCIN και μιας γενίκευσης αυτής του MYCIN με χρήση βαρών που υπολογίζονται μέσω ενός γενετικού αλγορίθμου). (β) Το WEKA, το οποίο είναι ένα εργαλείο που περιέχει αλγόριθμους μηχανικής μάθησης. Συγκεκριμένα, στην εργασία χρησιμοποιούμε τον αλγόριθμο J48, μια υλοποίηση του γνωστού αλγορίθμου C4.5, που παράγει δένδρα απόφασης, δηλ. κανόνες. (γ) Το CLIPS, το οποίο είναι ένα κέλυφος για προγραμματισμό με κανόνες. Εδώ, εξάγονται οι κανόνες από το δέντρο απόφασης του WEKA και υλοποιούνται στο CLIPS με ενδεχόμενες μετατροπές. (δ) Το FuzzyCLIPS, το οποίο επίσης είναι ένα κέλυφος για την δημιουργία ασαφών ΕΣ. Είναι μια επέκταση του CLIPS που χρησιμοποιεί ασαφείς κανόνες και συντελεστές βεβαιότητος. Εδώ, το έμπειρο σύστημα που παράγεται μέσω του CLIPS μετατρέπεται σε ασαφές έμπειρο σύστημα με ασαφοποίηση κάποιων μεταβλητών. (ε) Το GUI Ant-Miner, το οποίο είναι ένα εργαλείο για την εξαγωγή κανόνων κατηγοριοποίησης από ένα δοσμένο σύνολο δεδομένων. με τη χρήση ενός μοντέλου ακολουθιακής κάλυψης, όπως ο αλγόριθμος AntMiner. Με βάση τις παραπάνω μεθόδους-εργαλεία δημιουργήθηκαν έμπειρα συστήματα από πέντε σύνολα δεδομένων κατηγοριοποίησης από τη βάση δεδομένων UCI Machine Learning Repository. Τα συστήματα αυτά αξιολογήθηκαν ως προς την ταξινόμηση με βάση γνωστές μετρικές (ορθότητα, ευαισθησία, εξειδίκευση και ακρίβεια). Από τη σύγκριση των μεθόδων και στα πέντε σύνολα δεδομένων, εξάγουμε τα παρακάτω συμπεράσματα: (α) Αν επιθυμούμε αποτελέσματα με μεγαλύτερη ακρίβεια και μεγάλη ταχύτητα, θα πρέπει μάλλον να στραφούμε στην εφαρμογή WEKA. (β) Αν θέλουμε να κάνουμε και παράλληλους υπολογισμούς, η μόνη εφαρμογή που μας παρέχει αυτή τη δυνατότητα είναι το FuzzyCLIPS, θυσιάζοντας όμως λίγη ταχύτητα και ακρίβεια. (γ) Όσον αφορά το GUI Ant-Miner, λειτουργεί τόσο καλά όσο και το WEKA όσον αφορά την ακρίβεια αλλά είναι πιο αργή μέθοδος. (δ) Σχετικά με το ACRES, λειτουργεί καλά όταν δουλεύουμε με υποσύνολα μεταβλητών, έτσι ώστε να παράγεται σχετικά μικρός αριθμός κανόνων και να καλύπτονται σχεδόν όλα τα στιγμιότυπα στο σύνολο έλεγχου. Στα σύνολα δεδομένων μας το ACRES δεν θεωρείται πολύ αξιόπιστο υπό την έννοια ότι αναγκαζόμαστε να δουλεύουμε με υποσύνολο μεταβλητών και όχι όλες τις μεταβλητές του συνόλου δεδομένων. Όσο πιο πολλές μεταβλητές πάρουμε ως υποσύνολο στο ACRES, τόσο πιο αργό γίνεται. / The aim of this thesis is the comparison of several classification methods that are based on knowledge representation with rules via the creation of expert systems from known data sets. For the application of those methods and the creation and implementation of the corresponding expert systems, we use various tools such as: (a) ACRES, which is a tool for automatic production of expert systems with certainty factors. The certainty factors can be calculated via two different methods and also two different types of expert systems can be produced based on different methods of certainty propagation (that of MYCIN and a generalized version of MYCIN one that uses weights calculated via a genetic algorithm). (b) WEKA, which is a tool that contains machine learning algorithms. Specifically, we use J48, an implementation of the known algorithm C4.5, which produces decision trees, which are coded rules. (c) CLIPS, which is a shell for rule based programming. Here, the rules encoded on the decision true produced by WEKA are extracted and codified in CLIPS with possible changes. (d) FuzzyCLIPS, which is a shell for creating fuzzy expert systems. It's an extension of CLIPS that uses fuzzy rules and certainty factors. Here, the expert system created via CLIPS is transferred to a fuzzy expert system by making some variables fuzzy. (e) GUI Ant-Miner, which is a tool for classification rules extraction from a given data set, using a sequential covering model, such as the AntMiner algorithm. Based on the above methods-tools, expert systems were created from five (5) classification data sets from the UCI Machine Learning Repository. Those systems have been evaluated according to their classification capabilities based on known metrics (accuracy, sensitivity, specificity and precision). From the comparison of the methods on the five data sets, we conclude the following: (a) if we want results with greater accuracy and high speed, we should probably turn into WEKA. (b) if we want to do parallel calculations too, the only tool that provides us this capability is FuzzyCLIPS, sacrificing little speed and accuracy. (c) With regards to GUI Ant-Miner, it works as well as WEKA in terms of accuracy, but it is slower. (d) About ACRES, it works well when we work with subsets of the variables, so that it produces a relatively small number or rules and covers almost all the instances of the test set. For our datasets, ACRES is not considered very reliable in the sense that we should work with subsets of variables, not all the variables of the dataset. The more variables we consider as a subset in ACRES, the slower it becomes.

This PhD dissertation proposes innovative methodologies to support the designing and the mapping process of embedded systems. Due to the increasing requirements, embedded systems have become quite complex, as they consist of several partially dependent heterogeneous components. Systematic Design Space Exploration (DSE) methodologies are required to support the near-optimal design of embedded systems within the available short time-to-market. In this target domain, the existing DSE approaches either require too much exploration time to find near-optimal designs due to the high number of parameters and the correlations between the parameters of the target domain, or they end up with a less efficient trade-off result in order to find a design within acceptable time. In this dissertation we present an alternative DSE methodology, which is based on systematic creation of scalable and near-optimal DSE frameworks. The frameworks describe all the available options of the exploration space in a finite set of classes. A set of principles is presented which is used in the reusable DSE methodology to create a scalable and near-optimal framework and to efficiently use it to derive scalable and near-optimal design solutions within a Pareto trade-off space. The DSE reusable methodology is applied to several stages of the embedded system design flow to derive scalable and near-optimal methodologies. The first part of the dissertation is dedicated to the development of mapping methodologies for storing large embedded system data arrays in the lower layers of the on-chip background data memory hierarchy, and the second part to the DSE methodologies for the processing part of SW/HW architectures in embedded systems including the foreground memory systems. Existing mapping approaches for the background memory part are either enumerative, symbolic/polyhedral and worst case (heuristics) approximations. The enumerative approaches require too much exploration time, the worst case approximation lead to overestimation of the storage requirements, whereas the symbolic/polytope approaches are scalable and near-optimal for solid and regular iteration spaces. By applying the new reusable DSE methodology, we have developed an intra-signal in-place optimization methodology which is scalable and near-optimal for highly irregular access schemes. Scalable and near-optimal solutions for the different cases of the proposed methodology have been developed for the cases of non-overlapping and overlapping store and load access schemes. To support the proposed methodology, a new representation of the array access schemes, which is appropriate to express the irregular shapes in a scalable and near-optimal way, is presented. A general pattern formulation has been proposed which describes the access scheme in a compact and repetitive way. Pattern operations were developed to combine the patterns in a scalable and near-optimal way under all the potential pattern combination cases, which may exist in the application under study. In the processing oriented part of the dissertation, a DSE methodology is developed for mapping instance of a predefined target application domain onto a partially fixed architecture platform template, which consists of one processor core and several custom hardware accelerators. The DSE methodology consists of uni-directional steps, which are implemented through parametric templates and are applied without costly design iterations. The proposed DSE methodology explores the space by instantiating the steps and propagating design constraints which prune design options following the steps ordering. The result is a final Pareto trade-off curve with the most relevant near-optimal designs. As the scheduling and the assignment are the major tasks of both the foreground and the datapath, near-optimal and scalable techniques are required to support the parametric templates of the proposed DSE methodology. A framework which describes the scheduling and assignment of the scalars into the registers and the scheduling and assignment of the operation into the function units of the data path is developed. Based on the framework, a systematic methodology to arrive at parametric templates for scheduling and assignment techniques which satisfy the target domain constraints is developed. In this way, a scalable parametric template for scheduling and assignment tasks is created, which guarantees near-optimality for the domain under study. The developed template can be used in the Foreground Memory Management step and Data-path mapping step of the overall design flow. For the DSE of the domain under study, near-optimal results are hence achieved through a truly scalable technique. / Η παρούσα διδακτορική διατριβή προτείνει καινοτόμες μεθοδολογίες για τον σχεδιασμό και τη διαδικασία απεικόνισης σε ενσωματωμένα συστημάτα. Λόγω των αυξανόμενων απαιτήσεων, τα ενσωματωμένα συστήματα είναι αρκετά περίπλοκα, καθώς αποτελούνται από πολλά και εν μέρει εξαρτώμενα ετερογενή στοιχεία. Συστηματικές μεθοδολογίες για την εξερεύνηση του χώρου λύσεων (Design Space Exploration – DSE) απαιτούνται σχεδόν βέλτιστες σχεδιάσεις ενσωματωμένων συστημάτων εντός του διαθέσιμου χρονου. Οι υπάρχουσες DSE μεθοδολογίες απαιτούν είτε πάρα πολύ χρόνο εξερεύνησης για να βρουν τους σχεδόν βέλτιστους σχεδιασμούς, λόγω του μεγάλου αριθμού των παραμέτρων και τις συσχετίσεις μεταξύ των παραμέτρων, ή καταλήγουν με ένα λιγότερο βέλτιστο σχέδιο, προκειμένου να βρειθεί ένας σχεδιασμός εντός του διαθέσιμου χρόνου. Στην παρούσα διδακτορική διατριβή παρουσιάζουμε μια εναλλακτική DSE μεθοδολογία, η οποία βασίζεται στη συστηματική δημιουργία επεκτάσιμων και σχεδόν βέλτιστων DSE πλαισίων. Τα πλαίσια περιγράφουν όλες τις διαθέσιμες επιλογές στο χώρο εξερεύνησης με ένα πεπερασμένο σύνολο κατηγοριών. Ένα σύνολο αρχών χρησιμοποιείται στην επαναχρησιμοποιήούμενη DSE μεθοδολογία για να δημιουργήσει ένα επεκτάσιμο και σχεδόν βέλτιστο DSE πλαίσιο και να χρησιμοποιήθεί αποτελεσματικά για να δημιουργήσει επεκτάσιμες και σχεδόν βέλτιστες σχεδιαστικές λύσεις σε ένα Pareto Trade-off χώρο λύσεων. Η DSE μεθοδολογία εφαρμόζεται διάφορα στάδια της σχεδιαστικής ροής για ενσωματωμένα συστήματα και να δημιουργήσει επεκτάσιμες και σχεδόν βέλτιστες μεθοδολογίες. Το πρώτο μέρος της διατριβής είναι αφιερωμένο στην ανάπτυξη των μεθόδων απεικόνισης για την αποθήκευση μεγάλων πινάκων που χρησιμοποιούνται στα ενσωματωμένα συστήματα και αποθηκεύονται στα χαμηλότερα στρώματα της on-chip Background ιεραρχία μνήμης. Το δεύτερο μέρος είναι αφιερωμένο σε DSE μεθοδολογίες για το τμήμα επεξεργασίας σε αρχιτεκτονικές λογισμικού/υλικού σε ενσωματωμένα συστήματα, συμπεριλαμβανομένων των συστημάτων της προσκήνιας (foreground) μνήμης. Υπάρχουσες μεθοδολογίες απεικόνισης για την Background μνήμης είτε εξονυχιστικές, συμβολικές/πολυεδρικές και προσεγγίσεις με βάση τη χειρότερη περίπτωση. Οι εξονυχιστικές απαιτούν πάρα πολύ μεγάλο χρόνο εξερεύνησης, οι προσεγγίσεις οδηγούν σε υπερεκτίμηση των απαιτήσεων αποθήκευσης, ενώ οι συμβολικές είναι επεκτάσιμη και σχεδόν βέλτιστές μονο για τακτικούς χώρους επαναλήψεων. Με την εφαρμογή της προτεινόμενης DSE μεθοδολογίας αναπτύχθηκε μια επεκτάσιμη και σχεδόν βέλτιστη μεθοδολγοία για την εύρεση του αποθηκευτικού μεγέθους για τα δεδομένα ενός πίνακα για άτακτους και για τακτικούς χώρους επαναλήψεων. Προτάθηκε μια νέα αναπαράσταση των προσπελάσεων στη μνήμη, η οποία εκφράζει τα ακανόνιστα σχήματα στο χώρο επεναλήψεων με επακτάσιμο και σχεδόν βέλτιστο τρόπο. Στο δεύτερο τμήμα της διατριβής, μια DSE μεθοδολογία αναπτύχθηκε για το σχεδιασμό ενός προκαθορισμένου τομέα από εφαρμογές σε μια μερικώς αποφασισμένη αρχιτεκτονική πλατφόρμα, η οποία αποτελείται από ένα πυρήνα επεξεργαστή και αρκετούς συνεπεξεργαστές. Η DSE μεθοδολογία αποτελείται από μονής κατεύθυνσης βήματα, τα οποία υλοποιούνται μέσω παραμετρικών πλαισίων και εφαρμόζονται αποφέυγοντας τις δαπανηρές επαναλήψεις κατά τον σχεδιασμό. Η προτεινόμενη DSE μεθοδολογία εξερευνά το χώρο βρίσκοντας στιγμιότυπα για καθε βήμα και διαδίδονατς τις αποφάσεις μεταξύ βημάτων. Με αυτό το τρόπο κλαδεύουν τις επιλογές σχεδιασμού στα επόμενα βήματα. Το αποτέλεσμα είναι μια Pareto καμπύλη. Ένα DSE πλαίσιο προτάθηκε που περιγράφει τις τεχνικές χρονοπρογραμματισμού και ανάθεσης πόρων των καταχωρητών και των μονάδων εκτέλεσης του συστήματος. Προτάθηκε μια μεθοδολογία για να δημιουργεί σχεδόν βέλτιστα και επεκτάσιμα παραμετρικά πρότυπα για τον χρονοπρογραμματισμό και την ανάθεση πόρων που ικανοποιεί τους περιορισμούς ενός τομέα εφαρμογών.

Στα πλαίσια της διδακτορικής διατριβής μελετήθηκε η αποτελεσματικότητα διαφόρων κυκλωμάτων ελέγχου που βασίζονται στην υπολογιστική νοημοσύνη με σκοπό την αντιμετώπιση βραχυκυκλωμάτων σε δίκτυα διασύνδεσης ανεμογεννητριών με το δίκτυο. Πιο συγκεκριμένα, τα προτεινόμενα συστήματα ελέγχου έχουν σκοπό τη διαμόρφωση κατάλληλων συνθηκών ώστε οι ανεμογεννήτριες να καταφέρουν να συνεχίσουν να είναι συνδεδεμένες στο δίκτυο κατά τη διάρκεια και αμέσως μετά τα βραχυκυκλώματα, συνεισφέροντας στη γρήγορη επαναφορά της τάσης στο Σημείο Κοινής Σύνδεσης με το Δίκτυο (ΣΚΣΔ). Στο πρώτο μέρος της διατριβής μελετήθηκε ένα προσαρμοζόμενο ασαφές σύστημα ελέγχου με σκοπό τη βελτιωμένη απόκριση Αιολικού Πάρκου (ΑΠ) με επαγωγικές γεννήτριες που τροφοδοτεί ένα ασθενές σύστημα ηλεκτρικής ενέργειας μέσω διασύνδεσης ΕΡ/ΣΡ/ΕΡ με Μετατροπείς Πηγής Τάσης (ΜΠΤ). Το σύστημα αυτό εντοπίζει τη σοβαρότητα του σφάλματος και διαμορφώνει ανάλογα την παλμοδότηση των βαλβίδων των ΜΠΤ κατά τη διάρκεια του σφάλματος. Επίσης, έχει την ιδιότητα να αυτορυθμίζεται κατά τη διάρκεια της μετασφαλματικής περιόδου, επιτυγχάνοντας εξασθένηση της ταλαντωτικής συμπεριφοράς του συστήματος που προκαλείται από τα βραχυκύκλωμα και την παραμονή των ανεμογεννητριών στο δίκτυο. Το ηλεκτρικό σύστημα που μελετήθηκε στο δεύτερο μέρος της διδακτορικής διατριβής περιλαμβάνει μια επαγωγική ανεμογεννήτρια διπλής τροφοδότησης (γνωστή με την ονομασία double-fed induction machine) η οποία τροφοδοτεί ένα δίκτυο ηλεκτρικής ενέργειας. Στη βιβλιογραφία που έχει δημοσιευθεί μέχρι σήμερα, για την αντιμετώπιση των βραχυκυκλωμάτων σε ανάλογα ηλεκτρικά συστήματα, προτείνονται διατάξεις οι οποίες βασίζονται είτε σε κατάλληλο μηχανικό εξοπλισμό όπως μπάρες βραχυκύκλωσης (crowbars) είτε σε κατάλληλο προγραμματισμό των ελεγκτών. Σε αυτό το μέρος της διατριβής προτείνεται ένα εναλλακτικό σύστημα ελέγχου που βασίζεται στον κατάλληλο προγραμματισμό των ελεγκτών, χωρίς να χρησιμοποιεί κάποιον εξοπλισμό προστασίας. Το σύστημα ελέγχου, το οποίο βασίζεται στους γενετικούς αλγορίθμους, συμβάλει στη βέλτιστη «συνεργασία» των δύο ΜΠΤ της γεννήτριας, επιτυγχάνοντας την εξασθένιση των διακυμάνσεων της τάσης στο ΣΚΣΔ και τη διατήρηση της σύνδεσης της γεννήτριας στο ηλεκτρικό δίκτυο. / This thesis studies the implementation of intelligent control techniques in the Fault Ride-Through (FRT) of grid connected Wind Turbines (WTs). The first part of the dissertation studies the issue of the fault ride-through capability of a wind farm of induction generators, which is connected to an ac grid through an HVDC link based on Voltage Sourced Converters (VSCs). This work proposes a control strategy which is implemented with adaptive fuzzy controllers and deals with every different type of fault with a corresponding appropriate action, blocking the converter valves for a time interval which depends on the severity of the fault. In addition, after the deblocking of the valves, the proposed control system activates a special controller, which alleviates the oscillations at the electrical system caused by the blocking of the valves. In this way, the overcurrents are limited, the wind turbines manage to remain connected and the ac voltage recovers quickly, as it is imposed by national grid codes. The second part of the dissertation proposes a Computational Intelligence–based control strategy, to enhance the low voltage ride-through capability of grid-connected WTs with doubly fed induction generators (DFIGs). The conventional crowbar-based systems that were initially applied in order to protect the rotor-side converter at the occurrence of grid faults, do not fulfill the recent requirement of the national GCs that the WTs should supply reactive power to the grid during and after the fault, in order to support the grid voltage. In order to conform to the above mentioned requirement, this work proposes a control scheme, which contributes to the optimal coordination of the two converters, aiming to attenuate the disturbances to the system caused by the fault and ensure system stability. Aiming to encounter the difficulties met due to the uncertainties of the system modeling and considering the non linearity of the system, the controllers were designed based on fuzzy logic and genetic algorithms, which are more efficient in such cases. By this concept the overcurrents at the rotor windings and the dc side overvoltages are effectively eliminated. In addition, the FRT requirement concerning the reactive power supply is fulfilled.

Renewable Energy Sources (RES) are the most promising resources of energy production for everyday life. Therefore, the precise combination of RES based technologies into hybrid systems could provide the solution to several energy problems facing the planet. The motivation of the present research study is the total understanding of the prevailing phenomena by using RES equipment in several projects. This thesis will focus on standalone hybrid RES based systems. By presenting the RES systems the necessity of buffering systems will become apparent as the most crucial parts of off-grid systems. Therefore, the most well-established buffering technologies will be analytically presented in order to be subsequently embodied into the simulated RES applications. Following the above theoretical approach of RES based equipment and hybrid systems in general, this thesis will focus on a more applied research study comprising the energetic and economical simulation and optimization of a RES based stand alone system that is already installed in Leicestershire, UK. Based on local meteorological data, an optimization strategy has been developed to identify the most economical and efficient scenarios for electricity generation to cover the desirable load on an annual basis. Furthermore, the environmentally-friendly character of the system was highly concerned with emissions reduction; therefore the capability of an off-grid system was also investigated. The feasibility of RES based systems for electricity supply will then be presented for four different Greek Islands. Three specific typical loads have been selected to be covered and the grid connection was considered optional. Up to this point the simulation and optimization procedures were applied by using the HOMER software tool in order to investigate the most suitable well-established platform in the world. After the theoretical research study on the most well-known platform of HOMER an innovative optimization theory based on the energy part of a hybrid system will be presented in order to select the most efficient system according to the desired requirements and the location of a RES based project. This thesis will then focus on the design and operation of an autonomous hybrid system under real-life meteorological conditions which is capable of simulating several loads assumed to cover the electricity demands of small buildings. The specific hybrid system embodies technologies that use photovoltaic and wind energy in combination with an electrochemical storage bank. Experiments on the coverage of annual loads regarding a typical house, a typical country house and a small company were also performed to prove the feasibility of the stand-alone system. The same established RES project was then simulated on a yearly basis using the HOMER software platform to determine real-time results. The above analysis revealed that HOMER software cannot successfully simulate the operation of such a system, therefore the design of a new mathematical model to produce results similar to those of the experimental process was considered essential based on a new optimization strategy. / Οι Ανανεώσιμες Πηγές Ενέργειας (ΑΠΕ) αποτελούν τις πιο πολλά υποσχόμενες πηγές στον τομέα της παραγωγής της ηλεκτρικής ενέργειας μέσα στην ανθρώπινη καθημερινότητα. Έτσι ο ακριβής συνδυασμός των ΑΠΕ σε υβριδικά συστήματα θα μπορούσε να αποτελέσει τη λύση στο μεγάλο ενεργειακό πρόβλημα που αντιμετωπίζει ο πλανήτης τα τελευταία χρόνια και όσο περνάει ο καιρός αυτό φαίνεται να διογκώνεται. Το κίνητρο για την εκπόνηση της παρούσας διδακτορικής διατριβής στηρίζεται στην ανάγκη για απόλυτη κατανόηση των φαινομένων που λαμβάνουν χώρα κατά τη χρήση των ΑΠΕ σε διάφορα συστήματα για την παραγωγή ηλεκτρικής ενέργειας. Επιπλέον, μέσα από αυτή την έρευνα θα φανεί πως οι καιρικές συνθήκες επηρεάζουν τη συμπεριφορά ενός υβριδικού συστήματος και σε ποιό ποσοστό. Ακόμα περιμένουμε να γίνει φανερό το πόσο σημαντική είναι η σωστή επιλογή των τεχνολογιών σύμφωνα με τις ηλεκτρικές ανάγκες που πρέπει να καλυφθούν από ένα εγκατεστημένο σύστημα. Στη συνέχεια της παρούσας εργασίας μελετήθηκε κάτω από ποιες συνθήκες ένα αυτόνομο υβριδικό σύστημα μπορεί να είναι εφικτό καθώς και πόσο ακριβή αποτελέσματα μπορούν αν δώσουν τα θεωρητικά μαθηματικά μοντέλα επάνω στην πρόβλεψη της λειτουργίας ενός συστήματος. Τέλος, παρουσιάστηκε πως μπορεί να ενισχυθεί ο οικολογικός χαρακτήρας ενός συστήματος ενώ την ίδια στιγμή αποκαλύφθηκε η κύρια αδυναμία του κατά τη λειτουργία καθώς και πως αυτή μπορεί να λυθεί με τη χρήση καινοτόμων συσκευών για την αποθήκευση ενέργειας. Μέσω της παρούσας διδακτορικής διατριβής αποδείχθηκε πως ένα υβριδικό σύστημα υποστηριζόμενο από ΑΠΕ μπορεί να μετατραπεί σε εντελώς αυτόνομο με ενισχυμένο τον οικολογικό του χαρακτήρα και με την οικονομική και ενεργειακή βιωσιμότητά του να κυμαίνεται σε υψηλά επίπεδα. Το παραπάνω συμπέρασμα προέκυψε μέσω θεωρητικών αλλά και πειραματικών προσομοιώσεων διάφορων υβριδικών μονάδων. Αυτό αποτελεί ίσως το πιο ενθαρρυντικό στοιχείο για πλήρη αξιοποίηση των ΑΠΕ προκειμένου να καλυφθούν οι παγκόσμιες ενεργειακές ανάγκες με τρόπους εντελώς φιλικούς προς το περιβάλλον στο άμεσο μέλλον.

Στη παρούσα διπλωματική εργασία ασχολούμαστε με την αποδοτική επίλυση ταινιακών και γενικών, αραιών γραμμικών συστημάτων σε παράλληλες αρχιτεκτονικές μέσω της οικογένειας αλγορίθμων Spike. Ζητούμενο είναι η βελτίωση (μείωση) του χρόνου επίλυσης μέσω τεχνικών επίλυσης γραμμικών συστημάτων με πολλά δεξιά μέλη. Πιο συγκεκριμένα, επικεντρωνόμαστε στην επίλυση της εξίσωσης μητρώου $AX=F$ (1) όπου $A\in \mathbb{R}^{n\times n}$ είναι το μητρώο συντελεστών και το οποίο είναι αραιό ή/και ταινιακό, $F\in \mathbb{R}^{n\times s}$ είναι ένα μητρώο με $s$ στήλες το οποίο ονομάζεται μητρώο δεξιών μελών και $X\in \mathbb{R}^{n\times s}$ είναι η λύση του συστήματος. Μια σημαντική μέθοδος για την παράλληλη επίλυση της παραπάνω εξίσωσης, είναι η μέθοδος Spike και οι παραλλαγές της. Η μέθοδος Spike βασίζεται στη τεχνική διαίρει και βασίλευε και αποτελείται από δυο φάσεις: α) επίλυση ανεξάρτητων υπο-προβλημάτων τοπικά σε κάθε επεξεργαστή, και β) επίλυση ενός πολύ μικρότερου προβλήματος το οποίο απαιτεί επικοινωνία μεταξύ των επεξεργαστών. Οι δύο φάσεις συνδυάζονται ώστε να παραχθεί η τελική λύση $X$. Η συνεισφορά της διπλωματικής εργασίας έγκειται στην επιτάχυνση της οικογένειας αλγορίθμων Spike για την επίλυση της εξίσωσης (1) μέσω της μελέτης, το σχεδιασμό και την υλοποίηση νέων, περισσότερο αποδοτικών αλγοριθμικών σχημάτων τα οποία βασίζονται σε τεχνικές επίλυσης γραμμικών συστημάτων με πολλά δεξιά μέλη. Αυτά τα νέα αλγοριθμικά σχήματα έχουν ως στόχο τη βελτίωση του χρόνου επίλυσης των γραμμικών συστημάτων καθώς και άλλα οφέλη όπως η αποδοτικότερη χρήση μνήμης. / In this thesis we focus on the efficient solution of general banded and general sparse linear systems on parallel architectures by exploiting the Spike family of algorithms. The equation of interest can be written in matrix form as $ AX = F $ (1) where $ A \ in \ mathbb {R} ^ {n \ times n} $ is the coefficient matrix, which is also sparse and / or banded, $ F \ in \ mathbb {R} ^ {n \ times s} $ is a matrix with $ s $ columns called matrix of the right hand sides and $ X \ in \ mathbb {R} ^ {n \ times s} $ is the solution of the system. An important method for the parallel solution of the above equation, is the Spike method and its variants. The Spike method is based on the divide and conquer technique and consists of two phases: a) solution of local, independent sub-problems in each processor, and b) solution of a much smaller problem which requires communication among the processors. The two phases are combined to produce the final solution $ X $. The contribution of this thesis is the acceleration of the Spike method for the solution of the matrix equation in (1) by studying, designing and implementing new, more efficient algorithmic schemes which are based on techniques used for the effective solution of linear systems with multiple right hand sides. These new algorithmic schemes were designed to improve the solving time of the linear systems as well as to provide other benefits such as more efficient use of memory.

Ο στόχος της παρούσας διατριβής είναι η ανάπτυξη μιας νέας κλάσης εξωτερικά εξαρτώμενων στοχαστικών συναρτησιακών μοντέλων για την αναγνώριση (identification) δυναμικών συστημάτων που παρουσιάζουν πολλαπλά σημεία λειτουργίας, τα οποία καθορίζονται από μετρήσιμη εξωτερική μεταβλητή (όπως για παράδειγμα, η θερμοκρασία, η υγρασία, κ.λ.π.). Επιπλέον, στόχος είναι η ανάπτυξη καινοτόμου μεθοδολογίας διάγνωσης (ανίχνευσης, προσδιορισμού και εκτίμησης) βλαβών σε δυναμικά συστήματα βάσει των στοχαστικών συναρτησιακών μοντέλων. Η διατριβή αρχικά πραγματεύεται την ανάπτυξη κατάλληλης μεθοδολογίας που αντιμετωπίζει τα επιμέρους προβλήματα της ανίχνευσης, του προσδιορισμού και της εκτίμησης βλαβών στη σύνθετη περίπτωση όπου η κατασκευή διεγείρεται υπό σεισμική διέγερση. Η αποτίμηση της μεθόδου αποτέλεσε και το έναυσμα για τη διαμόρφωση καινοτόμου μεθοδολογίας, η οποία βασίζεται σε μια νέα κλάση εξωτερικά εξαρτώμενων στοχαστικών συναρτησιακών μοντέλων. Τα μοντέλα αυτά έχουν την ικανότητα να αναπαριστούν, με μεγάλη ακρίβεια, μια κατασκευή για συγκεκριμένο τύπο βλάβης και συνεχές εύρος μεγεθών, χρησιμοποιώντας μοναδική μαθηματική αναπαράσταση παραμετροποιημένη ως προς το μέγεθος της βλάβης. Επισημαίνεται ότι τέτοιου τύπου συναρτησιακά μοντέλα δεν αναφέρονται στην βιβλιογραφία. Οι πιο συγγενείς οικογένειες μοντέλων προέρχονται από τις επιστήμες της στατιστικής και της οικονομετρίας, οι οποίες όμως δεν παρουσιάζουν συναρτησιακή μορφή και δεν μπορούν να καλύψουν συνεχή εύρη τιμών. Εξαιτίας αυτού του γεγονότος στη συνέχεια της διατριβής ορίζεται η νέα κλάση εξωτερικά εξαρτώμενων στοχαστικών Συναρτησιακών (F) μοντέλων Αυτοπαλινδρόμησης (AR) με Εξωγενή (X) είσοδο, των οποίων οι παράμετροι και η διασπορά του θορύβου είναι συναρτήσεις μετρήσιμης εξωτερικής μεταβλητής. Αυτή η συναρτησιακή εξάρτηση δίνει τη σημαντική ικανότητα στη νέα κλάση μοντέλων να μπορούν να χρησιμοποιηθούν: α) για τη δυναμική αναγνώριση συστημάτων με πολλαπλά σημεία λειτουργίας που καθορίζονται από μετρήσιμη εξωτερική μεταβλητή και, β) για την ανίχνευση, τον προσδιορισμό και την εκτίμηση βλαβών σε στοχαστικά δυναμικά συστήματα όπου η εξωτερική μεταβλητή είναι το μέγεθος της βλάβης. Επιπλέον, για τα μοντέλα αυτά αναπτύσσονται κατάλληλες μέθοδοι εκτίμησης των οποίων τα χαρακτηριστικά μελετώνται, και η αποτίμηση τους πραγματοποιείται μέσω προσομοιώσεων Monte Carlo. Στη συνέχεια ορίζεται η νέα κλάση εξωτερικά εξαρτώμενων στοχαστικών Συναρτησιακών (F) μοντέλων Αυτοπαλινδρόμησης (AR) και Κινητού Μέσου Όρου (ΜΑ) με Εξωγενή (X) είσοδο των οποίων επίσης οι παράμετροι και η διασπορά του θορύβου εκφράζονται ως συναρτήσεις μετρήσιμης εξωτερικής μεταβλητής. Τα μοντέλα FARΜΑX προσφέρουν επιπλέον ευελιξία σε σχέση με τα μοντέλα FARX εξαιτίας της εισαγωγής του πολυωνύμου ΜΑ. Για τα μοντέλα αυτά αναπτύσσονται επίσης κατάλληλες μεθοδολογίες εκτίμησης που βασίζονται στη μέγιστη πιθανοφάνεια και στην αρχή του σφάλματος πρόβλεψης. Επιπλέον, διαμορφώνονται δύο ακόμη μέθοδοι εκτίμησης που βασίζονται στην ελαχιστοποίηση του σφάλματος πρόβλεψης μέσω διαδοχικών γραμμικών σταδίων, οι οποίες παρουσιάζουν κάποια πρακτικά πλεονεκτήματα σε σχέση με τις προηγούμενες, μπορούν να συνδυαστούν με αυτές, αλλά απαιτούν την ανάπτυξη κατάλληλης άλγεβρας για τα μοντέλα FARΜΑX. Επίσης, μελετώνται ζητήματα όπως η συνέπεια και η ασυμπτωτική κατανομή της εκτιμήτριας σφάλματος πρόβλεψης. Η αποτίμηση όλων των μεθόδων εκτίμησης πραγματοποιείται μέσω προσομοιώσεων Monte Carlo. Τέλος, στα πλαίσια της παρούσας διατριβής αναπτύσσεται καινοτόμος μεθοδολογία ανίχνευσης, προσδιορισμού και εκτίμησης βλαβών σε δυναμικά συστήματα, η οποία βασίζεται στις νέες κλάσεις στοχαστικών συναρτησιακών μοντέλων των προηγούμενων κεφαλαίων. Η αποτίμηση της μεθοδολογίας πραγματοποιείται μέσω πειραματικής εφαρμογής σε διεθνές πρότυπο σκελετού αεροσκάφους υπό κλίμακα, όπου επιτυγχάνει με μεγάλη ακρίβεια, ανίχνευση, προσδιορισμό και εκτίμηση όλων των τύπων και μεγεθών βλάβης και επιπλέον ξεπερνά δυσκολίες που αντιμετωπίζουν άλλες τεχνικές της βιβλιογραφίας. / The aim of the present dissertation is the development of a new class of externally dependent stochastic functional models for the identification of dynamical systems under multiple operating conditions, which are defined by an external measurable variable (i.e. temperature, humidity, etc). The development of a novel methodology for fault diagnosis (fault detection, identification and estimation) in dynamical systems based upon the stochastic functional models is also an additional aim. The development of a proper method for fault detection, identification and estimation in structures under earthquake excitation is initially achieved. The method’s assessment was the motivation for the development of a novel methodology, which is based upon a new class of externally dependent stochastic functional models. These models are capable of accurately representing a structure for a certain type of fault in a continuous range of magnitudes by using a single mathematical representation parameterized in terms of the fault magnitude. It is noticed that such models are not referred in the literature until now. The most related families of models are found in sciences of statistics and econometrics. These models are mathematical representations without functional form and they are incapable of covering continuous ranges of values. Due to this fact, the new class of externally dependent stochastic Functional (F) AutoRegressive (AR) with eXogenous (X) excitation models, with parameters and innovations variance expressed as functions of a measurable external variable, is defined in the sequel of the dissertation. This functional dependence offers to the new class of models the important advantage of being used for: a) the identification of dynamical systems under multiple operating conditions which are defined by an external measurable variable and, b) fault detection, identification and estimation in stochastic dynamical systems where the external variable is the fault magnitude. Proper methods for FARX estimation are also developed and studied and their assessment is achieved via Monte Carlo simulations. In the following, the new class of externally dependent stochastic Functional (F) AutoRegressive (AR) Moving Average (MA) with eXogenous (X) excitation models, with parameters and innovations variance expressed as functions of a measurable external variable, is defined. The FARMAX models offer extra flexibility due to the MA part. Proper methods for FARMAX estimation, which are based upon the Maximum Likelihood and the Prediction Error principles, are also developed. Two further estimation methods are also formulated which are based upon minimization of the prediction error via successive linear stages. These methods offer some practical advantages comparing with the previous methods, they can be combined with the latter but they require the development of a proper algebra for FARMAX models. Additionally, the consistency and the asymptotic distribution of the prediction error estimator are considered. The assessment of all estimation methods is achieved via Monte Carlo simulations. In the last part of the dissertation a novel methodology for fault detection, identification and estimation in dynamical systems, which is based upon the new class of stochastic functional models of the previous chapters, is developed. The methodology’s assessment is accomplished via an experimental application in a prototype scale aircraft skeleton structure, where it achieves accurate fault detection, identification and estimation of several kinds and magnitudes of faults and also overcomes difficulties that are referred by other methods.

Το αντικείµενο αυτής της διδακτορικής διατριβής είναι η σχεδίαση και η ανάλυση νέων αλγορίθµων υπολογισµού των κατανοµών ισχύος και πληροφορίας σε πολυκαναλικά συστήµατα τεχνολογίας ψηφιακών συνδροµητικών γραµµών DSL. Η αρχή λειτουργίας των πολυκαναλικών συστηµάτων βασίζεται στη διαίρεση του συνολικού φάσµατος σε επιµέρους υποκανάλια χαµηλού ρυθµού µετάδοσης, τα οποία µεταφέρουν τη συνολική πληροφορία µέσω ειδικών τεχνικών διαµόρφωσης. Ο υπολογισµός των κατανοµών της ισχύος εκποµπής και της πληροφορίας στα υποκανάλια του συστήµατος βασίζεται σε αλγορίθµους που είναι γνωστοί µε τον όρο αλγόριθµοι bit-loading. Η πλειοψηφία των αλγορίθµων bit-loading που χρησιµοποιούνται σήµερα είναι αλγόριθµοι ενός χρήστη, δηλαδή εκτελούνται στο δέκτη της γραµµής ενδιαφέροντος, χωρίς να λαµβάνουν υπόψη τα χαρακτηριστικά των πηγών θορύβου (π.χ. παρεµβολή διαφωνίας από γειτονικά συστήµατα στην ίδια δέσµη), παρά µόνο το αποτέλεσµα αυτών (µείωση του λόγου σήµατος-προς- θόρυβο). Για τα πολυκαναλικά συστήµατα ορίζονται δύο βασικές κατηγορίες προβληµάτων bitloading: το πρόβληµα µεγιστοποίησης του ρυθµού µετάδοσης για δεδοµένη ισχύ εκποµπής και το πρόβληµα ελαχιστοποίησης της συνολικής ισχύος για δεδοµένο ρυθµό µετάδοσης. Σε κάθε περίπτωση ένα σύνολο από περιορισµούς (π.χ. µέγιστη ισχύς ανά υποκανάλι, ακέραιες τιµές στην κατανοµή της πληροφορίας) ορίζουν τη βέλτιστη λύση, η οποία ικανοποιεί όλες τις συνθήκες. Οι αλγόριθµοι που έχουν προταθεί βασίζονται σε µεθόδους τύπου greedy bit-filling, οι οποίες υπολογίζουν τη βέλτιστη λύση µε ακέραιες τιµές στην κατανοµή πληροφορίας, και σε µεθόδους τύπου water-filling, οι οποίες οδηγούν σε λύση µε πραγµατικές τιµές στην κατανοµή πληροφορίας, οπότε η τελική “ηµι-βέλτιστη” λύση προκύπτει µε κατάλληλη διακριτοποίηση. Η ραγδαία εξάπλωση των συνδέσεων DSL, καθώς και η ανάγκη για παροχή υψηλότερων ρυθµών µετάδοσης έχει οδηγήσει την επιστηµονική και βιοµηχανική κοινότητα στη διερεύνηση µεθόδων για τη διαχείριση ολόκληρου του φάσµατος µιας δέσµης αγωγών µε στόχο τη βελτιστοποίηση της απόδοσης του συνολικού δικτύου. Ο σηµαντικότερος παράγοντας που περιορίζει τον προσφερόµενο ρυθµό µετάδοσης στα συστήµατα DSL είναι ο θόρυβος διαφωνίας µεταξύ γειτονικών συστηµάτων που λειτουργούν στην ίδια δέσµη. Στα πλαίσια αυτά ανήκει και η σχεδίαση κεντρικών αλγορίθµων bit-loading πολλών χρηστών, µε στόχο τον υπολογισµό των βέλτιστων κατανοµών όλων των συνδέσεων της δέσµης, ώστε να ελαχιστοποιούνται οι συνολικές παρεµβολές διαφωνίας. Σε αντίθεση µε τους αλγορίθµους ενός χρήστη, η διατύπωση του προβλήµατος bit-loading της δέσµης απαιτεί τη γνώση των συναρτήσεων διαφωνίας, ώστε να ορισθεί η αλληλεπίδραση µεταξύ των σηµάτων στις επιµέρους γραµµές. Οι αλγόριθµοι bit-loading πολλών χρηστών που έχουν παρουσιαστεί µέχρι σήµερα βασίζονται στις αρχές λειτουργίας των µεθόδων ενός χρηστή και θεωρούν ότι οι συναρτήσεις διαφωνίας είναι γνωστές. Για τον υπολογισµό των τελευταίων οι τεχνικές που συναντώνται στη βιβλιογραφία δεν εκτελούνται στις διατάξεις µετάδοσης, αλλά βασίζονται στη συλλογή και επεξεργασία σηµάτων σε εξωτερικά συστήµατα. Στα πλαίσια της διδακτορικής διατριβής έγινε ανάλυση των πολυκαναλικών συστηµάτων δέσµης ψηφιακών συνδροµητικών γραµµών (τεχνολογίας ADSL) και προτάθηκαν νέοι αλγόριθµοι bit-loading ενός χρήστη και πολλών χρηστών. Ειδικότερα, παρουσιάζονται λύσεις που αφορούν τα παρακάτω θέµατα: 􀂃 Ανάπτυξη νέου ταχύ αλγόριθµου bit-loading ενός χρήστη. Ο νέος αλγόριθµος επιλύει το πρόβληµα ελαχιστοποίησης της συνολικής ισχύος εκποµπής για δεδοµένο ρυθµό µετάδοσης και ανήκει στην κατηγορία των βέλτιστων αλγορίθµων. 􀂃 ∆ιερεύνηση της απόδοσης συστηµάτων δέσµης συνδροµητικών γραµµών, ως προς την εκµετάλλευση της συνολικής χωρητικότητας της δέσµης, όταν εφαρµόζεται αυτόνοµη διαχείριση του φάσµατος σε κάθε σύνδεση µέσω αλγορίθµων bit-loading ενός χρήστη. 􀂃 Ανάπτυξη νέου κεντρικού αλγόριθµου bit-loading πολλών χρηστών. Ο νέος αλγόριθµος αντιµετωπίζει το πρόβληµα της ανισοκατανοµής των ρυθµών µετάδοσης µεταξύ των συνδέσεων µιας δέσµης, εξ αιτίας της µη κεντρικής διαχείρισης του φάσµατος. 􀂃 Ανάπτυξη νέας µεθόδου για την αναγνώριση των συναρτήσεων διαφωνίας µεταξύ των αγωγών µιας δέσµης συνδροµητικών γραµµών. Η νέα µέθοδος εκτελείται στις διατάξεις µετάδοσης και βασίζεται σε κυκλώµατα επεξεργασίας πραγµατικού χρόνου. Οι νέοι αλγόριθµοι που προτείνονται αποτελούν πρωτότυπες λύσεις στην περιοχή των ψηφιακών επικοινωνιών για πολυκαναλικά συστήµατα µετάδοσης και βασίζονται σε µεθόδους, οι οποίες παρουσιάζουν συγκριτικά πλεονεκτήµατα µε άλλες υφιστάµενες λύσεις. Ειδικότερα: 􀂃 Ο νέος αλγόριθµος bit-loading ενός χρήστη υπολογίζει τη βέλτιστη λύση µε όλους τους περιορισµούς του συστήµατος επικοινωνίας, σε αντίθεση µε άλλους αλγορίθµους που υποστηρίζουν µόνο µέρος των περιορισµών. Επιπλέον, εµφανίζει µικρή πολυπλοκότητα και µεγάλη ταχύτητα εκτέλεσης συγκριτικά µε άλλες µεθόδους. 􀂃 Η διερεύνηση των συστηµάτων δέσµης, ως προς τη µεγιστοποίηση των ρυθµών µετάδοσης όταν δεν εφαρµόζεται κεντρική διαχείριση του φάσµατος, αναδεικνύει το πρόβληµα της ανισοκατανοµής της συνολικής χωρητικότητας στις επιµέρους συνδέσεις. 􀂃 Ο νέος κεντρικός αλγόριθµος bit-loading πολλών χρηστών αντιµετωπίζει το πρόβληµα της µη δίκαιης κατανοµής των ρυθµών µετάδοσης και ταυτόχρονα εξασφαλίζει ένα ελάχιστο περιθώριο µείωσης του λόγου σήµατος-προς-θόρυβο σε κάθε σύνδεση. 􀂃 Η νέα µέθοδος αναγνώρισης των συναρτήσεων διαφωνίας εκτελείται στις συσκευές µετάδοσης σε πραγµατικό χρόνο σε αντίθεση µε άλλες µεθόδους, οι οποίες εκτελούνται σε εξωτερικά συστήµατα µετρήσεων, και βασίζεται σε µια νέα µέθοδο εκτίµησης και αναγνώρισης των σηµάτων παρεµβολής. / The objective of this dissertation is the development of new algorithms for the calculation of the power and rate distributions in multicarrier systems with application in the Asymmetric Digital Subscriber Line (ADSL) technology. In multicarrier systems the spectrum is divided into narrowband subchannels and the total data-load is transmitted by modulating a set of independent subcarriers. The allocation of the total rate and power into the subchannels is based on bit-loading algorithms. The bit-loading algorithms used in multicarrier modems are mainly single-user algorithms: they do not take into account the decisions of the neighboring lines in the binder. In multicarrier systems two bit-loading problems are of main interest: rate-maximization subject to a total power constraint and margin-maximization subject to a given data rate. In both cases, a number of system constraints (e.g. power spectral density mask, integer bit values) determine the unique optimum solution. The bit-loading algorithms presented in the literature are based either on greedy methods, which provide the optimum discrete bit-allocation, or on water-filling methods, which in general provide non-integer bit-allocation. In this case, a final sub-optimum solution is provided using bit rounding. The rapid growth of the DSL users as well as the increasing demand for higher speed services has led the research and industry community in the investigation of methods for dynamic spectrum control of the modems operating in the same binder. In DSL systems, crosstalk interference induced by adjacent lines is one of the largest noise impairments that reduce the performance of services supported by the same binder. Therefore dynamic management incorporates methods for modem coordination and multi-user bit-loading in order to calculate the rate and power allocations of all activated lines, so that the total interference is reduced for a common global-binder benefit. In contrast to the single-user case, the formulation of the multi-user bit-loading problem requires the knowledge of the crosstalk transfer functions between the lines of the binder. The multi-user bitloading algorithms presented in the literature assume that the crosstalk transfer functions are known. In addition, the methods presented for crosstalk identification in DSL systems are based on data collection and processing in third-party systems. In this dissertation, the multicarrier system of an ADSL binder is studied and new single-user and multi-user bit-loading algorithms are developed. In particular, this dissertation presents solutions in the following problems: .. Development of a new computationally efficient single-user bit-loading algorithm. The proposed algorithm provides the optimum discrete solution to the margin-maximization problem. .. Investigation of the capacity and rate-region performance of ADSL binder systems when no overall spectrum control and no modem coordination are used (each modem performs single-user bit-loading). .. Development of a new multi-user bit-loading algorithm. The proposed algorithm resolves the problem of the non-uniform distribution of the achievable data rates experienced for a region of target-rate values, as a result of the no modem-coordination strategy. .. Development of a new crosstalk identification method for DSL binder systems. The proposed method is executed in the operating modems and is based on real time signal processing. This dissertation presents new algorithms which provide advantages compared to other solutions in the multicarrier DSL technology. In particular: .. The new single-user bit-loading algorithm provides the optimum discrete solution under the complete set of system constraints, in contrast to other solutions that consider only a subset of constraints. Moreover, the new algorithm is of low computational complexity compared with other methods. .. The investigation of the rate-region performance of ADSL binder systems under no overall spectrum control reports the problem of the non-uniform distribution of the achievable data rates. This “unfairness” is experienced as a result of the no modemcoordination strategy. .. The new multi-user bit-loading algorithm resolves the problem of the non-uniform distribution of the achievable data rates and guarantees a minimum SNR margin for each activated link in the binder. .. The new crosstalk identification method is based on a new technique for estimating the interference signals and is executed in the operating modems using real-time signal processing, in contrast to other methods which are executed in third-party systems.