Objetivou-se verificar a viabilidade de uma proposta de aperfeiçoamento a distância para a prática psicológica no atendimento à Enurese (EN) em Serviços-escola, Unidades Básicas de Saúde e consultórios particulares, situados em diferentes regiões do país e se o tempo de experiência dos psicólogos participantes da proposta estava relacionado com algumas variáveis como: o número de contatos de supervisão, o tempo para alta dos clientes, as variações nos escores de problemas de comportamento dos clientes e da intolerância dos pais deles. Foram participantes (N=40) psicólogos de diferentes regiões do país, de ambos os sexos, divididos em dois grupos conforme sua experiência, sendo G1: menos de 10 anos (n=27) e G2: mais de 10 anos (n=13). Os participantes receberam treinamento e supervisão num programa de Educação a Distância (EAD) e atenderam crianças ou adolescentes com queixa de EN. As informações e as questões relativas ao atendimento foram comunicadas ao participante, através da internet, pela qual ele também ofereceu respostas e subsídios para sua prática. Os participantes tiveram total liberdade de consultar o supervisor quantas vezes desejassem para solucionar questões ou buscar orientação. O atendimento que desenvolveram se deu através de intervenção comportamental com uso de aparelho nacional de alarme. A Escala de Intolerância foi utilizada para avaliação dos pais, e para avaliar os filhos utilizou-se o Inventário de Comportamentos da Infância e Adolescência CBCL e o Registro simples de \"molhadas\" (descontrole enurético) ao longo do atendimento. Os resultados foram de dois tipos: dos participantes psicólogos e de seus clientes e pais. Foram comparados os números médios de contatos entre os psicólogos e o supervisor, dos dois diferentes grupos de experiência, e os escores obtidos nos instrumentos de avaliação dos clientes aplicados antes e após a intervenção, a fim de verificar a efetividade do tratamento, além do decréscimo do número de molhadas durante este. Do total de participantes, 15 concluíram o tratamento de seus clientes tendo eles atingido os critérios de sucesso e alta, dois tiveram clientes que concluíram sem sucesso, 13 descontinuaram o tratamento, quatro não conseguiram clientes e seis permanecem atendendo seus clientes que não finalizaram o tratamento ao final da coleta dessa pesquisa. O G1 atingiu alta no tratamento com uma média de 20,1 (dp=9,96) contatos para supervisão ix em 20,4 semanas(dp=5,27). O G2 alcançou alta com média de 10,0 contatos (dp=5,30) em 20,4 semanas (dp=7,13). Observou-se, nos clientes, significativa redução nos escores na escala total de problemas de comportamento dos clientes e de intolerância de seus pais em ambos os grupos de participantes após o tratamento. Os resultados deste estudo são inferiores aos obtidos no atendimento com supervisão presencial realizados no país, mas aproximam-se deles, justificando portanto o seu uso. Esses dados demonstram a viabilidade dessa modalidade de atendimento / The objective was to examine feasibility of a distance improvement program of psychological practice in treating Enuresis (EN) in School-services, Basic Health Units, and private offices, located in different areas of the country and if the amount of experience time of the participating psychologists was in any way related to variables such as: the number of supervision contacts, time for client discharge, and intolerance of their parents. Participants were (N=40) psychologists from different regions of the country, from both genders, divided into two groups according to their experience, where G1: under 10 years (N=27), and G2: over 10 years (N=13). Participants received training and supervision in a Distance Learning program (EAD) and treated children or adolescents complaining about EN. Treatment information and related questions were made known to the participant through the internet, where answers and practice aid were also offered. Participants were totally free to consult with supervisor as many times as desired to solve issues or seek guidance. Developed treatment was performed by behavioral intervention with the use of national alarm device. Throughout treatment, the Intolerance Scale was used for parent evaluation, and the Child Behavior Checklist CBCL, as well as bedwetting Record for evaluating the children. Results were of two kinds: of participating psychologists and their clients and parents. The average number of contacts between participating psychologists and their supervisors, of the two experience groups, and pre and post treatment scores obtained in client evaluation instruments were compared in order to check treatment effectiveness, as well as the decrease in bedwetting throughout it. Of the total number of participants, 15 concluded treatment with client achieving success criteria and discharge, two had clients concluding without success, 13 discontinued treatment, four did not obtain clients, and six remained treating clients who had not finish treatment at the end of data collection for this research. G1 obtained treatment discharge with an average of 20.1 (SD=9.96) contacts for supervision in 20.4 weeks (SD=5.27). G2 obtained treatment discharge with an average of 10.0 contacts (SD=5.30) in 20.4 weeks (SD=7.13). Clients were observed to have a significant decrease in total behavior problems scale scores and parent intolerance in both groups of participants xi after treatment. Results of this study are inferior to the ones obtained in treatment with face to face supervision performed in the country, but are close, therefore justifying their use. Such data demonstrates feasibility for this treatment modality

A Política Nacional do Meio Ambiente visa compatibilizar o desenvolvimento socioeconômico com a qualidade ambiental. A Avaliação de Impacto Ambiental, um de seus instrumentos, utiliza-se do Estudo de Impacto Ambiental (EIA) na sua aplicação em projetos ou empreendimentos. A elaboração do EIA envolve a etapa de diagnóstico para análise da qualidade ambiental da área. A qualidade do EIA e do diagnóstico tem sido objeto de críticas e descrédito junto à sociedade, principalmente à comunidade científica e às associações ambientalistas. Sabe-se que a qualidade do diagnóstico influencia diretamente a efetividade processual do EIA e seu papel como influenciador da tomada de decisão; assim, uma avaliação da qualidade dessa etapa do EIA contribui com a aplicação mais efetiva desse instrumento. A pesquisa visou avaliar a qualidade do diagnóstico biótico dos EIAs do Estado de São Paulo elaborados entre 2005 e 2014. Para isso, proposições ao diagnóstico biótico foram reunidas em uma lista de verificação, utilizada para a avaliação de 55 diagnósticos bióticos e 35 termos de referência de EIAs. Os resultados foram analisados qualitativamente e em comparação com as recomendações dos termos de referência (TRs) analisados. Posteriormente, a qualidade dos diagnósticos foi analisada sob três perspectivas: aprovação dos estudos, tipo de empreendimento e ano de elaboração do EIA. Por fim, foi realizada análise de componentes principais não-linear (NLPCA) para os dados de diagnóstico, no intuito de testar a sugestão de aplicação dessa ferramenta para a identificação dos critérios determinantes para a qualidade dos diagnósticos e possíveis relações entre esses critérios e entre os estudos. A qualidade dos diagnósticos bióticos analisados foi mais satisfatória para aspectos descritivos do que analíticos. Foram determinantes para a qualidade dos estudos critérios relativos à coleta de dados quantitativos e levantamentos para espécies raras, segundo a NLPCA. Tempo de levantamento e sazonalidade foram considerados insatisfatórios, e apresentaram relação estatística com a identificação do grau de vulnerabilidade da área. Os resultados realçaram a importância da sistematização de dados de biodiversidade em fontes confiáveis e atualizadas para elaboração e análise de diagnósticos, e para TRs mais específicos, uma vez que, apesar de estarem sendo cumpridos pelos estudos, os TRs são genéricos e apresentam mais recomendações descritivas do que analíticas. Não houve diferença representativa entre a qualidade dos diagnósticos referentes a estudos aprovados e não aprovados, o setor de Obras Hidráulicas apresentou avaliações mais satisfatórias, o que foi salientado pela NLPCA e pode estar relacionado ao porte do projeto, e a análise temporal evidenciou uma tendência de melhora dos estudos e TRs. Tanto a lista de verificação quanto a NLPCA se mostraram ferramentas adequadas para a investigação da qualidade de diagnósticos biológicos de EIA / The Brazilian National Environmental Policy established Environmental Impact Assessment (EIA) as one of the 13 tools to reconcile socio-economic development with environmental quality. EIA involves the Environmental Impact Statements (EIS) in its application to development projects. EIS drafting involves a baseline step for analysis of environmental quality of the area. The quality of the EIS and the baseline process has been criticized by society, especially by scientific community and environmental groups, and this quality directly influences the effectiveness of the EIA procedure and its role as a decision making tool. Thus, an evaluation of the quality of this EIS step contributes to a more effective application of this instrument. The research aimed to evaluate the quality of biotic baseline studies of EIS drawn up between 2005 and 2014 in the state of São Paulo. We assessed 55 biotic baseline studies and 35 terms of reference (TRs) of EISs by a checklist which consists of a set of recommendations from literature and regulations to biotic baseline studies. The results of baseline and TRs were analyzed qualitatively and compared to one another. Then, we looked at the baseline quality under three approaches: license emission, sector and project type of activity, and year of EIS preparation. Finally, multivariate analysis was performed by Nonlinear Principal Component Analysis (NLPCA) for the baseline quality data in order to test the application of this analysis for the identification of critical and determinant criteria for the quality of baseline and the investigation of how these criteria and the EISs are related to one another. Results point to more satisfactory descriptive than analytical issues. Criteria of quantitative data collecting and surveys of rare species were determinants for baseline quality. Time of survey and seasonality was an unsatisfactory criterion, and statistically related to the vulnerability degree of the area. Results highlighted the importance of systematization of biodiversity data in reliable and updated sources useful for EISs preparation and analysis and for the draft of TRs in a more specific way. TRs were satisfactorily complied by the baseline content, but they are generic and present more descriptive than analytical recommendations. There was no representative difference between the quality of baseline of approved and not approved EISs. Hydraulic project showed more satisfactory evaluations, emphasized by NLPCA, and it may be related to the size of the project. Temporal analysis highlighted an improvement trend of studies and TRs. Thus, both the checklist as NLPCA proved to be suitable tools to the assessment of biological baseline studies of EIS

Neste trabalho é apresentado um método de refinamento para especificações de sistemas embarcados, baseado na linguagem de especificação gráfica UML-RT e na linguagem de especificação formal CSP-OZ. A linguagem UML-RT é utilizada para descrever a arquitetura de sistemas de tempo real distribuídos e esses mapeados para uma especificação formal através de CSP-OZ. A linguagem de especificação formal CSP-OZ é a combinação da linguagem orientada a objetos Object-Z e a algebra de processos CSP, que descreve o comportamento de processos concorrentes. O método de refinamento proposto é baseado na integração de dois métodos: o de bi-simulação, para refinar a parte comportamental da especificação descrita por CSP; e o de equivalência de especificações, para refinar as estruturas de dados descritas por Object-Z, permitindo assim que características de orientação a objetos possam ser utilizadas. Com o método proposto é possível refinar especificações e, conseqüentemente, verificá-las com sua implementação. O desenvolvimento desse método é rigoroso, incluindo a definição formal para um metamodelo da UML-RT. Um exemplo detalhado é apresentado no final deste trabalho. / In this work, a method of refinement of embedded systems specifications based on the graphical specification language UML-RT and the formal specification CSP-OZ is introduced. The UML-RT is used to model real time distributed architecture systems and these are mapped onto formal specifications using CSP-OZ. The CSP-OZ formal specification language is a combination of the state-based object oriented language Object-Z and the CSP process algebra that describes behavioral models of concurrent processes. The rationale of the proposed refinement method is twofold, the use of bisimulation to refine the behavioral part and the specification matching algorithm to refine the state-based part, supporting object-oriented characteristics. Using this result, an equivalence between the specification-matching algorithm and simulation rules is showed. Using the proposed method it is possible to refine CSP-OZ specifications and verify them against their implementations. The development of the proposed refinement method is rigorous, including a formal definition for a UML-RT metamodel. A detailed study case is given at the end of this work.

O programa CBERS é uma parceria entre o governo Brasileiro e o governo Chinês para desenvolvimento de satélites para sensoriamento remoto. A metodologia proposta será aplicada na Câmera Multi Espectral (MUXCAM) dos satélites CBERS-3 e 4, a primeira deste gênero a ser totalmente produzida no Brasil. Devido à alta confiabilidade exigida, principalmente devido ao custo elevado, as aplicações aeroespaciais que envolvem hardware reconfigurável devem possuir uma metodologia de desenvolvimento, desde a definição dos requisitos até o processo de verificação e validação. A utilização da linguagem VHDL e da ferramenta de síntese, processo este chamado de metodologia clássica, produzem um circuito final não otimizado, eliminando redundâncias e alterando a arquitetura proposta. Este trabalho propõe uma metodologia que busca garantir a utilização de uma única arquitetura desde o início do ciclo de desenvolvimento até sua finalização. Esta metodologia torna o processo de desenvolvimento mais confiável e determinístico. / The CBERS program is a partnership between Brazil and China to produce satellites for remote sensing, producing images of the Earth for studies in several areas, mainly the ones related to the sustainable exploitation of natural resourses. The methodology proposed in this work will be applied on the satellite CBERS-3 e 4\'s Multispectral Camera (MUXCAM), the first of its gender fully produced in Brazil. Because the high reliability involved in aerospace applications, a methodology is necessary from software specification until the verification and validation process to guarantee the high reliability. The use of the synthesis tool and VHDL produce a poor circuit, eliminating redundance and making architectural changes. This work proposes a methodology to keep the architectural the same all development cycle, make the development process more trustful for aerospace applications.

Neste trabalho é apresentado um método de refinamento para especificações de sistemas embarcados, baseado na linguagem de especificação gráfica UML-RT e na linguagem de especificação formal CSP-OZ. A linguagem UML-RT é utilizada para descrever a arquitetura de sistemas de tempo real distribuídos e esses mapeados para uma especificação formal através de CSP-OZ. A linguagem de especificação formal CSP-OZ é a combinação da linguagem orientada a objetos Object-Z e a algebra de processos CSP, que descreve o comportamento de processos concorrentes. O método de refinamento proposto é baseado na integração de dois métodos: o de bi-simulação, para refinar a parte comportamental da especificação descrita por CSP; e o de equivalência de especificações, para refinar as estruturas de dados descritas por Object-Z, permitindo assim que características de orientação a objetos possam ser utilizadas. Com o método proposto é possível refinar especificações e, conseqüentemente, verificá-las com sua implementação. O desenvolvimento desse método é rigoroso, incluindo a definição formal para um metamodelo da UML-RT. Um exemplo detalhado é apresentado no final deste trabalho. / In this work, a method of refinement of embedded systems specifications based on the graphical specification language UML-RT and the formal specification CSP-OZ is introduced. The UML-RT is used to model real time distributed architecture systems and these are mapped onto formal specifications using CSP-OZ. The CSP-OZ formal specification language is a combination of the state-based object oriented language Object-Z and the CSP process algebra that describes behavioral models of concurrent processes. The rationale of the proposed refinement method is twofold, the use of bisimulation to refine the behavioral part and the specification matching algorithm to refine the state-based part, supporting object-oriented characteristics. Using this result, an equivalence between the specification-matching algorithm and simulation rules is showed. Using the proposed method it is possible to refine CSP-OZ specifications and verify them against their implementations. The development of the proposed refinement method is rigorous, including a formal definition for a UML-RT metamodel. A detailed study case is given at the end of this work.

Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-15T21:23:16Z No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-16T15:00:54Z (GMT) No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-16T15:02:16Z (GMT) No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) / Made available in DSpace on 2015-06-16T15:02:16Z (GMT). No. of bitstreams: 1 Dissertacao-Alessandro B Trindade.pdf: 1833454 bytes, checksum: 132beb74daa71e138bbfcdc0dcf5b174 (MD5) Previous issue date: 2015-02-09 / Não Informada / When performing hardware/software co-design for embedded systems, does emerge the problem of allocating properly which functions of the system should be implemented in hardware (HW) or in software (SW). This problem is known as HW/SW partitioning and in the last ten years, a significant research effort has been carried out in this area. In this proposed project, we present two new approaches to solve the HW/SW partitioning problem by using SMT-based verification techniques, and comparing the results using the traditional technique of Integer Linear Programming (ILP) and a modern method of optimization by Genetic Algorithm (GA). The goal is to show with experimental results that model checking techniques can be effective, in particular cases, to find the optimal solution of the HW/SW partitioning problem using a state-of-the-art model checker based on Satisfiability Modulo Theories (SMT) solvers, when compared to the traditional techniques. / Quando se realiza um coprojeto de hardware/software para sistemas embarcados, emerge o problema de se decidir qual função do sistema deve ser implementada em hardware (HW) ou em software (SW). Este tipo de problema recebe o nome de particionamento de HW/SW. Na última década, um esforço significante de pesquisa tem sido empregado nesta área. Neste trabalho, são apresentadas duas novas abordagens para resolver o problema de particionamento de HW/SW usando técnicas de verificação formal baseadas nas teorias do módulo da satisfabilidade (SMT). São comparados os resultados obtidos com a tradicional técnica de programação linear inteira (ILP) e com o método moderno de otimização por algoritmo genético (GA). O objetivo é demonstrar, com os resultados empíricos, que as técnicas de verificação de modelos podem ser efetivas, em casos particulares, para encontrar a solução ótima do problema de particionamento de HW/SW usando um verificador de modelos baseado no solucionador SMT, quando comparado com técnicas tradicionais.

A Política Nacional do Meio Ambiente visa compatibilizar o desenvolvimento socioeconômico com a qualidade ambiental. A Avaliação de Impacto Ambiental, um de seus instrumentos, utiliza-se do Estudo de Impacto Ambiental (EIA) na sua aplicação em projetos ou empreendimentos. A elaboração do EIA envolve a etapa de diagnóstico para análise da qualidade ambiental da área. A qualidade do EIA e do diagnóstico tem sido objeto de críticas e descrédito junto à sociedade, principalmente à comunidade científica e às associações ambientalistas. Sabe-se que a qualidade do diagnóstico influencia diretamente a efetividade processual do EIA e seu papel como influenciador da tomada de decisão; assim, uma avaliação da qualidade dessa etapa do EIA contribui com a aplicação mais efetiva desse instrumento. A pesquisa visou avaliar a qualidade do diagnóstico biótico dos EIAs do Estado de São Paulo elaborados entre 2005 e 2014. Para isso, proposições ao diagnóstico biótico foram reunidas em uma lista de verificação, utilizada para a avaliação de 55 diagnósticos bióticos e 35 termos de referência de EIAs. Os resultados foram analisados qualitativamente e em comparação com as recomendações dos termos de referência (TRs) analisados. Posteriormente, a qualidade dos diagnósticos foi analisada sob três perspectivas: aprovação dos estudos, tipo de empreendimento e ano de elaboração do EIA. Por fim, foi realizada análise de componentes principais não-linear (NLPCA) para os dados de diagnóstico, no intuito de testar a sugestão de aplicação dessa ferramenta para a identificação dos critérios determinantes para a qualidade dos diagnósticos e possíveis relações entre esses critérios e entre os estudos. A qualidade dos diagnósticos bióticos analisados foi mais satisfatória para aspectos descritivos do que analíticos. Foram determinantes para a qualidade dos estudos critérios relativos à coleta de dados quantitativos e levantamentos para espécies raras, segundo a NLPCA. Tempo de levantamento e sazonalidade foram considerados insatisfatórios, e apresentaram relação estatística com a identificação do grau de vulnerabilidade da área. Os resultados realçaram a importância da sistematização de dados de biodiversidade em fontes confiáveis e atualizadas para elaboração e análise de diagnósticos, e para TRs mais específicos, uma vez que, apesar de estarem sendo cumpridos pelos estudos, os TRs são genéricos e apresentam mais recomendações descritivas do que analíticas. Não houve diferença representativa entre a qualidade dos diagnósticos referentes a estudos aprovados e não aprovados, o setor de Obras Hidráulicas apresentou avaliações mais satisfatórias, o que foi salientado pela NLPCA e pode estar relacionado ao porte do projeto, e a análise temporal evidenciou uma tendência de melhora dos estudos e TRs. Tanto a lista de verificação quanto a NLPCA se mostraram ferramentas adequadas para a investigação da qualidade de diagnósticos biológicos de EIA / The Brazilian National Environmental Policy established Environmental Impact Assessment (EIA) as one of the 13 tools to reconcile socio-economic development with environmental quality. EIA involves the Environmental Impact Statements (EIS) in its application to development projects. EIS drafting involves a baseline step for analysis of environmental quality of the area. The quality of the EIS and the baseline process has been criticized by society, especially by scientific community and environmental groups, and this quality directly influences the effectiveness of the EIA procedure and its role as a decision making tool. Thus, an evaluation of the quality of this EIS step contributes to a more effective application of this instrument. The research aimed to evaluate the quality of biotic baseline studies of EIS drawn up between 2005 and 2014 in the state of São Paulo. We assessed 55 biotic baseline studies and 35 terms of reference (TRs) of EISs by a checklist which consists of a set of recommendations from literature and regulations to biotic baseline studies. The results of baseline and TRs were analyzed qualitatively and compared to one another. Then, we looked at the baseline quality under three approaches: license emission, sector and project type of activity, and year of EIS preparation. Finally, multivariate analysis was performed by Nonlinear Principal Component Analysis (NLPCA) for the baseline quality data in order to test the application of this analysis for the identification of critical and determinant criteria for the quality of baseline and the investigation of how these criteria and the EISs are related to one another. Results point to more satisfactory descriptive than analytical issues. Criteria of quantitative data collecting and surveys of rare species were determinants for baseline quality. Time of survey and seasonality was an unsatisfactory criterion, and statistically related to the vulnerability degree of the area. Results highlighted the importance of systematization of biodiversity data in reliable and updated sources useful for EISs preparation and analysis and for the draft of TRs in a more specific way. TRs were satisfactorily complied by the baseline content, but they are generic and present more descriptive than analytical recommendations. There was no representative difference between the quality of baseline of approved and not approved EISs. Hydraulic project showed more satisfactory evaluations, emphasized by NLPCA, and it may be related to the size of the project. Temporal analysis highlighted an improvement trend of studies and TRs. Thus, both the checklist as NLPCA proved to be suitable tools to the assessment of biological baseline studies of EIS

Submitted by Hellen Luz (hellencrisluz@gmail.com) on 2017-09-04T16:05:06Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_AnaliseAcaoEficiencia.pdf: 8849521 bytes, checksum: 856b5a5ccc7c04435978c821e01ebbe0 (MD5) / Approved for entry into archive by Irvana Coutinho (irvana@ufpa.br) on 2017-09-12T16:29:04Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_AnaliseAcaoEficiencia.pdf: 8849521 bytes, checksum: 856b5a5ccc7c04435978c821e01ebbe0 (MD5) / Made available in DSpace on 2017-09-12T16:29:04Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_AnaliseAcaoEficiencia.pdf: 8849521 bytes, checksum: 856b5a5ccc7c04435978c821e01ebbe0 (MD5) Previous issue date: 2017-04-28 / A matriz energética mundial é bastante dependente das fontes não renováveis de energia, assim, a adoção de novas tecnologias e estratégias que visem à eficiência energética são ações fundamentais, face às mudanças climáticas, escassez dos recursos naturais e demanda crescente de energia. Nesse sentido, o progresso autônomo da tecnologia dos LEDs, do inglês “Light-Emitting Diode”, e o progresso induzido, praticado pelo governo brasileiro, em eficiência energética são alavancas propulsoras para o crescimento das medidas de conservação de energia em todos os setores da economia. Nesse contexto, o presente trabalho vem propor uma metodologia que busca reduzir o consumo de energia elétrica na Administração Pública. O método proposto é aplicado em um estudo de caso na Superintendência do Desenvolvimento da Amazônia (SUDAM), uma Autarquia Federal, utilizando-se, em um primeiro momento, de um pré-diagnóstico energético capaz de embasar a implementação de Ações de Eficiência Energética (AEE) por meio de medidas técnico-administrativas e, em um segundo momento, amparado por um diagnóstico energético aprofundado no sistema de iluminação artificial, sugere e emprega o LED na iluminação artificial de alguns ambientes da SUDAM. Para subsidiar a metodologia proposta é utilizado o software RETScreen® e a metodologia do Guia de M&V (Medição e Verificação) da Agência Nacional de Energia Elétrica (ANEEL) tendo como premissas, respectivamente, analisar a oportunidade percebida no diagnóstico energético e quantificar os resultados obtidos admitindo a substituição de todas as lâmpadas antigas por lâmpadas LED. O trabalho apresenta os resultados, satisfatórios, provenientes das Ações de Eficiência Energética e conclui também que a utilização do LED na iluminação artificial da SUDAM possui viabilidade de aplicação com recursos próprios da Instituição, configura-se como uma proposta de projeto válida para Chamadas Públicas, que devem ser ofertadas pela concessionária de energia local, no âmbito do Programa de Eficiência Energética (PEE) regulado pela ANEEL, possibilidade de obter a Etiqueta Nacional de Conservação de Energia (ENCE) parcial para o sistema de iluminação e ainda servir como parâmetro e motivação para os demais Órgãos do Setor Público. / The world energy matrix is a lot dependent of non-renewable energy source, thus, the adoption of new technologies and strategies that aim the Energy Efficiency are actions fundamental, against climate changes, scarcity of natural resources and increase energy demand. This form, an autonomous progress of Lights-Emitting Diodes (LED) technology and an induction progress, practiced for Brasilian Government, in Energy Efficiency are levers to growth action energy conservation in all sectors of the economy. With that intent, this work comes to propose an methodology that search reduce the energy consumption in Public Administration. The method proposed is applied in case study in Amazon Development Superintendence (SUDAM), an Autarchy the Federal, using, in a first moment, of a pre-diagnosis capable of to base the implementation of energy efficiency action by means of steps technical-administrative and, in a second moment, supported by an deep energy diagnosis in artificial lighting system, it suggests and employs the LED in lighting some SUDAM environments. To subsidize the proposed methodology is used the software RETScreen® and the methodology of Measure and Verification Guide of the National Electrical Energy Agency (ANEEL), by having like premise, respectively, an analyze of an opportunity perceived in energy diagnostic and results quantify obtained admitting the renewal of all old lamps for LED lamps. The work presents results, satisfactory, from of energy efficiency actions and it concludes also that use of LED in artificial lighting of SUDAM it has viability application with own resource Institution’s, sets up like a propose valid of project to Calls Public, that must be offered by electrical utility, in ambit of the Efficient Energy Program regulated by the ANEEL, possibility of get National Energy Conservation Label, partial, to lighting system and still serve like parameter and motivation to the other Agencies of Public Sector.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / As pontes rodoviárias de concreto armado estão sujeitas à ações dinâmicas variáveis devido ao tráfego de veículos sobre o tabuleiro. Estas ações dinâmicas nem sempre são corretamente consideradas pelos projetistas. Deste modo, a correta consideração destes aspectos mostra-se de fundamental importância, de forma a se avaliar os esforços dinâmicos oriundos do tráfego de veículos sobre o tabuleiro. De acordo com este contexto, a ponte rodoviária investigada nesta dissertação é constituída por duas vigas longitudinais, três transversinas, sendo uma central e duas sobre os apoios, e por um tabuleiro em concreto armado. O modelo computacional, desenvolvido para a análise dinâmica da ponte, foi concebido com base no emprego de técnicas usuais de discretização através do método dos elementos finitos. Os veículos são representados a partir de sistemas do tipo "massa-mola-amortecedor". O tráfego destes veículos é considerado mediante a simulação de comboios semi-infinitos, deslocando-se com velocidade constante sobre a ponte. As técnicas para a contagem de ciclos de tensões e a aplicação das regras de dano acumulado foram analisadas através das curvas S-N de diversas normas e recomendações internacionais vigentes que versam sobre o tema. As conclusões deste trabalho de pesquisa se referem à análise da resposta dinâmica bem como da vida útil de serviço da obra de arte rodoviária de concreto armado investigada, quando submetida às ações dinâmicas provenientes do tráfego de veículos pesados sobre o tabuleiro. / Reinforced concrete highway bridges are subjected to dynamic actions of variable magnitude due to vehicles crossing on the deck pavement. In general, these dynamic actions are not properly considered by the designers. The proper consideration of these aspects has shown to be of fundamental importance to assess the actions from the vehicles traffic on the bridge deck. According to this context the investigated bridge consists of two longitudinal beams (girders), three transverse beams, one central and two on the supports, and a reinforced concrete deck. The computational model, developed for the bridge dynamic analysis, adopted the usual mesh refinement techniques present in finite element method simulations. The vehicles were simulated by spring-mass-damper models. The vehicles traffic is considered based on semi infinity convoys moving with constant speed on the bridge deck. The stress cycles counting techniques and the cumulative damage rules were applied through S-N curves related to international codes. The conclusions of this research were related to the dynamic response as well the service life of the investigated highway reinforced concrete bridge, when subjected to dynamic actions from the heavy vehicles traffic on the deck pavement surface.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-31T22:55:43Z No. of bitstreams: 1 CATUXE VARJÃO DE SANTANA OLIVEIRA - PPGCC DISSERTAÇÃO 2013..pdf: 11354934 bytes, checksum: 6a23f31ef43ba211aeaa89eb36061a43 (MD5) / Made available in DSpace on 2018-08-31T22:55:43Z (GMT). No. of bitstreams: 1 CATUXE VARJÃO DE SANTANA OLIVEIRA - PPGCC DISSERTAÇÃO 2013..pdf: 11354934 bytes, checksum: 6a23f31ef43ba211aeaa89eb36061a43 (MD5) Previous issue date: 2013-03-15 / A escrita de especificações formais por contratos é uma maneira confiável e prática de construir softwares, em que desenvolvedores e clientes mantêm um acordo contendo direitos e obrigações a serem cumpridos. Essas responsabilidades são expressas basicamente através de pré-condições, pós-condições, e invariantes. Como exemplo de linguagem de especificação por contrato tem-se Java Modeling Language (JML) específica para programas Java. Apesar de a especificação formal melhorar a confiabilidade do software, deve-se haver certificação de que a implementação está em conformidade com a especificação definida. Verificação de conformidade em programas com contratos é geralmente realizada através de análises manuais ou verificação dinâmica, e em fases tardias do processo de desenvolvimento do software, ou seja, quando o produto final encontra-se disponível para o cliente. Nesta situação, o tempo despendido para detectar não-conformidades pode ser muito longo, ocasionando, consequentemente, atrasos no cronograma e aumento nos custos. Neste trabalho, propomos uma abordagem para checar conformidade entre código fonte e especificação formal por contratos através da geração e execução de testes. Testes de unidade são gerados automaticamente, resultando em casos de testes com sequências de chamadas aos métodos e construtores. Os contratos são transformados em assertivas que funcionam como oráculo para os testes. Esta abordagem não garante corretude total do software, mas aumenta a confiança quando uma não-conformidade é encontrada e, além disso, encoraja o uso de especificação por contratos. Nós implementamos JMLOK, uma ferramenta que executa os passos desta abordagem automaticamente no contexto de programas Java especificados com Java Modeling Language (JML). JMLOK foi avaliada em grupos de programas Java/JML, incluindo um módulo do projeto JavaCard. Todas as unidades experimentais totalizam 18 KLOC e 5K de linhas de especificação JML. Todo o processo consumiu menos que 10 minutos de execução e gerou como resultado a detecção de 29 não-conformidades. As causas das ocorrências das não-conformidades foram analisadas manualmente e classificadas em categorias de falhas. / Writing formal specifications by contracts is a practical and reliable way to build softwares in which developers and clients keep an agreement with rights and obligations to be fulfilled. These responsibilities are expressed basically by pre-conditions, post-conditions and invariants. As example of specification language by contract there is Java Modeling Language (JML) that is specific to Java programs. Although formal specification improves software rehabihty, it should exist certification of conformance with defined specification. Verify conformance between programs and contracts is usually performed by manual analysis or dynamic verification, and in late stages of software development process, that is, when the final product is available to client. In this situation, the time required to detect nonconformances could be so long, causing, consequently, schedule delays and increased costs. In this work, we propose an approach to check conformance between source code and contract formal specification through testing generation and execution. Unit tests are generated automatically resulting in test cases with call sequences of methods and constructors. The contracts are translated in assertions that work like test oracle. We have implemented JMLOK, a tool performs the approach steps automatically in the context of Java programs specified with Java Modeling Language (JML). JMLOK was evaluated in Java/JML programs groups, including a module of the JavaCard project. All the experimental units totalize 18 KLOC and 5K lines of JML specification. All process took less than 10 minutes of running and generated as result 29 nonconformances. The causes of nonconformances occurring were analyzed manually and classified in categories of fails.