Le challenge de la consommation d'énergie dans les réseaux de capteurs sans fil constitue un verrou technologique qui reste un problème ouvert encore aujourd'hui. Ces travaux de thèse s'inscrivent dans la problématique de la conservation de l'énergie dans les réseaux de capteurs et s'articulent autour de deux axes. Dans la première partie, nous abordons le dimensionnement des protocoles de découverte de voisinage. Nous proposons deux techniques de dimensionnement de ces protocoles qui visent à optimiser la consommation d'énergie des nœuds capteurs. La première technique, PPM-BM, consiste à dimensionner le protocole de découverte de voisins en fonction du niveau de batterie du nœud. La deuxième approche, ECoND, vise à ajuster la fréquence de découverte de voisins en fonction de la connectivité estimée à chaque instant. Cette technique tire profit des cycles temporels des modèles de mouvement des nœuds. La connectivité est estimée en se basant sur l'historique des rencontres. La découverte de voisins est ajustée en fonction du taux de connectivité estimé. Les résultats enregistrés mettent en évidence l'efficacité de ces deux techniques dans l'optimisation de la consommation d'énergie des nœuds sans affecter les performances de taux de livraison de messages et d'overhead. La deuxième partie de la thèse concerne l'optimisation des performances des réseaux de capteurs en termes de durée de vie. Nous reconsidérons dans cette partie certains protocoles de routage relevant du domaine des réseaux à connectivité intermittente et nous proposons le protocole EXLIOSE qui se base sur la capacité d'énergie résiduelle au niveau des nœuds pour assurer un équilibre énergétique, partager la charge et étendre à la fois la durée de vie des nœuds ainsi que celle du réseau / The challenge of energy consumption in wireless sensor networks is a key issue that remains an open problem. This thesis relates to the problem of energy conservation in sensor networks and is divided into two parts. In the first part, we discuss the design of neighbor discovery protocols. We propose two techniques for modulating these protocols in order to optimize the energy consumption of sensor nodes. The first technique, PPM-BM aims to modulate the neighbor discovery protocol based on the battery level of the node. The second approach ECoND aims to set up the frequency of neighbor discovery based on estimated connectivity. This technique takes advantage of the temporal cycles of nodes' movement patterns. Connectivity is estimated based on encounters' history. A neighbor discovery is set up based on the estimated rate of connectivity. The achieved results demonstrate the effectiveness of these techniques in optimizing the energy consumption of nodes while maintaining acceptable message delivery and overhead rates. In the second part of the thesis, we contribute to the optimization of the performance of sensor networks in terms of network lifetime. We review in this section some routing protocols for networks with intermittent connectivity and we propose EXLIOSE protocol which is based on residual energy to ensure energy-balancing, load sharing and network lifetime extending

The work deals with allocations of financial resources redistributing by European Union Structural funds for the running program period 2007-2013. The theoretical part describes all funds in Czech Republic, creation of application and confirmation of the application. It tries to find the mistakes, which the applicants often do and it indicates, what is the best way to prevent them. The main thesis of Structural funds is balancing economical differences particulars regions. The work describes particular allocations for NUTS II regions and their actual level of money ran out. To adjust a difference between particular regions, the poorest region should get the most of financial resources. Conclusion of the work describes, the financial resources do not redistribute in a way to minimize the economic differences between the regions, and conversely it tends to their bigger differences.

O objeto de estudo da presente dissertação é a análise da forma pela qual se dá a interpretação de normas pelo Poder Judiciário, principalmente através de técnicas decisórias oriundas do movimento neoconstitucionalista, permeadas pelo ativismo e criatividade judiciais, por meio de interpretações expansivas de normas e uso da ponderação entre princípios, valores e direitos fundamentais. Além disso, a pesquisa aborda os fundamentos do uso do princípio da proporcionalidade, com vistas à construção de um modelo de aplicação concreta aos casos em que serve de paradigma de aplicação. Por fim, são ressaltados os elementos necessários para análise da razoabilidade/proporcionalidade no intuito de desenvolver uma construção de parâmetros indutores para uma jurisdição objetiva, mais controlada e menos subjetivista, mediante formas efetivas de controle dos atos decisórios, especialmente quando do uso da técnica da ponderação, evitando assim o surgimento de subjetivismos e decisionismos, visando fortalecer as estruturas do Estado Democrático de Direito. / The aim of this dissertation is the analysis of how the Judiciary gives interpretation of rules, which mostly adjudicated techniques had began with the neoconstitucionalist movement that has been permeated by judiciary creativity and activism throughout expansive laws interpretation besides the prudence use of principles, values and fundamental rights. Moreover, this research covers the fundamental use of principles proportionality in order to build a concrete application model in cases of adhibition paradigm. Therefore, this study points the necessary elements for the analysis of reasonableness/proportionality intending to develop inductors parameters for an objective jurisdiction, more controlled and less subjective, by an effective command of decision-making acts, especially when using the balancing of principles, which may help to avoid subjectivisms and settlings, in order to reinforce the structures of the Democratic State of Law.

[pt] Na área de biologia computacional a busca por informações relevantes em meio a volumes de dados cada vez maiores é uma atividade fundamental. Dentre outras, uma tarefa importante é a execução da ferramenta BLAST (Basic Local Alignment Search Tool), que possibilita comparar biosseqüências a fim de se descobrir homologias entre elas e inferir as demais informações pertinentes. Um dos problemas a serem resolvidos no que diz respeito ao custo de execução do BLAST se refere ao tamanho da base de dados, que vem aumentando consideravelmente nos últimos anos. Avaliar o BLAST com estrat´egias paralelas e distribuídas com apoio de agrupamento de computadores tem sido uma das estratégias mais utilizadas para obter ganhos de desempenho. Nesta dissertação, é realizada uma alocação física replicada da base de dados (de seqüências), onde cada réplica é fragmentada em partes distintas, algumas delas escolhidas como primárias. Dessa forma, é possível mostrar que se aproveitam as principais vantagens das estratégias de execução sobre bases replicadas e fragmentadas convencionais, unindo flexibilidade e paralelismo de E/S. Associada a essa alocação particular da base, são sugeridas duas formas de balanceamento dinâmico da carga de trabalho. As abordagens propostas são realizadas de maneira não intrusiva no código BLAST. São efetuados testes de desempenho variados que demonstram não somente a eficácia no equilíbrio de carga como também eficiência no processamento como um todo. / [en] A fundamental task in the area of computational biology is the search for relevant information within the large amount of available data. Among others, it is important to run tools such as BLAST - Basic Local Alignment Search Tool - effciently, which enables the comparison of biological sequences and discovery of homologies and other related information. However, the execution cost of BLAST is highly dependent on the database size, which has considerably increased. The evaluation of BLAST in distributed and parallel environments like PC clusters has been largely investigated in order to obtain better performances. This work reports a replicated allocation of the (sequences) database where each copy is also physically fragmented, with some fragments assigned as primary. This way we show that it is possible to execute BLAST with some nice characteristics of both replicated and fragmented conventional strategies, like flexibility and I/O parallelism. We propose two dynamic workload balancing strategies associated with this data allocation. We have adopted a non- intrusive approach, i.e., the BLAST code remains unchanged. These methods are implemented and practical results show that we achieve not only a balanced workload but also very good performances.

O objeto da discussão é a racionalidade das decisões judiciais em casos em que se constata conflito de princípios ou entre princípios e regras, casos esses considerados difíceis, uma vez que não há no ordenamento jurídico solução predeterminada que permita mera subsunção dos fatos à norma. São examinados métodos alternativos ao de subsunção. O primeiro é o método da ponderação, difundido principalmente por Robert Alexy, com suas variantes. Entretanto, o problema que surge com a aplicação do método da ponderação é da imponderabilidade entre ponderação e vinculação à lei, ou seja, a escolha dos pesos dos princípios e sua potencial desvinculação da lei. O segundo modelo, chamado de coerentista, busca conferir alguma racionalidade e fornecer critérios que poderiam explicar escolhas entre valores conflitantes subjacentes à legislação e mesmo aos pesos do método de ponderação. Dentro do modelo coerentista, examina-se em particular a versão inferencial que explora a coerência entre regras e princípios pela inferência abdutiva dos princípios a partir das regras. A aplicação dos diferentes modelos é feita em duas decisões prolatadas pelo Supremo Tribunal Federal em casos de conflito de princípio, casos Ellwanger e de aborto de anencéfalos. O que não permite generalização, mas oferece ilustrações específicas das virtudes e vícios desses modelos de decisão. / The subject of this study is rationality of judgments when there is collision of principles or conflict between principles and rules, which are hard cases, since there is no predetermined solution in legal system that allows only subsuming facts to the norm. Alternative methods are then examined. The first is the method of weighting and balancing proposed mainly by Robert Alexy, in spite of its variants. However, the difficulty to apply such method is theweightlessness between weighing and law binding, that is, the choice of weight of principles and its untying to the Law. The second model, called coherence model, intends to reach any rationality and provide criteria that could explain choices between conflicting values underlying Law and also the ascription of weights of the weighing and balancing method. In coherence model, it is studied especially its inferential version that explores coherence between rules and principles through abduction of principles from rules. These methods are tested in two decisions by Brazilian Supreme Court in cases of collision of principle, in Ellwanger and anencephalic abortion cases. That does not allow a general approach, but only specific outlines of the virtues and defects of these models of decision.

Uma metodologia para desenvolvimento de programas paralelos eficientes deve especificar mecanismos capazes de caracterizar o comportamento das aplicações e permitir estudos sobre o desempenho de diferentes modelos de soluções. Nos ambientes distribuídos, em particular, a eficiência da solução também está relacionada a estratégia utilizada na divisão e distribuição do trabalho entre os processos que cooperam na solução do problema. Para abordar estes aspectos, uma metodologia, denominada PEMPIs-Het (Performance Estimation of MPI Programs in Heterogeneous Systems), é especificada e apresentada nesta tese. A metodologia permite a modelagem, avaliação e predição de desempenho de programas paralelos em ambientes homogêneos e heterogêneos. Técnicas de modelagem analítica são utilizadas para representar o comportamento das aplicações no ambiente distribuído. Um modelo gráfico, denominado DP*Graph++, é proposto para ilustrar as principais estruturas do código da aplicação e facilitar análises sobre a complexidade algorítmica do programa. Algumas aplicações são modeladas e a precisão das predições é verificada através de testes experimentais. Os modelos de desempenho permitem uma estimativa pontual para o tempo de execução da aplicação. Entretanto, uma estratégia alternativa, baseada em intervalos de predição, também é discutida e avaliada. Algumas estratégias para balanceamento de carga de aplicações paralelas distribuídas são implementadas e avaliadas. Estasestratégias utilizam informações de um vetor com índices de desempenho (Vector of Relative Performances - VRP), gerados pelos modelos analíticos, para especificar a divisão e distribuição do trabalho. Estes índices caracterizam a capacidade computacional das máquinas. Uma formalização matemática é apresentada para explicar como os índices são determinados. ) Testes experimentais são realizados para verificar a aplicabilidade das estratégias e a eficiência no balanceamento das cargas. / A methodology for developing efficient parallel programs must specify mechanisms capable of characterizing the behavior of applications and allow studies on the performance of different solution models. In distributed environments, in particular, the solution efficiency is also related to strategy adopted in the division and distribution of work among the processes which cooperate in the solution of the problem. To address these issues, a methodology, called PEMPIs-Het (Performance Estimation of MPI Programs in Heterogeneous Systems), is specified and presented in this thesis. The methodology allows performance modeling, evaluation and prediction of parallel programs in homogeneous and heterogeneous environments. Analytical modeling techniques are used to represent the applications behavior in the distributed environment. A graph model, called DP*Graph++, is proposed to illustrate the main structures of the application code and facilitate some analyses about the program algorithmic complexity. Some applications are modeled and the accuracy of predictions is verified by experimental tests. The models allow estimate a punctual performance to the application execution time. Meanwhile, an alternative strategy, based on prediction intervals, is also discussed and evaluated. Some strategies for load balancing of distributed parallel applications are implemented and evaluated. These strategies use information from a vector with performance indexes (Vector of RelativePerformances - VRP), generated by analytical models to specify the division and distribution of work. These indexes characterize the machines computational capacity. A mathematical formalization is presented to explain how the rates are determined. Experimental tests are conducted to verify the applicability and effectiveness of the strategies in load balancing

Este trabalho apresenta a implementação e a utilização da migração de processos SPMD (Single Program Multiple Data), a qual realiza somente a transferência dos dados, que estão sendo manipulados pelo processo, para realizar a migração. Seu principal objetivo foi o estudo do impacto do balanceamento de carga no desempenho de aplicações, desenvolvidas utilizando o modelo de programação SPMD. Depois de realizados testes com aplicações SPMD reais, em sistemas computacionais distribuídos utilizando a migração de processos SPMD, foi possível verificar que ganhos de desempenho podem ser alcançados, tanto na migração de processos quanto no tempo de execução de aplicações paralelas SPMD. / This research presents the implementation and use of the SPMD (Single Program Multiple Data) process migration, which only does the transference of the data that are being used by the process, to perform the process migration. Its main objective was the study of the load balancing impact in the performance of applications developed using the SPMD programming model. After performing the tests with real SPMD applications, in distributed computational systems using the SPMD process migration, it was achieved good performance gains, both in the process migration and in the time execution of applications SPMD parallel applications.

Em um sistema localmente distribuído, quando diversas tarefas são aleatoriamente submetidas aos computadores de uma determinada rede, onde alguns ficam sobrecarregados e outros permaneçam ociosos, algoritmos de balanceamento de carga podem ser utilizados para homogeneizar e otimizar a alocação de recursos e, conseqüentemente, aumentar o desempenho computacional. Com a evolução dos sistemas distribuídos, houve a necessidade de aprimoramento desses algoritmos, a fim de suportarem sistemas distribuídos altamente escaláveis e possibilitarem o gerenciamento de ambientes heterogêneos. Visando suprir essas necessidades, recentemente foi proposto um algoritmo de balanceamento de carga denominado Tree Load Balancing Algorithm (TLBA). Para avaliar esse algoritmo foram desenvolvidos um simulador e um protótipo. Com as simulações foram comprovados seus benefícios para ambientes distribuídos heterogêneos altamente escaláveis e com o protótipo esses resultados foram validados. Este trabalho apresenta a implementação de um novo simulador, que possibilitou um estudo mais abrangente dos parâmetros de balanceamento de carga do TLBA, com base em amostras estatisticamente geradas e uma maior fidelidade em suas políticas de balanceamento. Suas novas características são simulação em tempo real, visualização da árvore lógica de acordo com as capacidades computacionais relativas, resultados em tabelas, gráficos gerados pelo simulador e estudos aplicados aos diferentes tipos de escalonamento e sistemas / In locally distributed systems, when plenty of tasks are randomically submitted to network computers where certain computers may be heavily loaded, while others lightly loaded, load balancing algorithms may be used on to homogenize and optimize the resources allocation, and hence improve the computer performance. Later on, the distributed systems evolution made necessary the upgrading of these algorithms in order to support the highly scalable distributed systems and handle with the management of the heterogeneous environments. To supply these needs, a new load balancing algorithm called Tree Load Balancing Algorithm (TLBA) has been recently proposed. The evaluation of this algorithm has been done by a simulator and a prototype which were developed for this purpose. The simulations have proved its benefits in highly scalable heterogeneous distributed environments, and with the prototype the results were validated. This work presents the implementation of a new simulator which allows detailed studies of the TLBA parameters, based on the statistically generated samples, and a higher fidelity on the implementation of its load balancing policies. Its new features are the real time simulations, visualization of the logical tree according to computers’ relative capacities, results in tables, graphics generated by the simulator and studies applied to the different types of scheduling and systems

Submitted by Ricardo Cedraz Duque Moliterno (ricardo.moliterno@uefs.br) on 2017-07-12T21:44:11Z No. of bitstreams: 1 PGCA_Dissertacao_Fabio.pdf: 17456050 bytes, checksum: 0e14f30b37a0f91b865c29f80d2ff377 (MD5) / Made available in DSpace on 2017-07-12T21:44:11Z (GMT). No. of bitstreams: 1 PGCA_Dissertacao_Fabio.pdf: 17456050 bytes, checksum: 0e14f30b37a0f91b865c29f80d2ff377 (MD5) Previous issue date: 2016-08-18 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / There are presently market a wide range of batteries. These batteries come to meet the need of electric power supply for electronic devices unable to be connected to a source of electricity for a certain period of time. For this to happen, a battery goes through a cycle involving a charge period and a discharge period. Another point to be noted is that the vast majority of applications that utilize lead acid batteries have a supply voltage above 2 volts, the voltage which is provided by a single cell. For higher voltages, it is necessary to link various cells in series. According to manufacturers of lead acid batteries, if loading and unloading are carried out in accordance with the specifications provided for the product, ensures the maximum utilization of battery life, but failure to comply with these specifications can shorten the life of a battery lead acid in more than 50%. Given the above, this paper describes the design of a system to charge control, discharge control and load balancing for lead acid batteries for better efficiency and maximum utilization of the useful life of the batteries. / Atualmente, existe no mercado uma grande gama de baterias. Estes acumuladores v?m para suprir a necessidade de fornecimento de energia el?trica para dispositivos eletroeletr?nicos impossibilitados de serem conectados a uma fonte geradora de energia el?trica por um determinado per?odo de tempo. Para que isso aconte?a, uma bateria passa por um ciclo que envolve um per?odo de carga e um per?odo de descarga. Outro ponto a ser observado ? que a grande maioria das aplica??es que utilizam baterias de chumbo ?cido possuem tens?o de alimenta??o superiores a 2 volts, que ? a tens?o fornecida por uma ?nica c?lula. Para obter tens?es maiores, faz-se necess?ria a liga??o de v?rias c?lulas em s?rie. Segundo os fabricantes das baterias de chumbo ?cido, se forem realizadas cargas e descargas em conformidade com as especifica??es fornecidas para o produto, garante-se o aproveitamento m?ximo da vida ?til da bateria, mas a inobserv?ncia destas especifica??es pode diminuir a vida ?til de uma bateria de chumbo ?cido em mais de 50%. Diante do exposto, este trabalho descreve o projeto de um sistema para controle de carga, controle de descarga e balanceamento de carga para baterias de chumbo ?cido que garanta uma melhor efici?ncia e o m?ximo aproveitamento da vida ?til destas baterias.

A presente dissertação analisa a modulação dos efeitos temporais da declaração de incons-titucionalidade sob a perspectiva de seus métodos de aplicação. Aprecia-se criticamente a adequação da orientação jurisprudencial feita pelo Supremo Tribunal Federal e defendida pela predominante doutrina brasileira no sentido de que a modulação de efeitos deve ser realizada a partir da técnica de ponderação de princípios. Neste propósito, este trabalho apresenta os principais métodos mencionados na doutrina estrangeira e brasileira para a modulação de efeitos, subdividindo-os em soluções com ponderação e soluções com sub-sunção. Além disso, tomando-se como fundamento que a invalidação da lei inconstitucio-nal é ato de imposição de sanção jurídica, analisam-se os pontos em comum existentes entre a modulação de efeitos e a dosimetria da pena, na medida em que ambas podem ser consideradas técnicas de dosagem de sanção jurídica. / This dissertation examines the changing of temporal effects judgment of unconstitutionali-ty from the perspective of their application methods. Critically, it studies the adequacy of judicial guidance made by Supreme Court and defended by the prevailing brazilian doc-trine that chancing effects should be performed using the technique of balacing principles. In this way, this study presents the main methods mentioned in brazilian and foreign doc-trine for chancing effects, subdividing into balacing solutions and subsumption solutions. Moreover, taking assumption that invalidation of unconstitutional law is adjudication act of legal sanction, it analyzes commonalities between chancing effects and criminal dosimetry, because both can be considered dosage techniques of legal sanction.