Formal concept analysis (FCA) is a mathematical formalism based on order and lattice theory for data analysis. It has found applications in a broad range of neighboring fields including Semantic Web, data mining, knowledge representation, data visualization and software engineering. ICFCA is a series of annual international conferences that started in 2003 in Darmstadt and has been held in several continents: Europe, Australia, America and Africa. ICFCA has evolved to be the main forum for researchers working on theoretical or applied aspects of formal concept analysis worldwide. In 2013 the conference returned to Dresden where it was previously held in 2006. This year the selection of contributions was especially competitive. This volume is one of two volumes containing the papers presented at ICFCA 2013. The other volume is published by Springer Verlag as LNAI 7880 in its LNCS series. In addition to the regular contributions, we have included an extended abstract: Jean-Paul Doignon reviews recent results connecting formal concept analysis and knowledge space theory in his contribution “Identifiability in Knowledge Space Theory: a Survey of Recent Results”. The high-quality of the program of the conference was ensured by the much-appreciated work of the authors, the Program Committee members, and the Editorial Board members. Finally, we wish to thank the local organization team. They provided support to make ICFCA 2013 proceed smoothly in a pleasant atmosphere.

The aim of this study is to contribute to the urban social movement literature of Turkey which is lacking particularly for &ldquo / gecekondu resistance&rdquo / and to reveal and study the gecekondu resistance as a grassroots movement against the demolition of gecekondus, in the name of urban renewal projects in Istanbul, especially since 2004. It also investigates the &ldquo / urban social movement&rdquo / concept whose meaning is under discussion in the literature due to its usage in different aspects of resistance in the urban area. The literature review focuses mainly on the production of space, focusing particularly on urban renewal, urban resistance and social movements especially reflecting on the theoretical perspectives of prominent scholars like Lefebvre and Castells. The research focuses on neighborhood resistance in gecekondu areas / however in an attempt to make a categorization of ways of urban resistance in Istanbul. This thesis is based upon the field study pursued in the period between January and October 2006, in G&uuml / zeltepe neighborhood, in Ey&uuml / p, being a remarkable example of resistance for various reasons which will be elaborated in the thesis. G&uuml / zeltepe which is a part of the urban renewal project in Istanbul is investigated with participant observation and in-depth interviews comprising people both participating directly in the resistance and &ldquo / ordinary&rdquo / dwellers, who do not have political affiliations. The study is supported by a systematic analysis of representations of gecekondu resistance and its demolition in the Turkish press, from July 2005 until August 2006.

Το αντικείμενο της παρούσας διπλωματικής εργασίας είναι η ανάλυση και η επεξεργασία δεδομένων από αιολικό πάρκο εγκατεστημένης ισχύος 38 MW, η σύγκρισή τους με τις θεωρητικά αναμενόμενες τιμές και η εξαγωγή συμπερασμάτων σχετικά με τη λειτουργία του αιολικού πάρκου. Για να επιτευχθεί ο στόχος της εργασίας αρχικά γίνεται μία γνωριμία με το σύνολο των ανανεώσιμων πηγών ενέργειας και τονίζεται η σημαντικότητά τους και ο σπουδαίος ρόλος που επιτελούν στη σημερινή ενεργειακή κρίση. Ύστερα η εργασία εστιάζει στην αιολική ενέργεια, σαν έναν από τους κύριους εκφραστές των ανανεώσιμων πηγών ενέργειας και παρουσιάζει τους λόγους και τους τρόπους αξιοποίησής της. Ακολουθεί η αναλυτική περιγραφή των χαρακτηριστικών της ανεμογεννήτριας, η οποία είναι το βασικό εργαλείο για τη διαδικασία μετατροπής της αιολικής ενέργειας σε ηλεκτρική. Στη συνέχεια παρουσιάζεται η ανάλυση ενός συστήματος ανεμογεννητριών, γνωστό και ως αιολικό πάρκο, η ύπαρξη του οποίου οφείλεται στην ανάγκη μέγιστης απορρόφησης της αιολικής ενέργειας. Αφού περιγραφούν όλες οι απαραίτητες έννοιες για την κατανόηση της λειτουργίας του αιολικού πάρκου, σειρά έχει η αναλυτική περιγραφή της διαδικασίας μελέτης, κατασκευής και διασύνδεσής του στο δίκτυο, χρησιμοποιώντας ως υπόδειγμα πραγματικές μελέτες και σχέδια από την κατασκευή ενός εγκατεστημένου αιολικού πάρκου. Από το αιολικό πάρκο που χρησιμοποιήθηκε ως υπόδειγμα, συγκεντρώθηκαν διάφορα δεδομένα λειτουργίας, όπως η παραγόμενη ισχύς, η ταχύτητα και η διεύθυνση του ανέμου, κ.ά. Τα δεδομένα αυτά αναλύθηκαν και επεξεργάστηκαν και τα αποτελέσματα παρουσιάζονται στη συνέχεια. / The subject of this thesis is to analyze and process the data extracted from a wind farm, with installed capacity of 38 MW, then compare them to the theoretical estimated values and finally draw conclusions about the operation of the wind farm. In order to reach the goal of the thesis, initially, all the renewable energy sources are introduced and their significance and the important role they play in today's energy crisis are highlighted. Then the paper focuses on wind power, being one of the most frequently exploited renewable energy source and presents both the advantages and disadvantages and the ways of exploitation. Following the aforementioned is a detailed description of the characteristics of the wind turbine, which is the main equipment for the conversion of wind energy into electricity. The necessity of power nowadays has forced us to find ways for best absorption of wind energy. A wind farm allows us to get the maximum out of the wind potential of an area therefore what follows is the analysis of the main components of a wind farm. After describing all the necessary concepts for understanding the operation of the wind farm, a detailed description of the design process, construction and interconnection with the grid is presented. The description is made by using studies and drawings of an actual construction project of an installed wind farm. From the wind farm that was used as a template, were gathered various operating data such as power output, air speed and direction, etc. These data have been analyzed and processed, and the results are projected in the last two chapters of this thesis.

Στις μέρες μας οι συνεχώς αυξανόμενες ενεργειακές ανάγκες, καθώς και η απαίτηση των κοινωνιών για ένα πιο καθαρό περιβάλλον, έχουν κάνει τις ανανεώσιμες πηγές ενέργειας όλο και πιο ελκυστικές ως προς την εκμετάλλευση τους. Η αξιοποίηση της αιολικής ενέργειας στην παραγωγή ηλεκτρικής ενέργειας κερδίζει όλο και περισσότερο έδαφος. Η τεχνολογία των αιολικών συστημάτων αναπτύσσεται συνεχώς ,με αποτέλεσμα να υπάρχουν διάφορες κατηγορίες αυτών, ανάλογα με τη χρήση για την οποία προορίζονται. Στην παρούσα διπλωματική μου εργασία, μελετάται ένα αιολικό σύστημα μεταβλητών στροφών που χρησιμοποιεί μία παραλλαγή της επαγωγικής μηχανής Διπλής Τροφοδοσίας. Η διαφοροποίηση του έγκειται στον επιπλέον dc/ac μετατροπέα που χρησιμοποιείται, προκειμένου να ελέγξουμε την τάση που μπορεί να δει ο στάτης. Μ΄ αυτό τον τρόπο, το αιολικό σύστημα μιας γεννήτριας διπλής τροφοδοσίας γίνεται ακόμα πιο αξιόπιστο, συνεχίζοντας την παραγωγή ισχύος και παραμένοντας συνδεδεμένο με το δίκτυο σε περίπτωση σφάλματος στην πλευρά του δικτύου. Στη μελέτη αυτή, αφού εξαγάγαμε το μαθηματικό μοντέλο του συστήματος και το προσομοιώσαμε σε περιβάλλον Matlab - Simulink, δοκιμάσαμε το σύστημα σε συνθήκες ύπαρξης σφάλματος στο δίκτυο. Στο σύστημα εφαρμόστηκαν κλασικές τεχνικές ελέγχου,με στόχο τη διατήρηση της μέγιστης απομάστευσης ισχύος από το σύστημα, την αύξηση της αντοχής του σε σφάλματα από την πλευρά του δικτύου, καθώς και τη μη αποσύνδεση του συστήματος από το δίκτυο σε μία τέτοια περίπτωση. Τέλος, συγκρίναμε τη συμπεριφορά αυτού του συστήματος με τη συμπεριφορά ενός κλασικού αιολικού συστήματος με επαγωγική γεννήτρια Διπλής Τροφοδοσίας και παραθέσαμε τις διαφορές. / The increasingly energy demands in our days and also the modern societies demand for a greener environment, have made the electrical energy production from renewable energy sources more attractive. The use of wind energy in the electrical energy production is having more and more fervent supporters. The technology and the types of the wind systems varies, depending on the use and the environmental conditions. In my diploma thesis I designed, we will study a variation of a wind system with a variable speed operation with a Doubly Fed Induction Generator. In this system we also use a dc/ac converter in order to control the voltage which the stator can “see”. Using this converter the wind system with a DFIG is more reliable and remains connected to the ac grid, maintaining the maximum power production, in case of a fault on grid side. In this thesis, after we made the mathematical model with a great accuracy and simulated using Matlab - Simulink, we tested it under conditions of different voltage sags from the side of the grid. In order to control the system and maintaining the power production power at the maximum level, we used classic control methods, and as a result, we achieved to keep the maximum level of power production and to keep the wind system connected to the grid in a scenario of a grid side fault. Finally, we compared the behavior of the system we designed with the wind system with the classic DFIG and we presented the differences.

The specification of a decoder, i.e., a program that translates sentences from one natural language into another, is an intricate process, driven by the application and lacking a canonical methodology. The practical nature of decoder development inhibits the transfer of knowledge between theory and application, which is unfortunate because many contemporary decoders are in fact related to formal-language theory. This thesis proposes an algebraic framework where a decoder is specified by an expression built from a fixed set of operations. As yet, this framework accommodates contemporary syntax-based decoders, it spans two levels of abstraction, and, primarily, it encourages mutual stimulation between the theory of weighted tree automata and the application.

Η αιολική ενέργεια είναι το κλειδί για να επιτευχθεί ο στόχος της Ε.Ε. για συμμετοχή των Α.Π.Ε. στην παραγωγή ενέργειας σε ποσοστό τουλάχιστον 20% το 2020.Για το λόγο αυτό, αυτή η διπλωματική εργασία έχει σκοπό τη μελέτη των επιπτώσεων του συστήματος αιολικής ενέργειας στο σύστημα ηλεκτρικής ενέργειας.Η έρευνα επικεντρώνεται στο τμήμα των δυναμικών επιπτώσεων, που αφορά κυρίως στις μεταβολές της αέργου ισχύος και των τάσεων στους ζυγούς του συστήματος λόγω μεταβολών διαφόρων παραμέτρων όπως ο άνεμος, οι γραμμές μεταφοράς και διάφορα είδη σφαλμάτων. / The contribution of renewable sources of energy in percent at least 20% is the energy goal of E.U. in 2020.Thus, wind power is considered to be the key to the achievement of this goal.For this reason, this diploma thesis intendsto study the influences of the wind power system to the electrical power system.The research specifies in the section of the dynamic influences, which mostly includes the variations of the voltage and the reactive powe in the systems buses due to variations of variables such as the wind speed, the transmission lines and different types of fault.

Στην παρούσα διπλωματική εργασία υλοποιείται η δημιουργία ενός user-friendly περιβάλλοντος μέσω του λογισμικού SIMULINK του MATLAB με τη βοήθεια του οποίου είναι δυνατή η αναπαράσταση τόσο των μοντέλων μίας ανεμογεννήτριας διπλής τροφοδοσίας (doubly-fed induction generator) όσο και των υπόλοιπων συνιστωσών του συστήματος. Ο χρήστης μπορεί ανά πάσα στιγμή να επεμβαίνει στα στοιχεία και της παραμέτρους μίας ανεμογεννήτριας διπλής τροφοδοσίας, να θέτει τις δικές του τιμές, και να ελέγχει τη συμπεριφορά και τις αποκρίσεις της. Αναλυτικότερα, στο πρώτο κεφάλαιο πραγματοποιείται μια επισκόπηση της χρήσης των αιολικών συστημάτων και των ανανεώσιμων πηγών ενέργειας γενικότερα σε Ελλάδα και Ευρώπη, καθώς και κάποια οικονομικά στοιχεία που προκύπτουν. Παρουσιάζονται επιπλέον οι νέες κατευθύνσεις και το μέλλον της αιολικής ενέργειας. Στο δεύτερο κεφάλαιο παρουσιάζονται τα βασικά δομικά εξαρτήματα μιας ανεμογεννήτριας, αναλύεται η έννοια της αεροδυναμικής μετατροπής όπως και οι κύριες μέθοδοι αεροδυναμικού ελέγχου που εφαρμόζονται. Εν συνεχεία αναφέρονται οι πιο διαδεδομένοι τύποι ανεμογεννητριών με τα πλεονεκτήματα και τα μειονεκτήματα τους, καθώς και οι πιο συνήθεις παραλλαγές της ανεμογεννήτριας διπλής τροφοδοσίας όπου και θα εξετάσουμε διεξοδικά στην παρούσα εργασία. Στο τρίτο κεφάλαιο εξάγεται αναλυτικά η δυναμικές εξισώσεις μιας επαγωγικής μηχανής, καθώς και ο διανυσματικός έλεγχος της. Στο τέταρτο κεφάλαιο, παρουσιάζεται το μοντέλο που περιγράφει μια ανεμογεννήτρια διπλής τροφοδοσίας, γίνεται εξαγωγή των εξισώσεων λειτουργίας της από το ηλεκτρικό ισοδύναμο της και παρατίθεται η θεωρία του διανυσματικού ελέγχου της μηχανής στη μόνιμη κατάσταση της. Στο πέμπτο και τελευταίο κεφάλαιο, παρουσιάζεται βήμα προς βήμα η δημιουργία ενός φιλικού στον χρήστη περιβάλλοντος -που δημιουργήθηκε σε SIMULINK περιβάλλον- για τη διαχείριση μίας DFIG, και γίνεται σχολιασμός γραφικών παραστάσεων και αποκρίσεων της μηχανής τόσο στη μόνιμη λειτουργία της, όσο και σε πιο ακραίες συνθήκες λειτουργίας. Στα παραρτήματα Α και Β δίνεται το ευρετήριο των συμβόλων και των παραμέτρων που χρησιμοποιούνται στην ανάλυση της DIFG που εμπεριέχονται στα υποσυστήματα της γεννήτριας, του μετατροπέα και των ελεγκτών. / -

Στο πρώτο κεφάλαιο αναφέρονται χαρακτηριστικά της αιολικής ενέργειας. Μελετάται η ισχύς του ανέμου όπου βλέπουμε στοιχεία όπως τον τρόπο που σχηματίζονται οι άνεμοι, και περιγράφονται τα στοιχεία τη ανεμογεννήτριας και τα χαρακτηριστικά της αιολικής απόδοσης. Παρουσιάζονται τέλος, συνοπτικά, μερικά εισαγωγικά στοιχεία για τις κατανεμημένες παραγωγές, για τις κατανεμημένες πηγές ενέργειας και τον τρόπο που διανέμεται η παραγωγή της ενέργειας. Στο δεύτερο κεφάλαιο της διπλωματικής εργασίας γίνεται περιγραφή των φορτίων που υπάρχουν στα ηλεκτρικά κινητήρια συστήματα. Μελετάμε τη δομή αυτών και τα κατηγοριοποιούμε με κριτήριο τη ροπή τους. Στο τρίτο κεφάλαιο μελετάμε το τριφασικό βραχυκύκλωμα και τον τριφασικό διακόπτη. Αναφέρουμε τις παραμέτρους που παίζουν ρόλο στο βραχυκύκλωμα, τον τρόπο που συμπεριφέρεται μία μηχανή σε αυτό και τις συνιστώσες συνεχούς μεταβαλλόμενου ρεύματος. Στο τέταρτο κεφάλαιο περιγράφουμε τον τριφασικό μετασχηματιστή. Μελετάμε τις συνθήκες σύνδεσης αυτών και τον τρόπο που συνδέονται. Στο πέμπτο κεφάλαιο μελετάμε τις ανεμογεννήτριες μεταβλητής ταχύτητας, τον έλεγχο που γίνεται στον ανεμοκινητήρα για την ισχύ , τα κατάλληλα ηλεκτρονικά που χρησιμοποιούμε στις ανεμογεννήτριες, τους μετατροπείς συχνότητας και τα είδη γεννητριών. Αναφέρονται οι συνδεσμολογίες τους και ο τρόπος που ελέγχουμε τάσεις, ενεργό και άεργο ισχύ μέσω συστημάτων αυτομάτου ελέγχου. Στο έκτο κεφάλαιο γίνεται ανάλυση του αιολικού συστήματος μεταβλητών στροφών , όπου βλέπουμε τον μετασχηματισμό Park για τη μετατροπή συστήματος αξόνων, αναλύουμε το μοντέλο της μηχανής σε άλλο πλαίσιο αναφοράς (d – q) και εφαρμόζουμε διανυσματικό έλεγχο. Στο έβδομο κεφάλαιο σχεδιάζουμε το σύστημα που μελετάμε με το πρόγραμμα MATLAB / Simulink, Γίνεται μία αναφορά στους ελέγχους που μελετήθηκαν στο πέμπτο κεφάλαιο, χρησιμοποιώντας τους για την εξομοίωση. Αναλύουμε τον τρόπο που αρχικοποιούμε το σύστημά μας και εξομοιώνουμε το σύστημα με τις ανεμογεννήτριες παραθέτοντας τις απαραίτητες κυματομορφές. / The first chapter indicates characteristics of wind energy. Studied the wind power, where we see how winds are formed, and we describe the elements of wind and the characteristics of wind performance. Presented finally, briefly, a few introductory information on distributed generation for distributed energy sources. In the second chapter, there is a description of the electric motor systems loads. We study their structure and categorize them according to their torque. In the third chapter we study the three-phase fault and three phase switch. We report the parameters that play a role in short and how it behaves a machine on it. The fourth chapter describes the three-phase transformer. We study the association of these conditions and it is connected. In the fifth chapter we study the variable wind speed control, in Wind Turbines, the power, electronics that we use, frequency inverters and types of generators. We specify the connections and the way we control voltages, active and reactive power through control systems. The sixth chapter is an analysis of the variable wind speed system, where we see Park transformation to convert the axis system, we analyze the model of the machine in another frame of reference (d - q) and apply vector control. In the seventh chapter we design the system with the program MATLAB / Simulink, simulating the system. We analyze the way that we do the initialization of our system in order to simulate in several wind speeds, giving the necessary waveforms.

This study aimed to investigate the pharmacology of selected pyrrolobenzodiazepine (PBD) compounds shown to have cytotoxic activity with predicted DNA sequence selectivity. Research focused upon the PBD dimer, SJG-136, selected for clinical trials, and the novel PBD monomer compounds D709119, MMY-SJG and SJG-303. SJG-136, a novel sequence-selective DNA minor groove cross-linking agent, was shown to have potent tumour cell type selective cytotoxicity in in vitro assays. Pharmacokinetic studies in mice via both the i.p. and i.v. route (dosed at the maximum tolerated dose (MTD)) showed that SJG-136 reaches concentrations in plasma well in excess of the in vitro IC50 values for 1 h exposure, and was detected in tumour and brain samples also above the in vitro IC50 values. Furthermore, SJG-136 showed linear pharmacokinetics over a 3-fold drug dose range. Metabolism studies showed SJG-136 is readily metabolised in vitro by hepatic microsomes, predominantly to a monodemethylated metabolite; this metabolite could be detected in vivo. Analytical method development work was also conducted for the imminent Phase I clinical trial of SJG-136 resulting in a sensitive and selective bio-analytical detection protocol. Comet analysis showed that SJG-136 dosed at the MTD and ⅓MTD causes significant interstrand DNA cross-linking in lymphocytes in vivo. In vitro studies demonstrated that SJG-136 localises within the cell nucleus, and acts to disrupt cell division via a G2/M block in the cell cycle at realistic concentrations and exposure times that are achievable in vivo. In vivo pharmacokinetic studies of D709119 showed the compound is easily detectable in mouse plasma following i.p. dosing at the MTD, but could not be detected in either tumour or brain samples. In vitro cytotoxicity studies revealed D709119 to have potent activity across a selection of tumour cell lines. SJG-136, D709119, MMY-SJG, SJG-303 and DC-81 demonstrated a non-enzyme-catalysed reactivity with the biologically relevant thiol, reduced glutathione (GSH). Studies demonstrated that reactivity of the PBD compounds toward GSH was dependent on GSH concentrations. At levels of GSH found in plasma, the PBD compounds showed considerably lower reactivity with GSH than at intracellular GSH levels. SJG-136 and D709119 also showed favourable pharmacokinetic profiles in mice, and warrant further study for anti-tumour activity in vivo and progression to use in patients.

Tesis (para optar al grado de magíster en derecho mención derecho penal) / Por medio del presente trabajo, se pretende plantear un problema y dar una respuesta en cuanto a poder afirmar que la norma del articulo 136 de la Ley General de Pesca y Acuicultura, de verificarse, ya sea a modo de acción u omisión y que las mismas sean a titulo doloso y/o culposo, en su caso, trátase de una figura infraccional sancionada solo en sede civil a la luz de lo dispuesto en el articulo 124 del citado cuerpo legal o por el contrario, teniendo en consideración las sanciones a imponer en su caso, ya sea la sanción de multa y/o la pena privativa de libertad, dicha figura es realmente un tipo penal independiente que debe ser investigada y resuelta en sede penal. Asimismo, de afirmarse que el Art. 136 del cuerpo legal citado es efectivamente una figura delictual, un delito independiente, plantear la problemática si este ilícito penal tratase de un delito de peligro o un delito de lesión, de resultado, teniendo en consideración al momento de la determinación de la sanción penal el principio de lesividad en materia penal. Asimismo, en caso de operar la reparación del daño producido por el actuar ilícito, si esa reparación trae aparejada alguna consecuencia favorable para el autor al momento de la sanción o pena a imponer