Sugarcane (Saccharum spp) is an important commercial crop cultivated widely in tropical and subtropical countries. Primarily sugarcane is used to produce sugar and recently it is proven to be a valuable resource for bioethanol, biodiesel, bioplastic and bioelectricity. Smut is one of the most serious sugarcane disease and occurs in sugarcane fields all over the world. The disease is caused by the biotrophic fungus Sporisorium scitamineum. The fungus induces metabolic changes in the plant leading to the production of a whip-like structure where fungal sporogenesis take place. The objective of this study was to analyse the reactive oxygen species (ROS) production, antioxidant enzymes activity and expression of genes associated with the ROS metabolism in smut susceptible (IAC66-6) and resistant sugarcane genotypes (SP80-3280). In addition, this work assessed the relationship between antioxidant enzymes and sensitivity of S. scitamineum to exogenous hydrogen peroxide (H2O2). This thesis is presented in the format of two chapters (chapters 2 and 3). In the second chapter, the results revealed that there were variations in the antioxidant system as well as in the ROS production in resistant sugarcane genotype, whereas few changes occurred in the susceptible genotype inoculated with S. scitamineum. Microscopic analysis revealed that S. scitamineum teliospore germination and appressorium formation were delayed during early infection in the smut resistant genotype, which coincided with H2O2 accumulation. In chapter 3, the results demonstrated that S. scitamineum is highly resistant to exogenous H2O2. At 2 mM exogenous H2O2 concentration the fungus presented an effective antioxidant system in response to the secondary products of oxidative stress. Furthermore, S. scitamineum when exposed for a long time at 2 mM exogenous H2O2 concentration it can acquire an adaptive response to H2O2. The results obtained in this study contributed to increase the understanding of this very complex interaction between sugarcane and S. scitamineum and it will be helpful toward understanding which aspects are involved in the resistance to S. scitamineum. These informations are important to create strategies for improving smut resistance in sugarcane. / Cana-de-açúcar (Saccharum spp) é uma importante cultura comercial amplamente cultivada em países tropicais e subtropicais. A cana-de-açúcar é principalmente utilizada para produzir açúcar e recentemente é considerada uma valiosa fonte para produção de bioetanol, biodiesel, bioplásticos e bioeletricidade. O carvão é uma das doenças mais graves da cana-de-açúcar e ocorrem em canaviais do mundo inteiro. A doença é causada pelo fungo biotrófico Sporisorium scitamineum. Este fungo induz mudanças metabólicas na planta, levando a formação de uma estrutura chamada chicote, onde ocorre a esporogênese. O objetivo desse estudo foi analisar a produção de espécies reativas de oxigênio (EROs), atividade de enzimas antioxidantes e a expressão de genes associados ao metabolismo de EROs em genótipos de cana-açúcar susceptível (IAC66-6) e resistente (SP80-3280). Além disso, este trabalho avaliou a relação entre as enzimas antioxidantes e sensibilidade de S. scitamineum a peróxido de hidrogênio (H2O2) exógeno. Esta tese está apresentada no formato de 2 capítulos (capítulos 2 e 3). No segundo capítulo, os resultados revelaram que ocorreram alterações no sistema antioxidante, bem como na produção de EROs no genótipo resistente, enquanto que poucas mudanças ocorreram no genótipo susceptível inoculado com S. scitamineum. Análises de microscopia revelaram que a germinação de teliósporos e a formação de apressórios de S. scitamineum atrasou durante o início da infeção no genótipo resistente ao carvão, coincidindo com o acúmulo de H2O2. No capítulo 3, os resultados demonstraram que S. scitamineum é altamente resistente a H2O2 exógeno. O fungo crescendo na concentração de 2 mM de H2O2 apresentou um eficiente sistema antioxidante em resposta a produtos secundários do estresse oxidativo. Além disso, quando S. scitamineum foi exposto a 2 mM de H2O2 exógeno, ele pode adquirir uma resposta adaptativa ao H2O2. Os resultados obtidos neste estudo contribuíram para aumentar o entendimento dessa complexa interação entre cana e S. scitamineum e será útil para a compreensão de quais aspectos estão envolvidos na resistência a este fungo. Estas informações são importantes para criar estratégias para o melhoramento de cana a essa doença.

INTRODUÇÃO. O trauma grave está associado a complexas alterações hemodinâmicas e microcirculatórias. A hipovolemia resultante da perda sanguínea e a inflamação desencadeada pelo trauma tecidual, além da própria isquemia tecidual sistêmica, são os principais fatores que levam a estas alterações. A solução salina hipertônica hiperoncótica (HSD) e a pentoxifilina vem sendo propostas como opções na ressuscitação volêmica do choque hemorrágico, mostrando efeito de modulação da resposta inflamatória e eficácia na restauração dos parâmetros hemodinâmicos. OBJETIVOS. Avaliar a evolução dos mediadores inflamatórios e do burst oxidativo durante 4 horas, após reposição volêmica inicial no tratamento do choque hemorrágico controlado, com três diferentes tipos de solução: Ringer lactato, solução hipertônica hiperoncótica (HSD) e solução hipertônica hiperoncótica associada a pentoxifilina (PTX). MÉTODOS. Anestesiamos e instrumentamos 20 porcos da raça Landrace de 28-32 kg. 5 animais foram randomizados para grupo Sham (apenas anestesiados e monitorizados) e outros 15 submetidos a choque hemorrágico controlado, com pressão arterial média (PAM) mantida em 40 mmHg por 30 minutos. Após o choque 5 animais foram tratados com 32 ml/kg de ringer lactato (grupo RL), 5 animais com 4 ml/kg de HSD (grupo HSD) e 5 animais com 4 ml/kg de HSD + 25 mg/kg de pentoxifilina. Além de medidas hemodinâmicas sistemicas e regionais, procedemos a determinação do burst oxidativo dos neutrófilos circulantes e dos mediadores inflamatórios (TNF alfa, interleucina 1, interleucina 6 e interleucina 10). RESULTADOS. Os animais dos grupos HSD e PTX apresentaram diminuição significativa do burst oxidativo após a reposição volêmica, ao contrário do grupo RL, que apresentou comportamento contrário (p<0,001 para HSD versus RL e PTX versus RL após tratamento). TNF alfa e interleucinas também apresentaram valores estáveis nos grupos tratados com HSD e PTX, enquanto nos animais tratados com RL houve aumento importante destes mediadores. O HSD mostrou-se ineficaz em normalizar algumas variáveis regionais e sitêmicas (p<0,05 após tratamento em T0 para HSD versus Sham e HSD versus PTX), apresentando melhora quando associado a pentoxifilina. CONCLUSÕES. Em modelo experimental de choque hemorrágico controlado, durante observação de 4 horas, a solução salina hipertônica hiperoncótica, utilizada como solução de reposição volêmica em volume de 4ml/kg de peso, demonstrou causar menor ativação de neutrófilos e menor produção de mediadores inflamatórios quando comparada a solução de Ringer lactato. Quando associada a pentoxifilina 25 mg/kg seus efeitos na modulação da resposta inflamatória foram semelhantes. / INTRODUCTION. Major trauma is associated with complex hemodynamic and microcirculatory changes. Volume depletion resulting from blood loss and inflammation triggered by tissue trauma, besides the systemic tissue ischemia, are the main factors leading to these changes. Hypertonic saline hyperoncotic (HSD) and pentoxifylline has been proposed as options in the resuscitation of hemorrhagic shock, showing the effect of modulation of the inflammatory response and efficacy in the restoration of hemodynamic parameters. OBJECTIVES. To evaluate the progression of inflammatory mediators and oxidative burst during 4 hours after initial resuscitation in the treatment of hemorrhagic shock, with three different solutions: Ringer lactate, hypertonic hyperoncotic solution (HSD) and hypertonic hyperoncotic solution associated with pentoxifylline (PTX). METHODS. anesthetized and instrumented 20 Landrace pigs of 28-32 kg 5 animals were randomized to Sham group (only anesthetized and monitored) and 15 submitted to hemorrhagic shock. The mean arterial pressure (MAP) was maintained at 40 mmHg by 30 minutes. After shock 5 animals were treated with 32 ml / kg Ringer\'s lactate (RL group), 5 animals with 4 ml / kg HSD (HSD group) and 5 animals with 4 ml / kg of HSD + 25 mg / kg pentoxifylline. In addition to systemic and regional hemodynamic parameters, we determine the oxidative burst of circulating neutrophils and inflammatory mediators (TNF-alpha, interleukin 1, interleukin 6 and interleukin 10). RESULTS. The animals in the HSD and PTX groups showed a significant decrease in oxidative burst after resuscitation, unlike the RL group, which showed an opposite (p<0.001 for HSD versus RL and RL PTX versus after treatment). TNF alpha and interleukins also showed stable values in the groups treated with HSD and PTX, whereas in animals treated with RL was significant increase of these mediators. The HSD was ineffective in normalizing some regional and systemic hemodynamic variables (p<0.05 after treatment at T0 for HSD versus HSD versus Sham and PTX), which improved when combined with pentoxifylline. CONCLUSIONS. In an experimental model of hemorrhagic shock during the observation of 4 hours, hypertonic saline hyperoncotic used as a solution for volume replacement in volume 4ml/Kg weight, shown to cause less activation of neutrophils and decreased production of inflammatory mediators when compared to Ringer\'s lactate. When coupled with pentoxifylline 25 mg / kg effects on modulation of inflammatory response were similar.

Este trabalho analisa, a partir dos pontos de vista conceitual e sociocultural, o fenômeno de sobrecarga de informação. Este termo designa uma situação em que os indivíduos, tendo em vista uma tarefa, não se sentem capazes de lidar com certa quantidade de informação, a qual, assim definida por critérios pessoais, profissionais e societais, lhes parece necessária para seus objetivos. Assim sendo, se assimila a outros, como multitudo librorum, explosão da informação, fadiga da informação e infobesidade. Para abordar esse objeto, o método usado é o da pesquisa exploratória, isto é, estruturam-se e aprofundam-se os debates presentes na literatura. O material de base do estudo são referências sobre a história da produção da informação e do conhecimento e uma seleção de artigos com os termos \"information overload\" e \"sobrecarga de informação\" encontrados em bases de dados na área da Ciência da Informação. Com tal apanhado, elencamos na pesquisa ocorrências da sobrecarga -- ou de casos análogos -- desde a Antiguidade à Idade Contemporânea, de modo a substanciar uma exposição das características do conceito e esclarecer as relações entre ele e as várias expressões (como as citadas acima) que o manifestam. Com esse estudo, torna-se claro que precisam ser repensadas as perspectivas que entendem os danos advindos do excesso de informação como produtos únicos da contemporaneidade -- é preciso compreender esses acontecimentos nas interrelações de fatores em cada momento e recuperar aprendizados possivelmente esquecidos. Portanto, destacamos o vínculo entre as situações de sobrecarga e o desenvolvimento de novos recursos de tratamento informacional, principalmente no que se refere à Ciência da Informação. / This work analyses, conceptually and socioculturally, the phenomenon of information overload. The term designates a situation in which individuals, having a task in mind, don\'t feel capable of dealing with a certain amount of information that is deemed necessary to their assignment, based on personal, professional and social criteria. Therefore, \"information overload\" is comparable to others notions as multitudo librorum, information explosion, information fatigue and infobesity. To understand this subject, the exploratory research method is used, that is, we structure and deepen previous debates concerning the theme. Our basic material are references in the history of the production of information and knowledge and a selection of articles with the incidence of the terms \"information overload\" and \"sobrecarga de informação\", found in Information Science databases. By these means, we compile instances of overload -- or analogous cases -- since Antiquity to the Contemporary Age, so as to be able to expose the concept\'s characteristics and clarify the relations between it and the various expressions (as the ones cited above) around it. Considering what we found, it becomes clear that it is necessary to rethink perspectives which believe that the damages caused by the information excess are an exclusive product of our days -- it is necessary to understand these circumstances from the point of view of the interrelations of factors in each moment and retrieve possibly forgotten learnings. Hence, we underline the conection between the situations of overload and the development of new informational tools, principally regarding Information Science.

Made available in DSpace on 2016-04-27T17:27:04Z (GMT). No. of bitstreams: 1 Diogo Henrique Bispo Dias.pdf: 817652 bytes, checksum: a9c449589ddd37e8416ba66f62fb6285 (MD5) Previous issue date: 2013-06-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This master' s thesis comprehends the philosophical aspects of paraconsistent logic. It will analyze the history of the fundamental logical principles to this particular logic, namely: the law of non-contradiction and the principle of explosion, as well as the history of paraconsistency. Moreover, an interpretation of paraconsistency that defends the existence of true contradiction, known as dialetheism, will be discussed, as well as the criticism to' this position, and, in general, to paraconsistent logics. The philosophical character of this thesis does not mean that the text will be exempt from theorems, formulas, demonstrations and other formal questions. But this formal aspect will not be treated as a end in itself. The formalism will be used to present two proposicional paraconsistent systems, namely: paraclassicallogic and paraclassical logic with inclusion, and to compare them with classical logic. The theoretical framework built for such aim is philosophically relevant, for the discussion on central points in logic, such as the existence of logical laws, its a priori character, and even the very definition of logic. Finally, a method will be proposed in order to find, from a given logic, its paraconsistent version. Due to the multiplicity of paraconsistent systems,' I this study is important in order to explore the general features of paraconsistent logics, their specificities and, mainly, abstract methods for generation of paraconsisent logic / Este trabalho abordará os aspectos filosóficos das lógicas paraconsistentes. Analisaremos a história dos princípios lógicos fundamentais para esta lógica, a saber: a lei de não-contradição e o princípio de explosão, bem como a história do surgimento da paraconsistência. Ademais, discutiremos uma interpretação da paraconsistência que defende a existência de contradições verdadeiras, denominada dialeteismo, e as possíveis críticas ao dialeteismo e, de forma geral, às lógicas paraconsistentes. O caráter filosófico do trabalho não significa que o texto estará isento de teoremas, fórmulas, demonstrações e outras questões formais. Porém, este aspecto formal não será tratado como um fim em si mesmo. O formalismo será utilizado para apresentar dois sistemas proposicionais paraconsistentes - lógica para clássica e lógica para clássica com inclusão - e compará-los com a lógica proposicional clássica. O arcabouço teórico construído para tal fim é filosoficamente relevante para discutir questões centrais à lógica" como a existência de leis lógicas, seu caráter a priori e, até mesmo, a própria definição de lógica. Por fim, será apresentado um método para encontrar, a partir de uma lógica dada, sua versão paraconsistente. Face à multiplicidade, de sistemas lógicos paraconsistentes, este estudo é importante, pois permite explorar as possíveis características gerais das lógicas paraconsistentes, suas especificidades e, principalmente, métodos abstratos para gerar lógicas paraconsistentes

Este trabalho analisa, a partir dos pontos de vista conceitual e sociocultural, o fenômeno de sobrecarga de informação. Este termo designa uma situação em que os indivíduos, tendo em vista uma tarefa, não se sentem capazes de lidar com certa quantidade de informação, a qual, assim definida por critérios pessoais, profissionais e societais, lhes parece necessária para seus objetivos. Assim sendo, se assimila a outros, como multitudo librorum, explosão da informação, fadiga da informação e infobesidade. Para abordar esse objeto, o método usado é o da pesquisa exploratória, isto é, estruturam-se e aprofundam-se os debates presentes na literatura. O material de base do estudo são referências sobre a história da produção da informação e do conhecimento e uma seleção de artigos com os termos \"information overload\" e \"sobrecarga de informação\" encontrados em bases de dados na área da Ciência da Informação. Com tal apanhado, elencamos na pesquisa ocorrências da sobrecarga -- ou de casos análogos -- desde a Antiguidade à Idade Contemporânea, de modo a substanciar uma exposição das características do conceito e esclarecer as relações entre ele e as várias expressões (como as citadas acima) que o manifestam. Com esse estudo, torna-se claro que precisam ser repensadas as perspectivas que entendem os danos advindos do excesso de informação como produtos únicos da contemporaneidade -- é preciso compreender esses acontecimentos nas interrelações de fatores em cada momento e recuperar aprendizados possivelmente esquecidos. Portanto, destacamos o vínculo entre as situações de sobrecarga e o desenvolvimento de novos recursos de tratamento informacional, principalmente no que se refere à Ciência da Informação. / This work analyses, conceptually and socioculturally, the phenomenon of information overload. The term designates a situation in which individuals, having a task in mind, don\'t feel capable of dealing with a certain amount of information that is deemed necessary to their assignment, based on personal, professional and social criteria. Therefore, \"information overload\" is comparable to others notions as multitudo librorum, information explosion, information fatigue and infobesity. To understand this subject, the exploratory research method is used, that is, we structure and deepen previous debates concerning the theme. Our basic material are references in the history of the production of information and knowledge and a selection of articles with the incidence of the terms \"information overload\" and \"sobrecarga de informação\", found in Information Science databases. By these means, we compile instances of overload -- or analogous cases -- since Antiquity to the Contemporary Age, so as to be able to expose the concept\'s characteristics and clarify the relations between it and the various expressions (as the ones cited above) around it. Considering what we found, it becomes clear that it is necessary to rethink perspectives which believe that the damages caused by the information excess are an exclusive product of our days -- it is necessary to understand these circumstances from the point of view of the interrelations of factors in each moment and retrieve possibly forgotten learnings. Hence, we underline the conection between the situations of overload and the development of new informational tools, principally regarding Information Science.

Sugarcane (Saccharum spp) is an important commercial crop cultivated widely in tropical and subtropical countries. Primarily sugarcane is used to produce sugar and recently it is proven to be a valuable resource for bioethanol, biodiesel, bioplastic and bioelectricity. Smut is one of the most serious sugarcane disease and occurs in sugarcane fields all over the world. The disease is caused by the biotrophic fungus Sporisorium scitamineum. The fungus induces metabolic changes in the plant leading to the production of a whip-like structure where fungal sporogenesis take place. The objective of this study was to analyse the reactive oxygen species (ROS) production, antioxidant enzymes activity and expression of genes associated with the ROS metabolism in smut susceptible (IAC66-6) and resistant sugarcane genotypes (SP80-3280). In addition, this work assessed the relationship between antioxidant enzymes and sensitivity of S. scitamineum to exogenous hydrogen peroxide (H2O2). This thesis is presented in the format of two chapters (chapters 2 and 3). In the second chapter, the results revealed that there were variations in the antioxidant system as well as in the ROS production in resistant sugarcane genotype, whereas few changes occurred in the susceptible genotype inoculated with S. scitamineum. Microscopic analysis revealed that S. scitamineum teliospore germination and appressorium formation were delayed during early infection in the smut resistant genotype, which coincided with H2O2 accumulation. In chapter 3, the results demonstrated that S. scitamineum is highly resistant to exogenous H2O2. At 2 mM exogenous H2O2 concentration the fungus presented an effective antioxidant system in response to the secondary products of oxidative stress. Furthermore, S. scitamineum when exposed for a long time at 2 mM exogenous H2O2 concentration it can acquire an adaptive response to H2O2. The results obtained in this study contributed to increase the understanding of this very complex interaction between sugarcane and S. scitamineum and it will be helpful toward understanding which aspects are involved in the resistance to S. scitamineum. These informations are important to create strategies for improving smut resistance in sugarcane. / Cana-de-açúcar (Saccharum spp) é uma importante cultura comercial amplamente cultivada em países tropicais e subtropicais. A cana-de-açúcar é principalmente utilizada para produzir açúcar e recentemente é considerada uma valiosa fonte para produção de bioetanol, biodiesel, bioplásticos e bioeletricidade. O carvão é uma das doenças mais graves da cana-de-açúcar e ocorrem em canaviais do mundo inteiro. A doença é causada pelo fungo biotrófico Sporisorium scitamineum. Este fungo induz mudanças metabólicas na planta, levando a formação de uma estrutura chamada chicote, onde ocorre a esporogênese. O objetivo desse estudo foi analisar a produção de espécies reativas de oxigênio (EROs), atividade de enzimas antioxidantes e a expressão de genes associados ao metabolismo de EROs em genótipos de cana-açúcar susceptível (IAC66-6) e resistente (SP80-3280). Além disso, este trabalho avaliou a relação entre as enzimas antioxidantes e sensibilidade de S. scitamineum a peróxido de hidrogênio (H2O2) exógeno. Esta tese está apresentada no formato de 2 capítulos (capítulos 2 e 3). No segundo capítulo, os resultados revelaram que ocorreram alterações no sistema antioxidante, bem como na produção de EROs no genótipo resistente, enquanto que poucas mudanças ocorreram no genótipo susceptível inoculado com S. scitamineum. Análises de microscopia revelaram que a germinação de teliósporos e a formação de apressórios de S. scitamineum atrasou durante o início da infeção no genótipo resistente ao carvão, coincidindo com o acúmulo de H2O2. No capítulo 3, os resultados demonstraram que S. scitamineum é altamente resistente a H2O2 exógeno. O fungo crescendo na concentração de 2 mM de H2O2 apresentou um eficiente sistema antioxidante em resposta a produtos secundários do estresse oxidativo. Além disso, quando S. scitamineum foi exposto a 2 mM de H2O2 exógeno, ele pode adquirir uma resposta adaptativa ao H2O2. Os resultados obtidos neste estudo contribuíram para aumentar o entendimento dessa complexa interação entre cana e S. scitamineum e será útil para a compreensão de quais aspectos estão envolvidos na resistência a este fungo. Estas informações são importantes para criar estratégias para o melhoramento de cana a essa doença.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) / Made available in DSpace on 2018-08-29T18:03:18Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) Previous issue date: 2007-02-23 / Todo programador ou engenheiro de software lida com um problema crônico na concepção de seus sistemas: violações das especificações ou requisitos de projeto. Essas violações necessitam de uma captura imediata, pois geralmente originam falhas que só podem ser descobertas tardiamente, a um custo de reparo bastante elevado. Nos últimos anos, pesquisadores da ciência da computação estão conseguindo um progressonotávelnodesenvolvimentodetécnicaseferramentasqueverificamautomaticamente requisitos e projeto. A abordagem em maior evidência chama-se verificação de modelos (model-checking). Verificação de modelos é uma técnica formal e algorítmica de se fazer verificação de propriedades de sistemas com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados produzidos. Porém, esta técnica sofre de um problema fundamental — a explosão do espaço de estados — que se deve ao crescimento exponencial na estrutura que representa o comportamento de sistemas e à falta de recursos computacionais disponíveis para lidar com grandes quantidades de informação sobre o comportamento dos sistemas sob verificação. Este trabalho concentra-se em verificação de modelos utilizando plataformas de distribuição como tentativa de aliviar o problema citado. Mais detalhadamente, investigamos o uso de grades computacionais que rodam aplicações bag-of-tasks e formulamos algoritmos específicos para o processo de verificação. Aplicações bag-of-tasks são aplicações paralelas cujas tarefas são independentes entre si. Elas são as aplicações mais apropriadas para grades computacionais por permitirem heterogeneidade dos recursos. Aplicamos ferramentas de grades computacionais como uma camada entre a ferramenta de verificação e os recursos distribuídos compartilhados existentes e comparamos os quesitos desempenho e escala nos sistemas a serem verificados em relação às versões centralizadas de verificadores. A plataforma empregada na distribuição é muito atrativa no quesito custo, controle e escala. Através do compartilhamento de uma simples máquina, o engenheiro de sistemas ganha acesso a uma comunidade provedora de uma grande quantidade de recursos heterogêneos e automaticamente gerenciados para se fazer computação paralela seguindo sua filosofia. Durante o trabalho, essas vantagens são comparadas com suas desvantagens, como o alto custo de comunicação e a dificuldade de particionar o processo, por exemplo. O trabalho envolveu a produção das seguintes ferramentas: uma API genérica para a geração distribuída de grafos que representam o comportamento de sistemas concorrentes sobre plataformas de grades computacionais bag-of-tasks, um protótipo de verificação CTL que age de duas maneiras distintas, sendo on-the-fly durante a geração do espaço de estados ou sobre esse espaço de estados distribuído representado explicitamente seguindo a mesma filosofia de comunicação e versões simplificadas de simuladores de sistemas concorrentes sob alguns formalismos baseados em redes de Petri. Resultados experimentais sobre a aplicação deste ferramental são apresentados. / Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce errors that can be discovered later, at a very expensive cost to repair. In recent years, researchers in computer science are obtaining a notable progress in the development of techniques and tools to automatically verify requirements and designs. The most evidently approach is called model-checking. Model checking is a formal and algorithmic technique to perform properties verification in a finite state space of systems. Its main advantages are the automation power and the quality of the produced results. However this technique suffers from one big and foundamental problem - the state space explosion which is the absense of computational resources available today’s to deal with large amounts of information about the behavior of the systems under verification. This work investigates a solution to verify models in a distributed way using computational grids which runs bag-of-tasks applications, alleviating the mentioned problem. Bagof-tasks applications are those parallel applications which tasks arei ndependent of each other and are the applications most suited for computational grids because they allow heterogeneity between resources. We employ computational grid tools as a layer between between the verificationtooland the distributed shared resources. This verification is performed by adapted CTL algorithms to the bag-of-tasks philosophy. So we intend to obtain improvements in speed-up and scalability in the systems to be checked when compared to centralized versions of verifiers produced in side the group. Moreover,the employed middleware in the distribution is very attractive in the cost and control aspects. By sharing a single machine, the system engineer obtains access to a community that provides large amounts of heterogeneous resources automatically managed to perform parallel computation. This work included the production of the following tools: a generic API to the distributed generation of graphs that describes the behavior of concurrent systems under bag-of-tasks computational grids platforms, a prototype to check for CTL properties using on-the-fly algorithms or iterating over the generated fragments of the distributed graph. We also implemented simplified versions of simulators of concurrent systems following some formalisms based on Petri nets. Experimental results are also presented.

Após a desativação da técnica SA, a ionosfera tornou-se a principal fonte de erro no posicionamento com GPS. O erro associado à ionosfera é diretamente proporcional ao conteúdo total de elétrons (TEC – Total Electron Content) presente ao longo do caminho da trajetória percorrida pelo sinal na ionosfera e inversamente proporcional ao quadrado da freqüência do sinal. O TEC, e conseqüentemente o erro devido à ionosfera, variam no tempo e no espaço e é influenciado por diversas variáveis, tais como: ciclo solar, época do ano, hora do dia, localização geográfica, atividade geomagnética, entre outros. A região brasileira é um dos locais que apresenta os maiores valores e variações espaciais do TEC e onde estão presentes diversas particularidades da ionosfera, tais como, a anomalia equatorial e o efeito da cintilação ionosférica. Desta forma, é importante a realização de pesquisas que visam estudar o comportamento do TEC, e conseqüentemente do erro devido à ionosfera no Brasil, que é um trabalho complexo devido aos diversos fatores que influenciam a variação do TEC, além das particularidades presentes na região brasileira. Estudos desta natureza podem auxiliar a comunidade geodésica brasileira, e demais usuários do GPS, no entendimento das limitações impostas pela ionosfera nas regiões de interesse. Devido à natureza dispersiva da ionosfera, o estudo do comportamento do TEC no Brasil pode ser realizado utilizando os dados GPS de receptores de dupla freqüência pertencentes à RBMC (Rede Brasileira de Monitoramento Contínuo). Adicionalmente, para uma melhor análise, pode-se também utilizar dados das estações da rede IGS (International GNSS Service) da América do Sul. Esta pesquisa tem como principal meta o estudo do comportamento do erro devido à ionosfera na região brasileira em diferentes situações ionosféricas com base em valores de TEC advindos das estações GPS da RBMC e da rede IGS da América do Sul. Outro objetivo é avaliar a performance e as limitações do Mapa Global da Ionosfera do IGS aplicado no posicionamento por ponto na região brasileira. / In the SA absence, the ionosphere is the largest error source in GPS positioning. The error due to the ionosphere in the GPS observables depends on the signal frequency and Total Electron Content (TEC) in the ionospheric layer. The TEC varies regularly in time and space in relation to the sunspot number, the season, the local time, the geographic position, and others. The Brazilian region is one of the regions of the Earth that presents largest values and space variations of the TEC, being influenced by the equatorial anomaly of ionization and ionospheric scintillation. Therefore, it is important to study the TEC behavior in the Brazilian region. Due to the ionosphere dispersive nature, the TEC behavior in Brazil can be studied using GPS data from RBMC (Rede Brasileira de Monitoramento Contínuo – Brazilian Network for Continuous Monitoring of GPS). Additionally, GPS data from IGS (International GNSS Service) network of the South America can also be used in the experiments. The goal of this research is to study the ionospheric error behavior in the Brazilian region, considering different ionosphere situations, using TEC values computed by GPS data from RBMC and IGS network. Other goal is to evaluate the performance and limitations of Global Ionospheric Map of IGS applied in the GPS point positioning in Brazil.

CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / FAPEMIG - Fundação de Amparo a Pesquisa do Estado de Minas Gerais / Atualmente, tem-se estudado diversos tipos de pré- tratamentos para reduzir a recalcitrância da biomassa lignocelulósica com intuito de aumentar sua digestibilidade química/enzimática, para que esta possa ser utilizada na produção de etanol e/ou outros bioprodutos de valor agregado. Neste estudo avaliou-se o efeito do pré-tratamento de explosão a vapor catalisada por ácido cítrico e hidróxido de sódio, e do pré-tratamento de deslignificação alcalina nas propriedades químicas e estruturais do bagaço de cana-de-açúcar (BCA), bem como sobre o processo de hidrólise enzimática. O pré-tratamento de explosão a vapor foi realizado em reator de 1,4L sob temperatura de 180 °C com tempo de retenção de 5 min. A etapa de deslignificação com NaOH (2% m:m) foi realizada a 120 °C, sob refluxo de 4h. A caracterização química e estrutural da biomassa in natura e pré-tratada foi realizada por FTIR, MEV, DRX. A hidrólise enzimática foi realizada com volume final de 20 mL constituído de 3% de BCA (massa seca), tampão de citrato de sódio 50 mM (pH=5,0) e 10 FPU do complexo enzimático Cellic® CTec 3. Os frascos foram mantidos sob agitação de 150 rpm a 50ºC por 72 h. Retirou-se alíquotas de 1,5 mL após 0, 12, 24, 36, 48 e 72h para determinação de açúcares redutores totais (ART) pelo método do ácido 3,5-dinitrosalicílico (DNS). O bagaço de cana-de-açúcar apresentou 24,22% de lignina, 27,61% de hemiceluloses e 42,77% de celulose, no entanto após o pré-tratamento de explosão a vapor catalisado com ácido cítrico, obteve-se uma biomassa com menor quantidade de hemiceluloses (16,16%) e com formação de fissuras na parede celular da fibra. O bagaço pré-tratado por explosão a vapor com NaOH apresentou completa desestruturação da fibra, remoção de 65% da lignina e preservação da fração hemicelulósica. Depois de submeter à biomassa lignocelulósica sem tratamento e pré-tratada por explosão a vapor ao processo de deslignificação alcalina observou-se a completa desestruturação da matriz lignocelulósica e a solubilização de 85-90% da lignina em todas as amostras. O índice de cristalinidade da biomassa após os prétratamentos teve uma aumento quando comparado ao material in natura, podendo este ser associado à remoção de componentes amorfos, como a lignina e hemiceluloses, e também da fração amorfa da celulose. Frente ao percentual mássico de biomassa utilizada no processo de hidrólise enzimática valor teórico correspondente a 100% de sacarificação equivale, aproximadamente, a 33,0 g.L-1. Após a hidrólise enzimática (72h) da biomassa in natura e pré-tratada por explosão a vapor obteve-se uma maior concentração de ART e um maior percentual de sacarificação para o bagaço de cana obtido a partir da explosão a vapor com NaOH (23,05 g.L-1, 69,15% de sacarificação). Já na hidrólise da biomassa in natura após processo de deslignificação alcalina a concentração de ART aumentou em 18,33 g.L-1, enquanto que para o bagaço pré-tratado por explosão a vapor com água, ácido cítrico e NaOH seguido da deslignificação alcalina o aumento de ART, correspondeu a 19,67 g.L-1, 19,93 g.L-1 e 6,87 g.L-1. Diante da produção de ART após deslignificação notou-se que o percentual de sacarificação para a biomassa sem tratamento elevou-se de 11,88% para 69,15%, enquanto que para o bagaço após explosão a vapor e deslignificação este percentual ficou entre 82,05% - 89,79%. Por fim, cabe ressaltar que no BCA previamente pré-tratado por explosão a vapor com NaOH, a remoção de lignina após o segundo pré-tratamento teve um acréscimo de apenas 20% e a concentração de ART de 6,87 g.L-1. Dessa forma, acredita-se que ao aumentar a concentração da solução de NaOH para realizar a explosão a vapor poderia-se não necessitar da realização da etapa de deslignificação. / Nowadays, there is various types of studied pre-treatments to reduce the lignocellulosic biomass recalcitrance in order to increase its chemical / enzymatic digestibility, so that it can be used in ethanol production and / or other bioproducts value. This study evaluated the effect of steam explosion pretreatment catalyzed by citric acid and sodium hydroxide, and alkaline delignification pretreatment over chemical and structural properties of sugarcane bagasse, as well as the enzymatic hydrolysis process. Steam explosion pretreatment was conducted in a 1.4 L reactor at temperature of 180 °C and 5 min hold time. The delignification step with NaOH (2% m:m) was performed at 120 °C under reflux for 4 hours. Chemical and structural characterization of raw and pretreated biomass was performed by FTIR, SEM and XRD. Enzymatic hydrolysis was performed with final volume of 20 mL consisting 3% SCB on dryweight basis, sodium citrate buffer 50 mM (pH = 5.0) and 10 FPU of Cellic® Ctec 3 enzyme complex. Flasks were kept under agitation of 150 rpm at 50 °C during 72 h. It was analyzed 1.5 mL aliquots after 0, 12, 24, 36, 48 and 72 hours to determinate total reducing sugars (TRS) by acid 3,5-dinitrosalicílic method (DNS). Sugarcane bagasse showed 24.22% lignin, 27.61% hemicelluloses and 42.77% of cellulose, however after steam explosion pretreatment catalyzed by citric acid, it was obtained a biomass with lesser hemicelluloses amount (16.16%) and cracks formation on fiber cell wall were observed. The bagasse pretreated by steam explosion by NaOH showed complete destructuring of fiber and lignin removal was 65%, while hemicellulosic fraction was preserved. After submitting untreated and pretreated lignocellulosic biomass by steam explosion to alkaline delignification process, complete destructuring and solubilization of the lignocellulosic matrix was observed with 85-90% lignin removal in all samples. The crystallinity index of biomass after pretreatments increased when compared to raw material and this could be associated to amorphous components removal, such as lignin and hemicelluloses, and also the amorphous cellulose fraction. The theoretical value corresponding to 100% of saccharification corresponds to approximately 33.0 g·L-1, compared to the mass percentage of biomass used in the enzymatic hydrolysis process. After 72 h enzymatic hydrolysis of raw and pretreated biomass by steam explosion, the highest concentration of total reducing sugars (TRS) and the highest percentage of saccharification were obtained for sugarcane bagasse (23.05 g·L-1, 69,15% saccharification). In in nature biomass hydrolysis, after alkaline delignification process, ART concentration increased 18.33 g·L-1, while pretreated biomass by steam explosion with water, citric acid and NaOH followed by alkaline delignification increase TRS to 19.67 g·L-1, 19.93 g·L-1 and 6.87 g·L-1. After delignification, it was noted that saccharification percentage for untreated biomass increased from 11.88% to 69.15%, while for bagasse after steam explosion and delignification this percentage was between 82.05% - 89.79%. Lastly, it should be noted that in biomass previously pretreated by NaOH steam explosion, lignin solubilization after the second pretreatment had an increase of only 20% and TRS concentration of 6.87 g·L-1. Thus, it is believed that increasing NaOH solution concentration to perform steam explosion could not need to implement delignification step. / Dissertação (Mestrado)

Após a desativação da técnica SA, a ionosfera tornou-se a principal fonte de erro no posicionamento com GPS. O erro associado à ionosfera é diretamente proporcional ao conteúdo total de elétrons (TEC – Total Electron Content) presente ao longo do caminho da trajetória percorrida pelo sinal na ionosfera e inversamente proporcional ao quadrado da freqüência do sinal. O TEC, e conseqüentemente o erro devido à ionosfera, variam no tempo e no espaço e é influenciado por diversas variáveis, tais como: ciclo solar, época do ano, hora do dia, localização geográfica, atividade geomagnética, entre outros. A região brasileira é um dos locais que apresenta os maiores valores e variações espaciais do TEC e onde estão presentes diversas particularidades da ionosfera, tais como, a anomalia equatorial e o efeito da cintilação ionosférica. Desta forma, é importante a realização de pesquisas que visam estudar o comportamento do TEC, e conseqüentemente do erro devido à ionosfera no Brasil, que é um trabalho complexo devido aos diversos fatores que influenciam a variação do TEC, além das particularidades presentes na região brasileira. Estudos desta natureza podem auxiliar a comunidade geodésica brasileira, e demais usuários do GPS, no entendimento das limitações impostas pela ionosfera nas regiões de interesse. Devido à natureza dispersiva da ionosfera, o estudo do comportamento do TEC no Brasil pode ser realizado utilizando os dados GPS de receptores de dupla freqüência pertencentes à RBMC (Rede Brasileira de Monitoramento Contínuo). Adicionalmente, para uma melhor análise, pode-se também utilizar dados das estações da rede IGS (International GNSS Service) da América do Sul. Esta pesquisa tem como principal meta o estudo do comportamento do erro devido à ionosfera na região brasileira em diferentes situações ionosféricas com base em valores de TEC advindos das estações GPS da RBMC e da rede IGS da América do Sul. Outro objetivo é avaliar a performance e as limitações do Mapa Global da Ionosfera do IGS aplicado no posicionamento por ponto na região brasileira. / In the SA absence, the ionosphere is the largest error source in GPS positioning. The error due to the ionosphere in the GPS observables depends on the signal frequency and Total Electron Content (TEC) in the ionospheric layer. The TEC varies regularly in time and space in relation to the sunspot number, the season, the local time, the geographic position, and others. The Brazilian region is one of the regions of the Earth that presents largest values and space variations of the TEC, being influenced by the equatorial anomaly of ionization and ionospheric scintillation. Therefore, it is important to study the TEC behavior in the Brazilian region. Due to the ionosphere dispersive nature, the TEC behavior in Brazil can be studied using GPS data from RBMC (Rede Brasileira de Monitoramento Contínuo – Brazilian Network for Continuous Monitoring of GPS). Additionally, GPS data from IGS (International GNSS Service) network of the South America can also be used in the experiments. The goal of this research is to study the ionospheric error behavior in the Brazilian region, considering different ionosphere situations, using TEC values computed by GPS data from RBMC and IGS network. Other goal is to evaluate the performance and limitations of Global Ionospheric Map of IGS applied in the GPS point positioning in Brazil.