La gestió de xarxes és un camp molt ampli i inclou molts aspectes diferents. Aquesta tesi doctoral està centrada en la gestió dels recursos en les xarxes de banda ampla que disposin de mecanismes per fer reserves de recursos, com per exemple Asynchronous Transfer Mode (ATM) o Multi-Protocol Label Switching (MPLS). Es poden establir xarxes lògiques utilitzant els Virtual Paths (VP) d'ATM o els Label Switched Paths (LSP) de MPLS, als que anomenem genèricament camins lògics. Els usuaris de la xarxa utilitzen doncs aquests camins lògics, que poden tenir recursos assignats, per establir les seves comunicacions. A més, els camins lògics són molt flexibles i les seves característiques es poden canviar dinàmicament. Aquest treball, se centra, en particular, en la gestió dinàmica d'aquesta xarxa lògica per tal de maximitzar-ne el rendiment i adaptar-la a les connexions ofertes.En aquest escenari, hi ha diversos mecanismes que poden afectar i modificar les característiques dels camins lògics (ample de banda, ruta, etc.). Aquests mecanismes inclouen els de balanceig de la càrrega (reassignació d'ample de banda i reencaminament) i els de restauració de fallades (ús de camins lògics de backup). Aquests dos mecanismes poden modificar la xarxa lògica i gestionar els recursos (ample de banda) dels enllaços físics. Per tant, existeix la necessitat de coordinar aquests mecanismes per evitar possibles interferències. La gestió de recursos convencional que fa ús de la xarxa lògica, recalcula periòdicament (per exemple cada hora o cada dia) tota la xarxa lògica d'una forma centralitzada. Això introdueix el problema que els reajustaments de la xarxa lògica no es realitzen en el moment en què realment hi ha problemes. D'altra banda també introdueix la necessitat de mantenir una visió centralitzada de tota la xarxa. En aquesta tesi, es proposa una arquitectura distribuïda basada en un sistema multi agent. L'objectiu principal d'aquesta arquitectura és realitzar de forma conjunta i coordinada la gestió de recursos a nivell de xarxa lògica, integrant els mecanismes de reajustament d'ample de banda amb els mecanismes de restauració preplanejada, inclosa la gestió de l'ample de banda reservada per a la restauració. Es proposa que aquesta gestió es porti a terme d'una forma contínua, no periòdica, actuant quan es detecta el problema (quan un camí lògic està congestionat, o sigui, quan està rebutjant peticions de connexió dels usuaris perquè està saturat) i d'una forma completament distribuïda, o sigui, sense mantenir una visió global de la xarxa. Així doncs, l'arquitectura proposada realitza petits rearranjaments a la xarxa lògica adaptant-la d'una forma contínua a la demanda dels usuaris. L'arquitectura proposada també té en consideració altres objectius com l'escalabilitat, la modularitat, la robustesa, la flexibilitat i la simplicitat.El sistema multi agent proposat està estructurat en dues capes d'agents: els agents de monitorització (M) i els de rendiment (P). Aquests agents estan situats en els diferents nodes de la xarxa: hi ha un agent P i diversos agents M a cada node; aquests últims subordinats als P. Per tant l'arquitectura proposada es pot veure com una jerarquia d'agents. Cada agent és responsable de monitoritzar i controlar els recursos als que està assignat. S'han realitzat diferents experiments utilitzant un simulador distribuït a nivell de connexió proposat per nosaltres mateixos. Els resultats mostren que l'arquitectura proposada és capaç de realitzar les tasques assignades de detecció de la congestió, reassignació dinàmica d'ample de banda i reencaminament d'una forma coordinada amb els mecanismes de restauració preplanejada i gestió de l'ample de banda reservat per la restauració. L'arquitectura distribuïda ofereix una escalabilitat i robustesa acceptables gràcies a la seva flexibilitat i modularitat. / Network management is a wide field including many different topics. This thesis focuses on resource management of broadband networks that have the mechanisms for performing resource reservation, such as Asynchronous Transfer Mode (ATM) or Multi-Protocol Label Switching (MPLS). Logical networks can be established by using Virtual Paths (VP) in ATM or Label Switched Paths (LSP) in MPLS, which we call generically Logical Paths (LP). The network users then use these LPs, which can have pre-reserved resources, to establish their communications. Moreover, LPs are very flexible and their characteristics can be dynamically changed. This work focuses, in particular, on the dynamic management of these logical paths in order to maximise the network performance by adapting the logical network to the offered connections.In this scenario, there are several mechanisms that can affect and modify certain features of the LPs (bandwidth, route, etc.). They include load balancing mechanisms (bandwidth reallocation and re-routing) and fault restoration (utilisation of backup LPs). These two mechanisms can modify the logical network and manage the resources (bandwidth) of the physical links. Therefore, due to possible interferences, there is a need to co-ordinate these mechanisms. Conventional resource management, using a logical network, performs a centralised recalculation of the whole logical network periodically (e.g. every hour / day). This brings the problem that the logical network readjustments do not happen when a problem occurs. Moreover, there is a need of maintaining a centralised network overview. In this thesis, a distributed architecture, based on a Multi-Agent System (MAS), is proposed. The main objective of this architecture is to perform joint resource management at a logical network level, integrating the bandwidth reallocation and LP re-routing with pre-planned restoration and spare bandwidth management. This is performed continuously, not periodically, when a problem is detected (an LP is congested, i.e. it is rejecting new user connections because it is already saturated with user connections) in a completely distributed way, i.e. without any central network overview. Therefore, the proposed architecture performs small rearrangements in the logical network and thus it is continuously being adapted to the user demands. The proposed architecture also considers other objectives, such as scalability, modularity, robustness, simplicity and flexibility. The proposed MAS is structured in two layers of agents: The network Monitoring (M) agents and the Performance (P) agents. All these agents are situated at different network nodes, where the computing facilities are. There is one P agent and several M agents on every node. The M agents are subordinated to the P agents, therefore the proposed architecture can be seen as a hierarchy of agents. Each agent is responsible for monitoring and controlling the resources they are assigned to. We have performed several experiments, using a connection level distributed simulator of our own design. The results show that our architecture is capable of performing the assigned tasks of detecting congestion, dynamic bandwidth reallocation and re-routing in a co-ordinated way with the pre-planned restoration and the spare capacity management. The distributed architecture offers a suitable scalability and robustness due to its flexibility and modularity.

Τα οπτικά δίκτυα αποτελούν την αποδοτικότερη επιλογή όσον αφορά την εγκατάσταση ευρυζωνικών δικτύων κορμού, καθώς παρουσιάζουν μοναδικά χαρακτηριστικά μετάδοσης. Διαθέτουν τεράστιο εύρος ζώνης, υψηλή αξιοπιστία, ενώ επίσης έχουν μειωμένο κόστος μετάδοσης ανά bit πληροφορίας σε σχέση με τα υπόλοιπα ενσύρματα δίκτυα. Τις τελευταίες δεκαετίες διατυπώθηκαν οι αρχές μίας τεχνολογίας μετάδοσης πολλαπλών φερουσών, γνωστής ως Ορθογώνια Πολυπλεξία Διαίρεσης Συχνότητας (Orthogonal Frequency Division Multiplexing - OFDM), η οποία στηρίζεται στην πολυπλεξία διαίρεσης συχνότητας, αλλά πετυχαίνει πολύ καλύτερη χρησιμοποίηση του διαθέσιμου εύρους ζώνης. Πρόσφατα και στις οπτικές επικοινωνίες άρχισε να μετατοπίζεται το ενδιαφέρον στην Οπτική Ορθογώνια Πολυπλεξία Διαίρεσης Συχνότητας (O-OFDM), λόγω της προόδου στην κωδικοποίηση και στην ηλεκτρονική ψηφιακή επεξεργασία σήματος (DSP). Οι εξελίξεις αυτές μπορούν να αλλάξουν ριζικά τα οπτικά δίκτυα. Μέσω της πολυπλεξίας υποφερουσών και της δέσμευση μεταβλητού φάσματος, που είναι χαρακτηριστικά της O-OFDM τεχνολογίας, ένα οπτικό μονοπάτι μπορεί να χρησιμοποιεί το απολύτως απαραίτητο φάσμα (αριθμό υποφερουσών) ανάλογα με το μεταδιδόμενο ρυθμό δεδομένων. Με τον τρόπο αυτό επιτυγχάνεται καλύτερη χρησιμοποίηση φάσματος αναιρόντας τον περιορισμό σταθερού πλέγματος των δικτύων πολυπλεξίας μήκους κύματος (WDM). Παράλληλα η αρχιτεκτονική αυτή υποστηρίζει τη δέσμευση χωρητικότητας μικρότερης ή μεγαλύτερης από αυτή ενός μήκους κύματος μέσω της δέσμευσης κατάλληλου αριθμού υποφερουσών από κατάλληλους transponders και μεταγωγείς WXCs. Στην παρούσα διπλωματική εργασία αντιμετωπίζεται το πρόβλημα της σχεδίασης ευέλικτων OFDM οπτικών δικτύων, όπου οι αιτήσεις εξυπηρετούνται από κατάλληλους transponders όσον αφορά την επιλογή του χρησιμοποιούμενου φάσματος και του επίπεδου διαμόρφωσης. Με δεδομένη την τοπολογίας του δικτύου, τον πίνακα αιτήσεων και των χαρακτηριστικών των transponders, παρουσιάζονται οι μοντελοποιήσεις γραμμικού ακέραιου προγραμματισμού (Integer Linear Programming) για την επίλυση του προβλήματος σχεδίασης διαφανών (transparent) και ημι-διαφανών (translucent) οπτικών OFDM δικτύων λαμβάμνοντας υπόψη τους υπαρκτούς περιορισμούς φυσικού επιπέδου. Σχεδιάζεται λοιπόν, ένα πρόβλημα βελτιστοποίησης που λαμβάνει υπόψη του τόσο το εύρος ζώνης που χρησιμοποιείται όσο και τον αριθμό των transponders. Από τη στιγμή που το πρόβλημα της δρομολόγησης και δέσμευσης φάσματος (Routing and Spectrum Allocation RSA) είναι ΝP πλήρες (NP-complete), η λύση του προβλήματος γραμμικού ακέραιου προγραμματισμού (ILP) δεν είναι αποδοτική για μεγάλα στιγμιότυπα του προβλήματος. Για το λόγο αυτό, παρουσιάζονται ευριστικοί αλγόριθμοι (heuristic algorithms) για την επίλυση του προβλήματος σχεδίασης διαφανών και ημι-διαφανών οπτικών δικτύων. / We consider the planning problem of a spectrum flexible optical network where traffic is served by flexible transponders that can be tuned in both the spectrum and the modulation format that they utilize. We assume that physical layer impairments are incorporated in the definition of the feasible transmission configurations for the transponders, described by capacity-reach-spectrum-guardband tuples. Given the feasible configurations (tuples) of the transponders and the traffic matrix, we formulate the planning problem of a spectrum flexible optical network considering both the use or not of regenerators in the network. Demands are served for their requested rates by choosing the route, breaking the transmission in more than one connection if needed, placing regenerators if needed, and allocating spectrum to the connections. The connections are separated by appropriate spectrum guardbands so that physical layer interference is kept at acceptable levels. The objective is to serve the traffic and find a solution that is Pareto optimal with respect to the total amount of spectrum utilized and the number of transponders used. We start by presenting algorithms that are based on integer linear programming (ILP) formulations for planning both transparent (without regenerators) and translucent (with regenerators) networks and then we continue by presenting heuristic algorithms. Our heuristic algorithms utilize simulated annealing to tradeoff performance with running time. We use transmission tuples based on studies on OFDM-based networks in our simulation experiments. We initially examine the optimality performance of the heuristic algorithms in small scale experiments. Then we use the heuristic algorithms to study realistic network planning problems and evaluate the spectrum and transponder cost savings that can be obtained by an OFDM-based network as compared to a mixed line rate (MLR) fixed-grid WDM optical network.

Cette thèse porte sur les représentations de l’Indien présentées dans les Salons parisiens et dans les sections des Beaux-Arts des Expositions universelles françaises. Elle débute avec la première apparition du thème au Salon, en 1781, et s’achève à sa disparition progressive, au commencement de la Première Guerre Mondiale. Le corpus rassemble des œuvres hétérogènes dont l’étude s’articule autour de trois grandes campagnes de représentation marquées par l’histoire des relations entre les Blancs et les Amérindiens. L’iconographie amérindienne dévoile une figure à la fois attractive et répulsive ; à l’esthétique de la disparition du «bon sauvage» répondent des mises en scène dégradantes. Notre étude rend ainsi compte des sources des imaginaires collectifs et des stéréotypes raciaux assignés à la représentation de l’Indien. Mais l’iconographie amérindienne survient également des impressions d’artistes ayant été à la rencontre de leur sujet. Pour ce groupe de quelques Français et Américains, la question de la représentation de l’«Autre» ne se joue pas exclusivement à travers les schèmes esthétiques abordés auparavant. Les déplacements répétés sur le continent nord-américain et l’attention portée à l’art amérindien favorisent un élargissement des horizons artistiques. Cette thèse est enfin l’occasion d’étudier l’image de l’«Autre» dans le cadre compétitif des Expositions universelles, où la figure de l’Indien tergiverse entre recherche de vraisemblance et sujet d’art. Il en ressort la constitution d’un discours visant à encourager la construction d’une identité esthétique nationale américaine au contact de l’art français. / This Ph. D. dissertation investigates images of Native Americans displayed at the Paris Salons and in the Fine Art sections of the Great Exhibitions of 1855, 1868, 1878, 1889 and 1900. My analysis starts with the first outbreak of the theme at the 1781 Salon and ends following its gradual dismissal at the beginning of the First World War. The body of artworks I analyze documents three main campaigns of representation marked by the history of Native Americans and Whites relations. These representations reveal an artistic figure both attractive and repulsive at the same time. The rhetoric of the disappearance of the “Noble Indian” alternates with degrading images of the “Savage Indians”. Our study reveals the origins of collective imagination and racial stereotypes that originate representations of “Indians”. But this iconography is also based on artists’ itinerancies and their migration to the West in order to meet their models. The artistic production of this small group of French and American artists can not be reduced exclusively to the two aesthetic patterns previously discussed. Their travels on the North American territory and their attention to Native American Art encourage new artistic horizons at the Paris venues. This thesis is also an opportunity to study the image of the Native American “Others” displayed in the competitive Fine Art sections of the Great Exhibitions. It brings out a discourse promoting the figure of the “Indian” to build an American art with its own aesthetic in response to French artistic influences.

Le Revenu de Solidarité Active (RSA) a suscité un vif intérêt dans la communauté scientifique, mais son évaluation s'est focalisée sur son impact sur les taux de retour à l'emploi et sur la pauvreté laborieuse. Dans ce contexte, la thèse construit une évaluation critique du dispositif: nous montrons son incapacité à prendre en charge la position contradictoire dans laquelle sont placés les bénéficiaires. Ceux-ci sont en effet confrontés à des conditions de valorisation de la force de travail structurellement difficiles, et dans le même temps le dispositif organise, par différents moyens, la centralité de l'emploi. Dans le premier temps de la démonstration, la thèse met en discussion les catégories de travail construites par le marxisme critique de Moishe Postone et par Hannah Arendt. Grâce à cette démarche théorique nous comprenons que le RSA redéfinit les statuts d'activité des bénéficiaires autour d'une mise en scène de la nécessité du retour au travail. En parallèle, nous sommes amenés à saisir théoriquement et empiriquement la place contradictoire du travail dans le capitalisme contemporain: source de la richesse sociale certes, mais également ébranlé par des conditions de valorisation de la force de travail toujours plus difficiles. Dans le second temps de la démonstration, nous mettons en œuvre le suivi d'une cohorte de ménages bénéficiaires dans le département de l'Isère entre 2010 et 2012. L'analyse descriptive et la modélisation des mobilités et des trajectoires nous conduisent à constater l'extrême diversité des parcours individuels. À côté des usages transitoires du dispositif qui sont majoritaires, nous constatons que les parcours sont heurtés, et lorsqu'ils montrent une stabilité c'est souvent au profit d'un maintien dans les marges du marché du travail. Nous illustrons l'incapacité du RSA à rassembler, derrière l'emploi comme standard uniforme, la grande diversité des bénéficiaires. / The French « Revenu de Solidarité Active » (RSA) generated a great deal of interest in the the scientific community, focused mainly on its impact on labor force participation and on working poor. In this context, the thesis looks for a critical assessment of the device: we show its inability to take over the contradictory position in which the beneficiaries are placed. Those are confronted with structurally difficult conditions for the exploitation of the labor force, and at the same time the RSA organizes, through various means, the centrality of employment. Firstly, the thesis discusses the categories of work, constructed by the critical Marxism of Moishe Postone and by Hannah Arendt. Thanks to this theoretical approach, we understand that the RSA redefines the beneficiaries' labour statuses, around a staging of the need for a return to work. Simultaneously, we show theoretically and empirically the contradictory position of work in contemporary capitalism: source of social wealth, certainly, but also undermined by increasingly difficult conditions for the exploitation of labor power. Secondly, we implement a follow-up of a cohort of beneficiary households in the department of Isère, between 2010 and 2012. Descriptive statistical analysis and the modeling of mobilities and trajectories lead us to show diversity of individual paths. In addition to the temporary uses of RSA, which constitute a majority, we note paths are broken, and when they show stability, it is often in labor market's margins. Finally, we show that the RSA fails to gather, behind employment as an uniform standard, the great diversity of beneficiaries.

The study focuses on women’s experiences of abuse resulting in trauma. This research performance was conducted within a practical theology framework guided by a de-centred participatory action research process. The study was conducted against a postmodern background and was informed by social construction discourse. Its aim was to explore whether and how narrative pastoral counselling using outsider witnessing could be helpful in finding new preferred ways of living, resulting in healing, resilience and hope for women who had experienced abuse and trauma. The outsider witness group explored practical ways of listening, observing and responding to the pain and suffering of others, resulting in a new performance of the self as valuable, competent, and enabling those who are witnessed to believe that they are survivors that have lived through and beyond the limited life span of abuse and trauma. The research report ends with a play, New Seasons, which is to be performed in front of live audiences in the course of 2012. / Philosophy, Practical and Systematic Theology / M. Th. (Practical Theology with specialisation in Pastoral Therapy)

In this thesis, we consider the k-edge connected L-hop-constrained network design problem. Given a weighted graph G=(N,E), a set D of pairs of terminal nodes, and two integers k,L > 1, it consists in finding in G the minimum cost subgraph containing at least k edge-disjoint paths of at most L edges between each pair in D. This problem is of great interest in today's telecommunication industry, where highly survivable networks need to be constructed.<p><p>We first study the particular case where the set of demands D is reduced to a single pair {s,t}. We propose an integer programming formulation for the problem, which consists in the st-cut and trivial inequalities, along with the so-called L-st-path-cut inequalities. We show that these three classes of inequalities completely describe the associated polytope when k=2 and L=2 or 3, and give necessary and sufficient conditions for them to be facet-defining. We also consider the dominant of the associated polytope, and discuss how the previous inequalities can be separated in polynomial time.<p><p>We then extend the complete and minimal description obtained above to any number k of required edge-disjoint L-st-paths, but when L=2 only. We devise a cutting plane algorithm to solve the problem, using the previous polynomial separations, and present some computational results.<p><p>After that, we consider the case where there is more than one demand in D. We first show that the problem is strongly NP-hard, for all L fixed, even when all the demands in D have one root node in common. For k=2 and L=2,3, we give an integer programming formulation, based on the previous constraints written for all pairs {s,t} in D. We then proceed by giving several new classes of facet-defining inequalities, valid for the problem in general, but more adapted to the rooted case. We propose separation procedures for these inequalities, which are embedded within a Branch-and-Cut algorithm to solve the problem when L=2,3. Extensive computational results from it are given and analyzed for both random and real instances.<p><p>Since those results appear less satisfactory in the case of arbitrary demands (non necessarily rooted), we present additional families of valid inequalites in that situation. Again, separation procedures are devised for them, and added to our previous Branch-and-Cut algorithm, in order to see the practical improvement granted by them.<p><p>Finally, we study the problem for greater values of L. In particular, when L=4, we propose new families of constraints for the problem of finding a subgraph that contains at least two L-st-paths either node-disjoint, or edge-disjoint. Using these, we obtain an integer programming formulation in the space of the design variables for each case.<p><p>------------------------------------------------<p><p>Dans cette thèse, nous considérons le problème de conception de réseau k-arete connexe à chemins L-bornés. Etant donné un graphe pondéré G=(N,E), un ensemble D de paires de noeuds terminaux, et deux entiers k,L > 1, ce problème consiste à trouver, dans G, un sous-graphe de cout minimum tel que, entre chaque paire dans D, il existe au moins k chemins arete-disjoints de longueur au plus L. Ce problème est d'un grand intéret dans l'industrie des télécommunications, où des réseaux hautement fiables doivent etre construits.<p><p>Nous étudions tout d'abord le cas particulier où l'ensemble des demandes D est réduit à une seule paire de noeuds. Nous proposons une formulation du problème sous forme de programme linéaire en nombres entiers, laquelle consiste en les inégalités triviales et de coupe, ainsi que les inégalités dites de L-chemin-coupe. Nous montrons que ces trois types d'inégalités décrivent complètement le polytope associé lorsque k=2 et L=2,3, et donnons des conditions nécessaires et suffisantes pour que celles-ci en définissent des facettes. Nous considérons également le dominant du polytope associé et discutons de la séparation polynomiale des trois classes précédentes.<p><p>Nous étendons alors cette description complète et minimale à tout nombre k de chemins arete-disjoints de longueur au plus 2. De plus, nous proposons un algorithme de plans coupants utilisant les précédentes séparations polynomiales, et en présentons quelques résultats calculatoires, pour tout k>1 et L=2,3.<p><p>Nous considérons ensuite le cas où plusieurs demandes se trouvent dans D. Nous montrons d'abord que le problème est fortement NP-dur, pour tout L fixé et ce, meme si les demandes sont toutes enracinées en un noeud. Pour k=2 et L=2,3, nous donnons une formulation du problème sous forme de programme linéaire en nombres entiers. Nous proposons également de nouvelles classes d'inégalités valides, pour lesquelles nous réalisons une étude faciale. Celles-ci sont alors séparées dans le cadre d'un algorithme de coupes et branchements pour résoudre des instances aléatoires et réelles du problème.<p><p>Enfin, nous étudions le problème pour de plus grandes valeurs de L. En particulier, lorsque L=4, nous donnons de nouvelles familles de contraintes pour le problème consistant à déterminer un sous-graphe contenant entre deux noeuds fixés au moins deux chemins de longueur au plus 4, que ceux-ci doivent etre arete-disjoints ou noeud-disjoints. Grace à ces dernières, nous parvenons à donner une formulation naturelle du problème dans chacun de ces deux cas. <p> / Doctorat en sciences, Spécialisation Informatique / info:eu-repo/semantics/nonPublished

Segmentar uma imagem consiste em particioná-la em regiões relevantes para uma dada aplicação, como para isolar um objeto de interesse no domínio de uma imagem. A segmentação é um dos problemas mais fundamentais e desafiadores em processamento de imagem e visão computacional. Ela tem desempenhado um papel importante, por exemplo, na pesquisa em neurologia, envolvendo imagens de Ressonância Magnética (RM), para fins de diagnóstico e tratamento de doenças relacionadas com alterações na anatomia do cérebro humano. Métodos de segmentação baseados na transformada imagem- floresta (IFT, Image Foresting Transform), com funções de conexidade suaves, possuem resultados ótimos, segundo o critério da otimalidade dos caminhos descrito no artigo original da IFT, e têm sido usados com sucesso em várias aplicações, como por exemplo na segmentação de imagens RM de 1.5 Tesla. No entanto, esses métodos carecem de restrições de regularização de borda, podendo gerar segmentações com fronteiras muito irregulares e indesejadas. Eles também não distinguem bem entre bordas similares com orientações opostas, e possuem alta sensibilidade à estimativa dos pesos das arestas do grafo, gerando problemas em imagens com efeitos de inomogeneidade. Nesse trabalho são propostas extensões da IFT, do ponto de vista teórico e experimental, através do uso de funções de conexidade não suaves, para a segmentação interativa de imagens por região. A otimalidade dos novos métodos é suportada pela maximização de energias de corte em grafo, ou como o fruto de uma sequência de iterações de otimização de caminhos em grafos residuais. Como resultados principais temos: O projeto de funções de conexidade mais adaptativas e flexíveis, com o uso de pesos dinâmicos, que permitem um melhor tratamento de imagens com forte inomogeneidade. O uso de grafos direcionados, de modo a explorar a polaridade de borda dos objetos na segmentação por região, e o uso de restrições de forma que ajudam a regularizar a fronteira delineada, favorecendo a segmentação de objetos com formas mais regulares. Esses avanços só foram possíveis devido ao uso de funções não suaves. Portanto, a principal contribuição desse trabalho consiste no suporte teórico para o uso de funções não suaves, até então evitadas na literatura, abrindo novas perpectivas na pesquisa de processamento de imagens usando grafos. / Segmenting an image consist in to partition it into relevant regions for a given application, as to isolate an object of interest in the domain of an image. Segmentation is one of the most fundamental and challenging problems in image processing and computer vision. It has played an important role, for example, in neurology research, involving images of Magnetic Resonance (MR), for the purposes of diagnosis and treatment of diseases related to changes in the anatomy of the human brain. Segmentation methods based on the Image Foresting Transform (IFT), with smooth connectivity functions, have optimum results, according to the criterion of path optimality described in the original IFT paper, and have been successfully used in many applications as, for example, the segmentation of MR images of 1.5 Tesla. However, these methods present a lack of boundary regularization constraints and may produce segmentations with quite irregular and undesired boundaries. They also do not distinguish well between similar boundaries with opposite orientations, and have high sensitivity to the arc-weight estimation of the graph, producing poor results in images with strong inhomogeneity effects. In this work, we propose extensions of the IFT framework, from the theoretical and experimental points of view, through the use of non-smooth connectivity functions for region-based interactive image segmentation. The optimality of the new methods is supported by the maximization of graph cut energies, or as the result of a sequence of paths optimizations in residual graphs. We have as main results: The design of more adaptive and flexible connectivity functions, with the use of dynamic weights, that allow better handling of images with strong inhomogeneity. The use of directed graphs to exploit the boundary polarity of the objects in region-based segmentation, and the use of shape constraints that help to regularize the segmentation boundary, by favoring the segmentation of objects with more regular shapes. These advances were only made possible by the use of non-smooth functions. Therefore, the main contribution of this work is the theoretical support for the usage of non-smooth functions, which were until now avoided in literature, opening new perspectives in the research of image processing using graphs.

Cieľom tejto práce je návrh analýzy tvaru haldy vhodnej pre potreby analyzátora 2LS. 2LS je nástroj pre analýzu C programov založený na automatickom odvodzovaní invariantov s použitím SMT solvera. Navrhované riešenie obsahuje spôsob reprezentácie tvaru programovej haldy pomocou logických formulí nad teóriou bitových vektorov. Tie sú následne využité v SMT solveri pre predikátovú logiku prvého rádu na odvodenie invariantov cyklov a súhrnov jednotlivých funkcií analyzovaného programu. Náš prístup je založený na ukazateľových prístupových cestách, ktoré vyjadrujú dosiahnuteľnosť objektov na halde z ukazateľových premenných. Informácie získané z analýzy môžu byť využité na dokázanie rôznych vlastností programu súvisiacich s prácou s dynamickýcmi dátovými štruktúrami. Riešenie bolo implementované v rámci nástroja 2LS. S jeho použitím došlo k výraznému zlepšeniu schopnosti 2LS analyzovať programy pracujúce s ukazateľmi a dynamickými dátovými štruktúrami. Toto je demonštrované na sade experimentov prevzatých zo známej medzinárodnej súťaže vo verifikácii programov SV-COMP a iných experimentoch.

The theme of this diploma thesis is to design heating of the flat house. The theoretical part of this diploma thesis is about exhaust gases paths. The calculation part of this diploma thesis contains the design of the heating system by panel heaters, floor convectors and underfloor heating system. The heat source is the system of cascade-connected gas condensing boilers. The rest of this part are the calculations of the preparation of hot water, design of hot water storage tank and another necessary equipment of the system. The part Project is about technical report and simulation of behaviour of underfloor heating system in various marginal conditions.

This thesis deals with designing a small hydraulic power plant, where a swirl turbine is conected to a unique synchronous working, which will offer a reliable and easy installation of the hydraulic power plant. As a result a wider potential of energy could be produced from renewable resources. The use of a narrow rottor as a holder of the permanent magnets is the biggest difficulties of this design.