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.

Orientador: Mara Patrícia Traína Chacon Mikahil / Texto em português e inglês / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação Física / Made available in DSpace on 2018-08-22T16:17:04Z (GMT). No. of bitstreams: 1 Gaspari_ArthurFernandes_M.pdf: 1781023 bytes, checksum: eb796d47581b504c5b0a8a2b854733dd (MD5) Previous issue date: 2013 / Resumo: Diferentes trabalhos experimentais e dados epidemiológicos têm comprovado que a prática sistematizada de atividade física regular contribui como fator de prevenção para o desenvolvimento de doenças cardiovasculares (DCV). O presente trabalho compara o efeito de treinamento: Aeróbio (TA), com Pesos (TP) e Concorrente (TC), utilizando cargas de treino equivalentes, sobre o risco global para DCVs medido por diferentes escalas multifatoriais. Os participantes foram 49 voluntários não ativos, distribuídos em Grupo Controle (GC, n=12, idade=48,7±5,6 anos), grupo TA (n=13, idade=47,8±4,9 anos), grupo TP (n=12, idade=48,8±5,1 anos) e grupo TC (n=12, idade=49,5±4,7 anos). Os voluntários foram avaliados pré e pósintervenção para verificação de Colesterol Total (CT), HDL-Colesterol (HDL), LDL-Colesterol (LDL), Triglicerídeos (Tg) e Pressão Arterial em repouso. Esses dados foram utilizados para quantificação do risco cardiovascular global através das escalas (algoritmo): Risco Geral de Doenças Cardiovasculares Risco de Doenças Coronarianas em 10 anos (LDL), Risco da Primeira Doença Coronariana em dois anos, Risco de Desenvolvimento de Doenças Coronarianas Graves ou Escore de Risco de Framingham. Também foram avaliados a Força Muscular de membros superiores (supino reto) e inferiores (leg press) através do teste de 1- Repetição Máxima e o Consumo Pico de Oxigênio (VO2pico) por meio de ergoespirometria em esteira rolante. Os treinamentos tiveram duração de 60 minutos, 3 sessões semanais, por um período de 16 semanas, divididas em duas etapas iguais com uma semana de intervalo para o teste utilizado no ajuste das intensidades do TA. O TA foi composto por caminhadas e corridas divididas em zonas de treinamento baseadas na velocidade do Limiar Ventilatório e Ponto de Compensação Respiratória, de modo que, as intensidades variaram entre 50-85% do VO2pico. O TP foi realizado com 10 exercícios em equipamentos específicos, com 3 séries de 10 repetições máximas e 1min de intervalo na primeira etapa e, os mesmos exercícios com 3 séries de 8 repetições máximas e 1min30s de pausa na segunda etapa. O TC foi composto por aproximadamente 50% de cada treinamento sendo TP seguido de TA. Foram observadas reduções significantes (p<0,05) para TP e TC em todas as escalas de risco aplicadas, assim como para o CT e LDL. Além disso, as concentrações de Tg reduziram (p<0,05) no TC. Foram identificados aumentos pós-treinamento (p<0,05): VO2pico para o TA e TC, força de membros superiores para TP e TC e força de membros inferiores (p<0,05) para TA, TP e TC. Esses resultados corroboram com estudos em jovens e mostram a eficácia do CT no aumento da força corporal e VO2pico, melhora de fatores de risco para DCV e principalmente redução do risco global de DCV através de todas as escalas analisadas em homens de meia-idade. Contudo, esse estudo acrescenta evidências científicas sobre o TC como um ótimo protocolo para promoção tanto do aumento de variáveis funcionais quanto para redução do risco cardiovascular global, mesmo quando realizado com volume reduzido quando comparado aos protocolos isolados / Abstract: Different experimental and epidemiological data have shown that the systematic practice of regular physical activities contributes as a preventing factor to the development of cardiovascular diseases (CVD). The present study compared the effect of Aerobic training (AT), Resistance training (RT) and Concurrent training (CT) prescribe with equivalent training loads on the Global CVD Risk through different multifactors scores (algorithms). Forty nine healthy and not active volunteers were distributed in: Control Group (CG, n=12, age=48.7±5.6 yr, BMI=25.2±2.9 kg/m2), AT group (n=13, age=47.8±4.9 yr, BMI=25.4±2.3 kg/m2), RT group (n=12, age=48.8±5.1 yr, BMI=28.4±4.4 kg/m2) and CT group (n=12 , age=49.5±4.7 yr, BMI=28.7±4.0 kg/m2). The training lasted 60 minutes, 3 times/wk for 16 weeks, divided in two equal stages with one week apart to adjust the intensity of the AT. The AT consisted in walking and running at 50- 85% of the VO2peak, the session work was divided in training zones based on Ventilatory Threshold and Respiratory Compensation Point. The RT consisted of 10 exercises on specific equipment, with 3 sets of 10 repetitions maximum with 1min rest between sets on the first stage and the same exercises with 3 sets of 8 repetitions maximum and 1min 30sec rest between sets on the second stage. The TC was composed of approximately 50% of each training (RT followed by AT). It was assessed pre and post intervention: Total Cholesterol (TChol), HDL-Cholesterol, LDL-Cholesterol, Triglycerides (Tg) and Rest Blood Pressure. These data were used to quantify the overall cardiovascular risk across algorithms: General Cardiovascular Disease Risk, Coronary Heart Disease Risk - 2 years, Hard Coronary Heart Disease Risk. In addition, were verified: Muscle Strength of upper and lower limbs (1-Maximun Repetition test) and Oxygen Peak Consumption (VO2peak) by cardiopulmonary exercise test. No differences were observed between groups for all pre-intervention variables. After 16 wk, the RT and CT showed significant reductions (p <0.05) of all risk algorithms applied and also a decrease in TChol and LDL. Moreover, CT decrease significantly Tg. Increases were also identified post-training (p <0.05) on VO2peak for AT and CT, on upper limb strength for RT and CT and on lower limb strength (p <0.05) for AT, RT and CT. These results have shown the effectiveness of CT in the reduction of Global CVD Risk through all algorithms, as well as the decrease of risk factors and improvement on body strength and VO2peak. Similar results were previously reported by young men study. In summary, this study provides additional scientific evidence on the CT as an optimal training program capable to increase fitness variables as to reduce the Global CVD Risk in middle-aged men; these results were achieved even when CT was performed with reduced volume compared to isolated training programs / Mestrado / Atividade Fisica Adaptada / Mestre em Educação Física

Contexto: Embora diversas técnicas de teste de software tenham sido propostas para o contexto da programação concorrente, as informações sobre elas encontram-se de dispersas na literatura, não oferecendo uma caracterização apropriada e dados relevantes que possam auxiliar a compreensão e consequente aplicação efetiva dessas técnicas, dificultando o processo de transferência de conhecimento entre a academia e a comunidade interessada. Objetivo: Nesse contexto, o principal objetivo deste trabalho é oferecer subsídios, na forma de um framework, que seja capaz de apoiar a caracterização e seleção sistemática de técnicas de teste de software concorrente. Metodologia: Para atender esse objetivo, foi construído um corpo de conhecimento que reúne de maneira integrada informações relevantes ao processo de tomada de decisão sobre qual técnica de teste aplicar a um determinado projeto de software. Um design de experimentos é definido, funcionando como guia para condução de estudos empíricos que podem ser usados para a realimentação, atualização e evolução do corpo de conhecimento. Buscando sistematizar o processo de seleção de técnicas de teste, é definido um esquema de caracterização que considera as principais características da programação concorrente que influenciam a atividade de teste de software e calcula a adequação desses atributos aos atributos do projeto em desenvolvimento. Resultados e Conclusões: A fim de permitir que a comunidade interaja com o framework proposto, foi disponibilizada uma infraestrutura computacional que permite o acesso ao corpo de conhecimento e automatiza o processo de seleção de técnicas de teste de software concorrente. O estudo experimental conduzido para avaliação da proposta, mostrou que a abordagem contribui de maneira efetiva para caracterizar, comparar e quantificar a adequabilidade baseada em atributos, melhorando consideravelmente o processo de seleção de técnicas de teste para software concorrente segundo as expectativas dos usuários. / Background: Although a variety of concurrent software testing techniques have been proposed for the concurrent programming context, the information about them are scattered in the literature, not offering an appropriate characterization and relevant data that can aid the understanding and consequently the effective application of these techniques, hindering the process of knowledge transfer between the academia and the interested community. Objective: In this context, the main objective of this work is to provide subsidies in form of a framework which will be able to support the characterization and systematic selection of concurrent software testing techniques. Methodology: In order to meet this objective, a body of knowledge has been built that brings together, in an integrated way, information relevant for the decision-making process about what testing technique should be applied in a specific software project. A design of experiments is defined as a guide for conducting empirical studies that can be used for feedback, updating, and evolution of the body of knowledge. With the objective of systematizing the process of testing techniques selection is defined a characterization scheme that considers the main characteristics of the concurrent programming that influence the testing activity and calculates the adequacy for these attributes in comparison with the software project in development. Results and Conclusions: In order to allow the community interaction with the proposed framework was provided a computational infrastructure that allows access to the body of knowledge and the automation of the selection process. The empirical study conducted to evaluate the proposal showed that the approach effectively contributes to characterize, compare and quantify the adequacy based on the attributes, improving the selection process of concurrent software testing techniques according to the users expectations.

Concurrent programming has become an essential paradigm for reductions in the computational time in many application domains. However, the validation and testing activity is more complex than the testing for sequential programs due to the non-determinism, synchronization and inter-process communication. Mutation testing is based on mistakes produced by software developers and presents a high effectiveness to reveal faults. However, high computational costs limit its applicability even for sequential code, becoming higher for concurrent programs in which each test has to be executed with different (ideally all) thread schedules. To date, only selective mutation have been applied to reduce the number of mutants in concurrent programs, however, the problem of state explosion of thread schedules still remains. This Ph.D. thesis presents the SBBMuT approach that applies deterministic execution and genetic algorithm for the generation and execution of a set of synchronization sequences during the mutation testing of Java multithreaded programs. An experimental study was conducted, and the results showed that the set of synchronization sequences generated by SBBMuT achieved a higher mutation score in comparison with the use of the Java PathFinder model checking tool. / A programação concorrente tornou-se um paradigma essencial para a redução no tempo computacional em muitos domínios de aplicação. No entanto, as atividades de verificação, validação e teste são mais complexas do que o teste para programas sequenciais devido ao não determinismo, sincronização e comunicação entre processos ou threads. O teste de mutação é baseado em enganos cometidos por desenvolvedores de software e apresenta uma alta eficácia para revelar defeitos. No entanto, o alto custo computacional limita a sua aplicação mesmo para programas sequenciais, e tornando-se maior para programas concorrentes no qual cada teste deve ser executado com diferentes (idealmente todas) sequências de sincronizações. Na literatura, apenas mutação seletiva foi aplicada para reduzir o número de mutantes em programas concorrentes, no entanto, o problema de explosão no número de sequências de sincronização ainda permanece. Esta tese de doutorado apresenta a abordagem SBBMuT que aplica execução determinística e algoritmo genético para a geração e execução de um conjunto de sequências de sincronização durante o teste de mutação para programas Java multithread. Um estudo experimental foi conduzido e os resultados mostram que o conjunto de sequências de sincronização gerada pela SBBMuT conseguiu alcançar um escore de mutação maior em comparação com a utilização da ferramenta de validação de modelos Java PathFinder.

Existem várias linguagens e plataformas que permitem a programação baseada no modelo de atores, uma solução elegante para a programação concorrente proposta há algumas décadas. Segundo esse modelo, implementa-se o programa na forma de uma série de agentes que são executados em paralelo e se comunicam entre si somente por meio da troca de mensagens, sem a necessidade de memória compartilhada ou estruturas tradicionais de sincronização como semáforos e mutexes. Uma das áreas nas quais esse modelo seria particularmente adequado é a programação de aplicações web, isto é, aplicações cujas lógicas de negócios e de dados residem num servidor e que são acessadas pelo usuário por intermédio de um navegador. Porém, existem muitos obstáculos ao desenvolvimento de aplicações desse tipo, entre eles a falta de linguagens e ferramentas que permitam integrar tanto o servidor quanto o cliente (navegador) no modelo de atores, as dificuldades de conversões de dados que se fazem necessárias quando o servidor e o cliente são desenvolvidos em linguagens diferentes, e a necessidade de contornar as dificuldades inerentes aos detalhes do protocolo de comunicação (HTTP). O PAWEB é uma proposta de uma plataforma para o desenvolvimento e execução de aplicações web que fornece a infraestrutura necessária para que tanto o lado cliente quanto o lado servidor do aplicativo hospedado possam ser escritos numa mesma linguagem (Python), e possam criar e gerenciar atores que trocam mensagens entre si,tanto local quanto remotamente, de maneira transparente e sem a necessidade de implementar conversões de dados ou outros detalhes de baixo nível. / There are several programming languages and platforms that allow the development of systems based on the actor model, an elegant solution for concurrent programming proposed a few decades ago. According to this model, the program is implemented in the form of several agents that run concurrently and only communicate amongst themselves through the exchange of messages, without the need for shared memory or traditional synchronization structures such as semaphores and mutexes. One of the areas where this model would be particularly appropriate would be the development of web applications, that is, applications whose business and database logic reside on the server and are accessed by the user by means of a web browser. However, there are several obstacles to the development of this type of application, amongst them the lack of languages and tools that allow for the integration of both the server and the client (browser) into the actor model, data conversion difficulties arising from using different programming languages on the server and the client, and the need to circumvent the inherent difficulties posed by the details of the communications protocol (HTTP). PAWEB is a proposal for an application development and execution platform that supplies the infrastructure needed so that both the server and client sides of the hosted application can be written in the same language (Python) and so that they may create and manage actors that exchange messages with one another, both locally and remotely, in a transparent manner and without the need to implement data conversions or other low-level mechanisms.

Diversas pesquisas apoiam e investigam o teste de programas concorrentes, as quais objetivam, principalmente, a proposição de critérios de teste e mecanismos para execução das diferentes sincronizações entre processos ou threads. As características específicas dessas aplicações podem ocasionar diferentes tipos de defeitos, os quais, em sua maioria, não são facilmente identificados. Nesse contexto, a geração automática de dados de teste pode apoiar a atividade de teste atuando na seleção de entradas mais representativas, ou seja, aquelas com maior probabilidade de revelar defeitos. Apesar disso, poucas pesquisas abordam este tema no contexto de programas concorrentes, e as existentes não consideram aspectos importantes desse tipo de aplicação. A geração de dados de teste para programas sequenciais dispõe de uma variedade de técnicas que apoiam a seleção dos dados de teste. Essas técnicas têm sido estendidas para o contexto de programas concorrentes partindo da premissa que esses programas necessitam de abordagens mais complexas para seleção de entradas, em decorrência disso um maior custo é imposto ao teste. Considerando esse contexto, uma lacuna ainda em aberto é a avaliação das técnicas para o cenário de programas concorrentes. Neste trabalho a avaliação das técnicas foi explorada por meio da realização de estudos experimentais, os quais avaliaram diferentes técnicas de geração de dados de teste para o contexto de programas concorrentes, considerando a eficácia em revelar defeitos, cobertura de critérios e custo para atividade de teste. Os resultados obtidos demonstraram que as técnicas empregadas para programas sequenciais não atingem o mínimo esperado para este tipo aplicação. Apesar disso, as técnicas investigadas apresentaram características importantes que podem auxiliar a atividade de teste para programas concorrentes e a proposição de abordagens efetivas de geração de dados para esse contexto. / The concurrent program testing has been largely investigated with propositions of testing criteria and mechanisms, which aim mainly to testing criteria proposition and mechanisms for execution of different synchronizations. The specific characteristics of these applications can lead to the different types of faults, which, in most of cases, are not easily identified. In this context, the automatic test data generation can support the testing activity acting in selecting the most representative data tests, i.e. those most likely to reveal faults. Nevertheless, few studies address this issue in the context of concurrent programs, and the these studies do not consider important aspects of this type of application. In contrast, we can find several techniques proposed to support the test data generation for sequential programs. These techniques have been extended to the context of concurrent programs on the premise that these programs require more complex approaches for selection of test data. As a result, a greater cost for testing activity is enforced. Considering this context, a gap still open is the evaluation of techniques for the scenario of concurrent programs. In this work the evaluation of techniques was explored through experimental studies, which different techniques of test data generatoon were evaluated, considering effectiveness, testing coverage and application cost. The results showed that the generation techniques used for sequential programs used in the experimental study do not reach the minimum expected in terms of effectiveness and cost for concurrent programs. Nevertheless, the techniques investigated showed significant features that can help the proposition of effective approaches for test data generation applied to concurrent programs.

Aplicações podem apresentar laços perfeitamente aninhados que demandam um alto poder de processamento. Diversas aplicações científicas contêm laços aninhados em suas estruturas. Tais laços podem processar computações heterogêneas. Uma solução para reduzir o tempo de execução desta classe de aplicações é a paralelização destes laços. A heterogeneidade dos tempos de execução de computações presentes nas iterações de laços perfeitamente aninhados demanda uma paralelização adequada visando uma distribuição de carga homogênea entre os recursos computacionais para reduzir a ociosidade de tais recursos. Esta heterogeneidade implica em um número ideal de recursos computacionais a partir do qual, o seu aumento não impactaria no ganho de desempenho, uma vez que, o tempo mínimo possível é o tempo de execução da tarefa que consome o maior tempo de processamento. Neste trabalho é proposta uma metodologia e ferramentas para paralelização de laços perfeitamente aninhados sem dependência de dados e com processamento heterogêneo em sistemas paralelos e distribuídos. A implementação da metodologia proposta em aplicações melhora o desempenho da execução e reduz a ociosidade dos recursos de processamento. Na metodologia proposta, alguns procedimentos são apoiados por ferramentas desenvolvidas para auxiliá-los. O sistema de processamento poderá ser: um computador Multicore, um Cluster real ou virtual alocado na nuvem. Resultados experimentais são apresentados neste trabalho. Tais resultados mostram a viabilidade e eficiência da metodologia proposta. / Applications may have nested perfectly loops that require a high processing power. Various scientific applications contain nested loops in their structures. Such loops can process heterogeneous computations. A solution to reduce the execution time of this class of applications is the parallelization of these loops. The heterogeneity of the execution times of computations present in the iterations of nested perfectly loops demands an adequate parallelization aiming at a homogeneous load distribution among the computational resources to reduce the idleness of such resources. This heterogeneity implies an ideal number of computational resources which, its increase would not impact the performance gain, since the minimum possible time is the execution time of the task that consumes the longest processing time. In this work is proposed a methodology and tools for parallelization of loops perfectly nested with heterogeneous processing in parallel and distributed systems. The implementation of proposed methodology in application improves execution performance and reduce idles of the processing resources. In the methodology proposed, some procedures are supported by tools developed to assist them. The processing system can be: a computer multicore, a cluster real or virtual allocated in cloud. Experimental results are presented in this work. These results show the feasibility and efficiency of the proposed methodology.

Com o avanço tecnológico dos últimos anos passou a ser normal vermos microprocessadores com múltiplos núcleos (cores). A expectativa é de que o crescimento da quantidade de núcleos passe a ser maior do que o crescimento da velocidade desses núcleos. Assim, além de se preocuparem em otimizar algoritmos sequenciais, os programadores começaram a dar mais atenção às possibilidades de aproveitamento de toda a capacidade oferecida pelos diversos cores. Existem alguns modelos de programação que permitem uma abordagem concorrente. O modelo de programação concorrente mais adotado atualmente é o baseado em threads, que utiliza memória compartilhada e é adotado em Java. Um outro modelo é o baseado em troca de mensagens, no qual as entidades computacionais ativas são denominadas atores. Nesse trabalho, estudamos a linguagem Scala e seu modelo de atores. Além disso, implementamos em Scala uma versão paralela de um algoritmo de classicação que simula o sistema imunológico dos animais, o AIRS paralelo, e comparamos seu desempenho com a versão em Java. / With the technological advance of the last years it has been normal to see microprocessors with multiple cores. The expectation is that the growth of number of cores becomes greater than the growth of the speed of these cores. This way, besides worrying about optimizing sequential algorithms, developers started to give more attention to the possibilities of proting from all capacity offered by the cores. There exists a few programming models that allow a concurrent approach. In these days, the most adopted concurrent programming model is the one based on threads, which uses shared memory and is adopted in Java. Other model is based on message passing, on which the active computational entities are called actors. In this project, we studied Scala language and its model based on actors. Besides that, we implemented in Scala a parallel version of a classification algorithm that simules the immune system of the animals, parallel AIRS, and compared its performance with the Java version.

Submitted by Rosina Valeria Lanzellotti Mattiussi Teixeira (rosina.teixeira@unisantos.br) on 2018-11-14T16:50:03Z No. of bitstreams: 1 Francine Delfino Gomes.pdf: 48847877 bytes, checksum: ed5bc8d68c468ca38c10f6bf98fdd865 (MD5) / Made available in DSpace on 2018-11-14T16:50:03Z (GMT). No. of bitstreams: 1 Francine Delfino Gomes.pdf: 48847877 bytes, checksum: ed5bc8d68c468ca38c10f6bf98fdd865 (MD5) Previous issue date: 2018-09-20 / Submitted by Rosina Valeria Lanzellotti Mattiussi Teixeira (rosina.teixeira@unisantos.br) on 2018-11-14T16:50:36Z No. of bitstreams: 1 Francine Delfino Gomes.pdf: 48847877 bytes, checksum: ed5bc8d68c468ca38c10f6bf98fdd865 (MD5) / Made available in DSpace on 2018-11-14T16:50:37Z (GMT). No. of bitstreams: 1 Francine Delfino Gomes.pdf: 48847877 bytes, checksum: ed5bc8d68c468ca38c10f6bf98fdd865 (MD5) Previous issue date: 2018-09-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / O Ato Expropriatório pode ser conceituado como um ato administrativo, pelo qual o Poder Público adquire a propriedade de um bem para efetivação de um interesse coletivo, por intermédio de um procedimento denominado de desapropriação. O referido instrumento perdura ao longo de décadas no direito brasileiro, trazido inicialmente pelo Decreto de 21 de maio de 1821, anterior à independência do Brasil, o qual teve influências nos princípios que embasaram a Revolução Francesa. Ao longo dos anos muitas adequações legais vieram após a edição do referido dispositivo legal, eis que em 1941, houve a edição do até então vigente, Decreto-Lei 3.365, disciplinando o método de aplicação da desapropriação constitucionalmente prevista. Após a promulgação da constituição de 1988 muitos regramentos legais necessitaram de mudanças interpretativas, tendo vista a incompatibilidade com o texto maior. No caso do Decreto-Lei expropriatório a modificação interpretativa ainda não é um fato consumado, principalmente no que tange á autonomia municipal trazida pelos artigos 18, 23, 24 e 30, da Constituição Federal não compatíveis com o disposto no Artigo 2º, Parágrafo 2º, da Legislação Infraconstitucional, pois não prevê a possibilidade do ente municipal desapropriar Estado ou União. Assim como houve o reconhecimento da autonomia municipal no texto constitucional de 1988, houve também a adesão na norma constitucional da defesa do meio ambiente, a partir do contido no artigo 225 do referido texto. Tais elevações de status aos temas citados ¿ autonomia municipal e defesa do meio ambiente ¿ começam a ser aplicados com maior prioridade e mais respeitabilidade. Mais flagrante se torna a preocupação na correta aplicação dos dispositivos legais citados quando a tratativa se condensa na aplicação do Saneamento Básico para a defesa do meio ambiente, pois os projetos e as obras para implantação dessa importante proteção à saúde pública são, via de regra, de altos valores financeiros e de proporções gigantescas, ou seja, caso não haja a interpretação constitucional da autonomia municipal, não será possível desapropriar qualquer bem pertencente ao Estado ou à própria União que esteja no planejamento da efetivação do saneamento básico, contando, desta forma, o Município, apenas com a boa vontade dos demais entes federados. Sendo assim, até que haja uma efetiva mudança legal no texto da norma que cuida do tema será preciso fazer a correta interpretação da temática, visando a defesa do meio ambiente e do interesse local. / The expropriatory act can be considered as an administrative act, by which the Public Power acquires an property to do effect a collective interest, through a procedure called expropriation. The instrument is for decades in Brazilian law, began in Decree of May 21, 1821, before the independence of Brazil, which had influences on the principles that motivated the French Revolution. Over the years many legal adjustments came after the edition of this legal up until 1941, because there was the edition of Decree-Law 3.365 regulated the method of application of the constitutionally foreseen expropriation. After the promulgation of the 1988 constitution many legal regulations required interpretative changes, towards of the incompatibility with the Federal Constitution. In the case of the expropriatory Decree-Law, the interpretative modification is not yet a consummate fact, especially as regards the municipal autonomy brought by Articles 18, 23, 24 and 30 of the Federal Constitution, not compatible with the provisions of Article 2, Paragraph 2, of the Infraconstitutional Legislation, since it does not foresee the possibility of the municipal entity to expropriate state or Union. Just as there was the recognition of the municipal autonomy in the Constitutional Text of 1988, there was also the adhesion in the constitutional norm of the defense of the environment, from the contained in the article 225. Such elevations of status of the themes cited - municipal autonomy and environmental protection - begin to be applied with greater priority and more respectability. More important becomes the concern in the correct application of the legal provisions cited when speak of the Basic Sanitation for the defense of the environment, because the projects and the works for implantation of this important protection to the public health are, as a rule, of high financial values and gigantic proportions, therefore if there is no constitutional interpretation of municipal autonomy, it will not be possible to expropriate any property belonging to the State or to the Union itself that is planning the implementation of basic sanitation, the municipality, only with the good will of the other federated entities. So, until there is an effective legal change in the text of the norm that takes care of the theme will have to make the correct interpretation of the subject, aiming at the defense of the environment and the local interest.

Made available in DSpace on 2016-04-29T13:18:05Z (GMT). No. of bitstreams: 1 ana carmen.pdf: 438103 bytes, checksum: 918d056717333d77fc09477efa760621 (MD5) Previous issue date: 2004-04-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Chronic Mild Stress-induced anhedonia is an animal experimental model that exposes rats to a mild stressors regime for a long period of time. This model was proposed in 1987 Willner, Towell, Sampson, Sophokleus e Muscat. The purpose of the present study was to verify whether the exposure of rats to an operate procedure when a concurrent schedule with equal FR component, each one producing a different reinforcer (water or sucrose) would alter: a) the body weight; b) the water and sucrose intake, measured on weekly consumption and preference tests; c) the number of lever pressing responses on operant sessions, before, during and after the stress regime. The experimental design had three experimental conditions: total fluid intake and preference of sucrose over water tests, operant sessions of concurrent and the chronic mild stress regime. The subjects were differently exposed to these conditions. Group 1 subjects were exposed to six weeks of stress regime. Group 2 subjects were first submitted to the concurrent sessions (FR water FR sucrose), then they were exposed to the stress regime for six weeks and finally were put back in the concurrent schedule sessions. Group 3 subjects were submitted to concurrent sessions during the stress regime. All subjects of the three groups were submitted weekly to fluid intake and sucrose preference tests before, during and after the stress regime. A control subject was submitted to the consumption and preference tests without exposure either to stress regime or the operant sessions. Results showed five major points: 1) a change of body weight for all subjects exposed to the stress regime; 2) reduction in sucrose intake and in the preference for sucrose over water during the stress regime, measured by consumption and preference tests; 3) subjects submitted to the concurrent sessions before the stress regime recovered sucrose intake and preference for sucrose in the consumption and preference tests after the stress regime; 4) subjects submitted to the operant sessions presented more responses in the sucrose correspondent lever than in the water correspondent lever before and after the stress regime; 5) subjects submitted to operant sessions during the stress regime decreased response in sucrose correspondent lever during the stress regime, however two out of these three subjects recovered to the level of responding prior to stress regime before the stress regime was terminated / Chronic Mild Stress é um modelo animal experimental de anedonia induzida através da exposição de ratos a estressores moderados por um longo período de tempo. Este modelo foi proposto, em 1987, Willner, Towell, Sampson, Sophokleus e Muscat . O objetivo do presente estudo foi verificar se a exposição de ratos a sessões operantes de esquema concorrente FR água FR sacarose, de mesmo valor, durante este regime crônico de estressores moderados iria produzir alterações: a) no peso corporal dos sujeitos; b) no consumo de água e de sacarose, medido em testes semanais de consumo e de preferência de líquidos c) no número de respostas de pressão à barra emitidas nas sessões operantes comparado-se o número de respostas emitidas antes, durante e depois do regime de estressores. O delineamento foi composto de três condições experimentais: teste de consumo e de preferência de líquidos, sessões operantes de esquema concorrente e regime crônico de estressores moderados. Essas condições ocorreram de três diferentes maneiras para três grupos. Os sujeitos do grupo 1 foram expostos a seis semanas de regime de estressores. Os sujeitos do grupo 2 foram, primeiramente, expostos a sessões operantes de esquema concorrente FR água FR sacarose e, logo em seguida, passaram pelo regime de estressores e depois, novamente, pelas sessões de esquema concorrente. No grupo 3, as sessões de esquema concorrente FR água FR sacarose continuaram a acontecer uma vez por semana, durante o regime de estressores. Todos os sujeitos dos três grupos foram submetidos aos testes semanais de consumo e de preferência de líquidos antes, durante e depois do regime de estressores. Um sujeito controle foi submetido apenas aos testes de consumo e de preferência de líquidos, não houve exposição aos estressores nem foi submetido à sessões operantes. Cinco pontos principais foram observados nos resultados: 1) uma alteração do peso corporal presente em todos os sujeitos que foram exposto ao regime de estressores.; 2) uma redução na ingestão de sacarose e na preferência pela sacarose sobre a água ocorridas durante a exposição ao regime de estressores, medido através do teste de consumo e de preferência de líquidos; 3) os sujeitos que haviam sido submetidos às sessões operantes antes do regime de estressores voltaram a apresentar, nos teste de consumo e de preferência de líquidos, a mesma ingestão anterior à exposição aos estressores, ao contrário daqueles que não haviam sido submetidos às sessões operantes; 4) todos os sujeitos submetidos às sessões operantes responderam com maior freqüência na barra correspondente à liberação de sacarose do que na barra correspondente à água, tanto nas sessões realizadas antes do início, quanto nas realizadas após o término da exposição ao regime de estressores e 5) todos sujeitos submetidos a sessões operantes durante o regime de estressores reduziram o número de respostas na barra correspondente à sacarose durante da exposição aos estressores. Entretanto, dois destes três sujeitos retornaram aos valores anteriores antes do término da exposição aos estressores