Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2018-02-07T16:47:37Z No. of bitstreams: 1 2017 - Tarciso Manfrenatti de Souza Teixeira.pdf: 3974204 bytes, checksum: 8e67a847e6f7ea213dcf86c16762a2df (MD5) / Made available in DSpace on 2018-02-07T16:47:37Z (GMT). No. of bitstreams: 1 2017 - Tarciso Manfrenatti de Souza Teixeira.pdf: 3974204 bytes, checksum: 8e67a847e6f7ea213dcf86c16762a2df (MD5) Previous issue date: 2017-02-14 / I grew up writing private diaries. However, when I got my masters degree, I was invited to re-read my writings. As I re-read it I realized that I did not write about the racial issue. This absence became a highly relevant fact that made me realize and question myself about the powerful of schooling that taught me to be a man, or rather to be male, white, heterosexual and christian, fundamentally. So today, I visualize that a "pedagogy" circulates within different educational spaces (at school, in the family, in religious spaces, in leisure spaces, in the media, in the street, at work, etc.) that ends up (re)producing inequalities of race, gender and sexuality. In this perspective, social markers of race, gender and sexuality will be presented in a vision, intersectional, polymorphic and polyphonic. According to Narrative Studies; I conjugate the verb to write/search attached to the verb to exist. And so, I'm narrating what happens to me, I write what touches me as a minor people, bastard, always unfinished. / Eu cresci escrevendo di?rios ?ntimos. No entanto, quando cheguei ao mestrado, fui convidado a re-ler os meus escritos. ? medida que ia re-lendo percebi que n?o escrevia sobre a quest?o racial. Essa aus?ncia, tornou-se um dado altamente relevante que fez com que eu percebesse e me questionasse sobre os poderosos ?instrumentos de escolariza??o? que me ensinaram a ser homem, ou melhor, a ser macho, branco, heterossexual e crist?o, fundamentalmente. Ent?o, hoje, visualizo que no interior de diferentes espa?os educativos (na escola, na fam?lia, nos espa?os religiosos, nos espa?os de lazer, na m?dia, na rua, no trabalho, etc) circula uma ?pedagogia? que acaba por (re)produzir desigualdades de ra?a, g?nero e sexualidade. Nesta perspectiva, os marcadores sociais de ra?a, g?nero e sexualidade ser?o apresentados em uma vis?o, interseccional, polim?rfica e polif?nica. Baseando-me na ?pedagogia narrativa?; conjugo o verbo escrever/pesquisar atrelado ao verbo existir. E, assim, vou narrando aquilo que me acontece, escrevo o que me toca enquanto um povo menor, bastardo, sempre inacabado.

Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2018-03-15T18:51:08Z No. of bitstreams: 1 2017 - Gabriel C?ssia Fortuna.pdf: 1043987 bytes, checksum: 6a9354d53e0a589be62528a21844130c (MD5) / Made available in DSpace on 2018-03-15T18:51:08Z (GMT). No. of bitstreams: 1 2017 - Gabriel C?ssia Fortuna.pdf: 1043987 bytes, checksum: 6a9354d53e0a589be62528a21844130c (MD5) Previous issue date: 2017-02-21 / CAPES / The work was carried out in the Integrated Agroecological Production System (SIPA), known as Fazendinha Agroecol?gica Km 47, in the city of Serop?dica - RJ, Brazil. The objective was to evaluate the productivity, development and economic viability of the okra (Abelmoschus esculentus) of summer, in regrowth driving and in winter cultivation, when submitted to automated irrigation slides and solar photovoltaic energy. An area of 225 m2 was used and the experimental design of randomized blocks with 4 irrigation slides was used, referring to different flows of drippers (2.0, 4.0, 6.0 and 8.0 Lh-1), Arranged in 5 blocks with 4 replicates, totalizing 20 experimental plots. Irrigation management was performed by the Simplified Irrigation Trigger (ASI). Two cultivation cycles were carried out and characterized as a summer crop (October 2015 to April 2016) and later regrowth (April to August 2016) and winter crop (June to September 2016). The total and commercial yields were evaluated in the three periods, as well as quality indices and crop development. The monetary costs were realized considering the costs of implantation and conduction of the crop and the selling prices practiced in the organic and conventional retail market (free markets) and in the wholesale market, being determined the net income, the rate of return and the index of profitability. The monetary costs of the photovoltaic system were calculated from the irradiance data during the cultivation period and the energy consumption of the pump. There was no significant difference between the treatments tested for all variables, except for total and commercial productivity in the eleventh week of winter cultivation. The analysis of monetary costs confirmed the production results, indicating that the lowest applied blade is responsible for the greater profitability and efficiency of water use, even commercializing the production by the values practiced in the conventional wholesale market. Likewise, there was a profitability also with the increment of the photovoltaic system in the total costs of the production system, being smaller, however, when compared to the use of the electric energy for the pumping of water. The minimum yields to be achieved in order to avoid losses were within the range of productivity expected for the crop, for the summer, winter and year of production in the three commercialization systems, even with the cost increase due to the use of solar energy. / O trabalho foi realizado no Sistema Integrado de Produ??o Agroecol?gica (SIPA), conhecido como Fazendinha Agroecol?gica Km 47, no munic?pio de Serop?dica ? RJ, e teve como objetivo avaliara produtividade, o desenvolvimento e a viabilidade econ?mica do quiabeiro (Abelmoschus esculentus) no cultivo de ver?o, na condu??o de rebrota e no cultivo de inverno, quando submetido a l?minas de irriga??o automatizada e energia solar fotovoltaica. Foi utilizada uma ?rea de 225 m2 e adotado o delineamento experimental de blocos ao acaso, com 4 l?minas de irriga??o, referentes a diferentes vaz?es de gotejadores (2,0; 4,0; 6,0 e 8,0 L.h-1), dispostas em 5 blocos com 4 repeti??es, totalizando 20 parcelas experimentais. O manejo da irriga??o foi realizado pelo Acionador Simplificado para Irriga??o (ASI). Dois ciclos de cultivo foram realizados e caracterizados como cultivo de ver?o (outubro de 2015 a abril de 2016) e posteriormente sua rebrota (abril a agosto de 2016) e pelo cultivo de inverno (de junho a setembro de 2016). Foram avaliadas nos tr?s per?odos, as produtividades total e comercial, al?m de ?ndices de qualidade e desenvolvimento da cultura. Os custos monet?rios foram realizados considerando os custos de implanta??o e condu??o da lavoura e os pre?os de venda praticados no mercado varejista org?nico e convencional (feiras livres) e no mercado atacadista, sendo determinados a renda l?quida, a taxa de retorno e o ?ndice de lucratividade. Os custos monet?rios do sistema fotovoltaico foram realizados a partir dos dados de irradi?ncia durante o per?odo de cultivo e do consumo energ?tico da bomba. N?o houve diferen?a significativa entre os tratamentos testados, para todas as vari?veis, exceto para a produtividade total e comercial na d?cima primeira semana do cultivo de inverno. A an?lise dos custos monet?rios confirmou os resultados de produ??o, indicando que a menor l?mina aplicada ? respons?vel pela maior lucratividade e efici?ncia do uso da ?gua, mesmo comercializando a produ??o pelos valores praticados no mercado atacadista convencional. Da mesma forma, houve rentabilidade tamb?m com o incremento do sistema fotovoltaico nos custos totais do sistema de produ??o, sendo menor, por?m, quando comparada ao uso da energia el?trica para o bombeamento de ?gua. As produtividades m?nimas a serem alcan?adas para que n?o ocorram preju?zos ficaram dentro da faixa de produtividade esperada para a cultura, para o cultivo de ver?o, inverno e ano de produ??o, nos tr?s sistemas de comercializa??o, mesmo com o incremento de custo devido ao emprego da energia solar.

Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2018-03-28T19:19:31Z No. of bitstreams: 1 2015 - Fernanda Corr?a de Souza.pdf: 1439461 bytes, checksum: 2ae132a0a7316575d458f10db44101a4 (MD5) / Made available in DSpace on 2018-03-28T19:19:31Z (GMT). No. of bitstreams: 1 2015 - Fernanda Corr?a de Souza.pdf: 1439461 bytes, checksum: 2ae132a0a7316575d458f10db44101a4 (MD5) Previous issue date: 2015-10-08 / CAPES / CNPq / FAPERJ / The tomato crop is subject to attack by diseases of different etiologies, especially the gray leaf spot, caused by Stemphylium sp., which infects the aerial part of the plant and has shown higher incidences and losses in growing areas in recent years. Despite the disease importance, few studies are developed to elucidate the aspects of epidemiology and control of the disease. The use of trials involving pathogen inoculations is essential for carrying out these studies, which requires efficient methods of in vitro multiplication. The aim of this study was to verify the influence of some factors applied during incubation on the mycelial growth and sporulation of the pathogen under controlled conditions. Different culture media (V8 juice agar, tomato juice, PDA, oat, carrot, corn flour, tomato leaf and V8+PDA), temperature (25?C; 25+10?C; 25+15?C; 25+20?C; 25/10?C; 25/15?C; 25/20?C), photoperiods (day/night, respectively, of 0h/24h, 4h/20, 6h/18h, 8h/16h and 12h/12h), luminosity (cool white lamps and black light lamps) and stress types applied to the colony (scratching and UV) were tested. Promising factors were determinate and, after this, the virulence of conidia obtained on the selected system was evaluated. Results indicated the tomato juice and V8 juice agar more favorable for growth and sporulation, respectively. The temperature of 25?C continuous favored mycelial growth and alternation of 25?C (day) and 10?C (night) the sporulation. The growth was more stimulated by 12h light/ 12h dark of photoperiod and the sporulation was higher 6h light/ 18h dark. The different light sources had influence on sporulation and cool white lamps were the most stimulating. Not stressed colonies had better results in conidia production. Thus, the suggested protocol in this study consisted in incubation in V8 juice agar media, alternately temperature of 25?C (day) and 10?C (night), 12h light / 12 h dark photoperiod. The produced conidia in this methodology showed great capacity of infection on tomato plants. / A cultura do tomate est? sujeita ao ataque de doen?as de diferentes etiologias, com destaque para a mancha-de-estenf?lio, causada por Stemphylium sp., que infecta a parte a?rea da planta e tem apresentado maiores incid?ncias e perdas nas ?reas de cultivo nos ?ltimos anos. Apesar da import?ncia desta doen?a, s?o poucos os estudos realizados visando esclarecer aspectos da epidemiologia e controle da doen?a. Para realiza??o desses trabalhos ? fundamental o uso de ensaios que envolvam inocula??es do pat?geno o que requer m?todos eficientes de sua multiplica??o in vitro. O presente trabalho teve o objetivo de avaliar a influ?ncia de alguns fatores sobre o crescimento micelial e esporula??o do pat?geno em condi??es controladas. Diferentes meios de cultura (V8, suco de tomate, BDA, aveia, cenoura, farinha de milho, folha de tomate e V8+BDA), temperatura (25 ?C, 25+10 ?C, 25+15 ?C, 25+20 ?C, 25/10 ?C, 25/15 ?C; 25/20 ?C), fotoper?odo (luz/escuro respectivamente, 0h/24h, 4h/20h, 6h/18h, 8h/16h e 12/12h), luminosidade (l?mpadas brancas frias e l?mpadas de luz negra) e tipos de estresse aplicado ? col?nia (raspagem e comprimento de onda) foram testados. Ap?s a determina??o das melhores combina??es de temperatura, fonte de luz e fotoper?odo avaliou-se a virul?ncia dos con?dios obtidos no sistema selecionado. Os resultados indicaram o meio suco de tomate e V8 como os mais favor?veis ao crescimento e esporula??o respectivamente. A temperatura de 25 ?C cont?nuos favoreceu o crescimento micelial e a altern?ncia de 25 ?C (diurno) e 10 ?C (noturno) a esporula??o. O fotoper?odo 12h luz/12h escuro foi o que mais estimulou o crescimento, j? para esporula??o o estimulo foi maior quando foi oferecido 6h luz/18h escuro. As diferentes fontes de luz utilizadas tiveram influ?ncia marcante na esporula??o, sendo as l?mpadas brancas frias as mais estimulantes. As col?nias que n?o sofreram estresse obtiveram melhores resultados na produ??o de con?dios. Dessa forma, o protocolo sugerido neste trabalho consistiu de inocula??o em meio V8, temperatura alternada de 25 ?C (diurno) e 10 ?C (noturno), fotoper?odo de 6 horas de luz branca/18 horas de escuro. Os con?dios produzidos nesta metodologia apresentam grande capacidade de infec??o de plantas de tomateiro.

Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2018-08-24T18:39:52Z No. of bitstreams: 1 2008 - Cristiane Honorato Cunha.pdf: 767814 bytes, checksum: 805ea6db9e6a4462ae4375d06559e0fd (MD5) / Made available in DSpace on 2018-08-24T18:39:52Z (GMT). No. of bitstreams: 1 2008 - Cristiane Honorato Cunha.pdf: 767814 bytes, checksum: 805ea6db9e6a4462ae4375d06559e0fd (MD5) Previous issue date: 2008-03-25 / Macrobrachium acanthurus is the freshwater prawn species that is find in almost whole coastal rivers in Brazilian coast. This work was carried out to get information about reproductive aspects of Macrobrachium acanthurus in captivity and the influence on unilateral eyestalk ablation technique. 48 females and 24 males were captured in Sahy river at Mangaratiba/RJ and kept in adaptation for 15 days. Then, the animals carapace length and total length were measured. They were distributed into 20 liters aquariums, each of them with two males and four females. Two females in each aquarium were ablated. Abiotic factors such as pH, ammonia, nitrite and oxygen levels were checked weekly and the water temperature daily. Every day the occurrence of ovigerous females were checked in each aquarium. After three days incubating, the ovigerous females were separated until the larvae eclosion. And then, they were returned to the aquarium for a new phase of reproduction. The animals were fed with ration pellets and pieces of fish. The U test (Mann-Whitney) showed a significant difference among laying intervals between the ablated and non-ablated females. The Pearson correlation showed temperature influence on incubation period on non-ablated females, but on ablated females there was no dependency relationship. The t-test showed no significant difference on fertility, between ablated and non-ablated M. acanthurus. / Macrobrachium acanthurus ? uma esp?cie de camar?o de ?gua doce encontrado em quase todos os rios litor?neos da costa brasileira. Este trabalho foi realizado com o objetivo de obter informa??es sobre a influ?ncia da t?cnica de abla??o unilateral do ped?nculo ocular na reprodu??o de Macrobrachium acanthurus em cativeiro. Foram utilizados no experimento 48 f?meas e 24 machos, que foram coletados no Rio Sahy, Mangaratiba/RJ e foram mantidas durante 15 dias para a adapta??o. Posteriormente, os animais foram medidos em rela??o ao comprimento da carapa?a e comprimento total, distribu?dos na propor??o de dois machos para quatro f?meas em doze aqu?rios com capacidade de 20 litros. Das quatro f?meas de cada aqu?rio, duas foram abladas. Os fatores abi?ticos como o pH, am?nio, nitrito e oxig?nio dissolvido foram verificados semanalmente e a temperatura da ?gua diariamente. Todos os dias foram verificados a ocorr?ncia de exterioriza??o dos ovos em cada f?mea. As f?meas ov?geras ap?s tr?s dias de incuba??o foram individualizadas at? a eclos?o das larvas. Ap?s a eclos?o das larvas, as f?meas retornaram para o aqu?rio para uma nova fase de reprodu??o. Os animais foram alimentados com ra??o peletizada e peixe fresco. Atrav?s do teste U (Mann-Whitney) foi verificado que houve diferen?a significativa para o intervalo entre as desovas entre f?meas abladas e n?o abladas. Atrav?s da Correla??o de Pearson verificou-se que houve influ?ncia da temperatura no tempo de incuba??o nas f?meas n?o abladas, mas nas f?meas abladas n?o houve rela??o dependente. Atrav?s do teste t foi verificado que n?o houve diferen?a significativa para fertilidade entre as f?meas abladas e n?o abladas de M. acanthurus.

Made available in DSpace on 2014-12-17T15:51:31Z (GMT). No. of bitstreams: 1 ChristianoHSM_DISSERT.pdf: 2896926 bytes, checksum: df70a8836143ea9e0e1ab78932050793 (MD5) Previous issue date: 2012-04-20 / Nowadays, there is a tourism phase in the city of Natal/RN called internationalization of tourism , which shows a tourism model with a planning and an administration, based on the needs of the visitors. Such process shows that the production as well as the reproduction of the city spaces with the goal of favor tourism excludes of its composition the effective participation of local subjects. Thus, the research is a result of the perception of tourism as an activity with a meaningful power of transformation of the social and natural space taking into account the low participation of the residents in the decisions of the tourism activities in the city of Natal/RN. Despite that reality, it is possible to note Natal that civil society, starts to mobilize its citizens trying to develop collective actions to low the negative impacts caused by the bad planning as wells not efficient tourism administration, trying to put in action the right of the local population to take part in the decisions of the city activities. Having this panorama as background, this paper aims at investigating in which way the mobilizing action of the social capital in Natal has contributed to change the spatial production which is part of the process of expansion of tourism in Natal/RN? The research presents a temporal picture which starts in the year of 1980, when occurs the first effective state intervention aiming to develop tourism in the capital, taking into account an analysis of 2012. Concerning the spatial picture, the research investigates the beaches of Natal which concentrates criteria and actions such as: visitation, tourism appeal and focus of investments, highlighting the following beaches: Ponta Negra, Areia Preta, Praia dos Artistas, Praia do Meio, Praia do Forte and Redinha. This study is of a descriptive and exploratory nature concerning its goals. With respect to the treatment of its object it is a qualitative research. The data was collected through structural interviews, with open questions. Regarding the methodological choices, it was used the content analysis proposed as well as the collective discursive subject methodology. The results show that there?s not yet in Natal a meaningful social capital related to tourism, capable to change the spatial production related to the activity. It should be stressed that Natal social capital presents difficulties concerning the incentive to trust, spontaneous cooperation and the civic participation, which are the foundation for the development of an effective social capital, which makes it harder for a more expressive articulation in the reality in Natal/RN. It should be stressed, as an answer to the research questions, that tourism in Natal/RN is represented by social and spatial segregation. In other words it emphasizes mainly the action of hegemonic agents (State and market), leaving little room for the participation of society. It can be noticed that the actions related to tourism in Natal keeps the popular participation out of the way. Thus, it can be said that the social capital in Natal/RN does not yet contribute to a more fair spatial production related to the expansion of the tourism as well as the well being of the population of Natal/RN. In conclusion, it should be taken into account that this participation do exists but not in a meaningful way. In other words, it?s not enough yet to cause meaningful changes in the actions which tourism needs nowadays in Natal/RN / Na conjuntura contempor?nea, a fase que o turismo vivencia em Natal/RN ? intitulada de internacionaliza??o do turismo e denota um modelo tur?stico que apresenta um planejamento e uma gest?o pautados nas necessidades dos visitantes. Este processo tem evidenciado que tanto a produ??o, quanto a (re) produ??o dos espa?os municipais com o intuito de condicion?los para o turismo, geralmente exclui de sua composi??o, a participa??o efetiva dos sujeitos locais. Desse modo, a pesquisa surge da percep??o do turismo como uma atividade com significativo poder de transforma??o dos espa?os s?cio-naturais, com interfer?ncia e apelo ex?geno, observando de maneira relacionada, uma baixa participa??o do residente nos direcionamentos da atividade tur?stica no munic?pio de Natal. No Entanto, j? ? poss?vel notar que parte da sociedade civil natalense ora organizada, inicia ainda que de forma t?mida, certa mobiliza??o com vistas a desenvolver a??es coletivas que combatam os impactos negativos provocados pelo mau planejamento e ineficiente gest?o do turismo, buscando efetivar o direito da participa??o local nos direcionamentos da atividade. Diante desse panorama, buscase saber nesta disserta??o, de que forma a a??o mobilizadora do capital social constitu?do em Natal/RN tem contribu?do para redirecionar o processo de produ??o espacial, inerente ao processo de expans?o do turismo no munic?pio de Natal/RN? O estudo apresenta um recorte temporal que inicia no ano de 1980, data que marca a primeira interven??o estatal com a finalidade de desenvolver o turismo na capital, contemplando ainda uma an?lise da contemporaneidade, isto ?, 2012. J? como recorte espacial, a pesquisa abarca as praias de Natal que concentram crit?rios e a??es como: visita??o, apelo tur?stico e foco de investimentos nos fixos, destacando-se as praias de: Ponta Negra, Areia Preta, Praia dos Artistas, Praia do Meio, Praia do Forte e Redinha. Este estudo se caracteriza como descritivoexplorat?rio quanto aos seus objetivos, e no que se refere ao tratamento do objeto, nomeia-se como qualitativo. O instrumento utilizado para a coleta das informa??es junto ? amostra foi ? entrevista estruturada, com quest?es abertas. Ainda sobre as op??es metodol?gicas, utiliza-se a An?lise de Conte?do e a Metodologia do Discurso do Sujeito Coletivo. Os resultados evidenciam que ainda inexiste em Natal um n?vel de organiza??o social expressivo ligado ao turismo, capaz de redirecionar em totalidade a produ??o espacial voltada para a atividade. ? pertinente dizer que as lideran?as sociais de Natal apresentam dificuldades quanto ao incentivo ? confian?a, ? coopera??o espont?nea e ? participa??o c?vica, fundamentos b?sicos para a forma??o de um capital social efetivo, fato este, que dificulta uma articula??o mais expressiva na realidade natalense. ? oportuno relatar que o turismo em Natal/RN n?o ? includente, fato que fomenta uma segrega??o socioespacial expressiva, valorizando primordialmente a a??o dos agentes hegem?nicos (Estado e Mercado), deixando para a participa??o da sociedade, p?fias oportunidades. Nota-se que as a??es continuam sendo encaminhadas num contexto de not?ria aus?ncia de participa??o popular. Por isso, afirma-se que o capital social constitu?do em Natal/RN ainda n?o contribui, de forma ideal, para um redirecionamento mais justo da produ??o espacial voltada para o desenvolvimento do turismo e para o bem comum da popula??o natalense. Com base nesses descompassos, considera-se que esta participa??o existe, mas de forma pontual, n?o sendo suficiente para provocar um redirecionamento significativo nas a??es do turismo de Natal necessita na atualidade

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-12-12T17:57:13Z No. of bitstreams: 1 HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-13T18:11:52Z (GMT) No. of bitstreams: 1 HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5) / Made available in DSpace on 2017-12-13T18:11:52Z (GMT). No. of bitstreams: 1 HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5) Previous issue date: 2017-09-05 / Em muitas aplica??es de m?todos formais, como verifica??o formal, s?ntese de programas, testes autom?ticos e an?lise de programas, ? comum depender de solucionadores de satisfatibilidade m?dulo teorias (SMT) como backends para resolver automaticamente condi??es que precisam ser verificadas e fornecer certificados de seus resultados. Nesta tese, objetivamos melhorar a efici?ncia dos solucionadores SMT e aumentar sua confiabilidade. Nossa primeira contribui??o ? fornecer um arcabou?o uniforme e eficiente para raciocinar com f?rmulas quantificadas em solucionadores SMT, em que, geralmente, v?rias t?cnicas de instancia??o s?o empregadas para lidar com quantificadores. Mostramos que as principais t?cnicas de instancia??o podem ser lan?adas neste arcabou?o unificador para lidar com f?rmulas quantificadas com igualdade e fun??es n?o interpretadas. O arcabou?o baseia-se no problema de E-ground (dis)unifica??o, uma varia??o do problema cl?ssico de E-unifica??o r?gida. Apresentamos um c?lculo correto e completo para resolver esse problema na pr?tica: Fechamento de Congru?ncia com Vari?veis Livres (CCFV). Uma avalia??o experimental ? apresentada, na qual medimos o impacto das otimiza??es e t?cnicas de instancia??o baseadas no CCFV nos solucionadores SMT veriT e CVC4. Mostramos que nossas implementa??es exibem melhorias em rela??o ?s abordagens de ?ltima gera??o em v?rias bibliotecas de refer?ncia, decorrentes de aplica??es do mundo real. Nossa segunda contribui??o ? uma estrutura para o processamento de f?rmulas ao mesmo tempo que produz demonstra??es detalhadas. Nosso objetivo ? aumentar a confiabilidade nos resultados de solucionadores SMT e sistemas de racioc?nio automatizado similares, fornecendo justificativas que podem ser verificadas com efici?ncia de forma independente e para melhorar sua usabilidade por aplicativos externos. Os assistentes de demonstra??o, por exemplo, geralmente requerem a reconstru??o da justifica??o fornecida pelo solucionador em uma determinada obriga??o de prova. Os principais componentes da nossa estrutura de produ??o de demonstra??es s?o um algoritmo gen?rico de recurs?o contextual e um conjunto extens?vel de regras de infer?ncia. Clausifica??o, Skolemiza??o, simplifica??es espec?ficas de teorias e expans?o das express?es "let" s?o exemplos dessa estrutura. Com estruturas de dados adequadas, a gera??o de demonstra??es cria apenas uma sobrecarga de tempo linear, e as demonstra??es podem ser verificadas em tempo linear. Tamb?m implementamos a abordagem em veriT. Isso nos permitiu simplificar drasticamente a base do c?digo, aumentando o n?mero de problemas para os quais demonstra??es detalhadas podem ser produzidas. / In many formal methods applications it is common to rely on SMT solvers to automatically discharge conditions that need to be checked and provide certificates of their results. In this thesis we aim both to improve their efficiency of and to increase their reliability. Our first contribution is a uniform framework for reasoning with quantified formulas in SMT solvers, in which generally various instantiation techniques are employed. We show that the major instantiation techniques can be all cast in this unifying framework. Its basis is the problem of E-ground (dis)unification, a variation of the classic rigid E-unification problem. We introduce a decision procedure to solve this problem in practice: Congruence Closure with Free Variables (CCFV). We measure the impact of optimizations and instantiation techniques based on CCFV in the SMT solvers veriT and CVC4, showing that our implementations exhibit improvements over state-of-the-art approaches in several benchmark libraries stemming from real world applications. Our second contribution is a framework for processing formulas while producing detailed proofs. The main components of our proof producing framework are a generic contextual recursion algorithm and an extensible set of inference rules. With suitable data structures, proof generation creates only a linear-time overhead, and proofs can be checked in linear time. We also implemented the approach in veriT. This allowed us to dramatically simplify the code base while increasing the number of problems for which detailed proofs can be produced.

Made available in DSpace on 2014-12-17T14:08:36Z (GMT). No. of bitstreams: 1 AmandaGO.pdf: 1269225 bytes, checksum: bb3d37e917eb9a6a37d5196f82512218 (MD5) Previous issue date: 2010-01-27 / The objective of reservoir engineering is to manage fields of oil production in order to maximize the production of hydrocarbons according to economic and physical restrictions. The deciding of a production strategy is a complex activity involving several variables in the process. Thus, a smart system, which assists in the optimization of the options for developing of the field, is very useful in day-to-day of reservoir engineers. This paper proposes the development of an intelligent system to aid decision making, regarding the optimization of strategies of production in oil fields. The intelligence of this system will be implemented through the use of the technique of reinforcement learning, which is presented as a powerful tool in problems of multi-stage decision. The proposed system will allow the specialist to obtain, in time, a great alternative (or near-optimal) for the development of an oil field known / O objetivo da engenharia de reservat?rios ? o de gerenciar campos de produ??o de petr?leo de forma a maximizar a produ??o dos hidrocarbonetos obedecendo a restri??es f?sicas e econ?micas existentes. A defini??o de estrat?gias de produ??o ? uma atividade complexa por envolver diversas vari?veis do processo. Deste modo, um sistema inteligente, que auxilie na otimiza??o das alternativas de desenvolvimento do campo, torna-se bastante ?til no dia-a-dia dos engenheiros de reservat?rios. Este trabalho prop?e o estudo preliminar de um sistema inteligente de aux?lio ? tomadas de decis?es, no que diz respeito ? otimiza??o de estrat?gias de produ??o em campos de petr?leo. A intelig?ncia desse sistema ser? implementada por meio do uso da t?cnica de aprendizado por refor?o, a qual se apresenta como uma poderosa ferramenta em problemas de decis?o multi-est?gios. O sistema estudado visa permitir que o especialista obtenha, em tempo h?bil, a alternativa ?tima (ou quase-?tima) para o desenvolvimento de um campo de petr?leo conhecido

Made available in DSpace on 2014-12-17T14:52:38Z (GMT). No. of bitstreams: 1 HandsonCDP.pdf: 2022014 bytes, checksum: aaf564617af745261d6c5974ffadbf18 (MD5) Previous issue date: 2008-07-16 / This study aimed to assess the Cleaner Production CP as corporate sustainable tool, through the multiple case studies within companies from Rio Grande do Norte State. In order to achieve this goal a research methodology approach was set. The initial stage of the research methodology was based on a literature review on which it was observed that the CP can be linked with corporate sustainable once it prevents pollution and reduces the operational risks among employees, community and environment. In addition, CP can useful for companies position within competitive position as well as being applied to process, products and services. In order to observe these factors, CP was used within food industry (Company 1), textile industry (Company 2) and in a car dealer (Company 3). Regarding the results, Company 1 changed its raw material as well as implementing housekeeping (control use of water, energy and condensed milk). In Company 2, it was observed the three levels of CP. In other words, housekeeping (e.g. cutting process and manipulation of chemical products), changing technology (high pressure washing machine) and internal and external recycling. In addition, Company 3 considered only level 3 external recycling. As consequence, it was observed that can be applied either within industry as well as service sector. Unfortunately, it was not possible to observe any social gains on a monetary basis. This is due to limitations of the CP methodology and study complexity. Therefore, it was observed improvements regarding to social, environmental and economic areas. Nevertheless, it is necessary more commitment from top level management in order to consider CP like effective sustainable tool / O presente estudo teve como objetivo avaliar a Produ??o mais Limpa como uma ferramenta em busca da sustentabilidade empresarial, atrav?s de uma s?rie de estudos de m?ltiplos casos em empresas do Estado do Rio Grande do Norte. Para atingir este objetivo, primeiramente, foi efetuada uma revis?o da literatura pertinente, na qual foi observado que a PmL relaciona-se com a sustentabilidade empresarial, uma vez que de forma continuada, previne a gera??o de desperd?cio e reduz os riscos das opera??es sobre os funcion?rios, comunidade e meio ambiente. Al?m disto, a PmL contribui para posicionar as empresas em um cen?rio competitivo, podendo ainda ser aplicada aos processos produtivos e servi?os. Para se observar tais afirma??es, a ferramenta foi aplicada em uma ind?stria de alimentos (Empresa 1), em uma ind?stria t?xtil (Empresa 2), al?m de uma concession?ria de ve?culos (Empresa 3). Quanto aos resultados, na Empresa 1 foi contemplada a substitui??o de mat?ria-prima (farinha) e Housekeeping (controle do uso de ?gua, energia e leite condensado). J? a Empresa 2 foi poss?vel contemplar os tr?s n?veis de PmL, atrav?s de pr?ticas de Housekeeping (no corte e manipula??o de subst?ncias qu?micas); modifica??o tecnol?gica (instala??o de um lavador com press?o das telas de estampagem); reciclagem interna (reaproveitamento de retalhos) e reciclagem externa (fabrica??o de fuxico). Por fim, na Empresa 3, devido ao escopo estabelecido foi contemplado apenas o N?vel 3 M reciclagem externa (com segrega??o na fonte e reciclagem externa). Desta forma, observou-se que a PmL pode ser aplicada sem restri??es tanto em empresas industriais quanto prestadoras de servi?o. Enfatiza-se, ainda que n?o foi poss?vel quantificar os ganhos sociais obtidos em uma escala monet?ria, por limita??es da pr?pria ferramenta PmL e pela complexidade do estudo. Portanto, frente a analise da aplica??o da ferramenta Produ??o mais Limpa nas empresas estudadas, foi evidenciado melhoria nas vertentes ambiental, social e econ?mica, preconizadas pela sustentabilidade empresarial. Entretanto, faz necess?rio mais transpar?ncia da alta administra??o no comprometimento com continuidade das a??es, para diante disto, melhor enquadrar a PmL

Submitted by Jos? Henrique Henrique (jose.neves@ufvjm.edu.br) on 2018-10-05T17:30:59Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dailiene_costa_martins.pdf: 912491 bytes, checksum: 33139be95a4396938cbad99798e74ac2 (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2018-10-05T19:51:28Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dailiene_costa_martins.pdf: 912491 bytes, checksum: 33139be95a4396938cbad99798e74ac2 (MD5) / Made available in DSpace on 2018-10-05T19:51:28Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dailiene_costa_martins.pdf: 912491 bytes, checksum: 33139be95a4396938cbad99798e74ac2 (MD5) Previous issue date: 2018 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Os sistemas de integra??o s?o modelos de produ??o sustent?veis que visam melhor uso dos recursos naturais e insumos, gerando maior diversidade de produtos para o produtor rural aumentar sua renda. Estes sistemas s?o mais complexos, pois agregam o componente agr?cola, pecu?rio, e, tamb?m, o florestal em uma mesma ?rea, exigem maior controle do manejo das forrageiras e intera??es com o ambiente, que t?m efeito na produ??o de produtos de origem animal. Objetivou-se avaliar as caracter?sticas da pastagem e o desempenho produtivo de bovinos da ra?a Nelore, em dois sistemas de integra??o, ILP e ILPF, nas esta??es de ver?o e inverno. O experimento foi conduzido na Embrapa Gado de Corte, Campo Grande-MS, em ?rea experimental com dois sistemas, um de integra??o lavoura-pecu?ria-floresta (ILPF) com 227 ?rvores/ha de Eucalyptus urograndis e outro de integra??o lavoura-pecu?ria (ILP) com ?rvores nativas remanescentes, ambos com pastagens de Brachiaria brizantha cv. BRS Piat?. O delineamento experimental utilizado foi o de blocos completos ao acaso em esquema de parcelas subdivididas, em que as parcelas consistiram em dois sistemas de integra??o (ILP e ILPF) e, as subparcelas, nas esta??es do ano (inverno e ver?o). A produ??o de massa seca (PMS) de forragem foi maior no ILP (3.412 kg/ha) que no ILPF (2.308 kg/ha). Para o ganho de peso vivo (GPV) e o ganho m?dio di?rio, n?o foram encontradas diferen?as significativas (P>0,05) entre os tratamentos ILP 238,6 kg/ha; 475,4 g/cab. dia) e ILPF (268,7 kg/ha; 581,4 g/cab. dia). O desempenho animal n?o foi prejudicado pela menor massa seca de forragem no ILPF, na esta??o de ver?o. Os valores de prote?na e DIVMO da folha foram maiores no ILPF. / Disserta??o (Mestrado) ? Programa de P?s-Gradua??o em Zootecnia, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2018. / Integrated systems are sustainable production models that aim at better use of natural resources, generating greater diversity of products for the rural producer to increase their income. These systems are more complex, since they add the agricultural component, livestock, and also the forest in the same area, require greater control of forage management and interactions with the environment, which have an effect on the production of animal products. The objective of this study was to evaluate the forage production and animal performance of Nellore cattle in two integrated systems, ICL (integrated crop-livestock) and ICLF (integrated crop-livestock-forestry) in summer and winter season. The experiment was perfomed at Embrapa Gado de Corte, Campo Grande - MS, in an experimental area with two integrated systems, crop-livestock-forest (ICLF) with 227 trees/ ha of eucalyptus urograndis and crop-livestock (ICL) with 5 remnant native trees, both with pasture of Brachiaria brizantha cv. BRS Piat?. The experimental design consisted of two complete integration systems (ILP and ILPF), and the subplots, in the seasons (winter and summer). Forage dry matter production (PMS) was higher in ILP (3,412 kg / ha) than in ILPF (2,308 kg/ ha). For the live weight gain (GPV) and average daily gain, no significant differences (P> 0.05) were found between ILP treatments 238.6 kg/ ha; 475.4 g/ cab. day) and ILPF (268.7 kg/ ha, 581.4 g/ day). Animal performance was not affected by the lower dry mass of forage in the ILPF, in the summer season. The protein and IVDOM of leaf were higher in ILCF.

Submitted by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2015-02-27T13:30:30Z No. of bitstreams: 5 11.pdf: 692915 bytes, checksum: 5a72c30d2db22b8d986fa5ff6134c4b8 (MD5) license_url: 49 bytes, checksum: fd26723f8d7edacdb29e3f03465c3b03 (MD5) license_text: 20904 bytes, checksum: e09bf99e64678e4285abf3ef3e05412d (MD5) license_rdf: 23422 bytes, checksum: b145eda3d84bdc4f56b389c0ab98d368 (MD5) license.txt: 2109 bytes, checksum: aa477231e840f304454a16eb85a9235f (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2015-02-27T14:36:27Z (GMT) No. of bitstreams: 5 11.pdf: 692915 bytes, checksum: 5a72c30d2db22b8d986fa5ff6134c4b8 (MD5) license_url: 49 bytes, checksum: fd26723f8d7edacdb29e3f03465c3b03 (MD5) license_text: 20904 bytes, checksum: e09bf99e64678e4285abf3ef3e05412d (MD5) license_rdf: 23422 bytes, checksum: b145eda3d84bdc4f56b389c0ab98d368 (MD5) license.txt: 2109 bytes, checksum: aa477231e840f304454a16eb85a9235f (MD5) / Made available in DSpace on 2015-02-27T14:36:27Z (GMT). No. of bitstreams: 5 11.pdf: 692915 bytes, checksum: 5a72c30d2db22b8d986fa5ff6134c4b8 (MD5) license_url: 49 bytes, checksum: fd26723f8d7edacdb29e3f03465c3b03 (MD5) license_text: 20904 bytes, checksum: e09bf99e64678e4285abf3ef3e05412d (MD5) license_rdf: 23422 bytes, checksum: b145eda3d84bdc4f56b389c0ab98d368 (MD5) license.txt: 2109 bytes, checksum: aa477231e840f304454a16eb85a9235f (MD5) Previous issue date: 2010 / Funda??o de Amparo ? Pesquisa do estado de Minas Gerais (Funda??o de Amparo ? Pesquisa do estado de Minas Gerais (FAPEMIG) / O presente estudo teve como objetivo avaliar o efeito da cianamida hidrogenada e a fenologia de produ??o em cultivares Pinot Meunier e Pinot Noir no munic?pio de Diamantina/MG. Os experimentos foram conduzidos em propriedade comercial localizada em Diamantina/MG. O vinhedo foi instalado em 2005 com as cultivares Pinot Meunier e Pinot Noir, enxertadas sobre o porta-enxerto 1103 Pausen, implantado com espa?amento de 1 m entre plantas x 2,5 m entre fileiras. As plantas foram conduzidas com 2 hastes em esquema de espaldeira vertical e tr?s fios de arame. A poda foi realizada em 4 de setembro de 2008, deixando uma haste curta com duas gemas por espor?o. Para a caracteriza??o fenol?gica foram feitas observa??es visuais a cada dois dias da poda at? a colheita. As demandas t?rmicas foram calculadas a partir de temperaturas observadas na Esta??o Meteorol?gica de Diamantina/MG. Para as curvas de matura??o foi utilizado suco para avalia??o qu?mica dos teores de s?lidos sol?veis totais (SST), acidez total titul?vel (ATT) e rela??o SST/ATT. Para avaliar o efeito da aplica??o de cianamida hidrogenada na brota??o, in?cio de matura??o e nas caracter?sticas f?sico-qu?micas das cultivares Pinot Meunier e Pinot Noir cultivadas em Diamantina/MG, foram realizadas avalia??es das plantas a cada dois dias, quando foram aferidas as porcentagens de brota??o e porcentagens de bagas em in?cio de matura??o. Na colheita foi realizada a contagem do n?mero de cachos por planta e foram amostradas 15 bagas por parcela para as seguintes avalia??es f?sico-qu?micas das bagas: umidade, massa, di?metros longitudinal (DL) e transversal (DT), rela??o DL/DT, teor de s?lidos sol?veis totais (SST), acidez total titul?vel (ATT), rela??o STT/ATT, a??cares redutores, antocianinas, flavon?ides, compostos fen?licos e pH. Os resultados obtidos demonstram dura??o do per?odo fenol?gico para as cultivares Pinot Meunier e Pinot Noir de 145 e 155 dias, respectivamente, para a produ??o da safra de ver?o em Diamantina/MG, podendo considerar a variedade Pinot Meunier de ciclo precoce. A exig?ncia t?rmica necess?ria para a produ??o da Pinot Meunier da poda ? colheita foi de 1340,67 GD e da Pinot Noir de 1446,95 GD. A cultivar Pinot Noir apresentou maior teor de s?lidos sol?veis totais e acidez, sendo a maior rela??o SST/ATT da Pinot Meunier nas condi??es de Diamantina/MG. Foram evidenciados para o efeito da aplica??o da cianamida hidrogenada a antecipa??o do in?cio da matura??o em 17 dias para a Pinot Meunier, a maior porcentagem de cachos em in?cio de matura??o em 45,84% e 28,23% para ?Pinot Meunier? e ?Pinot Noir?, respectivamente, e o incremento de algumas caracter?sticas f?sico-qu?micas avaliadas, como acidez total titul?vel, rela??o SST/ATT, flavon?ides e taninos para a cultivar Pinot Meunier e s?lidos sol?veis totais, a??cares redutores e umidade das bagas para a cultivar Pinot Noir. / Disserta??o (Mestrado) ? Programa de P?s-Gradua??o em Produ??o Vegetal, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2010. / ABSTRACT This study aimed to evaluate the effect of hydrogenated cyanamide and phenology of production in Pinot Meunier and Pinot Noir cultivars in Diamantina/MG.?The experiments were conducted in commercial property located at Diamantina/MG.?The vineyard was established in 2005 with the Pinot Meunier and Pinot Noir cultivars, grafted on rootstock Pausen 1103, deployed with a spacement of 1 m between plants and 2.5 m between rows.?The plants were conducted with 2 rods in an arrangement of vertical cordon and three wires.?The pruning was performed on September 4, 2008 leaving a short stem with two buds per spur.?To characterize the phenology were made visually observations every two days from pruning to harvest.?The thermal demands were calculated from the observed temperatures at the meteorological station of Diamantina/MG.?For the maturation curves was used a juice to make chemical evaluation of total soluble solids (TSS), total titratable acidity (TTA) and the TSS/TTA ratio.?To evaluate the effect of hydrogenated cyanamide on sprouting, early maturation and the physicochemical characteristics of the Pinot Meunier and Pinot Noir cultivars grown in Diamantina/MG where the assessments of plants were made every two days, then there were measured the percentage of budding?and the percentage of berries in early maturation.?At harvest it was counted the number of clusters per plant and there were sampled 15 berries per plot for the following physicochemical evaluations of berries: humidity, mass, longitudinal diameter (DL) and transversal diameter (TD), LD/TD ratio content of?total soluble solids (TSS), total titratable acidity (TTA), TSS/ATT ratio, reducing sugars, anthocyanins, flavonoids, phenolic compounds and pH.?The results show that the duration of phenological period for the Pinot Noir and Pinot Meunier cultivars are from 145 to 155 days, respectively, for the production of summer crops in Diamantina/MG, which may consider the Pinot Meunier variety in early maturity.?The thermal requirement needed for the production of Pinot Meunier from pruning to harvest was 1340.67 GD and Pinot Noir presented 1446.95 GD.?Pinot Noir cultivar showed the highest content of total soluble solids and acidic, and also the highest TSS/TTA ratio of Pinot Meunier in the Diamantina/MG environment.?For the purpose of applying hydrogenated cyanamide there were evidenced the anticipation of early maturation in 17 days for Pinot Meunier, the highest percentage of early-ripening in 45.84% and 28.23% for Pinot Meunier and Pinot Noir, respectively and the increment of some physicochemical characteristics evaluated as total titratable acidity, TSS/TTA ratio, flavonoids and tannins for the Pinot Meunier cultivar and total soluble solid, reducing sugars and humidity from the berries to the Pinot Noir cultivar.