Validação de design de armazém automatizado com uso de simulação discreta

Dissertação de mestrado em Engenharia de Sistemas

Estudo reológico de sistemas gelatina/colágeno/amido para obtenção de géis e aplicação dietéticas de gelatina

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Equilíbrio líquido-líquido dos sistemas biodiesel de castanha do Brasil + metanol + (glicerina ou água): determinação experimental e modelagem termodinâmica

O biodiesel é definido como sendo uma mistura de monoésteres de ácidos graxos derivados de gorduras animal ou óleos vegetais, obtido por meio do processo de transesterificação com alcoóis de cadeia curta. Durante a sua produção é utilizada uma quantidade em excesso de álcool e um catalisador para favorecer a reação de formação dos ésteres; desta forma a corrente de saída do reator contém o catalisador, o álcool que não reagiu e os produtos da transesterificação, biodiesel e glicerina, formando um sistema bifásico; dependendo do grau de solubilidade desses compostos, pode haver quantidades de biodiesel na fase rica em glicerina e quantidades de glicerina na fase rica em biodiesel. Durante o processo de purificação do biodiesel é necessário executar uma lavagem com água, para promover a retirada do catalisador e impurezas do produto de interesse. Devido à quantidade de compostos envolvidos na produção e purificação é essencial conhecer os dados de equilíbrio líquido-líquido para poder predizer as proporções em que os compostos coexistem e, posteriormente, proceder com a purificação sob condições adequadas para obtenção do biodiesel com maior rendimento e auxiliar no projeto do reator e sistemas de separação. Os objetivos desse trabalho foram produzir o biodiesel a partir de uma planta oleaginosa nativa da região, a castanha do Brasil (Bertholletia excelsa H. B. K.) e, determinar dados de equilíbrio líquido-líquido (ELL) para os sistemas ternários: biodiesel de castanha do Brasil + metanol + glicerina e biodiesel de castanha do Brasil + metanol + água nas temperaturas de 30°C e 50°C. O biodiesel produzido foi inicialmente caracterizado segundo as normas da Agência Nacional de Petróleo (ANP) utilizando métodos físico-químicos. Os dados obtidos foram posteriormente correlacionados com os modelos termodinâmicos NRTL e UNIQUAC para o calculo do coeficiente de atividade de cada componente na fase liquida, com estimativa de novos parâmetros de interação energética. Os resultados obtidos com a modelagem foram satisfatórios, e foi observado que o modelo NRTL representou melhor os dados experimentais.

El sistema de documentación en Ciencias de la Educación : elaboración de un Tesauro de Investigación Educativa.

Describir y analizar los Sistemas de Documentación Automatizada en Educación entendidos como el conjunto de centros, servicios y productos documentales, con especial atención a las Bases de Datos. Elaborar un tesauro en castellano centrado en los métodos y técnicas de la investigación en educación. Sistemas de Documentación automatizada en Educación considerados como instrumentos de la investigación o como integrantes de la infraestructura de la misma. Estudio teórico que está dividido en los siguientes apartados: conceptos generales de documentación; la cadena documental; lenguajes documentales; almacenamiento y difusión de la información; bases de datos; informática documental; conceptos generales sobre tesauros; elaboración de tesauros; bases de datos sobre educación; tesauros sobre educación; consideraciones previas a la elaboración del Tesauro de Investigación Educativa; revisión de los tesauros existentes; obtención, selección y reducción de términos; estructuración del Tesauro; partes del Tesauro y programas informáticos usados; presentación del Tesauro. Fuentes bibliográficas. Programas Informáticos. Análisis bibliográfico. Descripción y comparación de los principales Bases de Datos sobre Educación españolas como extranjeras y de los tesauros relativos a Educación. Los sistemas automáticos de documentación, posibilitan una eficaz, rápida y selectiva recuperación de la información. De las 21 Bases existentes y accesibles en línea desde España destacan 'Eric' y 'Nicen'. Hay un incremento en Bases sobre Educación Especializadas. En España se detecta un cierto retraso debido a la tardía incorporación del país a este tipo de actividad. En 1985, había 70 Bases destacando las que se dedican a Humanidades y Cultura. Existen a nivel nacional, cinco bases centradas en Educación: Bide, Leda, Redinet, Isoc, Dédalo. El Tesauro constituirá la base de los sistemas expertos que próximamente se usarán. Los tesauros de uso más frecuente en Educación son: Eric, Eudisec y el de la Unesco: OIE (éstos dos últimos poseen versión castellana pero son multilingües). El Tesauro que aquí se presenta, trata de responder a la necesidad de poseer un Tesauro en Castellano y que responda a la característica del Sistema Educativo Español y a las demandas y trabajo de la comunidad científica y Profesional de las Ciencias de la Educación. Tendencia a la proliferación de pequeñas Bases sectoriales y especializadas de fácil acceso a gran número de usuarios. El Tesauro presentado es un instrumento útil en la indización y recuperación de la información tanto para analizar las Investigaciones Educativas desde el punto de vista de la metodología y técnicas, como en el análisis de cualquier documento relativo a esta materia.

Utilização da tecnologia de separação por membranas na reabilitação de sistemas de tratamento de água

Os sistemas de tratamento de água, existentes e de futuro, deverão ter em consideração diversos aspectos multidisciplinares, tais como o fenómeno de sobrepopulação, a escassez de água, a deterioração da qualidade das águas superficiais, o aumento das exigências legais e o aumento dos custos de energia. Neste sentido, os processos de separação por membranas (PSM), foram estudados para aferir acerca da sua aplicação na produção de água de elevada qualidade para consumo humano, independentemente das variações de qualidade na origem. Neste trabalho avaliou-se a qualidade da água da Albufeira de Monte Novo, concluindo-se que esta se encontra eutrofizada e com parâmetros indicadores da qualidade da água classificados com nível >A3. A linha de tratamento convencional, instalada na ETA de Monte Novo, foi avaliada perante um cenário de deterioração da qualidade da água bruta e de novos objectivos definidos para a qualidade final da água tratada. Sem a existência de uma nova etapa final de afinação, não é garantida a completa remoção de parâmetros microbiológicos (microrganismos potencialmente patogénicos, vírus, cianotoxinas) e de subprodutos da desinfecção. Foi proposta uma solução de reabilitação da linha de tratamento, que inclui um processo integrado de UF, complementado pela linha de tratamento existente, que actua como pré-tratamento. Esta solução foi analisada em termos de custos operacionais, comparativamente à solução actualmente instalada. Em comparação, o consumo energético anual da solução ETA-UF, tanto em época baixa, como em época alta, foi mais elevado, e o consumo de reagentes foi mais reduzido. Globalmente, a poupança obtida através das menores dosagens de reagentes, permitiu à solução ETA-UF diluir o efeito de um maior consumo energético, obtendo-se uma redução de 11% nos custos anuais operacionais e um custo de 0,08 €/m3 de água tratada. Tendo em conta o elevado investimento inicial na solução ETA-UF, o período de retorno foi de 6 anos, para um horizonte de projecto de 16 anos.

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Avaliação visual da qualidade da estrutura do solo em sistemas de uso das terras

Sistemas sustentáveis de produção agropecuária demandam solos com boa estrutura, por isso, são necessários métodos eficientes para avaliação dessa estrutura. Objetivou-se, com este estudo, aplicar a metodologia de avaliação visual da estrutura do solo, em áreas previamente cobertas por Floresta com Araucária, em longo período de uso após o desmatamento. Selecionaram-se áreas sob três tipos de usos: floresta nativa, pastagem e cultivo agrícola, considerados como tratamento, sendo realizadas dez amostragens por tipo de uso. Nas amostras coletadas, procedeu-se à avaliação da qualidade da estrutura do solo, seguida da análise estatística dos dados, por meio da análise de variância e do teste de separação de médias. Observaram-se diferenças significativas nos valores médios de escore entre as áreas avaliadas. Os solos da área com floresta apresentaram Qe (Qualidade visual) médio = 1.68, estatisticamente semelhante ao dos solos sob pastagem (Qe médio = 2.25) e inferior ao dos solos cultivados, Qe médio = 2.40. Os valores de Qe obtidos por avaliação visual da qualidade da estrutura do solo mostraram-se eficientes para identificar diferenças entre os sistemas de uso do solo.

Classificação de anomalias e redução de falsos positivos em sistemas de detecção de intrusão baseados em rede utilizando métodos de agrupamento

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Observação e controlo da segurança estrutural de barragens de betão: utilização integrada de modelos numéricos e de modelos de separação de efeitos

Dissertação de Natureza Científica elabora da no âmbito do protocolo de cooperação entre o ISEL e o LNEC para obtenção do grau de Mestre em Engenharia Civil

Implementação em hardware reconfigurável de método de separação de dados hiperespetrais

Relatório do Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Construção de curvas binodais para sistemas ternários, contendo biodiesel, álcool e água

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química

Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Contribuição para o estudo de sistemas de tratamento de água a adoptar em zonas economicamente desfavorecidas

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia Sanitária

Contribuição para o estudo de sistemas de tratamento de água para abastecimento associados à remoção de compostos farmacêuticos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária