Incremental Recomputation of Pig Latin’s Nest and Unnest Operators

This master’s thesis addresses the maintenance of pre-computed structures, which store a frequent or expensive query, for the nested bag data type in the high level work-flow language Pig Latin. This thesis defines a model suitable to accommodate incremental expressions over nested bags on Pig Latin. Afterwards, the partitioned normal form for sets is extended with further restrictions, in order to accommodate the nested bag model, allow the Pig Latin nest and unnest operators revert each other, and create a suitable environment to the incremental computations. Subsequently, the extended operators – extended union and extended difference – are defined for the nested bag data model with the partitioned normal form for bags (PNF Bag) restriction, and semantics for the extended operators are given. Finally, incremental data propagation expressions are proposed for the nest and unnest operators on the data model proposed with the PNF Bag restriction, and the proof of correctness is given.

A Influência da Electrolipólise Associada ao Exercício Físico na Atividade Metabólica

O excesso de gordura abdominal associa-se a patologias cardiometabólicas. A microcorrente poderá ser coadjuvante ao exercício aeróbio na estimulação da lipólise, prevenindo riscos de saúde. O exercício físico aeróbio constitui uma modalidade capaz de diminuir o tecido adiposo, por estimular a lipólise através da elevação do nível de catecolaminas, resultantes do aumento da actividade do sistema nervoso simpático. O tipo de exercício físico mais adequado para consumo predominante de lípidos é o exercício aeróbio prolongado e de intensidade moderada. No entanto, na prática de exercício físico as fontes lipídicas são globais o que sustenta a utilidade de procedimentos que promovam o gasto de gordura localizada na região abdominal. A electrolipólise, que pode ser realizada pela aplicação de microcorrente de baixa frequência, poderá ser usada com este intuito, uma vez que a activação do sistema nervoso simpático, juntamente com a alteração da polaridade da membrana celular dos adipócitos e o aumento do fluxo sanguíneo, parecem ser os responsáveis pela promoção da lipólise e aumento do metabolismo local. Para além destes mecanismos, a microcorrente favorece a degradação de triglicerídeos ao promover a activação das enzimas triglicerídeo lípase e lípase hormono-sensível. Após a hidrólise de triglicerídeos torna-se fulcral o exercício físico para que os ácidos gordos em circulação sejam utilizados como fonte de energia. Porém não existe evidência científica que comprove os efeitos da electrolipólise associada ao exercício físico bem como consenso nos parâmetros que devem ser utilizados para electrolipólise, neste sentido vários estudos tem sido realizados no âmbito da linha de investigação de sistema tegumentar e metabólico da ESTSP.

Resolução do problema de atribuição de salas a exames

Este trabalho pretende resolver o problema das alocações de salas a exames no Departamento de Engenharia Mecânica do Instituto Superior de Engenharia do Porto. A solução desenvolvida atribui salas a exames respeitando as restrições de capacidade de salas e a restrição de realização dum único exame por sala num determinado período, por forma a minimizar a atribuição de salas e, consequentemente, docentes a exames. Foi criado um modelo matemático, que representa as variáveis relevantes do problema, e realiza a sua implementação numa plataforma informática amigável para o utilizador. O modelo matemático foi validado comparando as suas soluções com as obtidas através do processo manual. Os resultados do novo método demonstram a sua supremacia relativamente ao modelo atual. No futuro, poderá ser estudada a possibilidade de usar esta ferramenta na resolução do mesmo problema em realidades diferentes da do Departamento de Engenharia Mecânica do ISEP.

Dimensionamento de Uma Cobertura em Elementos Estruturais de Aço Enformados a Frio

O presente relatório versa sobre a análise e dimensionamento de estruturas de aço enformadas a frio. Devido a serem estruturas de elevada esbelteza, frequentemente denominadas “estruturas de aço leve”, apresentam fenómenos de instabilidade tanto a nível local como global, sendo da perspetiva regulamentar abrangidas pelo Eurocódigo 3, nomeadamente pelas Partes 1-1, 1-3 e 1-5. A Parte 1-3 do Eurocódigo 3 diz respeito às regras suplementares de elementos de aço enformados a frio, na qual estão presentes as regras de dimensionamento, bem como as verificações de segurança que deverão ser aplicadas. Nesta, é possível ainda “fazer a ponte” com a Parte 1-1 do Eurocódigo 3, respetiva às regras gerais de projeto de estruturas de aço e com a Parte 1-5 do Eurocódigo 3 relativa a elementos estruturais constituídos por placas. Inicialmente, será realizado um estado da arte, onde será efetuado um enquadramento histórico, apresentando o processo de fabrico destes elementos e o tipo de elementos estruturais originados, concluindo-se com as vantagens/desvantagens dos perfis em aço enformados a frio. Os conceitos teóricos de estabilidade estrutural, os tipos de instabilidade mais comuns nestes elementos, bem como os tipos de análise destes fenómenos farão a ponte com o capítulo que se segue. Relativamente ao dimensionamento destes elementos, será dado enfâse às metodologias preconizadas pelo Eurocódigo 3, Parte 1-3. Este capítulo incidirá, entre outos, nas propriedades das secções transversais, na determinação da resistência destas, onde se contabilizará os efeitos das instabilidades locais de placa e distorcionais, na instabilidade global dos perfis e nas ligações entre os mesmos. Será analisada, posteriormente, a abordagem apresentada pela ECCS relativamente ao dimensionamento de madres travadas por painéis de cobertura. Neste capítulo será apresentada a metodologia para o dimensionamento de vigas com restrição à torção e à translação, bem como a resistência da secção transversal da madre e do seu banzo livre à encurvadura. Finalmente, e ao encontro do que foi proposto pela empresa CCAD-Serviços de Engenharia, Lda, efetuar-se-á o dimensionamento de uma cobertura de um edifício de distribuição, cobertura esta constituída por asnas treliçadas e madres simples. Neste dimensionamento foram consideradas as ações segundo o Regulamento de Segurança e Ações Para Estruturas de Edifícios e Pontes e o Eurocódigo 1, Parte 1-1 que diz respeito às Ações Gerais em Estruturas e Parte 1-4 respeitante às Ações do vento.

BIiossensor Enzimático para avaliação da Capacidade Antioxidente

Os radicais livres formam-se naturalmente nos organismos vivos, pois a sua produção/geração está interligada com o processo de produção de energia (respiração), processos inflamatórios (fagocitose), regulação do crescimento celular, sinalização intercelular e síntese de substâncias biológicas relevantes. Estes também podem ser introduzidos por vias exógenas (poluição, radiação, tabaco, alimentação, etc). Os radicais livres têm capacidade de reagir com o material nucleico (ADN e ARN), proteínas e substâncias oxidáveis, causando danos oxidativos responsáveis pelo envelhecimento e originar doenças degenerativas, tais como, o cancro, arteriosclerose, artrite reumatoide, entre outras. De forma a combater os efeitos pejorativos provocados pelos radicais, os organismos vivos desenvolveram complexos sistemas de defesa antioxidante. Estes sistemas são constituídos por antioxidantes endógenos, produzidos pelos seres vivos, tais como enzimas ou por antioxidantes exógenos obtidos por via da alimentação (por exemplo o ácido ascórbico). Neste sentido, um antioxidante tem capacidade de eliminar ou reduzir a propagação da cadeia de geração de radicais livres. Neste trabalho foi desenvolvido um biossensor enzimático para a quantificação da capacidade antioxidante total de matrizes alimentares. A construção deste biossensor consistiu na eletroimobilização da adenina no elétrodo de pasta de carbono (EPC) ou na adsorção física da dA20 na superfície do EPC. O dano oxidativo foi induzido pelo radical hidroxilo gerado pela reação de Fenton. Nesta dissertação, foi estudada a capacidade de alguns antioxidantes em eliminar o efeito pejorativo dos radicais livres e combater a integridade das bases de adenina ou do dA20.Os antioxidantes estudados foram o ácido ascórbico e alguns ácidos fenólicos como o ácido hidroxibenzoico (ácido gálico) e ácidos hidroxicinâmicos (ácido cafeico e ácido cumárico). Estes antioxidantes têm a capacidade de neutralizar o radical hidroxilo e proteger a adenina/dA20 imobilizado na superfície do EPC. O comportamento da Lacase foi estudado na presença do ácido gálico e do ácido ascórbico. Os estudos eletroquímicos foram realizados através da voltametria de onda quadrada (VOQ), sendo que a interação entre a adenina/ou o dA20 imobilizada na superfície do EPC e os radicais livres na ausência e presença de antioxidantes foi avaliada por meio de mudanças no pico anódico produzido pela oxidação da adenina /dA20. Os resultados demonstraram que estes biossensores permitem a avaliação da capacidade antioxidante total em águas aromatizadas.

Valorização da Drêche Cervejeira: Fermentação de Pentoses

O presente trabalho tem como objetivo a otimização da etapa de fermentação dos açúcares obtidos a partir da drêche cervejeira para produção do bioetanol através da utilização das leveduras Pichia stipitis NCYC 1541 e Kluyveromyces marxianus NCYC 2791 como agentes fermentativos. O meio de cultura usado para manter as culturas destas leveduras foi Yeast Extract Peptone Dextrose (YEPD). O principal propósito deste trabalho foi o de encontrar alternativas aos combustíveis fósseis, pautando-se por soluções inofensivas para o meio ambiente e sustentáveis. Assim, o trabalho está dividido em quatro etapas: 1) caraterização química e biológica da drêche; 2) pré-tratamento ácido e hidrólise enzimática para primeiramente quebrar as moléculas de lenhina que envolvem os polímeros de celulose e hemicelulose e em seguida romper as ligações poliméricas destas macromoléculas por ação enzimática e transforma-las em açúcares simples, respetivamente, obtendo-se então a glucose, a maltose, a xilose e a arabinose; e, por último, 3) otimização da etapa de fermentação da glucose, maltose e das pentoses que constitui a condição essencial para se chegar à síntese do bioetanol de um modo eficiente e sustentável e 4) a recuperação do bioetanol produzido por destilação fracionada. A quantificação dos açúcares libertados no processo foi feita recorrendo a análises por cromatografia líquida de alta eficiência (HPLC). Neste estudo foram identificados e quantificados cinco açúcares: Arabinose, Glucose, Maltose, Ribose e Xilose. Na etapa de pré-tratamento e hidrólise enzimática foram usados os ácidos clorídrico (HCl) e nítrico (HNO3) com a concentração de 1% (m/m), e as enzimas Glucanex 100g e Ultraflo L. Foram testadas seis condições de pré-tratamento e hidrólise enzimática, alterando os parâmetros tempo de contacto e razão enzimas/massa de drêche, respetivamente, e mantendo a temperatura (50 ºC), velocidade de agitação (75 rpm) e concentração dos ácidos (1% (m/m)). No processamento de 25 g de drêche seca com 0,5 g de Glucanex, 0,5 mL de Ultraflo e um tempo de reação de 60 minutos para as enzimas foi obtida uma eficiência de 15%, em hidrolisado com 6% da celulose. Realizou-se a fermentação do hidrolisado resultante do pré-tratamento ácido e hidrólise enzimática de drêche cervejeira e de meios sintéticos preparados com os açúcares puros, usando as duas estirpes selecionadas para este estudo: Pichia stipitis NCYC 1541 e Kluyveromyces marxianus NYCY 2791. As eficiências de fermentação dos açúcares nos meios sintéticos foram superiores a 80% para ambas as leveduras. No entanto, as eficiências de fermentação do hidrolisado da drêche foram de 45,10% pela Pichia stipitis e de 36,58 para Kluyveromyces marxianus, para um tempo de fermentação de 72 horas e à temperatura de 30 °C. O rendimento teórico em álcool no hidrolisado da drêche é de 0,27 g/g, três vezes maior do que o real (0,0856 g/g), para Pichia stipitis e de 0,19 g/g seis vezes maior do que o real (0,0308 g/g), para a Kluyveromyces marxianus.

Development of advanced human robot interaction systems

O trabalho aqui apresentado é a Dissertação da minha Tese do curso de Mestrado em Engenharia Eletrotécnica e de Computadores do ISEP, realizada em parceria com o INESC TEC. O trabalho consiste no desenvolvimento de um sistema avançado de interação entre homem-robô, usando ferramentas de software livres e de domínio público e hardware pouco dispendioso e facilmente acessível. Pretende-se que o sistema desenvolvido possa ser adotado por pequenas ou micro empresas, daí a restrição monetária. Este tipo de empresas tem, por norma, uma capacidade de investimento pequena, e ficam impossibilitadas de aceder a este tipo de sistemas automatizados se estes forem caros. No entanto, o robô continua a ser um componente fundamental, sendo dispendioso. Os trabalhos realizados pelos sistemas robóticos podem por um lado, ser repetitivos sem necessidade de grandes ajustes; por outro lado, o trabalho a realizar pode ser bastante diverso, sendo necessários bastantes ajustes com (possivelmente) programação do robô. As empresas podem não ter disponível mão-de-obra qualificada para realização da programação do robô. Pretende-se então um sistema de “ensino” que seja simples e rápido. Este trabalho pretende satisfazer as necessidades de um sistema de interação homem-robô intuitivo mesmo para operadores que não estejam familiarizados com a robótica. Para simplificar a transferência de informação da tarefa a desempenhar pelo sistema robótico é usado um sistema de infravermelhos para delinear a operação a desempenhar, neste caso concreto uma operação de soldadura. O operador usa um apontador com marcadores, a posição destes marcadores é detetada usando duas câmaras para permitir o posicionamento tridimensional no espaço. As câmaras possuem filtros infravermelhos para separar o espectro de luz. Para o controlo do sistema e interface com o robô é usado um computador de baixos recursos computacionais e energéticos, e também de baixo custo. O sistema desenvolvido é portanto computacionalmente leve para poder ser executado neste computador.

Dimensionamento de Madres Enformadas a Frio Travadas por Painéis do Tipo Sandwich

O presente relatório de estágio foi elaborado no âmbito da Unidade Curricular de DIPRE, Dissertação/Projeto/Estágio, do 2.º ano de Mestrado em Engenharia Civil do Instituto Superior de Engenharia do Porto, do ramo de estruturas, tendo como principal foco, a análise e dimensionamento de madres de aço enformado a frio e sua utilização com painéis do tipo sandwich em coberturas. Seções enformadas a frio são cada vez mais utilizadas em construções modernas, especificamente como estrutura secundária em coberturas, onde geralmente são fixas a painéis através de ligações aparafusadas. A presença de painéis e fixações através de parafusos permitem a estabilização lateral e torsional de madres aumentando desta forma a capacidade resistente, mas por serem elementos estruturais de espessura reduzida, os enformados a frio são suscetíveis a fenómenos de instabilidade associados. Desta forma, a norma EN 1993-1-3 [4] permite a análise e dimensionamento deste tipo de elementos através das disposições regulamentares preconizadas nas partes 1-1 [3] e 1-5 [5] da mesma norma. Num primeiro estudo, o presente trabalho tem como objetivo o dimensionamento e verificação de segurança de elementos enformados a frio com base na seção efetiva determinada com o auxílio das normas EN 1993-1-1 (regras gerais) e EN 1993-1-5 (regras para elementos estruturais constituídos por placas). Numa segunda fase, este trabalho pretende apresentar um estudo do comportamento de interação entre os sistemas madres-painéis. Para tal, são quantificadas as rigidezes das conexões dos sistemas e dos painéis para se realizarem a análise relativamente à restrição lateral e restrição torsional de madres. Neste contexto, concluiu-se que os painéis, quando fixos de forma adequada às madres, contribuem para a estabilidade.

Valorização da Borra de Café: Otimização da Produção de Biodiesel por Catálise Enzimática

O decréscimo das reservas de petróleo e as consequências ambientais resultantes do recurso a combustíveis fósseis nos motores a diesel têm levado à procura de combustíveis alternativos. Esta pesquisa alicerçada nas fontes de energia renovável tornou-se essencial, face à crescente procura de energia e ao limitado fornecimento de combustíveis fósseis . Resíduos de óleo de cozinha, gordura animal, entre outros resíduos de origem biológica, tais como a borra de café, são exemplos de matérias-primas para a produção de biodiesel. A sua valorização tem interesse quer pela perspetiva ambiental, quer pela económica, pois aumenta não só a flexibilidade e diversificação das matérias-primas, mas também contribui para uma estabilidade de custos e alteração nas políticas agrícolas e de uso do solo. É neste contexto que se enquadra o biodiesel e a borra de café, pretendendo-se aqui efetuar o estudo da produção, à escala laboratorial, de biodiesel a partir da borra de café, por transesterificação enzimática, visando a procura das melhores condições reacionais. Iniciando-se com a caracterização da borra de café, foram avaliados antes e após a extração do óleo da borra de café, diversos parâmetros, de entre os quais se destacam: o teor de humidade (16,97% e 6,79%), teor de cinzas (1,91 e 1,57%), teor de azoto (1,71 e 2,30%), teor de proteínas (10,7 e 14,4%), teor de carbono (70,2 e 71,7%), teor de celulose bruta (14,77 e 18,48%), teor de lenhina (31,03% e 30,97%) e poder calorifico superior (19,5 MJ/kg e 19,9 MJ/kg). Sumariamente, constatou-se que os valores da maioria dos parâmetros não difere substancialmente dos valores encontrados na literatura, tendo sido evidenciado o potencial da utilização desta biomassa, como fonte calorifica para queima e geração de energia. Sendo a caracterização do óleo extraído da borra de café um dos objetivos antecedentes à produção do biodiesel, pretendeu-se avaliar os diferentes parâmetros mais significativos. No que diz respeito à caracterização do óleo extraído, distingue-se a sua viscosidade cinemática (38,04 mm2/s), densidade 0,9032 g/cm3, poder calorífico de 37,9 kcal/kg, índice de iodo igual a 63,0 gI2/ 100 g óleo, o teor de água do óleo foi de 0,15 %, o índice de acidez igual a 44,8 mg KOH/g óleo, ponto de inflamação superior a 120 ºC e teor em ácidos gordos de 82,8%. Inicialmente foram efetuados ensaios preliminares, a fim de selecionar a lipase (Lipase RMIM, TL 100L e CALB L) e álcool (metanol ou etanol puros) mais adequados à produção de biodiesel, pelo que o rendimento de 83,5% foi obtido através da transesterificação mediada pela lipase RMIM, utilizando como álcool o etanol. Sendo outro dos objetivos a otimização do processo de transesterificação enzimática, através de um desenho composto central a três variáveis (razão molar etanol: óleo, concentração de enzima e temperatura), recorrendo ao software JMP 8.0, determinou-se como melhores condições, uma razão molar etanol: óleo 5:1, adição de 4,5% (m/m) de enzima e uma temperatura de 45 ºC, que conduziram a um rendimento experimental equivalente a 96,7 % e teor de ésteres 87,6%. Nestas condições, o rendimento teórico foi de 99,98%. Procurou-se ainda estudar o efeito da adição de água ao etanol, isto é, o efeito da variação da concentração do etanol pela adição de água, para teores de etanol de 92%, 85% e 75%. Verificou-se que até 92% decorreu um aumento da transesterificação (97,2%) para um teor de ésteres de (92,2%), pelo que para teores superiores de água adicionada (75% e 85%) ocorreu um decréscimo no teor final em ésteres (77,2% e 89,9%) e no rendimento da reação (84,3% e 91,9%). Isto indica a ocorrência da reação de hidrólise em maior extensão, que leva ao desvio do equilíbrio no sentido contrário à reação de formação dos produtos, isto é, dos ésteres. Finalmente, relativamente aos custos associados ao processo de produção de biodiesel, foram estimados para o conjunto de 27 ensaios realizados neste trabalho, e que corresponderam a 767,4 g de biodiesel produzido, sendo o custo dos reagentes superior ao custo energético, de 156,16 € e 126,02 €, respetivamente. Naturalmente que não esperamos que, a nível industrial os custos sejam desta ordem de grandeza, tanto mais que há economia de escala e que as enzimas utilizadas no processo deveriam ser reutilizadas diversas vezes.

Minimização do impacto ambiental do processo de curtume de pele de bovino

O presente trabalho teve como objectivo a minimização do impacto ambiental do processo de curtume da pele de bovino. A indústria de curtumes transforma a pele, material putrescível, em couro, material nobre, termicamente estável e imputrescível. A transformação da pele em couro origina uma carga poluente apreciável quer quanto a efluentes líquidos quer quanto a resíduos sólidos. O fluxo produtivo da indústria de curtumes pode dividir-se em quatro sectores: ribeira, curtume, tinturaria e acabamento, sendo que os três primeiros geram efluentes líquidos com elevada carga poluente. Neste trabalho, foram avaliadas as fases do processo que geram efluentes líquidos: molho, caleiro, curtume e tinturaria. Na avaliação do processo do molho testou-se uma protease e uma lipase contra um molhante e um desengordurante tradicional, agentes químicos normalmente utilizados no molho mas menos biodegradáveis que as enzimas testadas. Salienta-se o bom resultado obtido quanto à eficiência do molho Na avaliação do processo de caleiro testaram-se várias alternativas no sentido da redução da quantidade de sulfureto de sódio utilizada e da minimização da carga poluente. Entre as alternativas, depilação por oxidação, depilação enzimática com e sem destruição do pêlo, elegeu-se a depilação enzimática sem destruição do pêlo que conduziu a resultados com menor impacto ambiental, nomeadamente a redução da % da quantidade de sulfureto de sódio, sendo a redução da carga poluente de 4,19 % de sulfureto, 32.80% de sólidos suspensos totais (SST),27.09% de sólidos totais (ST) e de 76.90% da carência química de oxigénio (CQO) no efluente de caleiro. No processo do curtume da pele é utilizado crómio como agente de curtume em cerca de 80% das peles tratadas, sendo este metal problemático em termos ambientais. No sentido de reduzir a quantidade de crómio utilizada no processo foi realizado um planeamento factorial onde as variáveis a estudar foram a concentração de crómio e a temperatura, tendo este como objectivo observar qual a quantidade mínima de crómio necessária para termos um produto final nas condições desejadas e gerando um menor impacto ambiental. Concluiu-se desenvolvendo um processo que mostra ser possível reduzir a quantidade de sal de crómio de 7% para 5%, além de ter um impacto ambiental claramente menos agressivo nos efluentes de curtume gerado. Este processo quando comparado com o processo tradicional permite a redução de 27% na CQO, 79% nos SST, 11% nos ST e 38% no teor de crómio Na avaliação do processo de tinturaria foi estudado um processo compacto contra o processo tradicional, tendo-se concluído pelo menor impacto ambiental do processo estudado, nomeadamente ao nível da redução do consumo de água e da carga poluente gerada. A comparação dos dois processos, no que respeita à carga poluente gerada, permitiu concluir por uma redução de 39% da CQO, 50% dos SST, e 12% dos ST quando aplicado o processo compacto Por fim foi feita uma avaliação do impacto ambiental do efluente global gerado pelos processos considerados com menor impacto ambiental contra o processo tradicional, normalmente aplicado na indústria. A aplicação do conjunto dos processos desenvolvidos, quando comparada com a aplicação do conjunto dos processos tradicionais, mostra uma redução de 1% no sulfureto, 40% na CQO, 60 % nos SST, 42 % no crómio e 11% nos ST, mostrando claramente que é possível reduzir a carga poluente da indústria de curtumes atuando no processo. Este trabalho mostrou a importância de atuar no processo para minimizar os custos de tratamento e mesmo de investimento dos efluentes da indústria de curtumes. Importa salientar que os processos desenvolvidos necessitam de validação a uma escala semi-industrial.