• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 84
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • Tagged with
  • 95
  • 61
  • 13
  • 11
  • 11
  • 10
  • 10
  • 10
  • 10
  • 9
  • 9
  • 9
  • 8
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Cintilografia miocárdica quantitativa com Tc-99m sestamibi e correção de atenuação : desenvolvimento de base de dados normal gênero-independente de estudos de perfusão miocárdica de estresse e validação multicêntrica em população de pacientes obesos

Grossman, Gabriel Leo Blacher January 2004 (has links)
Resumo não disponível
32

Estratégia para a redução da emissão de dióxido de carbono gerada pelo consumo de energia em segmentos industriais brasileiros

Carvalho, Elissandra Rubim de, 99361-1476 15 December 2016 (has links)
Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-07-20T13:59:14Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Reprodução Não Autorizada.pdf: 47716 bytes, checksum: 0353d988c60b584cfc9978721c498a11 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-07-20T13:59:27Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Reprodução Não Autorizada.pdf: 47716 bytes, checksum: 0353d988c60b584cfc9978721c498a11 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-07-20T13:59:40Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Reprodução Não Autorizada.pdf: 47716 bytes, checksum: 0353d988c60b584cfc9978721c498a11 (MD5) / Made available in DSpace on 2017-07-20T13:59:40Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Reprodução Não Autorizada.pdf: 47716 bytes, checksum: 0353d988c60b584cfc9978721c498a11 (MD5) Previous issue date: 2016-12-15 / Global climate changes have been of great concern to all governments and nations for many years. Many scientists point to the increase in concentrations of greenhouse gases (GHG) as responsible for these climate changes. Faced with this problem, this paper proposes to present strategies for the mitigation of impacts related to the pollution of the Brazilian industry. The strategies presented here they are focused on proposals to replace fossil fuels, carbon intensive, for renewable sources. For this, we sought an analysis of the energy consumption structure and the issue of balance of CO2 every Brazilian industrial sector, identifying the industries with the greatest potential to reduce emissions and thus identify effective mitigation measures. The research method also uses the top-down methodology of the IPCC (Intergovernmental Panel on Climate Change) to measure the current CO2 emissions and predict future emissions of this pollutant by replacing energy. In conclusion, he emphasized the importance of working with mitigation measures in the industrial sector of Pig iron and steel, due to the high consumption of fossil fuels, non-renewable energy sources that contribute to high concentration of CO2 in the atmosphere. / As mudanças climáticas globais têm sido motivo de grande preocupação para todos os governos e nações há muitos anos. Muitos cientistas apontam o incremento nas concentrações de gases de efeito estufa (GEE) como responsável por essas mudanças climáticas. Diante desta problemática, este trabalho propõe apresentar estratégias para a mitigação dos impactos relacionados com a poluição da indústria brasileira. As estratégias aqui apresentadas estão focadas em propostas para substituição de combustíveis fósseis, intensivos em carbono, por fontes renováveis. Para isso, buscou-se uma análise da estrutura de consumo de energia e do balanço de emissão de CO2 de todo setor industrial brasileiro, identificando os segmentos industriais com maior potencial para redução de emissão e, assim, identificar medidas de mitigação eficazes. O método de pesquisa utiliza, também, a metodologia top-down do IPCC (Intergovernmental Panel on Climate Change) para mensurar a emissão atual de CO2 e prever a emissão futura desse poluente com a substituição de energéticos. Como conclusão, destacou-se a importância de se trabalhar com medidas de mitigação no setor industrial de ferro-gusa e aço, devido ao alto consumo de combustíveis fósseis, fontes de energia não-renováveis que contribuem com alta concentração de CO2 na atmosfera.
33

Uso combinado de monensina e nitrato como manipuladores da cinética e da fermentação ruminal para mitigação da produção de metano em bovinos / Combined use of monensin and nitrate as kinetic and ruminal fermentation manipulators to mitigate methane production in cattle

Italo Escribano Borges 23 March 2018 (has links)
Com o presente estudo objetivou-se avaliar o efeito da interação entre a adição de monensina e diferentes níveis de nitrato de cálcio à dieta de bovinos como manipuladores do metabolismo ruminal. Foram utilizadas oito fêmeas bovinas da raça Nelore, com peso vivo médio de 519 ± 56 kg, alimentadas com diferentes níveis de nitrato de cálcio na dieta (0%, 1,5%, 3% e 4,5%) e adição ou não de monensina (30 ppm), sendo utilizado delineamento quadrado latino 4 x 4 replicado, em um arranjo fatorial 2 x 4. Foram avaliados o consumo de matéria seca e de água, comportamento ingestivo, digestibilidade aparente total, excreção dos nutrientes, degradabilidade ruminal, taxa de passagem, parâmetros urinários, pH ruminal e os parâmetros e produtos da fermentação ruminal. A coleta de conteúdo ruminal foi realizada no dia 25 antes (0), 3, 6, 9, e 12 horas após a alimentação matinal para quantificação dos produtos da fermentação ruminal, além da concentração de nitrogênio amoniacal (N-NH3) e a contagem total e diferencial de protozoários. A interação entre a monensina e os níveis de nitrato de cálcio não foi significativa para nenhum dos parâmetros estudados. O consumo de matéria seca apresentou redução de até 10% conforme o aumento dos níveis de nitrato de cálcio. Por outro lado, ao avaliar o comportamento ingestivo, observou-se que os animais passaram mais tempo comendo e menos tempo ruminando conforme o aumento dos níveis de nitrato de cálcio. Não houve efeito da monensina, nem dos níveis de nitrato de cálcio sobre a digestibilidade aparente, excreção dos nutrientes, degradabilidade ruminal, taxa de passagem. Entretanto, a monensina diminuiu a excreção de ureia na urina e a excreção dos derivados de purinas, consequentemente, diminuindo a síntese de nitrogênio microbiano (Nmic). Apesar disso, a eficiência de Nmic não foi alterada. Para os parâmetros de fermentação ruminal, a inclusão dos níveis de nitrato de cálcio reduziu a produção de metano em até 32,4% sem afetar a produção dos AGCC, com exceção do ácido butírico, que apresentou redução de até 25,7%. Adicionalmente não observou-se efeito de ambos os aditivos sobre a concentração de N-NH3, contagem total de protozoários e pH ruminal. O nitrato de cálcio se mostrou eficiente em diminuir a produção de metano ruminal sem influenciar negativamente nos parâmetros de cinética e fermentação ruminal, demonstrando assim ser uma alternativa confiável ao uso na nutrição de ruminantes com vista a mitigação de metano, além de ser uma boa fonte de nitrogênio não proteico para a síntese de Nmic. / The study aimed to evaluate the effect of the interaction between monensin and different levels of calcium nitrate in the diet of cattle as manipulators of ruminal metabolism. Eight Nellore cattle, with initial average weight of 519 ± 56 kg, were fed with different levels of dietary calcium nitrate (0%, 1.5%, 3% and 4.5%) at four periods with 29 days each. The experimental design was composed by a replicate 4x4 Latin square design in a 2x4 factorial arrangement. The dry matter and water intake, ingestive behavior, total apparent digestibility, nutrient excretion, ruminal degradability, passage rate, urinary parameters, ruminal pH and the parameters and products of ruminal fermentation were evaluated. The ruminal content was collected on day 25 before (0), 3, 6, 9 and 12 hours after the morning feeding to quantify ruminal fermentation products, as well as the ammonia nitrogen concentration (N-NH3) and the total protozoa count. The interaction between monensin and calcium nitrate levels was not significant for any of the parameters studied. The dry matter consumption presented reduction of up to 10% as the levels of calcium nitrate increased. On the other hand, when evaluating the ingestive behavior, it was observed that the animals spent more time eating and less time ruminating as the levels of calcium nitrate increased. There was no effect of monensin, nor of calcium nitrate levels on apparent digestibility, nutrient excretion, rumen degradability, passage rate. However, monensin decreased the urine excretion of urea and excretion of the purine derivatives, consequently reducing the synthesis of microbial nitrogen (Nmic). Despite this, the efficiency of Nmic was not altered. For the ruminal fermentation parameters, the inclusion of calcium nitrate levels reduced the production of methane by up to 32.4% without affecting the production of VFAs, with the exception of butyric acid, which presented reduction of up to 25.7%. In addition, both additives had no effect on N-NH3 concentration, total protozoa count and ruminal pH was observed. The calcium nitrate was efficient in reducing the ruminal methane production without negatively influencing the parameters of kinetic and ruminal fermentation, proving to be a good alternative to use in ruminant diets in order to mitigate methane, besides being a good source of non-protein nitrogen for the synthesis of Nmic.
34

Integração de análise de incertezas e ajuste de histórico = aplicação em um caso complexo / Integration of uncertainty analysis with history matching : application in a complex case

Silva, Luciana dos Santos 19 August 2018 (has links)
Orientador: Denis José Schiozer / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-19T21:21:13Z (GMT). No. of bitstreams: 1 Silva_LucianadosSantos_M.pdf: 12675920 bytes, checksum: 63532a17aa12aa538936a8b7e2f0b435 (MD5) Previous issue date: 2011 / Resumo: A grande quantidade de incertezas presente na modelagem de reservatórios gera riscos na previsão de comportamento de um campo de petróleo. Assim, torna-se imprescindível o ajuste de histórico, que é a calibração do modelo de simulação do reservatório com os dados dinâmicos observados, aproximando o modelo da realidade e gerando previsões mais confiáveis. Diversas metodologias surgiram para integrar a análise de incertezas com o ajuste de histórico, mas devido à complexidade do processo, algumas delas só se aplicam a casos simples. A proposta deste trabalho é aplicar os métodos desenvolvidos por Moura Filho (2006), Becerra (2007) e Maschio et al. (2010) em um caso complexo sintético, similar a um modelo real de um reservatório de petróleo e avaliá-los para propor melhorias na metodologia. A técnica consiste em utilizar as diferenças entre os dados de produção observados e os simulados para reduzir as incertezas do reservatório, calculando as probabilidades dos níveis dos parâmetros incertos. Para isso, os atributos incertos são discretizados em três níveis e é feita uma análise de sensibilidade para escolher os atributos críticos, os quais são combinados através da árvore de derivação para gerar os diferentes modelos de simulação. Com os dados históricos (medidos) e simulados destes modelos, é feita a redistribuição das probabilidades dos níveis utilizando e comparando dois métodos: o de Moura Filho e Becerra (Método 1) e o de Maschio et al. (Método 2). Os resultados deles não mostraram boa eficiência na redução das incertezas para o caso estudado, pois as curvas continuaram muito espalhadas com relação ao histórico. Sendo assim, foram criados o Método 3, utilizando as melhores práticas da formulação dos dois estudados com o objetivo de tornar a metodologia mais robusta para uso em casos reais, e o Método 4, que é uma reaplicação do Método 3 após a redefinição dos valores dos níveis dos atributos. Uma comparação dos resultados dos quatro métodos mostra a evolução da redução das incertezas. Além disso, consegue-se diminuir a dispersão dos modelos representativos, centralizando-os com relação ao histórico de produção, o que permite uma melhor previsão de produção e maior confiabilidade na análise de risco de projetos futuros / Abstract: The large amount of uncertainties in reservoir modeling increases petroleum production forecast risks. Therefore, the history matching, which refines the simulation model to closely reproduce production data, is a vital procedure once it approximates numerical models to reality providing reliable predictions. Many methodologies were developed to integrate uncertainty analysis and history matching in order to mitigate the reservoir uncertainties by using the observed data, but due to the process complexity, some of them are applicable only in simple cases. In this context, the present work aims to evaluate the application of existing methods, developed by Moura Filho (2006), Becerra (2007) and Maschio et al. (2010), in a synthetic complex model (i.e. similar to a real field) and propose new methods with some improvements to be applied in real cases of the petroleum industry. The main characteristic of these methods is the use of differences between observed and simulated data to recalculate the probabilities distribution of uncertain parameters with the purpose of reducing reservoir uncertainties. To apply the methods, the uncertainty attributes are discretized in three levels and a sensibility analysis is done to select the critical attributes, which are combined by a derivative tree generating different simulation models. With history and simulated data of these models, the redistribution of occurrence probabilities is made with different formulas: Moura Filho e Becerra (Method 1) and Maschio et al. (Method 2). These two methods are compared and their results don't show good efficiency in uncertainty reduction of the studied case, because the final curves remain widely scattered around history data. Then, two methods are proposed, Method 3, which combines the best practices of the two reviewed ones, making it robust to be used in real cases with a great number of wells and production functions to be adjusted such as water production and pressure. The second proposed one, Method 4, is a reapplication of the third method with a redefinition of attribute values in order to refine the results. A comparison of the results of the four methods shows an evolution in the uncertainty reduction. Besides that, there is a decrease in the dispersion of the representative curves, which are centralized around the history data, providing a better production forecast and greater reliability in risk analysis of future projects / Mestrado / Reservatórios e Gestão / Mestre em Ciências e Engenharia de Petróleo
35

Dietary strategy to reduce methane emission in Brazilian beef cattle production / Estratégia dietética para reduzir a emissão de metano em sistema produção de gado de corte no Brasil

Jacqueline Geraldo de Lima 06 October 2014 (has links)
In Brazil, estimate of methane (CH4) emission for the National Greenhouse Gas Inventory is carried out using the empirical Tier 2 approach published by the Intergovernmental Panel on Climate Change (IPCC). Although, IPCC recommends the use of a more specific, mechanistic Tier 3 approach, this is hampered by a lack of consolidated data for development, evaluation and application of such a Tier 3 approach. The purpose of the present modelling study was to evaluate whether a Tier 3 approach instead of the Tier 2 approach has merit in estimating the effect of improvement of diet quality by feeding supplements on CH4 emission, calculated by both a Tier 2 and an extant Tier 3 approach. Six systems of beef cattle production in Brazil were considered which differed inage at slaughter mainly due to diet quality (ranging from 14 to 44 months). The systems studied encompass most of the range of slaughter age and feeding methods observed and the differences between them can be considered realistic for variation in current Brazilian practice of beef production. Estimates of feed quality and animal performance were based on published Brazilian studies and on data from a Brazilian inventory on enteric CH4. Both Tier 2 and Tier 3 approaches estimated a large variation in CH4 emission for the six production systems. The highest level of enteric CH4 emission (168 and 145 kg per slaughtered animal, estimated with the Tier 2 and Tier 3 approach, respectively) was estimated for the system with slaughter after 44 months and the lowest with slaughter after 14 months (35 and 31 kg per slaughtered animal, estimated with the Tier 2 and Tier 3 approach, respectively). The general trend was a profound increase of CH4 emission with increase of age-at-slaughter. Methane estimates depended strongly on the modelling approach adopted. Using the Tier 3 approach in the present study with the assumptions made for the six Brazilian beef production systems indicated substantially lower estimates of enteric CH4 compared to the IPCC Tier 2 approach. The Ym values (fraction of gross energy intake emitted as CH4) estimated by the Tier 3 approach for separate growing periods (seasons) within the different systems ranged between 0.044 and 0.070, and between 0.049 and 0.058 when averaged for the whole growing period (cf. 0.065 with Tier 2). Model estimates should be confirmed by evaluation against independent in vivo data obtained under local Brazilian conditions of beef production. / No Brasil, a estimativa de emissão de metano no inventário nacional sobre a emissão de metano (CH4) é realizada pela abordagem Tier 2, recomendada pelo Painel Intergovernamental sobre Mudanças Climáticas (IPCC). Embora o IPCC recomende o uso do Tier 3, uma abordagem mais complexa, a aplicação desta no Brasil é dificultada pela falta de dados consolidados para o desenvolvimento, avaliação e aplicação do modelo. O objetivo deste trabalho foi estimar o efeito da melhoria da qualidade da dieta na emissão entérica de CH4, em sistemas de produção de gado de corte brasileiros, pelos métodos Tier 2 e Tier 3. A emissão entérica de CH4, foi estimada em seis sistemas de produção de bovinos de corte, do desmame até abate. Os sistemas estudados abrangeram os métodos de alimentação mais praticados na produção de carne bovina brasileira. A qualidade da alimentação e desempenho animal foram estimados baseados em estudos publicados na literatura. Ambas as abordagems Tier 2 e 3 estimaram efeito da suplementação sobre a emissão de CH4. As estimativas do Tier 2 e 3, no sistema de abate aos 44 meses, apresentaram maior emissão de CH4 entérico comparados aos outros sistemas, resultando em valores de 168 e 145 kg de CH4 por animal, respectivamente. Por outro lado, o sistema de abate aos 14 meses, apresentou menor emissão de CH4, comparados aos outros sistemas, em valores de 35 e 31 kg de CH4 por animal abatido, respectivamente. A tendência geral foi um aumento de emissão de CH4 com o aumento da idade de abate. Usando a abordagem Tier 3 para as condições brasileiras resultou valores menores de CH4 entérico em comparação a Tier 2. Os valores Ym (fração de ingestão de energia bruta emitido como CH4) estimados pela Tier 3, nas diferentes estações, variou entre 0,044 e 0,070, e para diferentes sistemas de produção entre 0,049 e 0,058. Por outro lado a média para todo o período de crescimento foi 0,065 para Tier 2. Essas estimativas devem ser confirmados com dados in vivo obtidos em condições locais, com intuito de melhorar o modelo Tier.
36

Estudo da utilização de microalgas e cianobactérias para a captura de dióxido de carbono e produção de matérias-primas de interesse industrial. / Study on the use of microalgae and cyanobacteria for the fixation of carbon dioxide and production of raw materials for industrial applications.

Cruz, Rui Vogt Alves da 08 November 2011 (has links)
O uso de microalgas e cianobactérias para a produção de biocombustíveis e outros produtos e matérias-primas de interesse comercial tem sido amplamente divulgado como uma tecnologia sustentável bastante promissora, em função das elevadas produtividades areais, potencial para fixação de CO2, uso de terras não adequadas para cultivo e possibilidade de utilizar fontes alternativas de nutrientes, tais como água salobra ou efluentes agroindustriais. A produção comercial de cianobactérias em tanques abertos em formato de pista foi estudada combinando-se a modelagem matemática do crescimento nos tanques com a avaliação técnica, econômica e de sustentabilidade do processo. Construiu-se um macromodelo para a simulação dos tanques, que permitiu determinar o impacto de variáveis ambientais como, por exemplo, temperatura e luminosidade, e otimizar condições de operação e coleta. A análise econômica detalhada demonstrou o impacto dos custos de capital, operação e consumo de energia pelo processo, também destacando a importância da receita de produtos de alto valor agregado para a viabilidade do sistema, com base na tecnologia atual. Os valores de transformidade e índices de sustentabilidade e carga ambiental, obtidos através da análise emergética, são comparáveis com outros processos para obtenção de biocombustíveis de segunda geração, mas os elevados custos de construção e operação e grande consumo de energia nas etapas de coleta e extração representam ainda grandes desafios à sua sustentabilidade. A análise de sensibilidade para as principais variáveis de processo e estudos de caso para melhorias e modelos de negócio alternativos permitiram priorizar áreas para pesquisa futura com base no impacto econômico e ambiental. / The use of microalgae and cyanobacteria for the production of biofuels and other substances of commercial interest has been widely advertised as an extremely promising sustainable technology, due to the high areal productivity, potential for fixation of CO2, possibility of using non-arable land and alternative sources of nutrients such as brackish water and agricultural and industrial effluents. The commercial production of cyanobacteria in open raceway ponds was studied through the combination of a mathematical model for the algal growth with technical, economical and sustainability evaluations. A macromodel was developed to simulate the ponds, and it was used to assess the impact of environmental variables, such as light and temperature, and to optimize the process conditions for operation and harvesting. A detailed economic analysis demonstrated the impact of capital, operation costs and energy consumption, also highlighting the importance of revenue from high value products to process viability, considering the current technology. The transformity, emergy sustainability and environmental loading indices obtained by emergy analysis are comparable to other second generation biofuels, but the high construction and operation costs and energy consumption by the harvesting and extraction steps still represent major challenges to sustainability. The sensitivity analysis and evaluation of both technology improvements and alternative business models enabled the prioritization of future research areas, based on economic and environmental impact.
37

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança. / A framework for modeling and formal verification of safety instrumented systems control programs.

Ferrarezi, Rodrigo César 09 December 2014 (has links)
Devido à alta complexidade dos Sistemas Produtivos, o projeto de sistemas de controle adequados às exigências normativas vinculadas aos processos industriais que são executados, e seu impacto no ser humano e no ambiente demandam a necessidade do desenvolvimento de soluções de controle que sejam seguras e estáveis no sentido de não causar interrupções no processo produtivo e danos ao ser humano e ao meio. Uma abordagem para o desenvolvimento de sistemas que contemplem estes requisitos baseia-se no conceito de Sistemas Instrumentados de Segurança e na aplicação das normas IEC 61508 e IEC 61511. Entretanto, assim como o desenvolvimento de qualquer software, os programas de controle de SIS também estão sujeitos a erros de especificação e projeto, mesmo quando o desenvolvimento é feito conforme os critérios normatizados. Além dos erros de projeto, também deve ser levado em consideração que as camadas de prevenção e mitigação especificadas nas normas podem ser desenvolvidas separadamente e dessa forma podem ocorrer comportamentos não previstos ou indesejáveis quando da operação conjunta delas. Uma das formas para uma melhoria na confiabilidade desses programas e que também é um requerimento pertinente ao ciclo de desenvolvimento de um SIS - de acordo com as normas de segurança IEC 61508 e IEC 61511 - é a aplicação de técnicas de verificação formal dos modelos desses programas de controle bem como o uso de um ambiente unificado para modelagem desses sistemas de controle, onde suas interações possam ser mais bem compreendidas. Atualmente, umas das técnicas mais proeminentes para a verificação de sistemas é o Model Checking, que realiza uma busca exaustiva no espaço de estados de um sistema dirigido por eventos, verificando as propriedades especificadas a partir de proposições estabelecidas em lógica temporal. Para esse trabalho é utilizada a lógica TCTL devido a sua capacidade de expressar propriedades em domínio temporal denso. Como ferramenta computacional será usado o ambiente GHENeSys, que propicia um ambiente unificado para modelagem, simulação e verificação dos sistemas por conjugar os benefícios de rede de Petri para modelagem e as técnicas de Model Checking para verificação de modelos. / Due to the high complexity of the actual Productive Systems, the design of suitable control systems according to the applicable industrial standards, and the possible negative impacts on the human being, on the environment and on equipment, the development of control solutions that are be both secure and stable as some systems have to operate nonstop is much demanded. One approach for the development systems with such requirements is the use of Safety Instrumented Systems complying with the standards IEC 61508 and IEC 61511. However, as on the development of any kind of software, SIS control programs are also prone to specification and design errors, even when the control programs are developed according to the applicable standards. Besides design errors, must be taken into consideration the fact that the SIS prevention and mitigation layers, as prescribed on the standards, can be developed individually and thus presenting unanticipated or undesirable behaviors when operating together. One way to improve the reliability of these control programs, which is also required by the safety standards IEC 61508 and IEC 61511 as part of the SIS development cycle, is the application of formal verification techniques on the control software models. Another way is to use a unified approach for modeling these control systems, and thus having the opportunity to understand their interactions better. Currently, one of the most prominent techniques for the verification of systems is the Model Checking. Such technique performs an exhaustive search in the space state of an event driven system, verifying the properties specified as established propositions in temporal logic. On this work, the TCTL logic is used due its ability to express properties in the dense time domain. As computational tool will be used GHENeSys environment, as it provides a unified environment for modeling, simulating and the verification of systems, which enjoys the benefits of modelling through Petri Nets and Model Checking techniques for formal verification.
38

A prevenção da violência sexual intrafamiliar contra crianças e adolescentes, sob a ótica dos membros do poder judiciário / Prevention of sexual violence against children and adolescents in a family environment, from the perspective of the Judiciary

Silva, Lygia Maria Pereira da 20 December 2010 (has links)
O presente estudo objetivou compreender as representações sociais dos membros do Poder Judiciário acerca da prevenção da violência sexual intrafamiliar contra crianças e adolescentes. Foi realizado um estudo qualitativo, no qual recorreu-se a uma aproximação com o marco teórico das representações sociais numa perspectiva cultural, para identificar o processo de trabalho desenvolvido pelo Poder Judiciário, referente ao tema. O campo de estudo foi a cidade de Recife, especificamente 1ª e 2ª Varas dos Crimes contra a Criança e o Adolescente da capital. Os sujeitos da pesquisa foram 17 membros das referidas Varas: juiz, assessor, componentes da equipe interprofissional e das equipes de secretaria. A coleta de dados se deu por meio de observação participante, entrevistas semiestruturadas, oficinas e grupo focal. A análise foi realizada por meio da hermenêutica-dialética. As seguintes categorias emergiram dos discursos: o Judiciário é o último patamar, tendo como subcategorias: as políticas públicas para prevenção da violência e a atuação em rede como perspectiva almejada e a estrutura e a dinâmica das Varas. A segunda categoria foi: a cultura penal e suas subcategorias: a prevenção do crime e a prevenção do dano. O Poder Judiciário como último patamar na trajetória das crianças e adolescentes constitui-se em serviço público estatal e caracteriza-se em instituição delimitada pelo poder e pela hierarquia, limitação para um processo de trabalho delineado pelos princípios contidos no Estatuto da Criança e do Adolescente. A configuração da rede, elaborada a partir das Varas, mostra-se quanto ao tamanho como mediana, com boa densidade, apresentando variação do número de instituições em cada quadrante e heterogênea. O conceito de prevenção da violência sexual intrafamiliar contra crianças e adolescentes precisa ser ampliado para além da prevenção meramente do crime. A abordagem do problema, no nível da prevenção, requer a incorporação de um novo paradigma para o Poder Judiciário e da criação de uma cultura penal na qual caibam os princípios da proteção integral e da prioridade absoluta para as crianças e os adolescentes. A construção de um processo de trabalho conjunto voltado para a proteção às crianças e aos adolescentes demanda primeiramente a integração e a articulação interna dos membros das VCCAs, seguida da articulação com outras instituições da rede de atendimento. / The present study aimed at understanding the social representations of the Judiciary members concerning the prevention of sexual violence against children and adolescents in a family environment. A qualitative study has been performed recurrently to approach theoretical points from the social representations in a cultural perspective in order to identify the working process developed by the Judiciary. The study has been held in Recife, specifically in the 1st and 2nd Court for Crimes against children and adolescents from the capital. The subjects of study were 17 members of the referred courts: judge, assessor, some inter-professional staff members and some secretarial staff members. Data collection has been performed under participant observation, semi-structured interviews, workshops and focus group. The analysis has been performed through the hermeneutic-dialectic method. The following categories emerged from the discourses: the Judiciary is the last baseline, and the sub-categories were the public politics to violence prevention and the net performance as the aimed perspective and the Courts structure and dynamic. The second category was as follows: penal culture and its sub-categories: crime prevention and harm prevention. The Judiciary as the last baseline in the path of children and adolescents is represented as a state-owned service and it is characterized as an institution marked out by power and hierarchy, becoming a limitation to a process of work outlined by the principles enclosed in the Statute of Child and Adolescent. The net setup, elaborated from the Courts, is shown regarding the size as the median, with good density, presenting variation in the number of institutions in each quadrant and heterogeneous. The concept of sexual violence prevention against children and adolescents in a family environment needs to be extended beyond the crime prevention merely. The problem approach, in the prevention extent, requires the incorporation of a new paradigm for the Judiciary and also the generation of a penal culture in which the principles of integral protection and absolute priority to children and adolescents fit in. The construction of a group work process focusing on the protection of children and adolescents demands primarily the integration and internal articulation among the members of the VACAs, followed by the articulation among other institutions within the net services.
39

Estudo da utilização de microalgas e cianobactérias para a captura de dióxido de carbono e produção de matérias-primas de interesse industrial. / Study on the use of microalgae and cyanobacteria for the fixation of carbon dioxide and production of raw materials for industrial applications.

Rui Vogt Alves da Cruz 08 November 2011 (has links)
O uso de microalgas e cianobactérias para a produção de biocombustíveis e outros produtos e matérias-primas de interesse comercial tem sido amplamente divulgado como uma tecnologia sustentável bastante promissora, em função das elevadas produtividades areais, potencial para fixação de CO2, uso de terras não adequadas para cultivo e possibilidade de utilizar fontes alternativas de nutrientes, tais como água salobra ou efluentes agroindustriais. A produção comercial de cianobactérias em tanques abertos em formato de pista foi estudada combinando-se a modelagem matemática do crescimento nos tanques com a avaliação técnica, econômica e de sustentabilidade do processo. Construiu-se um macromodelo para a simulação dos tanques, que permitiu determinar o impacto de variáveis ambientais como, por exemplo, temperatura e luminosidade, e otimizar condições de operação e coleta. A análise econômica detalhada demonstrou o impacto dos custos de capital, operação e consumo de energia pelo processo, também destacando a importância da receita de produtos de alto valor agregado para a viabilidade do sistema, com base na tecnologia atual. Os valores de transformidade e índices de sustentabilidade e carga ambiental, obtidos através da análise emergética, são comparáveis com outros processos para obtenção de biocombustíveis de segunda geração, mas os elevados custos de construção e operação e grande consumo de energia nas etapas de coleta e extração representam ainda grandes desafios à sua sustentabilidade. A análise de sensibilidade para as principais variáveis de processo e estudos de caso para melhorias e modelos de negócio alternativos permitiram priorizar áreas para pesquisa futura com base no impacto econômico e ambiental. / The use of microalgae and cyanobacteria for the production of biofuels and other substances of commercial interest has been widely advertised as an extremely promising sustainable technology, due to the high areal productivity, potential for fixation of CO2, possibility of using non-arable land and alternative sources of nutrients such as brackish water and agricultural and industrial effluents. The commercial production of cyanobacteria in open raceway ponds was studied through the combination of a mathematical model for the algal growth with technical, economical and sustainability evaluations. A macromodel was developed to simulate the ponds, and it was used to assess the impact of environmental variables, such as light and temperature, and to optimize the process conditions for operation and harvesting. A detailed economic analysis demonstrated the impact of capital, operation costs and energy consumption, also highlighting the importance of revenue from high value products to process viability, considering the current technology. The transformity, emergy sustainability and environmental loading indices obtained by emergy analysis are comparable to other second generation biofuels, but the high construction and operation costs and energy consumption by the harvesting and extraction steps still represent major challenges to sustainability. The sensitivity analysis and evaluation of both technology improvements and alternative business models enabled the prioritization of future research areas, based on economic and environmental impact.
40

O uso de formigas como bioindicadores no monitoramento ambiental de revegetação de áreas mineradas. / The uses of ants as bioindicators in the environmental monitoring of mined sites revegetation.

Ré, Tatiana Monteiro 14 July 2007 (has links)
As atividades de mineração são o suporte do crescimento e do desenvolvimento econômico da sociedade moderna. Por outro lado, estas atividades são causadoras de consideráveis modificações ambientais. Assim, faz-se necessário o desenvolvimento da Avaliação de Impacto Ambiental, que vise a definição de planos de controle ambiental que garanta a mitigação de tais impactos, bem como o seu monitoramento para verificação da eficácia das medidas definidas. Esta avaliação é uma exigência da Constituição Brasileira de 1988: toda atividade poluidora deve recuperar os danos causados ao meio ambiente. A obrigação de recuperar consiste em repor a área em uma situação de normalidade e estabilidade. Desta forma, algumas medidas mitigadoras, como a reposição vegetal e a reimplantação da fauna, estão sendo tomadas por alguns empreendimentos, as quais medidas necessitam ser monitoradas, a fim de permitir a avaliação de sua eficácia e evolução ao longo do tempo. O biomonitoramento é uma prática nova nas ciências ambientais. Este estudo propõe uma metodologia de monitoramento biológico capaz de avaliar a eficácia e a evolução das técnicas de revegetação na mineração. Como estudo de caso, foi selecionada a Millennium Chemicals - empresa que pertence ao Grupo Lyondell Chemicals Company - que produz minerais pesados, na Mina do Guaju, localizada no extremo norte do Estado da Paraíba. Trata-se de uma proposta metodológica que visa uma simples e prática aplicabilidade, permitindo a continuidade do biomonitoramento ambiental por um longo período de tempo com a utilização de insetos, em especial da Família Formicidae. Além da proposta de metodologia, este trabalho também contempla resultados e análises do total de três coletas, que foram realizadas ao longo de um ano. A metodologia desenvolvida, incluindo os processos de coletas e análise de resultados, representa uma contribuição importante para a redução de custos despendidos para o processo de gerenciamento ambiental de empresas de mineração, através de um melhor direcionamento dos procedimentos ambientais adotados, sua relação com o 9 planejamento de lavra, e permitindo um monitoramento da área afetada pela mineração. / The mining industry is known to contribute to the growth and the economic development of modern society. However, these activities may generate considerable modifications to the environment. Therefore, it is necessary the development of an Environmental Impact Evaluation that aims the definition of the environmental control plans that guarantee the mitigation of such impacts, as well as their monitoring to check the effectiveness of the defined measures. Such a plan is a now requirement introduced by the Brazilian Constitution of 1988: all polluting activities must recover the actual damages to the environment. Because of that, procedures such as vegetation replacement and re-establishment of the fauna are being taken by most companies of mining where rehabilitation measures need to be monitored, in order to allow the evaluation of its effectiveness and progress throughout time. Biomonitoring is a new monitoring practice in environmental science. The present research work has the objective of developing a biological automonitoring methodology for evaluating the effectiveness and the progress of revegetation techniques in mined-out areas. As study case, it was selected Millennium Chemicals - a company that belongs to Lyondell Chemicals Company - that produces heavy minerals in Mina do Guaju, located in the extreme north of Paraíba State. The proposed methodology includes a simple and practical way for measuring biomonitored environment for an extended period of time with the use of insects, with particular focus on the Formicidae Family. In addition to the methodology proposed, this research work also contemplates preliminary results and analysis of the first collection, of the total of three collections, which should be carried throughout one year. The methodology proposed, which include data collection and analysis of results, represents an important contribution for the reduction of costs of environmental management of mining companies, through better environmental control procedures, and their relation with mine planning, and auto-monitoring of the areas eventually affected by mining activities.

Page generated in 0.0539 seconds