Clonagem molecular, expressão, purificação e caracterização estrutural da endoglucanase de Trichoderma harzianum visando o desenvolvimento de coquetéis enzimáticos para a produção de etanol lignocelulósico

O aumento na demanda mundial por energia, a perspectiva de encolhimento dos recursos energéticos e a preocupação global com a questão ambiental, despertaram o interesse por fontes alternativas de energia. A biomassa lignocelulósica é abundante e de baixo custo, com potencial para complementar a produção em larga escala de combustíveis. A degradação das moléculas constituintes da parede celular à açúcares fermentescíveis e então à etanol, ocorre através da hidrólise enzimática da biomassa. Contudo, a utilização de enzimas para esse fim encontra-se em estágio exploratório e representa um gargalo na implementação de tecnologias de etanol 2G em escala industrial, desencadeando a busca de celulases bioquimicamente mais ativas, estáveis e economicamente viáveis. O presente trabalho visou a caracterização da endoglucanase I do fungo Trichoderma harzianum, e para isso foi realizada expressão, ensaios bioquímicos e biofísicos do domínio catalítico (ThCel7B-CCD) e da proteína inteira (ThCel7B-full). A enzima exibiu um perfil acidofílico, com atividade ótima em pH 3,0 a 55°C. A proteína também se mostrou capaz de hidrolisar uma variedade de substratos, sendo a maior atividade hidrolítica em β-glucano (75 U mg-1). Ao analisar a estabilidade térmica medida a 55°C em pH 5, a atividade residual manteve-se intacta por mais de 2 meses. Outra característica relevante foi o elevado grau de sinergismo entre ThCel7B e ThCel7A. Análises de microscopia eletrônica de flocos de aveia submetidas à hidrólise com ThCel7B evidenciaram os efeitos de degradação do substrato em relação às amostras controle. O conjunto desses resultados, além de importante para a compreensão do mecanismo molecular de ThCel7B e de outras endoglucanases da família GH7, também revelou uma enzima de interesse biotecnológicos uma vez que o comportamento ácido e sua estabilidade térmica são características relevantes para aplicações industriais sob condições extremamente ácidas.

Oxidação eletroquímica de etanol em temperatura ambiente e intermediária: estudo quantitativo das vias reacionais por espectrometria de massas on-line

Na primeira parte do trabalho, foram investigados materiais ativos para eletro-oxidar etanol e acetaldeído seletivos para a rota C2 (Carbono 2) e, também, ativos para eletro-oxidar hidrogênio molecular, visando a aplicação em células a combustível de hidrogênio indireto. Neste tipo de célula, um processador de combustível externo desidrogena o etanol e os produtos desta reação, contendo H2, acetaldeído e, possivelmente, etanol residual, são direcionados para alimentar o ânodo. Neste sentido, o eletrocatalisador anódico pode ser ativo para a eletro-oxidação de etanol residual, bem como acetaldeído, mas este deve catalisar a reação via C2 com o objetivo de evitar a formação de espécies que envenenam a superfície catalítica (CO ou CHx), ou seja, a ligação C-C deve permanecer intacta. Os eletrocatalisadores bimetálicos foram formados por M/Pt/C (onde M = W, Ru ou Sn) e os produtos reacionais foram analisados por DEMS On-line. Os resultados mostraram que Ru/Pt/C e Sn/Pt/C apresentaram maiores taxas de reação global, no entanto, eles não foram seletivos. Por outro lado, W2/Pt3/C foi mais seletivo para a rota C2, dada a não formação de CH4 e CO2. Além disso, este material também foi ativo e estável para a eletro-oxidação de H2, mesmo na presença de acetaldeído, o que o torna um potencial catalisador para aplicação no ânodo de células a combustível de hidrogênio indireto. Na segunda parte do trabalho, o objetivo foi relacionado com o estudo de eletrocatalisadores seletivos para a rota C1 (Carbono 1). A oxidação eletroquímica do etanol e de seus produtos reacionais foram investigados por DEMS on-line em temperatura ambiente e intermediária (245oC). Para temperatura ambiente, utilizou-se solução aquosa de ácido sulfúrico (H2SO4) e, para temperatura intermediária, utilizou-se ácido sólido (CsH2PO4) como eletrólito. Os eletrocatalisadores investigados foram formados por SnOxRuOx-Pt/C e Pt/C. Em temperatura ambiente, os resultados de polarização potenciodinâmica mostraram uma maior atividade eletrocatalítica para o material SnOxRuOx-Pt/C, com eficiência de corrente para formação de CO2 de 15,6% contra 15,2% para Pt/C, sob condições estagnantes, sem controle por transporte de massa. O stripping de resíduos reacionais, após a eletro-oxidação de etanol bulk, sob condições de fluxo, mostraram o acúmulo de espécies com 1 átomo de carbono (CO e CHx) que causam o bloqueio dos sítios ativos e são oxidadas eletroquimicamente somente em mais altos potenciais (ca. 1,0 V). Por outro lado, as curvas de polarização a 245oC mostraram maiores valores de eficiências de correntes para formação de CO2 (45% para Pt/C em ambos potenciais 0,5 V e 0,8 V contra 36% e 50% para SnOxRuOx-Pt/C em 0,5 V e 0,8 V respectivamente) quando comparado com os valores obtidos em temperatura ambiente, mas com atividades similares para SnOxRuOx-Pt/C e Pt/C. Para ambos os eletrocatalisadores, os estudos de espectrometria de massas a 245oC evidenciaram que as rotas eletroquímicas ocorrem em paralelo com rotas puramente químicas, envolvendo catálise heterogênea, de decomposição do etanol, produzindo H2 e CO2 como produtos majoritários.

Utilização de metanol, etanol e metano como doadores de elétrons para a desnitrificação

Esta tese apresenta e discute os dados obtidos a partir de trabalho experimental projetado para avaliar comparativamente o desempenho de reatores desnitrificantes em batelada, tendo etanol, metanol e gás metano como doadores de elétrons. Os experimentos foram realizados em reatores em escala de bancada. Os ensaios com gás metano objetivaram verificar a efetividade deste sub-produto de reatores anaeróbios em substituir os doadores exógenos de elétrons comumente utilizados, tais como metanol e etanol. Para alcançar o objetivo principal deste trabalho, os parâmetros cinéticos de desnitrificação, para os doadores de elétrons ensaiados, foram determinados nas diferentes condições operacionais. Além disso, as alterações ocorridas na população microbiana, ao longo do período experimental, foram avaliadas em relação à diversidade microbiana, por meio de análises microscópicas (óptica, de fluorescência e eletrônica de varredura) e da técnica de Biologia Molecular de PCR/DGGE. A completa desnitrificação foi alcançada para todos os compostos testados, e o etanol foi o doador de elétrons mais eficiente para a desnitrificação. A melhor razão carbono-nitrogênio para a desnitrificação foi igual a 1,0. Contudo, este parâmetro foi encontrado ser inadequado para utilização no processo de desnitrificação, uma vez que não expressa a capacidade real do composto usado em doar elétrons. A desnitrificação com metano ocorreu tanto na presença como na ausência de oxigênio, embora a baixas velocidades quando comparado com os outros compostos. No entanto, a configuração do reator utilizado neste estudo não foi adequada para promover a efetiva dissolução do gás metano na fase líquida. Por essa razão, sugere-se o desenvolvimento de configurações de reatores apropriadas para minimizar as resistências à transferência de massa da fase gasosa para a líquida e também desta para a biomassa.

Projeto e testes de uma churrasqueira a etanol com queimadores infravermelhos.

Atualmente, há poucas aplicações de uso de combustíveis renováveis em queimadores, apesar de representarem grande parte do consumo de energia primária. O etanol se apresenta como uma alternativa com grande potencial para substituição de combustíveis não-renováveis em queimadores no Brasil. Tendo em vista este potencial, foi realizado um estudo de possíveis aplicações de queimadores a etanol, com potência inferior a 50 kW, do ponto de vista ambiental, econômico e tecnológico. Foi selecionada uma churrasqueira como a aplicação mais viável. Tendo em vista a necessidade de troca de calor por radiação, foram selecionados queimadores porosos infravermelhos em conjunto com bicos pulverizadores. Durante os testes, a combustão incompleta com gotejamento de combustível se mostrou um problema freqüente. Foi construída uma série de protótipos até se chegar a uma solução final do problema. Este protótipo final, com itens de baixo custo, foi testado avaliando-se potência e emissões, apresentando performance adequada. Foram também estabelecidas diretrizes para desenvolvimento de um produto.

Certificação da sustentabilidade de edifícios de escritórios corporativos no Brasil.

O crescimento industrial, comercial e de serviços traz para as sociedades mais evoluídas uma série de benefícios, como o desenvolvimento econômico e o crescimento populacional, aliados a maiores oportunidades de emprego e renda. Entretanto, pela falta de uma consciência mais apurada sobre os possíveis impactos negativos de ritmo acelerado de crescimento, acaba-se verificando uma série de problemas sociais e, sobretudo, ambientais. Em razão disso, nos últimos anos, constata-se a preocupação de alguns setores da sociedade na busca do desenvolvimento fundamentado em práticas mais sustentáveis. Isso não tem sido diferente no setor da construção civil. A preocupação com a sustentabilidade nos empreendimentos é tema e foco de diversos eventos, tanto no meio acadêmico, como no profissional e governamental. Particularmente, o segmento de mercado de EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS tem sido alvo de pressão para o uso de práticas mais sustentáveis em todo o seu ciclo de vida, desde sua concepção, projeto, implantação e operação até a sua revitalização. Para aferir a sustentabilidade dos EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS, muitas empresas do setor buscam certificações de origem estrangeira, que possuem certas limitações em sua aplicabilidade no Brasil, as quais são discutidas neste trabalho. Neste contexto, esta tese visa à construção da CERTIFICAÇÃO DA SUSTENTABILIDADE DE EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS no Brasil, que é oportuna e necessária para tratar das condições de contorno e de realidade nacional. Para isso, foram realizados: [i] levantamento do estado da arte deste tema; [ii] construção da MATRIZ DE ATRIBUTOS para a avaliação da sustentabilidade dos EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS; [iii] entrevistas com formadores de opinião deste segmento do mercado imobiliário; [iv] visitas em EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS relevantes para as arbitragens iniciais; [v] a construção dos procedimentos, regras e rotina, com testes de validação e calibragem do SISTEMA PARA CLASSIFICAÇÃO.

Estudo de catalisadores de Ni/ZnO promovidos com CeO2 aplicados em reações de reforma a vapor do etanol e acetona

A produção de energia é um dos grandes desafios deste século, principalmente com a necessidade no desenvolvimento de processos que utilizem preferencialmente fontes renováveis. Nesse contexto, é claro o interesse por pesquisas baseada no hidrogênio. Porém, os ganhos ambientais efetivos estão associados também à matéria-prima usada no processo de geração do hidrogênio, senso assim mais significativo quando do uso de fontes renováveis. No presente trabalho foi estudado o efeito da adição de diferentes teores de CeO2 em catalisadores de NiZnO, preparados pelo método da co-precipitação. Os catalisadores foram estudados frente à reação de reforma a vapor do etanol (RVE) para produção de H2, e no decorrer do trabalho foi pertinente incluir o estudo da reforma a vapor da acetona (RVA), como complemento dos estudos da RVE. Além disso, esta é uma molécula modelo para reforma a vapor do bio-óleo. Nos sistemas catalíticos sintetizados houve a formação da liga NiZn3, o que aparenta proporcionar um efeito sinérgico entre esses elementos. Observou-se um efeito altamente promotor do CeO2 com relação a diminuição do coque formado, devido a uma menor da formação da acetona, durante as etapas de reforma do etanol. O que consequentemente interferiu na produção de H2. O catalisador contendo 20% de CeO2 denominado NiZn20Ce apresentou um desempenho altamente promissor, pois de acordo com as análises de DRIFT, a presença do CeO2 levou a formação de espécies de formiato, o que consequentemente interferiu em uma menor formação de coque e maior produção de H2. Foi comprovado também que a natureza dos depósitos carbonáceos depende tanto do substrato utilizado quanto das etapas precursoras inicias que levarão a formação desse coque, sendo o ponto chave para um melhor desempenho do catalisador.

Avaliação do desempenho ambiental de alternativas de reaproveitamento de vinhaça decorrente da produção de etanol.

A obtenção de etanol a partir de rotas alcoolquímicas consagradas gera resíduos com potencial de aproveitamento, tanto em outros setores produtivos como no ciclo produtivo do próprio combustível. Este é o caso de torta de filtro e vinhaça. A vinhaça em particular costuma ser devolvida ao campo com o intuito de ajustar teores nutricionais do solo no cultivo da cana. No entanto, estudos ambientais destacam que esta alternativa traz efeitos negativos sobre os meios receptores (água e solo), condição que abre a perspectiva para exploração de usos alternativos dessas substâncias. Este estudo se propôs a contribuir para o tema ao avaliar de forma sistêmica o desempenho ambiental de duas alternativas de reaproveitamento de vinhaça: (i) reuso no campo em processos de fertirrigação, alternativa consolidada no Brasil, e (ii) reuso da fração líquida da vinhaça em etapas diversas do processo industrial de obtenção de etanol. Em qualquer das situações fez-se uso da técnica de Avaliação de Ciclo de Vida - ACV para proceder tal verificação. A análise ambiental da prática de reuso de vinhaça e torta para fertirrigação foi conduzida a partir da comparação de cenários que consideraram a forma de suprimento de nutrientes para a cana e o método de colheita. A avaliação de impactos ocorreu em dois níveis: quanto ao consumo de recursos, a partir de Primary Energy Demand (PED); e em termos de emissões para o ambiente por meio da elaboração do Perfil Ambiental. Uma Análise de Sensibilidade foi também realizada para verificar o efeito de oscilações dos teores de Nitrogênio (N), Fósforo (P) e Potássio (K) na composição da vinhaça sobre os resultados obtidos, caso da primeira alternativa. Concluiu-se para esse caso que a substituição parcial de fertilizantes químicos por vinhaça traz aumento da Demanda de Energia Primária global para ambos os métodos de colheita. Em termos de Perfil Ambiental, a comparação entre cenários das mesmas práticas de manejo mostrou que a troca de adubos por vinhaça e torta é positiva para o desempenho ambiental do etanol por reduzir impactos quanto a Mudanças Climáticas (CC), Acidificação Terrestre (TA) e Toxicidade Humana (HT). Por outro lado, o tratamento de vinhaça para reposição de água na etapa industrial resultou em aumento global das contribuições para as categorias acima mencionadas além de incrementos para Eutrofização de água doce (FEut) e Ecotoxicidade de água doce (FEC), a despeito de ser constatada a redução de 45% quanto a Depleção de água (WD). Os aumentos no impacto se deveram principalmente aos efeitos negativos causados durante a produção do CaO usado no processo de tratamento da vinhaça. No entanto, a substituição deste insumo por NaOH só representou melhora em termos de CC. Pode-se concluir que a reutilização de vinhaça e de torta de filtro como complemento nutricional para o cultivo de cana-de-açúcar resultou em uma alternativa mais adequada de reaproveitamento do que o se este fluído fosse reutilizado para suprir parte da demanda hídrica de processo, mesmo quando o consumo de água na etapa industrial tenha inexoravelmente se reduzido a partir da implantação dessa medida.

Sistemas de acreditação e certificação hospitalar em Portugal Continetal

Dissertação apresentada à Escola Superior Agrária do Instituto Politécnico de Castelo Branco para obtenção do grau de Mestre em Inovação e Qualidade na Produção Alimentar.

A necessidade vs obrigação de certificação da qualidade, ambiente e segurança e saúde no trabalho: caso do sector farmacêutico

A presente dissertação pretende estudar a sensibilidade do sector farmacêutico relativamente à necessidade de certificação dos sistemas de gestão da qualidade, ambiente e SST, uma questão que começa a ter cada vez mais valor nos dias de hoje. A relação cliente-fornecedor na indústria farmacêutica requer uma análise cada vez mais cuidada. Ter fornecedores de qualidade e incentivá-los na busca da melhoria contínua trará reflexos sempre benéficos ao cliente e à sociedade. O processo de certificação de Qualidade, Ambiente e Segurança e Saúde no Trabalho é um dos meios capaz de alcançar esse objetivo. Mas o sector farmacêutico não se rege apenas pelos Laboratórios que produzem os medicamentos, mas também as entidades responsáveis pela sua distribuição, tanto nacional como de exportação, e as entidades que irão receber esses mesmos produtos, ou seja, as entidades hospitalares e as farmácias. Só após atravessarem toda esta longa cadeia de fornecimentos, os diversos medicamentos, chegarão às mãos dos utentes, nas quais serão usufruídos. Deste modo, as várias certificações, de entre as quais, a das Boas Práticas Fabris (BPF), a da Qualidade e Ambiente (ISO 9001:2008 e ISO 14001:2004), e a de Segurança e Saúde no Trabalho (OHSAS 18001:2007 e NP4397:2008), não devem ser vistas, pelas diversas entidades, apenas como um meio de melhorar a sua imagem, mas também, de não degradar os produtos que por elas passam. É neste sentido que emerge a diferença entre Necessidade e Obrigação das várias entidades da indústria farmacêutica. Neste Estudo de Caso pretende-se detalhar a urgência em dar mais ênfase às Certificações existentes, em todos os ramos do setor. Assim, mediante a análise dos resultados obtidos num questionário distribuído às entidades acima referidas, pode-se constatar a posição destas entidades a nível nacional, sobre este mesmo tópico. No entanto, dado que existe um grande número de armazenistas/distribuidores e hospitais, e um número ainda maior de farmácias a nível nacional, constituindo assim uma limitação. Como pesquisa futura poderá ser o estudo por grupo abrangendo uma amostra maior e dedicada apenas às farmácias e hospitais.

Implementação de certificação ambiental Better Sugarcane Initiative-Bonsucro: estudo de caso no setor sucroenergético

O setor sucroenergético desempenha papel cada vez mais importante no contexto econômico brasileiro. A eficiência das empresas atuantes nesse setor passa obrigatoriamente por questões ligadas à sustentabilidade das ações desenvolvidas em seu processo produtivo, o que pode ser alavancado a partir de certificações ambientais alcançadas pelas empresas. Assim, esta pesquisa teve como objetivo verificar a aplicação de alguns dos principais princípios, critérios e indicadores para o atendimento do padrão BSI-Bonsucro de certificação. Para tanto, este estudo descritivo de natureza qualitativa foi executado por meio de estudo de caso único na empresa ALPHA, selecionada em função de sua expressiva relevância no setor sucroenergético brasileiro. A pesquisa documental teve como principal foco o Relatório de Sustentabilidade da empresa analisada, elaborado a partir do padrão Global Reporting Initiative (GRI). Como resultados observou-se que, dos seis critérios compreendidos em três dos cinco princípios selecionados para estudo, somente o critério referente ao nível máximo de dióxido de carbono emitido por tonelada de cana-de-açúcar, ainda carece de ações de melhoria para o efetivo cumprimento do que versa a certificação BSI-Bonsucro. Assim, o presente estudo demonstrou ser viável que empresas que atuam no setor analisado passem a pautar suas ações operacionais a partir da observância dos princípios, critérios e indicadores presentes na certificação BSI Bonsucro. A adoção de tal posicionamento pode possibilitar às empresas atingirem melhores resultados a partir de estratégias voltadas ao atendimento das demandas relacionadas à sustentabilidade do negócio.

CERTIFICAÇÃO E AVALIAÇÃO DE DESEMPENHO DE DIRETORES ESCOLARES NA BAHIA: IMPLEMENTAÇÃO POLÍTICA E A VISÃO DOS SUJEITOS AVALIADOS

Este trabalho analisa o processo de implementação das políticas de certificação ocupacional (de competências) e de avaliação de desempenho (em serviço) de dirigentes escolares, na rede estadual de ensino da Bahia. Busca também aferir a visão que os sujeitos avaliados têm sobre essas políticas. As políticas de certificação e de avaliação de desempenho de dirigentes escolares integraram o Programa Educar para Vencer, formulado em 1999, no Governo de César Borges, em consonância com a reforma gerencialista da administração pública estadual que já vinha sendo planejada, desde a gestão do Governador Antônio Carlos Magalhães (1991-1993) e com a reforma administrativa gerencialista do Estado brasileiro realizada a partir de 1995, durante a presidência de Fernando Henrique Cardoso. Para desenvolver nossa análise, abordamos inicialmente as mudanças ocorridas no mundo do trabalho, a partir da década de 1970 e suas influências nos processos de formação e certificação profissional (baseados em competências). Em seguida, discutimos sobre a lógica que vem norteando a avaliação de profissionais da educação básica no Brasil. No percurso metodológico, além da pesquisa bibliográfica, utilizamos a pesquisa documental e a pesquisa empírica. A pesquisa empírica teve como público-alvo dez diretores escolares da rede estadual de ensino do município de Salvador. Com o estudo realizado, pudemos evidenciar que as políticas de avaliação de dirigentes escolares implantadas na rede estadual de ensino baiana assumem um caráter regulatório do trabalho desses profissionais, com base no mérito individual. Os diretores entrevistados apresentam uma visão equivocada e contraditória com relação à lógica que permeia essas políticas.(AU)

Avaliação do potencial da fibra e casca de coco maduro, casca de coco verde e cacto pré-tratados visando à produção de etanol

The present work investigated the potential of different residual lignocellulosic materials generated in rural and urban areas (coconut fibre mature, green coconut shell and mature coconut shell), and vegetable cultivated in inhospitable environments (cactus) aimed at the production of ethanol, being all materials abundant in the Northeast region of Brazil. These materials were submitted to pretreatments with alkaline hydrogen peroxide followed by sodium hydroxide (AHP-SHP), autohydrolysis (AP), hydrothermal catalyzed with sodium hydroxide (HCSHP) and alkali ethanol organosolv (AEOP). These materials pretreated were submitted to enzymatic hydrolysis and strategies of simultaneous saccharification and fermentation (SSF) and saccharification and fermentation semi-simultaneous (SSSF) by Saccharomyces cerevisiae, Zymomonas mobilis and Pichia stipitis. It was also evaluated the presence of inhibitory compounds (hydroxymethylfurfural, furfural, acetic acid, formic acid and levulinic acid) and seawater during the fermentative process. Materials pretreated with AHP-SHP have resulted in delignification of the materials in a range between 54 and 71%, containing between 51.80 and 54.91% of cellulose, between 17.65 and 28.36% of hemicellulose, between 7.99 and 10.12% of lignin. Enzymatic hydrolysis resulted in the conversions in glucose between 68 and 76%. Conversion yields in ethanol using SSF and SSSF for coconut fibre mature pretreated ranged from 0.40 and 0.43 g/g, 0.43 and 0.45 g/g, respectively. Materials pretreated by AP showed yields of solids between 42.92 and 92.74%, containing between 30.65 and 51.61% of cellulose, 21.34 and 41.28% of lignin. Enzymatic hydrolysis resulted in glucose conversions between 84.10 and 92.52%. Proceeds from conversion into ethanol using green coconut shell pretreated, in strategy SSF and SSSF, were between 0.43 and 0.45 g/g. Coconut fibre mature pretreated by HCSHP presented solids yields between 21.64 and 60.52%, with increased in cellulose between 28.40 and 131.20%, reduction of hemicellulose between 43.22 and 69.04% and reduction in lignin between 8.27 and 89.13%. Enzymatic hydrolysis resulted in the conversion in glucose of 90.72%. Ethanol yields using the SSF and SSSF were 0.43 and 0.46 g/g, respectively. Materials pretreated by AEOP showed solid reductions between 10.75 and 43.18%, cellulose increase up to 121.67%, hemicellulose reduction up to 77.09% and lignin reduced up to 78.22%. Enzymatic hydrolysis resulted in the conversion of glucose between 77.54 and 84.27%. Yields conversion into ethanol using the SSF and SSSF with cactus pretreated ranged from 0.41 and 0.44 g/g, 0.43 and 0.46 g/g, respectively. Fermentations carried out in bioreactors resulted in yields and ethanol production form 0.42 and 0.46 g/g and 7.62 and 12.42 g/L, respectively. The inhibitory compounds showed negative synergistic effects in fermentations performed by P. stipitis, Z. mobilis and S. cerevisiae. Formic acid and acetic acid showed most significant effects among the inhibitory compounds, followed by hydroxymethylfurfural, furfural and levulinic acid. Fermentations carried out in culture medium diluted with seawater showed promising results, especially for S. cerevisiae (0.50 g/g) and Z. mobilis (0.49 g/g). The different results obtained in this study indicate that lignocellulosic materials, pretreatments, fermentative processes strategies and the microorganisms studied deserve attention because they are promising and capable of being used in the context of biorefinery, aiming the ethanol production.

Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification