Wir betrachten offene Systeme; Systeme mit Schnittstelle und Verhalten in Form eines Protokolls. Offener Systeme interagieren durch den Austausch von Nachrichten. Die Interaktion ist korrekt, wenn die interagierende offenen Systeme terminieren können. Die korrekte Interaktion unabhängig entwickelter, offener Systeme ist nicht immer möglich. Obwohl ein offenes Systeme Funktionalität bereitstellt, die ein zweites offenes System benötigt, können Inkompatibilitäten in den Schnittstellen oder im Verhalten dazu führen, dass Nachrichten nicht korrekt ausgetauscht werden. Hier kommt die Idee eines Adapters zum Tragen, der solche Unterschiede ausgleicht. Wir führen eine Technik ein, die Inkompatibilitäten der Schnittstelle und des Verhaltens getrennt voneinander betrachtet. Mit Hilfe von Transformationsregeln geben wir an, wie Nachrichten zweier offener Systeme im Zusammenhang stehen. Wir modellieren so korrekten Datenfluss zwischen den Schnittstellen der offenen Systeme. Mit Hilfe existierender Techniken zur Controllersynthese erzeugen wir korrekten Kontrollfluss, sodass die Transformationsregeln so angewendet werden, dass Inkompatibilitäten im Verhalten überwunden werden. Wir erzeugen korrekten Kontrollfluss. Die Einheit aus Transformationsregeln und Controller bezeichnen wir als Adapter. Aufbauend auf dieser Technik betrachten wir in dieser Arbeit folgende Fragestellungen: - Welche Eigenschaften besitzt die vorgestellte Technik? Wann existiert ein Adapter? Wie lässt sich die Technik allgemein auf offene, kommunizierende Systeme anwenden? - Wie verteilen wir einen generierten Adapter auf verschiedene Komponenten? - Welche Informationen können wir bereitstellen, falls wir keinen Adapter finden? - Wie leiten wir ein formales Modell eines Adapters ab, wenn wir nur aufgezeichnetes Verhalten der offenen Systeme, aber keine formalen Modelle gegeben haben? / We consider open systems being described by an interface and behavior in form of an protocol. Interaction between open systems means exchange of messages. For the interaction to be correct, the interacting open systems must be able to terminate. The interaction of independently developed open systems is not guaranteed to be correct. Although one open system provides functionality a second open system requires, incompatiblities of the interfaces or the behavior may prevent the correct exchange of messages. The idea is to introduce an adapter to overcome the incompatiblities. We present a technique that considers incompatiblities of the interfaces and the behavior separately. With transformation rules we specify how messages of two open systems relate to each other. Using these rules we model the data flow between open systems and overcome incompatiblities of the interfaces. By using existing techniques for controller synthesis we overcome incompatiblities of the behavior. Thus we create correct control flow. We call the composition of transformation rules and controller an adapter. Based on the technique presented in this thesis, we want to answer the following reseach questions: - What are the properties of the proposed technique? When does an adapter exist? How can we apply the technique on open, communicating systems in general? - How do we distribute a generated adapter to different components? - Which information can we provide, if adapter synthesis fails? - How can we discover a formal model of an adapter, when we only have recorded behavior of open systems, but no formal models?

Diese Arbeit untersucht den Einfluss von Daten auf das Verhalten und die Korrektheit eines verteilten Systems. Ein verteiltes System besteht aus mehreren Services. Ein Service ist eine selbständige, plattformunabhängige Einheit, die anderen Services eine bestimmte Funktionalität über eine wohldefinierte Schnittstelle zur Verfügung stellt. In dieser Arbeit betrachten wir die Interaktion von jeweils genau zwei Services miteinander. Zwei Services, die erfolgreich miteinander zusammenarbeiten können, nennen wir Partner. Ein Service heißt bedienbar, wenn er mindestens einen Partner hat. Ziel der Arbeit ist es, zu untersuchen, wann zwei Services Partner sind, und für einen Service zu entscheiden, ob dieser bedienbar ist. Aufgrund der Daten kann der Zustandsraum eines Service sehr groß oder sogar unendlich groß werden. Wir untersuchen zwei Klassen von Services mit unendlich vielen Zuständen. Für diese Klassen stellen wir Algorithmen vor, welche zu einem gegebenen Service einen Partner synthetisieren, falls ein solcher existiert. Auf diese Weise entscheiden wir konstruktiv die Bedienbarkeit eines Service. Weiterhin stellen wir Transformationsregeln für Partner vor und untersuchen, wie viel Speicherplatz ein Partner eines Services mindestens benötigt. / This thesis studies the influence of data on the behavior and the correctness of a distributed system. A distributed system consists of several services. A service is a self-contained, platform-independent entity which provides a certain functionality to other services via a well-defined interface.In this thesis, we consider the interaction of exactly two services. Two services that can successfully cooperate with each other are called partners. We call a service controllable, if the service has at least one partner. The goal of this thesis is to study the conditions for which two services are partners and to decide whether a given service is controllable. Due to the data, the state space of a service may be very large or even infinite. We investigate two classes of services with infinitely many states. For these classes, we present algorithms that synthesize a partner of a service, if it exists. This allows us to decide the controllability of a service constructively. Furthermore, we present transformation rules for partners and investigate the minimum amount of memory that a partner of a service needs.

We introduce a new software system called Formal Concept Analysis Research Toolbox (FCART). Our goal is to create a universal integrated environment for knowledge and data engineers. FCART is constructed upon an iterative data analysis methodology and provides a built-in set of research tools based on Formal Concept Analysis techniques for working with object-attribute data representations. The provided toolset allows for the fast integration of extensions on several levels: from internal scripts to plugins. FCART was successfully applied in several data mining and knowledge discovery tasks. Examples of applying the system in medicine and criminal investigations are considered.

The aim of this thesis is to examine the practices directed to the flexibilisation of the labor brought together with the means of neoliberal structuring and the trade union crisis appeared as an outcome of these in terms of the Tekel Workers&rsquo / resistance in Ankara. The theoretical frame of this study is created in the content of the discussions that starting from the Marxist approach on trade unions and the critical view within this approach focus on the reasons of the crisis of the trade unions as a result of the applications of the neoliberal ideological structuring that appeared by the crisis of the accumulated capital during the mid-70&rsquo / s. Over this perspective, the analysis concentrates on the one hand employment models&rdquo / being multi-layered and insecure and on the other, the fragmentation of the class and therefore the representation crisis of the trade unions that are the outcomes of the commodification of the labor by the deregulation, privatization and flexibilisation policies applied in the process of neoliberal hegemony. In this context, the resistance of the Tekel workers that continued non-stop for 78 days is argued basing on the assumption that the process which forces the more flexible, insecure working conditions without any attachment to the trade unions via the application of the neoliberal political apparatuses becomes the common platform/destiny of all the parts of society constituted by different identity structures.

Η διαρκώς αυξανόμενη ζήτηση ηλεκτρικής ενέργειας, στους καιρούς μας, σε συνδυασμό με τη ραγδαία κλιματική αλλαγή, οδηγούν στην ανάγκη αναζήτησης οικονομικών, άφθονων και καθαρών πηγών για την παραγωγή της. Συνεπώς η αιολική ενέργεια κερδίζει έδαφος στις επιλογές των κρατών ανά τον κόσμο. Στην παρούσα διπλωματική θα αναλυθεί μια διάταξη ανεμογεννήτριας, η οποία αποτελείται από μια σύγχρονη μηχανή μόνιμου μαγνήτη (PMSG), έναν μετατροπέα συχνότητας (back-to-back converter) και ένα φίλτρο RL από την πλευρά του δικτύου. Με την επιλογή μας να χρησιμοποιήσουμε σύγχρονη μηχανή μόνιμου μαγνήτη κερδίζουμε σε αποδοτικότητα και αξιοπιστία. Σκοπός την εργασίας αυτής είναι αφενός η μελέτη και η ανάλυση του πλήρους συστήματος στο d-q στρεφόμενο σύστημα καθέτων αξόνων μέσω του μετασχηματισμού Park και αφετέρου η εφαρμογή του κατάλληλου σχεδιασμού ελέγχου, ώστε να επιτευχθεί η μέγιστη απομάστευευση ισχύος από τον άνεμο. Αυτό θα πραγματοποιηθεί λαμβάνοντας υπόψη τους περιορισμούς που θέτουν τα κατασκευαστικά χαρακτηριστικά της γεννήτριας και οι απαιτήσεις του δικτύου. Η προσομοίωση του συνολικού συστήματος θα γίνει στο περιβάλλον του Matlab/Simulink. Μέσω της προσομοίωσης αυτής θα προκύψουν οι αποκρίσεις των βασικών μεγεθών του συστήματος, από τα οποία θα εξαχθούν συμπεράσματα σχετικά με την ποιότητα των επιλογών μας. / The increasing demand for electricity, in our times, combined with the rapid climate change, leads to the need of economical, abundant and clean sources of production. Therefore, wind energy is gaining ground around the world. In this thesis a wind turbine topology will modeled and analyzed. It consists of a permanent magnet synchronous generator (PMSG), a frequency back-to-back converter and an RL filter from the network side. By using a permanent magnet synchronous generator the model becomes efficient and reliable. The initial purpose is studying an analyzing the complete system, using d-q rotating vertical shaft system with Park transformation. Implementation of the appropriate control design will follow, in order to achieve maximum wind power extraction. Constrains, which are posed by the generator contraction characteristics and network requirements, must and will be considered. The simulation of the complete system will take place in Matlab/Simulink computing environment. The responses of the fundamental units will be presented and valuated, in order to extract conclusions regarding the quality of different control methods.

Αντικείμενο αυτής της διπλωματικής εργασίας είναι η μελέτη και προσομοίωση της λειτουργίας μιας ανεμογεννήτριας μεταβλητών στροφών, η οποία οδηγεί μια ασύγχρονη γεννήτρια διπλής τροφοδότησης, με τη βοήθεια του προγράμματος PSCAD/EMTDC. Γίνεται επίσης μελέτη της λειτουργίας αυτής της ανεμογεννήτριας κατά τη διάρκεια βυθίσεων της τάσης του δικτύου, καθώς και μελέτη της δυνατότητας παραμονής της μηχανής σε λειτουργία κατά τη διάρκεια αυτών των σφαλμάτων. Πιο αναλυτικά, στο πρώτο κεφάλαιο γίνεται αναφορά στις ανανεώσιμες πηγές ενέργειας και ειδικότερα στην αιολική ενέργεια και στο σημαντικό ποσοστό ηλεκτρικής ενέργειας, που καλούνται να συνεισφέρουν στο σύνολο του ενεργειακού μείγματος κάθε χώρας, στο μέλλον. Γίνεται αναφορά στο κόστος παραγωγής ηλεκτρικής ενέργειας με χρήση αιολικής ενέργειας και στη συνέχεια το κόστος αυτό συγκρίνεται με το κόστος της ηλεκτρικής ενέργειας που παράγεται από συμβατικούς σταθμούς. Στο δεύτερο κεφάλαιο γίνεται μία γενική παρουσίαση των αιολικών συστημάτων. Περιγράφονται τα δομικά στοιχεία μιας ανεμογεννήτριας και η αεροδυναμική μετατροπή της κινητικής ενέργειας του ανέμου σε ηλεκτρική. Παρουσιάζονται διάφορες τοπολογίες ανεμογεννητριών που χρησιμοποιούνται σήμερα και στη συνέχεια δίνεται το μαθηματικό μοντέλο της γεννήτριας επαγωγής διπλής τροφοδότησης και οι μετασχηματισμοί σε στρεφόμενα πλαίσια αναφοράς. Κατόπιν γίνεται μελέτη του μετατροπέα πηγής τάσης και αναφέρονται τεχνικές διαμόρφωσης για την παραγωγή των επιθυμητών κυματομορφών. Τέλος, γίνεται σχεδιασμός ενός LCL φίλτρου καταστολής των αρμονικών συνιστωσών των ρευμάτων που εγχύει ο μετατροπέας στο δίκτυο. Στο τρίτο κεφάλαιο περιγράφεται ο διανυσματικός έλεγχος και γίνεται εφαρμογή του στον έλεγχο του μετατροπέα προς την πλευρά του δρομέα και στον έλεγχο του μετατροπέα προς την πλευρά του δικτύου. Παρουσιάζεται η γενική στρατηγική ελέγχου της ανεμογεννήτριας με χρήση του ελέγχου βήματος πτερυγίου για τον περιορισμό της παραγώμενης ισχύος στις υψηλές ταχύτητες ανέμου. Όταν η ταχύτητα του ανέμου είναι μικρότερη της ονομαστικής, τότε η ταχύτητα της μηχανής και η παραγώμενη ισχύς ακολουθούν την χαρακτηριστική ισχύος – ταχύτητας, που εξασφαλίζει βέλτιστη λειτουργία. Γίνεται προσομοίωση της λειτουργίας της ανεμογεννήτριας και εκτίμηση της απόκρισης σε βηματικές αλλαγές της ταχύτητας του ανέμου. Στο τέταρτο κεφάλαιο γίνεται μελέτη παραμονής της ανεμογεννήτριας σε λειτουργία, κατά τη διάρκεια βύθισης της τάσης του δικτύου και ανάλυση μεθόδων υλοποίησης αυτού του στόχου. Με την ανίχνευση του σφάλματος ο δρομέας βραχυκυκλώνεται και ο μετατροπέας προς την πλευρά του δρομέα αποσυνδέεται, ενώ οι διακόπτες του αποκόπτονται για να προστατευθούν από το υψηλό ρεύμα του δρομέα. Μόλις το ρεύμα του δρομέα πέσει και πάλι κάτω από την ανώτατη επιτρεπτή τιμή, ο μετατροπέας συνδέεται και πάλι με τον δρομέα για να ανακτήσει τον έλεγχο της παραγώμενης από τον στάτη ενεργού και αέργου ισχύος. Αμέσως παράγεται άεργος ισχύς για την στήριξη της τάσης του δικτύου, ενώ μειώνεται η παραγωγή ενεργού ισχύος, έτσι ώστε το συνολικό ρεύμα του δρομέα να παραμείνει μέσα στα επιτρεπτά όρια. Με την αποκατάσταση της τάσης του δικτύου, η παραγώμενη ενεργός και άεργος ισχύς παίρνουν σταδιακά τις τιμές που είχαν πριν την εκδήλωση του σφάλματος. / -

In this thesis we will introduce multioperator weighted monadic datalog (mwmd), a formal model for specifying tree series, tree transformations, and tree languages. This model combines aspects of multioperator weighted tree automata (wmta), weighted monadic datalog (wmd), and monadic datalog tree transducers (mdtt). In order to develop a rich theory we will define multiple versions of semantics for mwmd and compare their expressiveness. We will study normal forms and decidability results of mwmd and show (by employing particular semantic domains) that the theory of mwmd subsumes the theory of both wmd and mdtt. We conclude this thesis by showing that mwmd even contain wmta as a syntactic subclass and present results concerning this subclass.

H αυξανόμενη ανάγκη για στροφή της παραγωγής ηλεκτρικής ενέργειας σε βιώσιμες και ανανεώσιμες πηγές έχει οδηγήσει στη ραγδαία ανάπτυξη της αιολικής ενέργειας και στη διείσδυσή της στην αγορά ενέργειας. Η παρούσα εργασία πραγματεύεται ένα αιολικό σύστημα παραγωγής ενέργειας βασισμένο σε σύγχρονη γεννήτρια μόνιμου μαγνήτη. Η συγκεκριμένη μηχανή αποτελεί τη νέα τάση στην αγορά εξ’ αιτίας των σημαντικών πλεονεκτημάτων που προσφέρει, ιδίως αυτό της δυνατότητας για απουσία κιβωτίου ταχυτήτων που οδηγεί το σύστημα σε αυξημένη απόδοση. Στην εργασία αυτή, θα γίνει μια παρουσίαση των χαρακτηριστικών των σύγχρονων αιολικών συστημάτων, θα γίνει η μοντελοποίηση της σύγχρονης γεννήτριας μόνιμου μαγνήτη και θα αναλυθεί η λογική του ελέγχου που ακολουθείται και στηρίζεται στο διανυσματικό έλεγχο προσανατολισμού σε πεδίο. Τέλος, θα γίνει η παρουσίαση και ο σχολιασμός των αποτελεσμάτων του μοντέλου, που αναπτύχθηκε σε περιβάλλον Matlab/Simulink, με την παράλληλη εξαγωγή συμπερασμάτων για την απόκρισή του. / The ongoing increase in electric power demand and the need for sustainable and renewable energy has led wind energy into high rates of growth and penetration to the energy markets. This thesis deals with a permanent magnet synchronous generator based wind power system. This type of machine has become a trend for the markets, due to its specific benefits and, especially, for the absence of gearbox that leads the whole system to higher efficiency. In this thesis, we will discuss the characteristics of a modern wind power system, then, the permanent magnet synchronous generator will be modelled, and the field oriented vector control strategy will be analyzed. Finally, we will present and discuss the outcome of the model that was built in the Matlab/Simulink programme, and we will come into certain conclusions about its response.

Η παρούσα διπλωματική εργασία πραγματεύεται τη μελέτη ανεμογεννήτριας με επαγωγική μηχανή διπλής τροφοδοσίας η οποία συνδέεται στο στάτη απευθείας με το δίκτυο και στο δρομέα μέσω ενός back to back μετατροπέα και η συνεχής λειτουργίας της μηχανής σε περιπτώσεις σφαλμάτων στο δίκτυο. Σκοπός της εργασίας είναι αρχικά να μελετηθεί το συνολικό σύστημα της ανεμογεννήτριας θεωρητικά χρησιμοποιώντας το μετασχηματισμό Park για τη μοντελοποίηση του συστήματος στο σύγχρονα στρεφόμενο d-q πλαίσιο αναφοράς. Στη συνέχεια παρατέθηκαν οι εξισώσεις στο χώρο κατάστασης που περιγράφουν το μαθηματικό μοντέλο του συστήματος, το επόμενο βήμα ήταν να περιγραφεί ένα σύστημα ελέγχου το οποίο βασίζεται στους PI ελεγκτές επιλέγοντας τα κατάλληλα κέρδη. Τέλος, προσομοιώνουμε το παραπάνω σύστημα με τη βοήθεια της εφαρμογής Simulink του λογισμικού MATLAB και μελετώντας τα αποτελέσματα, εξάγουμε τα ανάλογα συμπεράσματα. / The present thesis deals with the study of the wind turbine doubly-fed induction generator (DFIG), in which the stator is connected immediately to the grid and the rotor is connected to the grid with a back-to-back converter and the continuous operation of the machine in case of network errors. This thesis will initially consider the overall system of wind turbine theoretically using the Park transformation to model the system in the d-q synchronous rotating reference frame. The following goal was to quote in the state space equations that describe the mathematical model of the system, the next step was to describe a control system based on PI controllers selecting the appropriate profits. Finally, the above system was simulated by using the Simulink of MATLAB and studying the results were exported the appropriate conclusions.

Submitted by Irvana Coutinho (irvana@ufpa.br) on 2012-09-04T14:06:51Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstradaReservaImpactos.pdf: 2912690 bytes, checksum: 3d528df8afaadcc1478b85f813fdf004 (MD5) / Approved for entry into archive by Irvana Coutinho(irvana@ufpa.br) on 2012-09-04T15:24:07Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstradaReservaImpactos.pdf: 2912690 bytes, checksum: 3d528df8afaadcc1478b85f813fdf004 (MD5) / Made available in DSpace on 2012-09-04T15:24:07Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstradaReservaImpactos.pdf: 2912690 bytes, checksum: 3d528df8afaadcc1478b85f813fdf004 (MD5) Previous issue date: 2007 / NAEA/UFPA - Núcleo de Altos Estudos Amazônicos / UFPA - Universidade Federal do Pará / As alterações ambientais na Amazônia perpassam por uma série de fatores e atores sociais demonstrando uma complexidade de interesses que vão desde a substituição da floresta por pastagens e pela agroindústria, até a super-exploração dos recursos pesqueiros, e pela construção de hidrelétricas e exploração de minérios, entre outros. Apesar da continuada criação de Unidades de Conservação no sentido de manter a integridade de parte da floresta, percebe-se que a devastação segue, com números alarmantes, a cada novo ano que entra. Neste cenário, as estradas têm papel fundamental. O surgimento e expansão das estradas na Amazônia vêm sendo um dos grandes vetores dessas mudanças, gerando além da devastação, alterações sociais, ambientais, econômicas e culturais, permeadas por conflitos e tensões variados. Neste sentido, este trabalho identifica e analisa através da pesquisa de campo na comunidade de São João do Abade, os impactos sócio ambientais da PA-136 na Reserva Extrativista Marinha Mãe Grande de Curuçá, área reconhecida legalmente como RESEX desde 2002. A referida estrada liga o município de Castanhal a Curuçá, na Zona do Saldado, região costeira do estado do Pará. / The ambiental changes of the Amazonia, are going along a certain seria of factors and performances who demonstrate certain complexity of interests who go since any substitution from the forest to pasture and for agroindustry, until a superexploration of the fishing recourses, the construction of hidrelectrical units and exploration of minerals, among others. Despite an continued criction of Conservation Unids for the sense to maintain integrity as an part of the forest, it’s perceble that the devastation continued with alarmant numbers in each new year ho comes along. This canary, as roads have a fundamental paper. The arise ant expansion of roads in Amazonia are an great vectors of these changes, originating farther devastation, social changes, ambiental, economic and cultural, allowing conflicts and various tensions. On this mather, this work identifies and analisaises the social-ambiental impacts of the PA-136, road who connect the municipality as Castanhal to the community São João do Abade, area moun legally sinse 2000 as Extrativism Reserve Marina Mãe Grande, of the municipality Curuça, northeast of Para Stat.