985 resultados para Modelagem da curva de extração
Resumo:
The pupunha (Guilielma speciosa) is the fruit of a palm tree typical of the Brazilian Northern region, whose stem is used as a source of heart of palm. The fruit, which is about 65% pulp, is a source of oil and carotenes. In the present work, an analysis of the kinetics of supercritical extraction of oil from the pupunha pulp is presented. Carbon dioxide was used as solvent. The extractions were carried out at 25 MPa and 323 K and 30 MPa and 318 K. The chemical composition of the extracts in terms of fatty acids was determined by gas chromatography. The amount of oleic acid, a saturated fatty acid, in the CO2 extracts was larger than that in the extract obtained with hexane. The overall extraction curves were modeled using the single-parameter model proposed in the literature to describe the desorption of toluene from activated coal.
Resumo:
O periodo de centrifugacao, necessario ao equilibrio da agua no solo, e fator preponderante da precisao da curva de retencao de agua. O estudo foi desenvovido com o objetivo de avaliar o periodo de centrifugacao na curva de retencao de agua, em cinco tipos de solo, representativos do Bioma Cerrado. as curvas de rtencao foram modeladas, por regressao não-linear, e a soma dos erros residuais do ajuste resultante foi utilizada para avaliação das diferencas estatisticas entre elas, pelo teste da razao de verossimilhanca. As curvas de retencao ajustadas para cada tipo de solo foram agrupadas em familias de curvas para facilitar a visualizacao das diferencas observadas. Os resultados mostraram claramente, que o periodo de centrifugacao afetou mais a umidade residual, promovendo uma nitida rotacao nas curvas, em torno do ponto de saturacao. Esse efeito estabeleceu um padrao de erro na agua disponivel, sistematicamente decrescente, com o aumento do periodo de centrifugacao. Utilizando-se da tecnica da regressao inversa foi possível estabelcer o periodo de centrifugacao necessario para cada tipo de solo correspondente ao nível de significancia de 5% e no intervalo de confianca de 90%. Com estudo, conclui-se que o periodo de centrifugacao inferior ao equilibrio altera a curva de retencao determinada por esse procedimento, afetando, principalmente, os valores de umidade nas tensoes mais elevadas. Para os solos estudados, o periodo de centrifugacao necessario a extracao de agua, em cada rotacao aplicada, pelo metodo tradicional da centrifuga, deve ser superior a 80 minutos.
Resumo:
A extração com fluido supercrítico de materiais líquidos e sólidos despertou o interesse para aplicações industriais nas últimas décadas, mais particularmente sob o conceito de química verde e biorrefinarias, portanto é fundamental que se faça uma modelagem desse processo a fim de otimizar as condições operacionais e simular o processo. O objetivo geral deste trabalho consiste na determinação de parâmetros de transferência de massa do processo de extração supercrítica de matriz sólida, empregando o dióxido de carbono como solvente, a partir de dados cinéticos de extração e na avaliação sistemática de cinco modelos matemáticos para descrever as cinéticas de extração dos óleos da polpa e da casca do buriti, do óleo de açaí de da oleoresina de cúrcuma, medidas no Laboratório de Extração Supercrítica, da Faculdade de Engenharia Química (UFPA), a fim de contribuir para o estudo de ampliação de escala e análise de custo de produção. Foram avaliados os modelos de Tan e Liou, Goto et al. (1993), Martinez et al. (2003), Esquível et al. (1999), e Sovová (1994). A modelagem das cinéticas de extração foi realizada utilizando aplicativos computacionais desenvolvidos e validados neste trabalho a partir de diferentes dados experimentais publicados na literatura. Diante de 40 cinéticas medidas com diferentes equipamentos de extração, configurações de leito, tipos de matérias primas, preparo dos materiais, pressão e temperatura e outros parâmetros de processo (com destaque ao rendimento global e a vazão de solvente), foi construído um panorama dos resultados acerca da capacidade dos modelos de transferência de massa em descrever as mais diferentes curvas globais de extração. De forma geral, os modelos de Goto et al. (1993) e Sovová (1994) apresentaram as melhores previsões aos dados experimentais das matérias primas tratadas neste trabalho com menores valores de quadrado, erros relativo, faixa de erro e desvios padrão e valores de R2 próximos da unidade.
Resumo:
Esta tese é composta por 3 estudos empíricos sobre macroeconomia. O primeiro ensaio discute a persistência da inflação no Brasil. O segundo estudo analisa o produto potencial e, principalmente, a questão taxa neutra de juros no Brasil, tema fundamental para a condução da política monetária. O último trabalho discute a questão da paridade entre os juros no Brasil e no exterior. O primeiro ensaio desta tese estima a taxa real de juros de equilíbrio no Brasil durante o período 1997-2012 usando diversas metodologias. Os resultados mostram alguma diferença nas estimativas da taxa de juros de equilíbrio dependendo da especificação utilizada, principalmente na modelagem da Curva IS. A mensuração do hiato do produto não é o principal responsável pelos resultados encontrados para a taxa de juros de equilíbrio. A estimação conjunta do PIB potencial e taxa neutra de juros não leva a resultados muito diferentes dos obtidos estimando a taxa neutra isoladamente. Independente do modelo utilizado, os resultados indicam redução na taxa de equilíbrio no Brasil nos últimos anos. O segundo ensaio estima a persistência da inflação no Brasil tanto em termos agregados quanto desagregados. O trabalho ainda compara a persistência da inflação no Brasil com a persistência em outros países emergentes. Os resultados indicam que a persistência da inflação no Brasil é maior do que em outros países, mas este resultado não é obtido para todos os métodos de estimação utilizados. A persistência no núcleo da inflação é maior do que na “inflação cheia”. Apesar da persistência elevada, nossos resultados indicam que a expectativa de inflação é uma variável mais importante na determinação da inflação corrente do que a inflação passada. O terceiro ensaio analisa a diferença entre as taxas de juros no Brasil e no exterior, particularmente nos EUA, e evidências de fluxos de investimentos locais ou estrangeiros para explorar o diferencial de juros. Os resultados indicam que os fluxos de investimento estrangeiro tiveram pouco impacto nas taxas de juros no Brasil. Medidas de risco-país e risco cambial são importantes para explicar o diferencial de juros sendo que as medidas de risco-país parecem ter sido mais importante no início de nossa amostra enquanto as medidas de risco cambial foram mais importantes nos últimos anos. Medidas de risco cambial, particularmente a volatilidade do câmbio ajudam a explicar a falta de convergência dos juros no Brasil com os juros praticados no exterior. Apesar da elevada volatilidade da taxa de cambio, uma simples estratégia de comprar Real (BRL) e investidor no mercado local de juros (estratégia similar a aplicar no contrato futuro de Real) teria gerado um índice de Sharpe tão elevado ou maior do que o observado em estratégias mais sofisticadas envolvendo diversas moedas.
Resumo:
Este trabalho visa desenvolver um modelo físico e matemático geral para os processos de extração sólido-líquido em fluxos contracorrente cruzados (CCC) que são utilizados na indústria de alimentos. Levam-se em consideração os processos principais (o transporte de massa entre as fases, difusão e convecção) envolvidos por todo o campo de extração, com uma abordagem bidimensional evolutiva, incluindo as zonas de carregamento, drenagem e as bandejas acumuladoras. O modelo matemático é formado por equações diferenciais parciais que determinam a alteração das concentrações nas fases poro e “bulk” em todo o campo de extração e equações diferenciais ordinárias (que refletem as evoluções das concentrações médias nas bandejas). As condições de contorno estabelecem as ligações entre os fluxos CCC da micela e matéria-prima e consideram, também, a influência das zonas de drenagem e carregamento. O algoritmo de resolução utiliza o método de linhas que transforma as equações diferenciais parciais em equações diferenciais ordinárias, que são resolvidas pelo método de Runge-Kutta. Na etapa de validação do modelo foram estabelecidos os parâmetros da malha e o passo de integração, a verificação do código com a lei de conservação da espécie e um único estado estacionário. Também foram realizadas a comparação com os dados experimentais coletados no extrator real e com o método de estágios ideais, a análise da influência de propriedades da matéria-prima nas características principais do modelo, e estabelecidos os dados iniciais do regime básico (regime de operação) Foram realizadas pesquisas numéricas para determinar: os regimes estacionário e transiente, a variação da constante de equilíbrio entre as fases, a variação do número de seções, a alteração da vazão de matéria-prima nas características de um extrator industrial e, também foram realizadas as simulações comparativas para diferentes tipos de matéria-prima (flocos laminados e flocos expandidos) usados amplamente na indústria. Além dessas pesquisas, o modelo também permite simular diferentes tipos de solventes. O estudo da capacidade de produção do extrator revelou que é necessário ter cuidado com o aumento da vazão da matéria-prima, pois um pequeno aumento desta pode causar grandes perdas de óleo tornando alto o custo da produção. Mesmo que ainda seja necessário abastecer o modelo com mais dados experimentais, principalmente da matéria-prima, os resultados obtidos estão em concordância com os fenômenos físico-químicos envolvidos no processo, com a lei de conservação de espécies químicas e com os resultados experimentais.
Resumo:
Uma das tecnologias que mais avançou nas últimas décadas, como uma alternativa para as tradicionais técnicas de extração de produtos naturais, é a técnica de Extração com Fluidos Supercríticos. A extração com fluidos supercríticos destacase entre os processos industriais de extração pela qualidade dos produtos obtidos e por não causar danos ambientais quando usa dióxido de carbono (CO2) no estado supercrítico como solvente. Este trabalho teve como objetivo a realização de experimentos de extração de óleos essenciais com dióxido de carbono no estado supercrítico de folhas de duas variedades da árvore Canforeira (Cinnamomum camphor Ness & Eberm.) conhecidas como Hon-sho e Ho-sho, a fim de determinar as melhores condições operacionais de processo. Os óleos essenciais obtidos destas plantas têm importância econômica devido aos seus principais componentes: linalol e cânfora. Os melhores parâmetros de extração obtidos, quando se consideram os rendimentos de óleo essencial, foram os seguintes: vazão de CO2 = 2 mL/min, temperatura = 50°C, pressão = 90 bar e diâmetro de partícula = 0,1 mm. Outro objetivo foi a obtenção das curvas de extração: Rendimento de óleo essencial versus Tempo de extração, adequando, a partir dos dados experimentais, alguns modelos matemáticos encontrados na literatura para descrever o comportamento destas extrações. Dos modelos estudados o que melhor se adequou à extração de óleos essenciais de folhas foi o modelo proposto por Reverchon (1996), o qual proporcionou uma boa reprodutibilidade dos dados experimentais, mostrandose eficiente na representação de extração com fluidos supercríticos de óleos essenciais de Hon-sho e Ho-sho a partir de suas folhas.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
O processo de extração de metais em membrana polimérica é analisado empregando o método das Linhas-Gear nas equações diferenciais resultantes da modelagem matemática do problema físico. O estudo tem a finalidade de averiguar o comportamento das curvas de extração de metal extraído e a influência dos parâmetros físicos da membrana no processo de extração por membrana, e também analisar, a partir de um estudo paramétrico, a influência dos parâmetros mais importantes do processo, verificando-se assim se o processo de extração se encontra sob controle cinético ou difusivo. A modelagem do problema é realizada assumindo-se a extração dos metais cádmio, Cd (II), ouro, Au (lII), e Paládio, Pd (11) sobre a membrana difusiva polimérica Aliquat 336/PVC. Os resultados são então comparados com dados obtidos em trabalhos previamente reportados na literatura, concluindo-se que os mesmos são satisfatórios.
Resumo:
Com o passar do tempo, a população mundial vem se conscientizando mais sobre problemas ambientais. Isso fez surgir uma demanda por tecnologias novas que possam se encaixar no cenário de sustentabilidade. Instabilidades frequentes no cenário político-econômico global acabam por elevar o preço do barril do petróleo. Assim a indústria química começa a buscar por alternativas que tenham a mesma versatilidade do petróleo. Dentre as opções de combustíveis renováveis, destaca-se o bio-óleo de pirólise. Seu interesse em estudos científicos vem do fato de poder-se utilizar do rejeito de processos como matéria prima, não necessitando competir por espaço com a plantação de alimentos. Sua composição pode ser representada por ácidos e fenóis. Em especial destacamos o ácido acético e fenóis oxigenados como m-cresol, o-cresol, p-cresol e guaiacol por estarem presentes em grandes quantidades. Sua separação das frações menos polares do bio-óleo pode ser realizada por meio de extração com água que é um reagente abundante e de baixo custo. O conhecimento das propriedades desses componentes puros é amplamente disponível na literatura, porém dados de composições das fases corrosivas, como misturas ternárias de água-ácido acético-m-cresol/o-cresol/p-cresol/guaiacol nas temperaturas de (298,15, 310,65 e 323,15) K são escassos. Devido a isso, o uso de modelos termodinâmicos para simulação do comportamento desses sistemas torna-se interessante. Todavia, quando são testadas as capacidades dos modelos clássicos, como o UNIFAC e NRTL, percebe-se que os mesmos não conseguem reproduzir o comportamento da binodal dos componentes corrosivos. Sendo assim, essa dissertação investigou soluções para melhorar a descrição desses sistemas, assim como obteve dados experimentais para tais sistemas de misturas ternárias de água-ácido acético-m-cresol/o-cresol/p-cresol/guaiacol nas temperaturas de (298,15, 310,65 e 323,15) K; desenvolveu-se uma metodologia para estimar parâmetros do modelo NRTL a partir de dados de composição da binodal e verificou-se a possibilidade de utilizar o modelo UNIFAC para prever o comportamento de equilíbrio de fases. Como resultado foram obtidos 314 novos dados experimentais, obtiveram-se parâmetros para o modelo NRTL que conseguem reproduzir com acurácia a forma da binodal com a metodologia proposta e verificou-se a necessidade de aperfeiçoamento no estudo do modelo UNIFAC para otimizar sua utilização na previsão do comportamento dos sistemas estudados
Resumo:
A descoberta de petróleo na camada de Pré-Sal possibilita a geração de ganhos em relação à dependência energética do país, mas também grandes desafios econômicos e tecnológicos. Os custos de extração são maiores devido a vários fatores como a exigência de equipamentos de exploração que suportem elevadas pressões, altas temperaturas e grandes concentrações de gases ácidos, tais quais, dióxido de carbono (CO2) e sulfeto de hidrogênio (H2S). Uma das principais preocupações com o CO2 é evitar liberá-lo para a atmosfera durante a produção. Com a modelagem termodinâmica de dados de equilíbrio de sistemas envolvendo CO2 supercrítico e hidrocarbonetos é possível projetar equipamentos utilizados em processos de separação. A principal motivação do trabalho é o levantamento de dados de equilíbrio de fases de sistemas compostos de CO2 e hidrocarbonetos, possibilitando assim prever o comportamento dessas misturas. Os objetivos específicos são a avaliação do procedimento experimental, a estimação e predição dos parâmetros de interação binários para assim prever o comportamento de fases dos sistemas ternários envolvendo CO2 e hidrocarbonetos. Duas metodologias foram utilizadas para obtenção dos dados de equilíbrio: método estático sintético (visual) e método dinâmico analítico (recirculação das fases). Os sistemas avaliados foram: CO2 + n-hexano, CO2 + tetralina, CO2 + n-hexadecano, CO2 + n-hexano + tetralina e CO2 + tetralina + n-hexadecano à alta pressão; tetralina + n-hexadecano à baixa pressão. Para o tratamento dos dados foi utilizada equação de estado cúbica de Peng-Robinson e a regra de mistura clássica
Resumo:
O manejo de ocmposto de lixo (CL) oferece um fertilizante alternativo na cana-de-açúcar (possui alto teor de matéria orgânica e nutrientes) e traz ainda uma solução social e ambiental. O objetivo deste estudo é o acompanhamento dos processos de crescimento, maturação e transferência de metais na cana-de-açúcar, afetados pela adição de CL, através de modelos matemáticos como ferramenta de apoio à decisão. Este estudo busca uma alternativa masi econômica ao produtor e uma solução governamental para disposição final sustentável do lixo urbano. O Modelo de Crescimento adaptado a esse estudo foi descrito por Teruel (1996), o qual demonstrou maior vigor vegetativo em cana adubada com CL suplementada com PK e nas dosagens 0 e 60 t.ha-1, e o Índice de área foliar (IAF) máximo atingido foi mais tardio na cana que recebeu tratamento com CL sem suplementação mineral. Para estudo da curva de maturação da cana-de-açúcar foi ajustado o modelo de Mitscherlich (Udo, 1983). Concluiu-se que houve uma influência da dose de CL no tempo em que a cana atinge o ter mínimo para industrialização (correlação negativa) e a resposta ótima da cultura em acumulação de açúcar ocorreu na combinação do CL com fertilizante P ou K. O modelo de transferência de metais pesados no sistema solo-cana, foi construído com base nos modelos compartimentais (solo, raiz e parte aérea). A translocação de metais foi grande para o cádmio, e a passagem de metais pesados para o caldo da cana foi baixa, não trazendo problemas à sua industrialização ou mesmo seu consumo in natura, quando adubada com as dosagens de CL testadas. Os três modelos utilizados nesse estudo mostraram ótimo ajuste e podem servir como base à formulação de normas de uso do CL, podendo estimar quantidades de cada metal em cada parte da planta nos diversos cenários estudados e predizer a resposta em crescimento e desenvolvimento da cana-de-açúcar.
Resumo:
Nesta dissertação é realizado o estudo e caracterização do comportamento de uma Unidade de Extração de Butadieno. O objetivo deste estudo é a proposição de estratégias de controle para esta unidade que, respeitando as restrições e características do processo, permitam que sejam alcançadas as seguintes metas operacionais: elevação da carga processável, aumento do tempo de campanha, aumento da corrente de produto e diminuição das perdas de butadieno ao longo do processo. O estudo e proposição das estratégias de controle é feito de modo sistemático, seguindo uma metodologia na qual o aspecto fundamental é o entendimento do processo e a compreensão das relações causa e efeito entre as variáveis manipuladas, controladas (ou medidas) e distúrbios. A presença de reciclos mássicos e energéticos somados aos efeitos da destilação extrativa faz com que, muitas vezes, essa relação contrarie o que é esperado pelo senso comum. As informações utilizadas na proposição e classificação das estruturas são oriundas de estudos em modelos do processo construídos em simuladores comerciais (ASPEN Plus v10.1 e ASPEN Dynamics). Ao longo desses estudos, as características estacionárias e dinâmicas do processo foram elucidadas, permitindo com que fosse proposta uma estrutura com potencialidade de atingir os objetivos referidos acima. Como resultados importantes podem ser citados: a importância do conjunto de parâmetros binários na modelagem termodinâmica do processo, a detecção do efeito "SnowBall", relacionado com a forma como os níveis dos equipamentos e vazões das correntes são controladas em sistemas com reciclo, e a determinação do comportamento da composição de vinil acetileno no topo da 2º Coluna de Destilação Extrativa (componente chave de separação nesta coluna) em relação a quantidade de solvente. Conforme a maneira como a corrente de alimentação da coluna Recuperadora de Butadieno é operada (temperatura ou taxa de resfriamento constante), quando a vazão de solvente na 2º Coluna de Destilação Extrativa é modificada, pode ocorrer uma inversão de ganho na concentração deste componente.
Resumo:
Os requisitos direcionam o desenvolvimento de software porque são cruciais para a sua qualidade. Como conseqüência tanto requisitos funcionais quanto não funcionais devem ser identificados o mais cedo possível e sua elicitação deve ser precisa e completa. Os requisitos funcionais exercem um papel importante uma vez que expressam os serviços esperados pela aplicação. Por outro lado, os requisitos não funcionais estão relacionados com as restrições e propriedades aplicadas ao software. Este trabalho descreve como identificar requisitos não funcionais e seu mapeamento para aspectos. O desenvolvimento de software orientado a aspectos é apontado como a solução para os problemas envolvidos na elicitação e modelagem dos requisitos não funcionais. No modelo orientado a aspectos, o aspecto é considerado o elemento de primeira ordem, onde o software pode ser modelado com classes e aspectos. As classes são comumente usadas para modelar e implementar os requisitos funcionais, já os aspectos são adotados para a modelagem e implementação dos requisitos não funcionais. Desse modo, é proposta a modelagem dos requisitos não funcionais através das fases do ciclo de vida do software, desde as primeiras etapas do processo de desenvolvimento. Este trabalho apresenta o método chamado FRIDA – From RequIrements to Design using Aspects, cujo objetivo é determinar uma forma sistemática para elicitar e modelar tanto os requisitos funcionais quanto os não funcionais, desde as fases iniciais do ciclo de desenvolvimento. Em FRIDA, a elicitação dos requisitos não funcionais é realizada usando-se checklists e léxicos, os quais auxiliam o desenvolvedor a descobrir os aspectos globais – utilizados por toda a aplicação – bem como, os aspectos parciais que podem ser empregados somente a algumas partes da aplicação. O próximo passo consiste na identificação dos possíveis conflitos gerados entre aspectos e como resolvê-los. No método FRIDA, a identificação e resolução de conflitos é tão importante quanto a elicitação de requisitos não funcionais, nas primeiras fases do ciclo de vida do software. Além disso, é descrito como usar a matriz de conflitos para automatizar esse processo sempre que possível. A extração dos aspectos e sua modelagem visual são características muito importantes, suportadas pelo método, porque elas possibilitam a criação de modelos que podem ser reutilizados no futuro. Em FRIDA, é demonstrado como transformar os requisitos em elementos da fase de projeto (classes e aspectos) e como traduzir esses elementos em código. Outra característica do método FRIDA é que a conexão entre diagramas, que pertencem a diferentes fases do processo de desenvolvimento do software, permite um alto nível de rastreabilidade. Em resumo, FRIDA requer que o desenvolvedor migre de uma visão puramente funcional para outra que contemple também os requisitos não funcionais.
Resumo:
Os leilões para concessão de blocos de petróleo no Brasil utilizam uma equação para formar a pontuação que define o vencedor. Cada participante deve submeter ao leiloeiro um lance composto por três atributos: Bônus de Assinatura (BA), Programa Exploratório Mínimo (PEM) e Conteúdo Local (CL). Cada atributo possui um peso na equação e a nota final de cada participante também depende dos lances ofertados pelos outros participantes. Apesar de leilões de petróleo serem muito estudados na economia, o leilão multi-atributos, do tipo máxima pontuação, ainda é pouco analisado, principalmente como mecanismo de alocação de direitos minerários. Este trabalho destaca a inserção do CL como atributo que transforma a estrutura, do que poderia ser um leilão simples de primeiro preço, em um leilão multi-atributos de máxima pontuação. Demonstra-se como o CL, através da curva de custos do projeto, está relacionado também ao Bônus de Assinatura, outro importante atributo da equação. Para compreender o impacto do fenômeno da inserção do CL, foram criados três casos de leilões hipotéticos, onde, dentre outras simplificações, o programa exploratório mínimo foi fixado para todas as empresas envolvidas. No caso base (Sem CL), simula-se a estrutura de um leilão de primeiro preço, onde apenas o BA define o vencedor do leilão. Já no caso forçado (CLO=CLR), há inserção do atributo CL, sendo o participante obrigado a cumprir o CL ofertado. Por fim, o caso completo (Com Multa) permite que o participante preveja a aplicação de multa por descumprimento do CL ofertado e, caso haja benefício econômico, descumpra efetivamente o CL ofertado. Considerando estes casos, argumenta-se que, apesar do o lucro das empresas e a eficiência do leilão não serem alterados, a inclusão do conteúdo local na estrutura do leilão pode ter reflexos consideráveis na receita do governo.
Resumo:
Modelos para detecção de fraude são utilizados para identificar se uma transação é legítima ou fraudulenta com base em informações cadastrais e transacionais. A técnica proposta no estudo apresentado, nesta dissertação, consiste na de Redes Bayesianas (RB); seus resultados foram comparados à técnica de Regressão Logística (RL), amplamente utilizada pelo mercado. As Redes Bayesianas avaliadas foram os classificadores bayesianos, com a estrutura Naive Bayes. As estruturas das redes bayesianas foram obtidas a partir de dados reais, fornecidos por uma instituição financeira. A base de dados foi separada em amostras de desenvolvimento e validação por cross validation com dez partições. Naive Bayes foram os classificadores escolhidos devido à simplicidade e a sua eficiência. O desempenho do modelo foi avaliado levando-se em conta a matriz de confusão e a área abaixo da curva ROC. As análises dos modelos revelaram desempenho, levemente, superior da regressão logística quando comparado aos classificadores bayesianos. A regressão logística foi escolhida como modelo mais adequado por ter apresentado melhor desempenho na previsão das operações fraudulentas, em relação à matriz de confusão. Baseada na área abaixo da curva ROC, a regressão logística demonstrou maior habilidade em discriminar as operações que estão sendo classificadas corretamente, daquelas que não estão.