Spelling suggestions: "subject:"μετασχηματισμό"" "subject:"μετασχηματισμού""
21 |
Μέθοδοι για ανίχνευση και χαρακτηρισμό βιοσημάτων σε θορυβώδεις χρονοσειρές με βάση το μετασχηματισμό Hilbert-HuangΚαραγιάννης, Αλέξανδρος 10 August 2011 (has links)
Η διπλωματική εργασία με τίτλο «Μέθοδοι για Ανίχνευση και Χαρακτηρισμό Βιοσημάτων σε Θορυβώδεις Χρονοσειρές βασισμένοι στο Μετασχηματισμό Hilbert-Huang» μελετάει ζητήματα που σχετίζονται με βιοϊατρικά σήματα και την ανάλυση τους.
Γίνεται διερεύνηση των διαθέσιμων τεχνικών και μεθόδων ανάλυσης βιοϊατρικών σημάτων, επισημαίνονται τα ιδιαίτερα χαρακτηριστικά των χρονοσειρών που προκύπτουν από την παρατήρηση και καταγραφή των σημάτων και έμφαση δίνεται στη μη στασιμότητα, την μη γραμμικότητα των υποκείμενων φυσικών διεργασιών και την ανάγκη προσαρμοστικότητας της μεθόδου.
Μια μέθοδος που ικανοποιεί αυτές τις απαιτήσεις είναι η εμπειρική μέθοδος αποσύνθεσης η οποία αναλύει ένα σήμα σε ένα σύνολο συνιστωσών (IMFs) από τις οποίες ένα υποσύνολο θεωρείται ότι έχει φυσική σημασία. Επιπλέον, με το μετασχηματισμό Hilbert ανιχνεύονται οι στιγμιαίες συχνότητες και διαμορφώνεται η χρονοσυχνοτική κατανομή του σήματος.
Τα θέματα που διερευνώνται αναφορικά με την εμπειρική μέθοδο αποσύνθεσης αφορούν τη στατιστική σημαντικότητα των IMFs, την αποθορυβοποίηση βιοϊατρικών σημάτων, την εξαγωγή χαρακτηριστικών από ηλεκτροκαρδιογράφημα και την απόδοση της μεθόδου. Ειδικά η απόδοση της εμπειρικής μεθόδου αποσύνθεσης είναι κρίσιμη παράμετρος για συστήματα με περιορισμένους πόρους όπως είναι οι κόμβοι ασύρματων δικτύων αισθητήρων ή τα ενσωματωμένα συστήματα.
Η μοντελοποίηση μεθόδων που υλοποιούνται στο επίπεδο κόμβων ασύρματου δικτύου αισθητήρων είναι απαραίτητη για τη βέλτιστη διαχείριση πόρων και τον προγραμματισμό διεργασιών ώστε να μην διαταραχθεί η λειτουργία και λειτουργικότητα του συστήματος / This diploma thesis entitled "Methods for Identification and Characterization of Biosignals in Noise corrupted Time Series based on Hilbert-Huang Transform " studies issues concerning biomedical signal analysis.
There is a review of the available techniques and methods for biomedical signal analysis pointing at certain characteristics of biomedical time series such as non stationarity, the non linearity of the underlying physical process and the need for the adaptive nature of the analysis method.
One method that meets these requirements is considered to be the Empirical Mode Decomposition (EMD) which decomposes a signal into a set of components (IMFs) that a subset of them is believed to have a physical meaning. Application of Hilbert Transform on these IMFs provides the instantaneous frequencies and forms the time-frequency distribution of the signal.
Issues studied are related to the statistical significance of the IMFs, denoising of biomedical signals, characteristics extraction and feature selection out of the electrocardiogram as well as the performance of the method. Particularly, the performance of empirical mode decomposition is considered to be a critical parameter especially in the case of implementation on nodes of wireless sensor networks or generally embedded systems due to the limited amount of resources available onboard.
Modeling method's performance and demand for resources is a significant task facilitating the optimum resource management and task execution schedule of these systems.
|
22 |
Ολοκληρώσιμες μη γραμματικές μερικές διαφορικές εξισώσεις και διαφορική γεωμετρίαΒλάχου, Αναστασία 09 October 2014 (has links)
Στόχος της παρούσας εργασίας είναι η σύνδεση της μοντέρνας θεωρίας σολιτονίων
με την κλασική διαφορική γεωμετρία. Ειδικότερα, αρχίζουμε με ένα εισαγωγικό μέρος,
όπου παραθέτουμε τις βασικές έννοιες που αφορούν: α) Τις λύσεις μη-γραμμικών μερικών
διαφορικών εξισώσεων (ΜΔΕ) που ονομάζονται σολιτόνια (solitons) και β) Την γεωμετρία
των ομαλών καμπυλών και επιφανειών του Ευκλείδειου χώρου). Ακολουθεί, το δεύτερο
και κύριο μέρος, στο οποίο μελετάμε την σχέση τριών χαρακτηριστικών μη-γραμμικών
εξισώσεων εξέλιξης, της εξίσωσης sine-Gordon, της τροποποιημένης εξίσωσης Korteweg
de Vries (mKdV) και της μη γραμμικής εξίσωσης Schrödinger (NLS), με την θεωρία
καμπυλών και επιφανειών.
Αναλυτικότερα, στο πρώτο μέρος και πιο συγκεκριμένα στο πρώτο κεφάλαιο
παρουσιάζουμε μια ιστορική αναδρομή στην έννοια του σολιτονίου. Στην συνέχεια
αναζητούμε κυματικές-σολιτονικές λύσεις για τις εξισώσεις KdV και NLS. Κλείνουμε
παραθέτοντας τις προϋποθέσεις κάτω από τις οποίες μια μη γραμμική εξίσωση είναι
ολοκληρώσιμη. Επιλέγουμε να αναλύσουμε δύο από αυτές τις προϋποθέσεις,
χρησιμοποιώντας συγκεκριμένα παραδείγματα, ενώ, για τις άλλες δύο, περιοριζόμαστε σε
μια συνοπτική περιγραφή .
Στο δεύτερο κεφάλαιο του εισαγωγικού μέρους γίνεται μια εκτενής αναφορά σε
θεμελιώδεις έννοιες της διαφορικής γεωμετρίας. Πιο συγκεκριμένα, οι έννοιες αυτές
σχετίζονται με την θεωρία καμπυλών και επιφανειών και για ορισμένες από αυτές
παρουσιάζουμε κάποια αντιπροσωπευτικά παραδείγματα.
Ακολουθεί το κύριο μέρος και ειδικότερα το πρώτο κεφάλαιο, στο οποίο,
μελετώντας υπερβολικές επιφάνειες, καταλήγουμε σε ένα κλασικό μη γραμμικό σύστημα
εξισώσεων. Είναι αυτό που οφείλουμε στον Bianchi και το οποίο ενσωματώνει τις
εξισώσεις Gauss-Mainardi-Codazzi. Στην συνέχεια, περιοριζόμαστε στις ψευδοσφαιρικές
επιφάνειες και έτσι καταλήγουμε στην εξίσωση sine-Gordon. Ακολουθεί η ενότητα 1.2,
στην οποία βρίσκουμε τον μετασχηματισμό auto-Bäcklund για την εξίσωση sine-Gordon
και περιγράφουμε την γεωμετρική διαδικασία για την κατασκευή ψευδοσφαιρικών
επιφανειών. Στην ενότητα 1.3, χρησιμοποιώντας τον παραπάνω μετασχηματισμό
Bäcklund, καταλήγουμε στο Θεώρημα Αντιμεταθετικότητας του Bianchi. Συνεχίζουμε με
την ενότητα 1.4, στην οποία παρουσιάζουμε ψευδοσφαιρικές επιφάνειες, οι οποίες
αντιστοιχούν σε σολιτονικές λύσεις της εξίσωσης sine-Gordon. Πιο αναλυτικά, στην
υποενότητα 1.4.1 κατασκευάζουμε την ψευδόσφαιρα του Beltrami, η οποία αντιστοιχεί
στην στάσιμη μονο-σολιτονική λύση. Στην υποενότητα 1.4.2 μελετάμε το ελικοειδές που
δημιουργείται από την έλκουσα καμπύλη, δηλαδή την επιφάνεια Dini, την οποία και
κατασκευάζουμε. Ακολουθεί η υποενότητα 1.4.3, όπου, χρησιμοποιώντας το θεώρημα
μεταθετικότητας, καταλήγουμε στην λύση δύο-σολιτονίων για την εξίσωση sine-Gordon
και συνεχίζουμε με την υποενότητα 1.4.4, όπου κατασκευάζουμε περιοδικές λύσεις των
δύο-σολιτονίων γνωστές ως breathers. Στο δεύτερο κεφάλαιο μελετάμε την κίνηση συγκεκριμένων καμπυλών και
επιφανειών, οι οποίες οδηγούν σε σολιτονικές εξισώσεις. Ειδικότερα, στην ενότητα 2.1
καταλήγουμε στην εξίσωση sine-Gordon μέσω της κίνησης μιας μη-εκτατής καμπύλης
σταθερής καμπυλότητας ή στρέψης. Ακολουθεί η ενότητα 2.2, όπου η εξίσωση sine-
Gordon προκύπτει ως η συνθήκη συμβατότητας για το 2 2 γραμμικό σύστημα AKNS. Στην
συνέχεια, στην ενότητα 2.3 ασχολούμαστε με την κίνηση ψευδοσφαιρικών επιφανειών.
Πιο συγκεκριμένα, στην υποενότητα 2.3.1 συνδέουμε την κίνηση μιας ψευδοσφαιρικής
επιφάνειας με ένα μη αρμονικό μοντέλο πλέγματος, το οποίο ενσωματώνει την εξίσωση
mKdV. Επιπλέον, στην υποενότητα 2.3.2 δείχνουμε ότι η καθαρά κάθετη κίνηση μιας
ψευδοσφαιρικής επιφάνειας, παράγει το κλασικό σύστημα Weingarten. Ολοκληρώνουμε
την ενότητα 2.3 με την κατασκευή των μετασχηματισμών Bäcklund τόσο για το μοντέλο
πλέγματος, όσο και για το σύστημα Weingarten. Το κεφάλαιο κλείνει με την ενότητα 2.4,
όπου μέσω της κίνησης μιας μη εκτατής καμπύλης μηδενικής στρέψης, καταλήγουμε στην
εξίσωση mKdV. Στην συνέχεια μελετάμε την κίνηση των επιφανειών Dini και τελικά
κατασκευάζουμε επιφάνειες που αντιστοιχούν στο τριπλά ορθογώνιο σύστημα Weingarten.
Στο τρίτο και τελευταίο κεφάλαιο επικεντρωνόμαστε στην εξίσωση NLS. Πιο
συγκεκριμένα, στην ενότητα 3.1 καταλήγουμε στην εξίσωση NLS μ’ έναν καθαρά
γεωμετρικό τρόπο. Επιπλέον, κατασκευάζουμε επιφάνειες, οι οποίες αντιστοιχούν στην
μονο-σολιτονική λύση της εξίσωσης NLS και παρουσιάζουμε γι’ αυτές κάποιες γενικές
γεωμετρικές ιδιότητες. Το κεφάλαιο 3 ολοκληρώνεται με την ενότητα 3.3 όπου αρχικά
λαμβάνουμε ακόμη μια φορά την εξίσωση NLS, χρησιμοποιώντας την μελέτη στην
κινηματική των Marris και Passman. Κλείνουμε και αυτό το κεφάλαιο με τον auto-
Bäcklund μετασχηματισμό για την εξίσωση NLS και επιπλέον παρουσιάζουμε χωρικά
περιοδικές λύσεις της, γνωστές ως smoke-ring (δαχτυλίδι-καπνού). / The aim of this diploma thesis is to find a connection between modern soliton
theory and classical differential geometry. More particularly, we begin with an introductory
section, where we present the basic concepts regarding soliton equations and the geometry
of smooth curves ans surfaces. This is followed by the main body of the thesis, which
focuses on three partial differential equations, namely, the sine-Gordon equation, the
modified Korteweg de Vries equation (mKdV) and the nonlinear Scrödinger equation
(NLS), and their connection to the theory of curves and surfaces.
The first introductory chapter is a historical overview of the notion of solitons. We
then seek travelling wave solutions for the KdV and NLS equations. Closing, we quote the
conditions under which a nonlinear equation is integrable. We choose to analyze in detail
two of these conditions while we settle for a brief description of the other two.
The second chapter is an extensive report on fundamental concepts of differential
geometry, namely, those associated with the theory of curves and surfaces in Euclidean
three-dimensional space, and we present some representative examples.
Chapter 1 of the main part, opens with the derivation of a classical nonlinear
system which we owe to Bianchi and embodies the Gauss-Mainardi-Codazzi equations. We
then specialise to pseudospherical surfaces and produce the sine-Gordon equation. Section
1.2 includes the derivation of the auto-Bäcklund transformation for the sine-Gordon
equation along with the geometric procedure for the construction of pseudospherical
surfaces. In section 1.3, we use the above transformation to conclude to Bianchi’s
Permutability Theorem. We continue to section 1.4, where we present certain
pseudospherical surfaces. These surfaces correspond to solitonic solutions of the sine-
Gordon equation, i.e. in subsection 1.4.1 we construct the pseudosphere which corresponds
to the stationary single soliton solution. Also, in subsection 1.4.2 we examine the helicoid
that is created by the tractrix, namely, the Dini surface. In section 1.4.3, by use of Bianchi’s
Permutability Theorem, we end up in the two-soliton solution for the sine-Gordon equation
and continue in the next subsection, where we present periodic two-soliton solutions,
known as breathers.
In Chapter 2, we show how certain motions of curves and surfaces can lead to
solitonic equations. More precisely, in section 2.1, we arrive at the sine-Gordon equation,
through the motion of an inextensible curve of constant curvature or torsion. Then, section
2.2 displays how the sine-Gordon equation arises as the compatibility condition for the
linear 2 2 AKNS system. In section 2.3 we study the movement of pseudospherical
surfaces. In particular, we connect, in subsection 2.3.1, the motion of a pseudospherical
surface to a continuum version of an unharmonic lattice model, which encorporates the
mKdV equation. Moreover, in subsection 2.3.2, we show that a purely normal motion of a
pseudospherical surface produces the classical Weingarten system. We conclude section 2.3 by constructing the Bäcklund transformation both for the lattice model and the
Weingarten system. The chapter ends with section 2.4, where through the motion of an
inextensible curve of zero torsion, we produce the mKdV equation. Furthermore, we
investigate the motion of Dini surfaces and, finally, construct surfaces corresponding to the
triply orthogonal Weingarten system.
The third and final chapter focuses on the NLS equation. In section 3.1 we produce
the NLS equation through a purely geometric manner. We then construct surfaces, that
correspond to the single-soliton solution of this equation, and also present certain general
geometric properties of them. We conclude the final chapter with the auto-Bäcklund
transformation for the NLS equation and the presentation of spatially periodic solutions,
known as smoke-ring.
|
23 |
Αρχιτεκτονικές VLSI modem χαμηλής κατανάλωσης για ασύρματα δίκτυα OFDM : ο ρόλος της εναλλακτικής αριθμητικήςΜπροκαλάκης, Ανδρέας 16 March 2009 (has links)
Η διαμόρφωση με πολύπλεξη συχνότητας ορθογωνίων φερουσών (Orthogonal Frequency Division Multiplexing - OFDM) έχει εδραιωθεί ως μία από τις επικρατέστερες μεθόδους διαμόρφωσης για την υψηλού ρυθμού μετάδοση πληροφορίας μέσω ασύρματων μέσων. Σε ένα σύστημα OFDM, ένα από τα βασικότερα και υπολογιστικά πολυπλοκότερα τμήματα είναι ο υπολογισμούς του Ταχύ Μετασχηματισμού Fourier. Αντικείμενο της εργασίας αυτής είναι η μελέτη της χρήσης εναλλακτικής αριθμητικής για την υλοποίηση κυκλωμάτων FFT. Τυπικά, τέτοιου είδους κυκλώματα υλοποιούνται χρησιμοποιώντας κάποια γραμμική αναπαράσταση σταθερής υποδιαστολής. Στη βιβλιογραφία έχουν προταθεί υλοποιήσεις του FFT με χρήση του Λογαριθμικού Συστήματος Αρίθμησης (Logarithmic Numbering System – LNS) και έχουν αναφερθεί κέρδη για συγκεκριμένους παράγοντες όπως το σφάλμα κβαντισμού, η επιφάνεια ολοκλήρωσης και η κατανάλωση ισχύος. Η αποδοτικότητα αυτών των λύσεων ερευνάται για τη συγκεκριμένη περίπτωση της εφαρμογής του FFT σε OFDM modems.
Εστιάζοντας στην περίπτωση του FFT 64 σημείων για OFDM modem για ασύρματα δίκτυα 802.11a, μία από τις πλέον επιτυχημένες αρχιτεκτονικές που έχουν προταθεί για την υλοποίηση του, στηρίζεται στη λογική του FFT γραμμής – στήλης και παρουσιάζει έναν τρόπο πραγματοποίησης του υπολογισμού χωρίς κανένα ψηφιακό πολλαπλασιαστή. Με το βασικό πλεονέκτημα της λογαριθμικής αναπαράστασης να είναι η απλοποίηση των κυκλωμάτων πολλαπλασιασμού (με ταυτόχρονη όμως αύξηση του κόστους για την πραγματοποίηση προσθέσεων), δείχνεται ότι τελικά η υλοποίηση ενός FFT αμιγώς σε LNS δεν είναι προτιμητέα.
Αν και η αρχιτεκτονική του FFT γραμμής – στήλης μπορεί να προσφέρει υψηλή απόδοση με χαμηλό κόστος υλοποίησης, παρουσιάζει μια σειρά από αδυναμίες, που σχετίζονται κυρίως με τη χρήση ειδικών κυκλωμάτων για την εκτέλεση των πολλαπλασιασμών με τις σταθερές που εμφανίζονται στον FFT (twiddle factors). Για την αντιμετώπιση αυτών των περιορισμών προτείνεται η εισαγωγή του LNS σε κάποια τμήματα του κυκλώματος του FFT, οδηγώντας έτσι στη δημιουργία ενός συστήματος μικτής αναπαράστασης.
Σε τέτοιου είδους υβριδικά συστήματα τίθενται δύο βασικά ζητήματα. Το πρώτο αφορά τον ορισμό της ισοδυναμίας μεταξύ των διαφορετικών αναπαραστάσεων και το δεύτερο τον αποδοτικό τρόπο υλοποίησης των κυκλωμάτων μετατροπής από το ένα αριθμητικό σύστημα στο άλλο. Τυπικά, τα κριτήρια ισοδυναμίας που επιλέγονται είναι αυστηρά μαθηματικά ορισμένα, όπως για παράδειγμα ο Λόγος Σήματος προς Θόρυβο (Signal-to-Noise Ratio - SNR) ή το Μέσο Σχετικό Σφάλμα Αναπαράστασης (Average Relative Representation Error – ARRE). Στη συγκεκριμένη εργασία ακολουθείται μια λιγότερο δεσμευτική προσέγγιση, ορίζοντας την ισοδυναμία δύο αναπαραστάσεων με βάση την τελική απόδοση του συστήματος OFDM όσον αφορά το ρυθμό λαθών στο δέκτη (Bit Error Rate - BER).
Με βάση αυτή τη λογική, αποδεικνύεται ότι μπορούν να χρησιμοποιηθούν αναπαραστάσεις πολύ μικρού μεγέθους λέξης και οι προσεγγίσεις που χρειάζεται να γίνουν κατά τις μετατροπές μεταξύ των δύο συστημάτων δεν είναι ανάγκη να είναι ιδιαίτερα ακριβείς. Έτσι, τα σχετικά κυκλώματα μπορούν να υλοποιηθούν αποδοτικά και με μικρό κόστος. Η υλοποίηση δύο συστημάτων για τον FFT 64 σημείων, ένα βασισμένο αποκλειστικά σε γραμμική αναπαράσταση σταθερής υποδιαστολής και ένα υβριδικό που χρησιμοποιεί γραμμική και λογαριθμική αναπαράσταση, δείχνει ότι χωρίς διαφορές όσον αφορά το BER και την καθυστέρηση (delay), η υβριδική προσέγγιση απαιτεί μικρότερη επιφάνεια ολοκλήρωσης και παρουσιάζει σημαντικά χαμηλότερη κατανάλωση ισχύος. / Orthogonal Frequency Division Multiplexing (OFDM) has been established as one of the most prevalent methods for high data rate transmission through wireless channels. In an OFDM communication system, one of the fundamental and most computationally intensive parts is the computation of the Fast Fourier Transform (FFT). The subject of this thesis is to investigate the use of alternative arithmetic representation systems for the implementation of FFT circuits. Typically, these circuits are implemented using linear fixed-point representations. In literature, implementations of the FFT using the Logarithmic Numbering System (LNS) have been proposed and significant gains in quantization errors, chip area and power consumption have been reported. The effectiveness of these proposals in the case of the FFT for OFDM systems is investigated.
Focusing on the case of the 64-point FFT for an OFDM modem for an 802.11a wireless network, one of the most efficient architectures proposed is based on the concept of row-column FFT and presents a way of implementing the computation without using any digital (non-fixed input) multiplier. The most important feature of the LNS representation is the fact that multiplication operations turn to mere additions, thus there are significant implementation gains. On the downside though, addition in LNS is very expensive. Combining the aforementioned, it is shown that the implementation of the whole FFT computation in LNS is not a preferable solution.
Although the row-column FFT architecture may offer high performance and low implementation cost, it presents a number of deficiencies mainly due to the fact that special purpose circuits are used to perform the multiplications with the complex constants (twiddle factors) that appear in the computation. In order to alleviate these deficiencies, it is proposed to use the LNS representation in some parts of the FFT circuit, thus forming a hybrid-representation system.
In hybrid-representation systems two major issues are raised. The first one is how to define equivalence between the arithmetic representation systems used and the second one is related to the cost of the circuits required to perform the conversions between the numbers of the different arithmetic systems. Typically, the equivalence criterion used is mathematically defined and metrics like the Signal-to-Noise Ratio (SNR) or Average Relative Representation Error (ARRE) are commonly used. In this report, a less restrictive metric is used: two arithmetic representations are defined to be equal if the Bit Error Rate (BER) performance of the overall OFDM system is equal.
Using this approach, it is shown that short word-length representations may be used and the conversions between the linear and logarithmic systems need not be very accurate. This results in great simplification of the conversion process and the respected circuits can be implemented with low cost. For comparison, two 64-point FFT systems have been implemented, one using a linear fixed-point 2’s complement representation and one using both linear and LNS representation. Without any differences in BER performance and circuit delay, the hybrid-representation system requires less chip area and consumes significantly lower power.
|
24 |
Αριθμητική προσομοίωση δισδιάστατης μη συνεκτικής ροής ελεύθερης επιφάνειας κατά τη διάδοση μη γραμμικών κυμάτων πάνω από πυθμένα πεπερασμένου βάθους / Numerical simulation of two-dimensinal, inviscid, free-surface flow duringΔημακόπουλος, Άγγελος 14 May 2007 (has links)
Στην παρούσα εργασία παρουσιάζεται μια μέθοδος για την αριθμητική προσομοίωση δισδιάστατης, μη συνεκτικής ροής με ελεύθερη επιφάνεια, που προκύπτει από τη διάδοση κυμάτων βαρύτητας πάνω από πυθμένα με τυχαία μορφολογία. Η μέθοδος βασίζεται στην αριθμητική επίλυση των εξισώσεων Euler, που υπόκεινται σε πλήρως μη γραμμικές οριακές συνθήκες ελεύθερης επιφάνειας και κατάλληλες οριακές συνθήκες πυθμένα, εισόδου και εξόδου, χρησιμοποιώντας ένα υβριδικό σχήμα πεπερασμένων διαφορών και ψευδό-φασματικής μεθόδου. Οι εξισώσεις ροής μετασχηματίζονται έτσι ώστε τα όρια του υπολογιστικού πεδίου να είναι ανεξάρτητα του χρόνου. Η επαλήθευση της μεθόδου επίλυσης γίνεται με την εφαρμογή της στο πρόβλημα της κατανομής θερμοκρασίας σε λεπτή ορθογωνική πλάκα, υπό σταθερές συνθήκες. Για την ελαχιστοποίηση της ανάκλασης χρησιμοποιείται ζώνη απορρόφησης στην περιοχή απορροής. Η αποτελεσματικότητα της ζώνης απορρόφησης τεκμηριώνεται με την παρουσίαση αποτελεσμάτων προσομοίωσης διάδοσης γραμμικών κυματισμών σε πυθμένα σταθερού βάθους. Προκύπτει ότι η ζώνη απορρόφησης που βασίζεται στην επιβολή εξωτερικής δυναμικής πίεσης στην ελεύθερη επιφάνεια εμφανίζει την ελάχιστη ανάκλαση. Αποτελέσματα παρουσιάζονται για την προσομοίωση ροής με ελεύθερη επιφάνεια πάνω από πυθμένα σταθερής κλίσης 1:10 και 1:50, για διαφορετικά μήκη και ύψη κυμάτων εισόδου. Ο μετασχηματισμός των γραμμικών κυμάτων πάνω από την περιοχή σταθερής κλίσης συμφωνεί με τη θεωρία γραμμικής διασποράς για ροή με μικρά ύψη κύματος. Για μη γραμμικούς κυματισμούς, το μήκος κύματος μειώνεται πάνω από την περιοχή σταθερής κλίσης, ενώ η ανύψωση της ελεύθερης επιφάνειας αποκλίνει από την αρχική ημιτονοειδή μορφή και το ύψος κύματος αυξάνει λόγω της ρήχωσης. / A method for the numerical simulation of two-dimensional, inviscid, free-surface flow resulting from the propagation of regular gravity water waves over topography with arbitrary bottom shape is presented. The method is based on the numerical solution of the Euler equations subject to the fully nonlinear free-surface boundary conditions and the appropriate bottom, inflow and outflow conditions using a hybrid scheme of finite-differences and pseudo-spectral method. The formulation includes a boundary-fitted transformation. The validation of the pressure solver is accomplished by applying it to the two-dimensional, temperature, steady problem, under differing boundary conditions. For the free-surface flow, a wave absorption zone is attached at the outflow domain in order to minimize reflection effects. The absorption zone effectiveness is validated by the simulation of linear waves propagation over constant-depth bottom. Minimal reflection occurs when an appropriate external dynamic pressure is imposed on the free surface of the absorption zone. Results are presented for cases of wave propagation over constant slope bottom, with slopes 1:10 and 1:50, for various incoming wavelengths and wave heights. Over the bottom slope, lengths of waves in the linear regime are modified according to linear theory dispersion. For waves in the nonlinear regime, wave lengths are becoming shorter, while the free surface elevation deviates from its initial sinusoidal shape and the wave height increases due to shoaling.
|
25 |
Υλοποίηση πειραματικής διάταξης υπολογισμού του καρδιακού ρυθμού χρησιμοποιώντας τεχνικές ψηφιακής επεξεργασίας εικόνας και βίντεοΑλεξανδρή, Βασιλική 05 September 2011 (has links)
Η παρούσα διπλωματική εργασία, πραγματεύεται την εύρεση της κυματομορφής της μεταβολής της φωτεινότητας φωτονίων που διέρχονται από το χέρι ανθρώπου και δίνουν πληροφορία για την αρτηριακή πίεση και κατ’ επέκταση τον υπολογισμό του καρδιακού ρυθμού ενός ατόμου με τη χρήση τεχνικών επεξεργασίας εικόνας.
Χρησιμοποιώντας μια σειρά από διόδους εκπομπής, στο ορατό και υπέρυθρο φάσμα, κατευθύνουμε το φως προς ένα δίκτυο ιστών όπου αυτό είναι λεπτό και το διαπερνά (δάκτυλο, λοβίο αυτιού κλπ). Στη συνέχεια, μέσω μιας βιντεοκάμερας παίρνουμε τα υπό εξέταση δεδομένα. Συγκρίνοντας την απορρόφηση του φωτός στις διαδοχικές εικόνες και ύστερα από κατάλληλη επεξεργασία των εικόνων με τη βοήθεια του Matlab οδηγούμαστε στην εύρεση του καρδιακού ρυθμού. / The present thesis deals with the determination of the waveform that depicts the fluctuation of the brightness of photons which pass through the hand of a person and provides information for the arterial pressure. Exploiting the results through digital image processing techniques, subject’s cardiac rhythm can be conclusively calculated.
Using a series of diodes emitting in the visible spectrum along with a second series of diodes emitting in the infrared spectrum, we direct their light to a part of the human tissue which is thin (finger, earlobe etc) and can be easily penetrated. Afterwards via a CCD video camera we capture picture data of the light that is not absorbed. Cardiac rhythm can be calculated by comparing the absorption of light in successive pictures processed by digital imaging processing tools of Matlab.
|
26 |
Αυτόματη ανίχνευση του αρτηριακού τοιχώματος της καρωτίδας από εικόνες υπερήχων β-σάρωσηςΜατσάκου, Αικατερίνη 10 August 2011 (has links)
Σε αυτή την εργασία παρουσιάζεται μια πλήρως αυτοματοποιημένη μεθοδολογία κατάτμησης για την ανίχνευση των ορίων του αρτηριακού τοιχώματος σε διαμήκεις εικόνες καρωτίδας β-σάρωσης.
Συγκεκριμένα υλοποιείται ένας συνδυασμός της μεθοδολογίας του μετασχηματισμού Hough για την ανίχνευση ευθειών με μια μεθοδολογία ενεργών καμπυλών. Η μεθοδολογία του μετασχηματισμού Hough χρησιμοποιείται για τον ορισμό της αρχικής καμπύλης, η οποία στη συνέχεια παραμορφώνεται σύμφωνα με ένα μοντέλο ενεργών καμπυλών βασισμένων σε πεδίο ροής του διανύσματος κλίσης (Gradient Vector Flow - GVF). Το GVF μοντέλο ενεργών καμπυλών βασίζεται στον υπολογισμό του χάρτη ακμών της εικόνας και τον μετέπειτα υπολογισμό του διανυσματικού πεδίου ροής κλίσης, το οποίο με τη σειρά του προκαλεί την παραμόρφωση της αρχικής καμπύλης με σκοπό την εκτίμηση των πραγματικών ορίων του αρτηριακού τοιχώματος.
Η προτεινόμενη μεθοδολογία εφαρμόστηκε σε είκοσι (20) εικόνες υγιών περιπτώσεων και δεκαοχτώ (18) εικόνες περιπτώσεων με αθηρωμάτωση για τον υπολογισμό της διαμέτρου του αυλού και την αξιολόγηση της μεθόδου από ποσοτικούς δείκτες ανάλυσης κατά ROC (Receiver Operating Characteristic – ROC). Σύμφωνα με τα αποτελέσματα, δεν παρατηρήθηκαν στατιστικά σημαντικές διαφορές ανάμεσα στις μετρήσεις της διαμέτρου που πραγματοποιήθηκαν από τη διαδικασία της αυτόματης ανίχνευσης και τις αντίστοιχες μετρήσεις που προέκυψαν από την χειροκίνητη ανίχνευση. Οι τιμές της ευαισθησίας, της ειδικότητας και της ακρίβειας στις υγιείς περιπτώσεις ήταν αντίστοιχα 0.97, 0.99 και 0.98 για τις διαστολικές και τις συστολικές εικόνες. Στις παθολογικές περιπτώσεις οι αντίστοιχες τιμές ήταν μεγαλύτερες από 0.89, 0.96 και 0.93.
Συμπερασματικά, η προτεινόμενη μεθοδολογία αποτελεί μια ακριβή και αξιόπιστη μέθοδο κατάτμησης εικόνων καρωτίδας και μπορεί να χρησιμοποιηθεί στην κλινική πράξη. / In this thesis, a fully automatic segmentation method based on a combination of a combination of the Hough Transform for the detection of straight lines with active contours is presented, for detecting the carotid artery wall in longitudinal B-mode ultrasound images.
A Hough-transform-based methodology is used for the definition of the initial snake, followed by a gradient vector flow (GVF) snake deformation. The GVF snake is based on the calculation of the image edge map and the calculation of the gradient vector flow field which guides its deformation for the estimation of the real arterial wall boundaries.
The proposed methodology was applied in twenty and eighteen cases of healthy and atherosclerotic carotid respectively, in order to calculate the lumen diameter and evaluate the method by means of ROC analysis (Receiver Operating Characteristic – ROC). According to the results, there was no significant difference between the automated segmentation and the manual diameter measurements. In healthy cases the sensitivity, specificity and accuracy were 0.97, 0.99 and 0.98, respectively, for both diastolic and systolic phase. In atherosclerotic cases the calculated values of the indices were larger than 0.89, 0.96 and 0.93, respectively.
In conclusion, the proposed methodology provides an accurate and reliable way to segment ultrasound images of the carotid wall and can be used in clinical practice.
|
27 |
Σχεδιασμός PI ελεγκτών τριφασικών μετατροπέων ισχύος για εφαρμογές λειτουργίας Α.Π.Ε. με ισχυρό ή ασθενές δίκτυοΖαφειρόπουλος, Ανδρέας, Στάμος, Νικόλαος 19 October 2012 (has links)
Με το πέρασμα των χρόνων, τα συστήματα των ανανεώσιμων πηγών ενέργειας αποκτούν ολοένα και περισσότερο μέρος στα ηλεκτρικά δίκτυα. Το ενεργειακό πρόβλημα καθώς και οι επιπτώσεις στο περιβάλλον που αυτό δημιουργεί, οδηγούν σε εναλλακτικές μεθόδους παραγωγής ηλεκτρικής ενέργειας. Αυτό σημαίνει ότι προστίθονται στο δίκτυο εξαρτήματα τα οποία πρέπει να λειτουργούν αρμονικά το ένα σε σχέση με το άλλο για τον κατάλληλο χειρισμό της ηλεκτρικής ισχύος. Τέτοια εξαρτήματα είναι η μονάδα μετατροπής ενέργειας, ο μετατροπέας, το φίλτρο στην έξοδο του μετατροπέα καθώς και άλλες μονάδες πολύπλοκες ή πιο απλές. Η διακοπτική λειτουργία του μετατροπέα καθώς και η στοχαστική διαδικασία της παραγωγής ηλεκτρικής ενέργειας από τις ανανεώσιμες πηγές, προκαλούν τάσεις και ρεύματα με ανώτερες αρμονικές. Στην παρούσα διπλωματική εργασία θα εξετάσουμε διάφορες μεδόδους ελέγχου ισχύος στην πλευρά του δικτύου, με διάφορους τύπους φίλτρων και φορτίων στην έξοδο του μετατροπέα με σκοπό να εντοπίσουμε τις ομοιότητες και τις διαφορές ανάλογα με την τοπολογία που χρησιμοποιούμε. Τα συστήματα που θα εξομοιώσουμε περιλαμβάνουν την dc διασύνδεση, έναν μετατροπέα ισχύος που λειτουργεί με την μέθοδο PWM, διάφορες τοπολογίες φίλτρων όπως RL, LC και LCL σε ισχυρό δίκτυο και τέλος με διάφορα είδη φορτίων, δηλαδή σε ασθενές δίκτυο. Οι έλεγχοι θα εφαρμοστούν στο dq σύγχρονα στρεφόμενο σύστημα αναφοράς με την συχνότητα του δικτύου, με την βοήθεια του μετασχηματισμού Park έτσι ώστε να ελέγξουμε την dc τάση διασύνδεσης και να επιτύχουμε μοναδιαίο συντελεστή ισχύος από την πλευρά του δικτύου. Τέλος θα προσομοιώσουμε τα παραπάνω συστήματα στο Simulink του Matlab και θα εξάγουμε τα αντίστοιχα συμπεράσματα από τα αποτελέσματα των προσομοιώσεων. / During the years, systems of renewable energy sources are becoming more a significant part of electrical networks. The energy problem and its impact on the environment, lead to alternative methods of electricity production. This means that components added to the network must operate harmoniously in relation one to another for proper handling of electrical power. Such components are the power conversion unit, the inverter, the filter at the output of converter units and other complex or simple devices. The switching operation of the converter and the stochastic process of producing electricity from renewable sources, can provoke voltages and currents of higher harmonic spectrum. In this paper we will examine various methods to control power injected in the utility network with different types of filters and loads on the output of the converter in order to identify similarities and differences depending on the topology used. The systems will include simulation of dc link, a power converter that operates method PWM, different filter topologies such as RL, LC and LCL and then of different load topologies. The control will be applied in modern dq rotating reference system to the grid frequency, making use of the Park transformation to control the dc link voltage and succeed unit power factor in the grid side. In conclusion, simulations of these systems will be done in Simulink of Matlab and conclusions will be drowned.
|
28 |
Κράμματα με μνήμη σχήματος (shape memory alloys) : μελέτη των κρυσταλλογραφικών μετασχηματισμών υπό συνθήκες παρεμπόδισης ανάκτησης σχήματοςΠέταλης, Παντελής Ε. 09 December 2008 (has links)
Η ανάπτυξη ευφυών υλικών, ή καλύτερα ευφυών συστημάτων, βασίζεται στην αξιοποίηση των λειτουργικών ιδιοτήτων μιας σειράς υλικών με κυριότερους εκπροσώπους τα υλικά με μνήμη σχήματος, τα ηλεκτρορεολογικά αιωρήματα και τα πιεζο/σιδηροηλεκτρικά στοιχεία. Το επιστημονικό και τεχνολογικό πεδίο των «ευφυών υλικών» επιχειρεί να αναπτύξει συστήματα υλικών των οποίων η επιτυχία δε θα βασίζεται στην εκπλήρωση πολύ υψηλών και σταθερών προδιαγραφών, αλλά στη δυνατότητα ελεγχόμενης μεταβολής της συμπεριφοράς τους.
Η εργασία αυτή αναφέρεται σε κράματα με μνήμη σχήματος και στη μελέτη των συντελούμενων σε αυτά κρυσταλλογραφικών μετασχηματισμών, με τη μέθοδο της διαφορικής θερμιδομετρίας σάρωσης και τη μέθοδο της δυναμικής μηχανικής ανάλυσης. Στόχος της παρούσας εργασίας ήταν η μελέτη των μετασχηματισμών φάσεων προτανυσμένων συρμάτων SMA που είναι ενσωματωμένα στο εσωτερικό πολυμερικής μήτρας. Για λόγους αναφοράς εξετάσθηκε και η θερμική απόκριση των συνιστωσών υλικών.
Το πρώτο μέρος της εργασίας προσφέρει μια βιβλιογραφική επισκόπηση του αντίστοιχου επιστημονικού πεδίου και το δεύτερο μέρος αναφέρεται στην πειραματική μελέτη του ίδιου θέματος. Στη συνέχεια δίνεται μια συνοπτική περιγραφή της διάρθρωσης της παρούσης εργασίας.
Στο πρώτο κεφάλαιο γίνεται λόγος για τα ευφυή υλικά. Ως ευφυή υλικά αναφέρονται συστήματα που έχουν την ικανότητα να μεταβάλλουν τη συμπεριφορά τους ή ορισμένα χαρακτηριστικά τους (σχήμα, ιδιοσυχνότητα, συντελεστή απόσβεσης δονήσεων και άλλα) με δεδομένο και ελεγχόμενο τρόπο, εξ’ αιτίας μιας διέγερσης. Τα συστήματα αυτά ενσωματώνουν αισθητήρες και ενεργοποιητές, οι οποίοι συνδέονται μεταξύ τους με έναν κατάλληλο βρόχο ελέγχου. Στο ίδιο κεφάλαιο αναφέρονται τα υλικά που μπορούν να χρησιμοποιηθούν ως αισθητήρες και ενεργοποιητές και οι τύποι τους, τα είδη ελέγχου που έχουν επιτευχθεί, καθώς και εφαρμογές των ευφυών συστημάτων.
Στο δεύτερο κεφάλαιο γίνεται αναφορά στα σύνθετα υλικά. Ως σύνθετο υλικό χαρακτηρίζεται ένα σύστημα δύο ή περισσότερων, διαφορετικών σε σύσταση και χημική δομή, υλικών τα οποία είναι φυσικά συνδεδεμένα μεταξύ τους. Τα σύνθετα υλικά αποτελούνται από μια συνεχή φάση, που λέγεται «μήτρα», ενισχυμένη με κάποιο υλικό που συνήθως αποκαλείται «ενισχυτικό ή πληρωτικό μέσο» και μια τρίτη φάση τη «διεπιφάνεια». Στο κεφάλαιο αυτό αναφέρονται οι κατηγορίες των σύνθετων υλικών, τα είδη μήτρας και εγκλεισμάτων, καθώς και τα χαρακτηριστικά της διεπιφάνειας.
Στο τρίτο κεφάλαιο παρουσιάζονται τα ευφυή σύνθετα υλικά με ενσωματωμένα σύρματα με μνήμη σχήματος. Τα κράματα με μνήμη σχήματος εμφανίζουν την ικανότητα να μεταβάλλουν αντιστρεπτά ορισμένες φυσικές ιδιότητες του υλικού καθώς και το σχήμα τους. Εδώ αναλύεται ο ευθύς και αντίστροφος μαρτενσιτικός μετασχηματισμός, το φαινόμενο μνήμης σχήματος, τα κυριότερα κράματα μνήμης σχήματος που χρησιμοποιούνται και οι μηχανικές τους ιδιότητες, ενώ γίνεται αναφορά στις δυνατότητες και στους περιορισμούς των κραμάτων στις διάφορες εφαρμογές.
Στο τέταρτο κεφάλαιο αναφέρονται τα υλικά που χρησιμοποιήθηκαν για την παρασκευή των ευφυών συστημάτων στην παρούσα εργασία. Αρχικά γίνεται λόγος για τη χημική δομή, τη θερμική κατεργασία και τις εφαρμογές εποξειδικών ρητινών. Στη συνέχεια αναφέρονται οι ίνες Kevlar® και αναλύεται η χημική δομή τους, τα είδη των ινών Kevlar® που υπάρχουν και οι εφαρμογές τους. Στο κεφάλαιο αυτό παρουσιάζονται και τα σύρματα με μνήμη σχήματος.
Στο πέμπτο κεφάλαιο περιγράφεται ο τρόπος με τον οποίο παρασκευάστηκαν τα σύνθετα με ενσωματωμένα σύρματα με μνήμη σχήματος.
Στο έκτο κεφάλαιο αναφέρονται οι πειραματικές τεχνικές που χρησιμοποιήθηκαν για τη μελέτη των δοκιμίων. Εδώ αναφέρονται σε συντομία γενικά στοιχεία για τη μέθοδο της διαφορικής θερμιδομετρίας σάρωσης (DSC) και για τη μέθοδο της δυναμικής μηχανικής ανάλυσης (DMA). Επίσης, περιγράφονται οι συσκευές της διαφορικής θερμιδομετρίας σάρωσης και της δυναμικής μηχανικής ανάλυσης που χρησιμοποιήθηκαν για τη μελέτη της θερμικής και μηχανικής απόκρισης των δοκιμίων.
Στο έβδομο κεφάλαιο παρατίθενται τα πειραματικά αποτελέσματα για δοκίμια Ni-Ti, Ni-Ti-Cu με 6% σε Cu, Ni-Ti-Cu με 12% σε Cu και για σύνθετα δοκίμια NiTi με προτάνυση 3%, NiTiCu (6% Cu) με προτάνυση 2%, NiTiCu (12% Cu) με προτάνυση 3%, που μελετήθηκαν με τη διάταξη της διαφορικής θερμιδομετρίας σάρωσης (DSC). Επιπλέον, παρουσιάζονται τα πειραματικά αποτελέσματα για σύρματα Ni-Ti-Cu με 12% σε Cu και Ni-Ti, καθώς και για σύνθετα Ni-Ti-Cu (12% Cu) με 3% προτάνυση και για ρητίνη με ίνες Kevlar 29®, που μελετήθηκαν με διάταξη δυναμικής μηχανικής ανάλυσης (DMA). Στο επόμενο κεφάλαιο σχολιάζονται τα αποτελέσματα αυτά, ενώ στο τελευταίο κεφάλαιο αναφέρονται τα συμπεράσματα που προκύπτουν από τη μελέτη των αποτελεσμάτων. / Exploiting the functional properties of materials such as shape memory alloys, electrorheological suspensions and piezo/ferroelectric elements results in the development of smart materials or systems. In the scientific and technological field of smart materials the major achievement is not related to the values of specific physical properties but to the “adopted” ability to control their own behaviour.
The subject of the present work concerns the crystallographic transformations of Shape Memory Alloys (SMA) under constrained conditions. The occurring transitions are studied experimentally by means of Differential Scanning Calorimetry (DSC) and Dynamic Mechanical Analysis (DMA). The first part of this work is a bibliographical review of the field, while the second one is the experimental study of the same subject. In the following lines, a short description, of the present thesis is given.
The first chapter gives an introduction to smart materials. Composite systems, which under the influence of an external cause, can vary their behaviour or some characteristics (shape, natural vibration frequency, damping coefficient etc) in a specific and controllable way, are referred as smart materials. These systems incorporate sensors and actuators, which in turn are connected by a suitable control loop. Suitable materials for being employed as sensors and actuators, as well as the types of the, up to now, achieved control are also discussed.
Chapter two covers briefly, fundamental aspects of composite materials. A system of two or more different, in composition and chemical structure, materials physically bonded between of them is characterised as a composite material. Composite materials are consisted from a continuous phase, often called “matrix”, and a discrete phase, called “reinforcing or filling phase”. Composite materials exhibit always a third phase, namely interface, between matrix and reinforcement. In this chapter the types of composites, matrices, fillers and the characteristics of interface are referred.
Chapter three presents smart composite systems with embedded shape memory alloys (SMA). Shape memory alloys have the ability to change, reversibly, a number of characteristics, including their own shape. In this chapter direct and reverse martensitic transformation, shape memory effect, important shape memory alloys and their mechanical properties, as well as a short description of the manufacturing procedure of smart systems with embedded shape memory alloys, is presented.
In the fourth chapter the employed materials for the production of the smart systems are discussed. The chemical structure, the curing procedure and the applications of epoxy resins are referred. Aramid fibres, such as Kevlar® fibres are also discussed, connecting their reinforcing role with their microstructure.
Chapter five describes analytically the preparation procedure of the specimens. Next chapter describes the main characteristics of differential scanning calorimetry, dynamic mechanical analysis, as well and the devices used to study the thermal and mechanical response of the specimens.
Chapters seven and eight present the experimental results of all the examined specimens and the resulting discussion respectively. Finally, concluding remarks and possible future work are included in chapter nine.
|
29 |
Παραμετροποίηση στοχαστικών μεθόδων εξόρυξης γνώσης από δεδομένα, μετασχηματισμού συμβολοσειρών και τεχνικών συμπερασματικού λογικού προγραμματισμού / Parameterization of stochastic data mining methods, string conversion algorithms and deductive logic programming techniquesΛύρας, Δημήτριος 02 February 2011 (has links)
Η παρούσα διατριβή πραγματεύεται το αντικείμενο της μάθησης από δύο διαφορετικές οπτικές γωνίες: την επαγωγική και την παραγωγική μάθηση.
Αρχικά, παρουσιάζονται παραμετροποιήσεις στοχαστικών μεθόδων εξόρυξης γνώσης από δεδομένα υπό τη μορφή τεσσάρων καινοτόμων εξατομικευμένων μοντέλων στήριξης ασθενών που πάσχουν από διαταραχές άγχους. Τα τρία μοντέλα προσανατολίζονται στην ανεύρεση πιθανών συσχετίσεων μεταξύ των περιβαλλοντικών παραμέτρων των ασθενών και του επιπέδου άγχους που αυτοί παρουσιάζουν, ενώ παράλληλα προτείνεται και η χρήση ενός Μπεϋζιανού μοντέλου πρόβλεψης του επιπέδου άγχους που είναι πιθανό να εμφανίσει κάποιος ασθενής δεδομένων ορισμένων τιμών του περιβαλλοντικού του πλαισίου εφαρμογής.
Αναφορικά με το χώρο της εξόρυξης γνώσης από κείμενο και του μετασχηματισμού συμβολοσειρών, προτείνεται η εκπαίδευση μοντέλων δέντρων αποφάσεων για την αυτόματη μεταγραφή Ελληνικού κειμένου στην αντίστοιχη φωνητική του αναπαράσταση, πραγματοποιείται η στοχαστική μοντελοποίηση όλων των πιθανών μεταγραφικών νορμών από ορθογραφημένα Ελληνικά σε Greeklish και τέλος παρουσιάζεται ένας καινοτόμος αλγόριθμος που συνδυάζει δύο γνωστά για την ικανοποιητική τους απόδοση μέτρα σύγκρισης ομοιότητας αλφαριθμητικών προκειμένου να επιτευχθεί η αυτόματη λημματοποίηση του κειμένου εισόδου.
Επιπρόσθετα, στα πλαίσια της ανάπτυξης συστημάτων που θα διευκολύνουν την ανάκτηση εγγράφων ή πληροφοριών προτείνεται η συνδυαστική χρήση του προαναφερθέντος αλγορίθμου λημματοποίησης παράλληλα με τη χρήση ενός πιθανοτικού δικτύου Bayes στοχεύοντας στην ανάπτυξη ενός εύρωστου και ανταγωνιστικού ως προς τις επιδόσεις συστήματος ανάκτησης πληροφοριών.
Τέλος, παρουσιάζονται οι προτάσεις μας που αφορούν στο χώρο της παραγωγικής μάθησης και του ελέγχου ικανοποιησιμότητας λογικών εκφράσεων. Συγκεκριμένα περιλαμβάνουν:
i) την ανάλυση και εκτενή παρουσίαση μιας καινοτόμας μαθηματικής μοντελοποίησης με την ονομασία AnaLog (Analytic Tableaux Logic) η οποία δύναται να εκφράσει τη λογική που διέπει τους αναλυτικούς πίνακες για προτασιακούς τύπους σε κανονική διαζευκτική μορφή. Mέσω του λογισμού Analog επιτυγχάνεται η εύρεση των κλειστών κλάδων του πλήρως ανεπτυγμένου δέντρου Smullyan, χωρίς να είναι απαραίτητος ο αναλυτικός σχεδιασμός του δέντρου, και
ii) την παράθεση ενός αναλυτικού αλγορίθμου που μπορεί να αξιοποιήσει τον φορμαλισμό AnaLog σε ένα πλαίσιο αριθμητικής διαστημάτων μέσω του οποίου μπορούμε να αποφανθούμε για την ικανοποιησιμότητα συμβατικών διαζευκτικών προτασιακών εκφράσεων. / The present dissertation deals with the problem of learning from two different perspectives, meaning the inferential and the deductive learning.
Initially, we present our suggestions regarding the parameterization of stochastic data mining methods in the form of four treatment supportive services for patients suffering from anxiety disorders. Three of these services focus on the discovery of possible associations between the patients’ contextual data whereas the last one aims at predicting the stress level a patient might suffer from, in a given environmental context.
Our proposals with regards to the wider area of text mining and string conversion include: i) the employment of decision-tree based models for the automatic conversion of Greek texts into their equivalent CPA format, ii) the stochastic modeling of all the existing transliteration norms for the Greek to Greeklish conversion in the form of a robust transcriber and iii) a novel algorithm that is able to combine two well-known for their satisfactory performance string distance metric models in order to address the problem of automatic word lemmatization.
With regards to the development of systems that would facilitate the automatic information retrieval, we propose the employment of the aforementioned lemmatization algorithm in order to reduce the ambiguity posed by the plethora of morphological variations of the processed language along with the parallel use of probabilistic Bayesian Networks aiming at the development of a robust and competitive modern information retrieval system.
Finally, our proposals regarding logical deduction and satisfiability checking include:
i) a novel mathematical formalism of the analytic tableaux methodology named AnaLog (after the terms Analytic Tableaux Logic) which allows us to efficiently simulate the structure and the properties of a complete clausal tableau given an input CNF formula. Via the AnaLog calculus it is made possible to calculate all the closed branches of the equivalent complete Smullyan tree without imposing the need to fully construct it, and
ii) a practical application of the AnaLog calculus within an interval arithmetic framework which is able to decide upon the satisfiability of propositional formulas in CNF format. This framework, apart from constituting an illustrative demonstration of the application of the AnaLog calculus, it may also be employed as an alternative conventional SAT system.
|
30 |
Μέθοδοι διάγνωσης με βάση προηγμένες τεχνικές επεξεργασίας και ταξινόμησης δεδομένων. Εφαρμογές στη μαιευτική / Advanced data processing and classification techniques for diagnosis methods. Application in obstetricsΓεωργούλας, Γεώργιος Κ. 13 February 2009 (has links)
Αντικείμενο της διατριβής ήταν η ανάπτυξη υπολογιστικών μεθόδων διάγνωσης και εκτίμησης της κατάστασης της υγείας του εμβρύου. Οι προτεινόμενες μεθοδολογίες αναλύουν και εξάγουν πληροφορίες από το σήμα της ΕΚΣ καθώς το συγκεκριμένο σήμα αποτελεί ένα από τα λιγοστά διαθέσιμα εργαλεία για την εκτίμηση της οξυγόνωσης του εμβρύου και της αξιολόγησης της κατάστασης της υγείας του κατά τη διάρκεια του τοκετού. Για την αξιολόγηση των μεθόδων εξετάστηκε η συσχέτιση της Εμβρυϊκής Καρδιακής Συχνότητας (ΕΚΣ) με βραχυπρόθεσμες αξιόπιστες ενδείξεις για την κατάσταση του εμβρύου και πιο συγκεκριμένα χρησιμοποιήθηκε η συσχέτιση της τιμής του pH του αίματος του εμβρύου η οποία αποτελεί μια έμμεση ένδειξη για την ανάπτυξη υποξίας κατά τη διάρκεια του τοκετού.
Στα πλαίσια της διατριβής χρησιμοποιήθηκε για πρώτη φορά η μέθοδος της ανάλυσης σε ανεξάρτητες συνιστώσες για την εξαγωγή χαρακτηριστικών από το σήμα της ΕΚΣ. Επίσης προτάθηκαν και χρησιμοποιήθηκαν Κρυφά Μοντέλα Markov σε μια προσπάθεια να «συλληφθεί» η χρονική εξέλιξη του φαινομένου της μεταβολής της κατάστασης του εμβρύου. Επιπλέον προτάθηκαν νέα χαρακτηριστικά εξαγόμενα με τη χρήση του Διακριτού Μετασχηματισμού Κυματιδίου. Με χρήση μιας υβριδική μέθοδος, που βασίζεται στη χρήση εξελικτικής γραμματικής «κατασκευάστηκαν» νέα χαρακτηριστικά παραγόμενα από τα χαρακτηριστικά που είχαν ήδη εξαχθεί με συμβατικές μεθόδους. Επιπρόσθετα στα πλαίσια της διατριβής χρησιμοποιήθηκαν για πρώτη φορά (και η μόνη μέχρι στιγμής) μηχανές διανυσμάτων υποστήριξης για την ταξινόμηση και προτάθηκε και χρησιμοποιήθηκε για πρώτη φορά η μέθοδος βελτιστοποίησης με σμήνος σωματιδίων για τη ρύθμιση των παραμέτρων τους. Τέλος προτάθηκε και χρησιμοποιήθηκε για πρώτη φορά η μέθοδος βελτιστοποίησης με σμήνος σωματιδίων για την εκπαίδευση μιας νέας οικογένειας νευρωνικών δικτύων, των νευρωνικών δικτύων κυματιδίου.
Μέσα από τα πειράματα τα οποία διεξήγαμε καταφέραμε να δείξουμε ότι τα δεδομένα της ΕΚΣ διαθέτουν σημαντική πληροφορία η οποία με τη χρήση κατάλληλων προηγμένων μεθόδων επεξεργασίας και ταξινόμησης μπορεί να συσχετιστεί με την τιμή του pH του εμβρύου, κάτι το οποίο θεωρούνταν ουτοπικό στη δεκαετία του 90. / This Dissertation dealt with the development of computational methods for the diagnosis and estimation of fetal condition. The proposed methods analyzed and extracted information from the Fetal Heart Rate (FHR) signal, since this is one of the few available tools for the estimation of fetal oxygenation and the assessment of fetal condition during labor. For the evaluation of the proposed methods the correlation of the FHR signal with short term indices were employed and to be more specific, its correlation with the pH values of fetal blood, which is an indirect sign of the development of fetal hypoxia during labor.
In the context of this Dissertation, Independent Component Analysis (ICA) for feature extraction from the FHR signal was used for the first time. Moreover we used Hidden Markov Models in an attempt to “capture” the evolution in time of the fetal condition. Furthermore, new features based on the Discrete Wavelet Transform were proposed and used. Using a new hybrid method based on grammatical evolution new features were constructed based on already extracted features by conventional methods. Moreover, for the first (and only) time, Support Vector Machine (SVM) classifiers were employed in the field of FHR processing and the Particle Swarm Optimization (PSO) method was proposed for tuning their parameters. Finally, a new family of neural networks, the Wavelet Neural Networks (WNN) was proposed and used, trained using the PSO method.
By conducting a number of experiments we managed to show that the FHR signal conveys valuable information, which by the use of advanced data processing and classification techniques can be associated with fetal pH, something which was not regarded feasible during the 90’s.
|
Page generated in 0.0264 seconds