Web services recovery mechanisms

Dissertação de Mestrado em Engenharia Informática

An example-based generator of XSLT programs

XSLT is a powerful and widely used language for transforming XML documents. However, its power and complexity can be overwhelming for novice or infrequent users, many of whom simply give up on using this language. On the other hand, many XSLT programs of practical use are simple enough to be automatically inferred from examples of source and target documents. An inferred XSLT program is seldom adequate for production usage but can be used as a skeleton of the final program, or at least as scaffolding in the process of coding it. It should be noted that the authors do not claim that XSLT programs, in general, can be inferred from examples. The aim of Vishnu—the XSLT generator engine described in this chapter—is to produce XSLT programs for processing documents similar to the given examples and with enough readability to be easily understood by a programmer not familiar with the language. The architecture of Vishnu is composed by a graphical editor and a programming engine. In this chapter, the authors focus on the editor as a GWT Web application where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program.

Project, modelling and simulation of air stripping columns for the treatment of groundwater contaminated with volatile organic compounds

Volatile organic compounds are a common source of groundwater contamination that can be easily removed by air stripping in columns with random packing and using a counter-current flow between the phases. This work proposes a new methodology for the column design for any particular type of packing and contaminant avoiding the necessity of a pre-defined diameter used in the classical approach. It also renders unnecessary the employment of the graphical Eckert generalized correlation for pressure drop estimates. The hydraulic features are previously chosen as a project criterion and only afterwards the mass transfer phenomena are incorporated, in opposition to conventional approach. The design procedure was translated into a convenient algorithm using C++ as programming language. A column was built in order to test the models used either in the design or in the simulation of the column performance. The experiments were fulfilled using a solution of chloroform in distilled water. Another model was built to simulate the operational performance of the column, both in steady state and in transient conditions. It consists in a system of two partial non linear differential equations (distributed parameters). Nevertheless, when flows are steady, the system became linear, although there is not an evident solution in analytical terms. In steady state the resulting system of ODE can be solved, allowing for the calculation of the concentration profile in both phases inside the column. In transient state the system of PDE was numerically solved by finite differences, after a previous linearization.

Practical software improve design and performance of a randomly packed air stripping column for removing volatile organic compounds from water

STRIPPING is a software application developed for the automatic design of a randomly packing column where the transfer of volatile organic compounds (VOCs) from water to air can be performed and to simulate it’s behaviour in a steady-state. This software completely purges any need of experimental work for the selection of diameter of the column, and allows a choice, a priori, of the most convenient hydraulic regime for this type of operation. It also allows the operator to choose the model used for the calculation of some parameters, namely between the Eckert/Robbins model and the Billet model for estimating the pressure drop of the gaseous phase, and between the Billet and Onda/Djebbar’s models for the mass transfer. Illustrations of the graphical interface offered are presented.

A New Approach in the Design of Air Stripping Columns for the Treatment of Groundwater Contaminated With Volatile Organic Compounds

Volatile organic compounds are a common source of groundwater contamination that can be easily removed by air stripping in columns with random packing and using a counter-current flow between the phases. This work proposes a new methodology for column design for any type of packing and contaminant which avoids the necessity of an arbitrary chosen diameter. It also avoids the employment of the usual graphical Eckert correlations for pressure drop. The hydraulic features are previously chosen as a project criterion. The design procedure was translated into a convenient algorithm in C++ language. A column was built in order to test the design, the theoretical steady-state and dynamic behaviour. The experiments were conducted using a solution of chloroform in distilled water. The results allowed for a correction in the theoretical global mass transfer coefficient previously estimated by the Onda correlations, which depend on several parameters that are not easy to control in experiments. For best describe the column behaviour in stationary and dynamic conditions, an original mathematical model was developed. It consists in a system of two partial non linear differential equations (distributed parameters). Nevertheless, when flows are steady, the system became linear, although there is not an evident solution in analytical terms. In steady state the resulting ODE can be solved by analytical methods, and in dynamic state the discretization of the PDE by finite differences allows for the overcoming of this difficulty. To estimate the contaminant concentrations in both phases in the column, a numerical algorithm was used. The high number of resulting algebraic equations and the impossibility of generating a recursive procedure did not allow the construction of a generalized programme. But an iterative procedure developed in an electronic worksheet allowed for the simulation. The solution is stable only for similar discretizations values. If different values for time/space discretization parameters are used, the solution easily becomes unstable. The system dynamic behaviour was simulated for the common liquid phase perturbations: step, impulse, rectangular pulse and sinusoidal. The final results do not configure strange or non-predictable behaviours.

Desenvolvimento de modelo de primeiros princípios para simulação dinâmica de uma coluna de destilação contínua

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

Partitura de luz: a representação criativa como perspectiva educacional

Este projecto de investigação teve como objectivo avaliar - através de uma série de workshops orientados pela mestranda no Centro Cultural de Belém em Abril de 2012 - o impacto da utilização de notação musical não-convencional num contexto não escolar. Traçando possíveis paralelos com o ensino especializado da música, propuseram-se metodologias de aprendizagem que permitissem a introdução da notação, de forma inovadora, no referido contexto escolar. O processo de investigação baseou-se em observação directa, na análise dos questionários preenchidos pelos participantes dos workshops e na observação e análise das gravações em vídeo que documentaram o processo artístico, pedagógico e de investigação. Numa sala escura, 6 retroprojectores projectaram uma Partitura de Luz. Entre crianças e adultos, 120 participantes (não-músicos) criaram empiricamente as suas composições, moldando o som em função da forma e a forma em função do som. O resultado foi compensador: a criação de condições favoráveis ao desenvolvimento máximo da expressão criativa individual ou colectiva dos participantes - através da utilização irrestrita de símbolos, imagens, objectos e matérias - culminou num efectivo estabelecimento de correspondência musical, a partir de recursos vocais. Este projecto, “Partitura de Luz”, foi uma oportunidade de relacionar a vertente artística – musical, plástica e gráfica - com a vertente humana: pedagógica e social.

Management Driven Hybrid Multicast Framework for Content Aware Networks

The need for better adaptation of networks to transported flows has led to research on new approaches such as content aware networks and network aware applications. In parallel, recent developments of multimedia and content oriented services and applications such as IPTV, video streaming, video on demand, and Internet TV reinforced interest in multicast technologies. IP multicast has not been widely deployed due to interdomain and QoS support problems; therefore, alternative solutions have been investigated. This article proposes a management driven hybrid multicast solution that is multi-domain and media oriented, and combines overlay multicast, IP multicast, and P2P. The architecture is developed in a content aware network and network aware application environment, based on light network virtualization. The multicast trees can be seen as parallel virtual content aware networks, spanning a single or multiple IP domains, customized to the type of content to be transported while fulfilling the quality of service requirements of the service provider.

Controlo de conversores de potência genéricos por FPGA

Dissertação para obtenção do grau de Mestre em Engenharia Eletrotécnica Ramo de Automação e Eletrónica Industrial

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Sistema de monitorização da qualidade e consumo de energia elétrica

A racionalização do consumo de energia elétrica é um tema que assume uma importância crescente nos dias de hoje. O elevado consumo de energia, principalmente a nível comercial/industrial, tem motivado o aparecimento de questões políticas, económico-sociais e ambientais que visam a sensibilização dos consumidores para a gestão eficiente dos seus recursos. Neste sentido, as empresas e instituições têm demonstrado interesse em encontrar soluções de gestão nas suas instalações elétricas que permitam a monitorização de indicadores e a previsão de falhas cuja ocorrência acarreta elevados custos de reparação/substituição, de paragem de produção, entre outros. O estudo aqui apresentado surge no âmbito de um projeto académico, cuja finalidade se prende com a implementação de um sistema de monitorização da qualidade e consumo de energia elétrica no Instituto Superior de Engenharia do Porto (ISEP). Baseado numa rede de dispositivos analisadores de parâmetros de energia elétrica, estes equipamentos de medição dispõem de software próprio, o GridVis, que permite o acesso remoto, através de uma rede Ethernet, aos parâmetros de energia (grandezas físicas elétricas). O sistema desenvolvido é capaz de identificar parâmetros de consumo de energia anómalos e emitir alertas, pré-programados em linguagem C++ e diagrama de blocos. Permite, por exemplo, detetar um consumo instantâneo excessivo de energia e alertar a sua ocorrência. As páginas de acesso aos parâmetros medidos por cada dispositivo são acessíveis através de uma interface gráfica desenvolvida em Adobe Flash que inclui, de uma forma simples e organizada, a informação relativa à distribuição dos dispositivos de medição. Num contexto de expansão deste projeto para outros edifícios do ISEP, a solução desenvolvida encontra-se preparada para ser adaptada em qualquer local, desde que reúna certos requisitos.

Análise dinâmica de composições musicais

A composição musical é um tema de muito interesse para a computação evolucionária dentro da área da inteligência artificial. É uma área que tem sofrido vários desenvolvimentos ao longo dos últimos anos pois o interesse em que hajam computadores que façam obras musicais é deveras aliciante. Este trabalho tem por objectivo realizar mais um passo nesse sentido. Assim, foi desenvolvida uma aplicação informática que realiza composições musicais de dois géneros distintos: Músicas Infantis e Músicas Blues. A aplicação foi implementada com recurso aos Algoritmos Genéticos, que são os algoritmos evolucionários mais populares da área da computação evolucionária. O trabalho foi estruturado em duas fases de desenvolvimento. Na primeira fase, realizou-se um levantamento estatístico sobre as características específicas de cada um dos géneros musicais. Analisaram-se quinze músicas de cada género musical, com o intuito de se chegar a uma proporção do uso que cada nota tem em cada um dos casos. Na segunda fase, desenvolveu-se o software que compõe as músicas com implementação de um algoritmo genético. Além disso, foi também desenvolvida uma interface gráfica que permite ao utilizador a escolha do género musical que pretende compor. O algoritmo genético começa por gerar uma população inicial de potenciais soluções de acordo com a escolha do utilizador, realizando, de seguida, o ciclo que caracteriza o algoritmo genético. A população inicial é constituída por soluções que seguem as regras que foram implementadas de acordo com os dados recolhidos ao longo da primeira fase. Foi também implementada uma interface de avaliação, através da qual, o utilizador pode ouvir cada uma das músicas para posterior avaliação em termos de fitness. O estado de evolução do algoritmo é apresentado, numa segunda interface, a qual facilita a clareza e justiça na avaliação ao longo de todo o processo. Esta última apresenta informação sobre a média das fitness da geração anterior e actual, sendo assim possível ter uma noção da evolução do algoritmo, no sentido de se obterem resultados satisfatórios no que diz respeito às composições musicais.

Declarative approach to data extraction of web pages

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfilment of the requirements for the degree of Master in Computer Science

Desenvolvimento e aluguer de software de faturação

As aplicações de Gestão ou Faturação são uma presença indispensável hoje em dia. Tendo o seu início nas aplicações “MS-DOS” em modo de texto, estas aplicações acompanharam a evolução dos sistemas operativos adotando um ambiente gráfico de forma natural. Se há poucos anos apenas as empresas com volumes de negócio significativo possuíam software de faturação, este foi sendo adotado por cada vez mais empresas e pequenos negócios. As alterações legislativas introduzidas desde 2011 conduziram a uma adoção generalizada por parte de pequenas e microempresas. O mercado de aplicações de gestão está saturado pelos grandes produtores de software nacionais: Primavera, Sage, etc. Estas aplicações, tendo sido construídas para PMEs (Pequenas e Médias Empresas) e mesmo grandes empresas, são excessivamente complexas e onerosas para muito pequenas e microempresas. O Modelo de negócio destes produtores de software é primordialmente a venda de Licenças e contratos de Manutenção, nalguns casos através de redes de Agentes. Este projeto teve como objetivo o desenvolvimento de uma Aplicação de Faturação, de baixo custo, simples e cross-platform para ser comercializada em regime de aluguer em Pequenas e Micro Empresas.

UMA ABORDAGEM YEAST TWO-HYBRID PARA O ESTUDO DA REPLICAÇÃO E PATOGÉNESE DO VÍRUS DA HEPATITE DELTA

O vírus da hepatite delta (HDV) é o agente etiológico de uma das formas mais graves de hepatite viral e é ainda endémico em diversas regiões do globo, nomeadamente em África, na Amazónia e no Extremo Oriente. O HDV co-infecta ou super-infecta hepatócitos infectados com o vírus da hepatite B (HBV) aumentando em cerca de 10 vezes o risco de cirrose e hepatite fulminante. A associação clínica entre os dois vírus deve-se ao facto do invólucro do HDV ser constituído pelos antigénios de superfície do HBV (HBsAgs) que são necessários para a propagação da infecção. O genoma do HDV é constituído por uma molécula de RNA de cadeia simples, circular, com cerca de 1.7 Kb, que possui cerca de 70% de emparelhamento interno. Foi identificada uma única grelha de leitura aberta (ORF) no RNA viral que codifica para o antigénio delta (HDAg). A ocorrência de um mecanismo de editing do RNA, resulta na expressão de duas formas do HDAg, a pequena (S-HDAg) e a grande (L-HDAg). Várias funções essenciais para a replicação do HDV têm sido atribuídas a ambas as formas do HDAg, sendo a S-HDAg essencial para a acumulação de RNA viral e a L-HDAg responsável pela interacção com os HBsAgs para formar partículas virais. No entanto, dada a simplicidade dos seus componentes, admite-se que a replicação viral depende das interacções estabelecidas entre os HDAgs e factores celulares do hospedeiro. Apesar do número considerável de factores celulares descritos como interactores dos HDAgs ou RNA virais, a importância de muitas destas interacções não foi elucidada e muitas etapas do ciclo de replicação do HDV permanecem pouco claras. Para além disso, dado o número limitado de factores do hospedeiro que estão envolvidos na sua replicação, é muito provável que um número elevado de interactores do HDV permaneça por identificar. Este trabalho teve como objectivo a identificação de proteínas de fígado humano capazes de interagir com os HDAgs, utilizando o sistema yeast Two-Hybrid (YTH). Identificaram-se trinta proteínas com capacidade de interagir com a S-HDAg no sistema YTH, sendo que estas proteínas se encontram envolvidas em diferentes processos celulares. Com base nas características funcionais, foram seleccionadas três destas proteínas e as suas interacções com a S-HDAg foram investigadas com maior detalhe. As três proteínas seleccionadas foram a ribonucleoproteína nuclear heterogénea C (hnRNPC), a embryonic lethal abnormal vision like1 (ELAVL1/HuR) e a proteína 2 de ligação a EBNA1 (EBP2). As duas primeiras são proteínas de ligação a RNA, previamente descritas como envolvidas em processos de replicações de outros vírus com genoma RNA, enquanto a EBP2, é uma proteína de localização preferencialmente nucleolar, tal como por vezes acontece com os HDAgs. As interacções foram analisadas recorrendo a vários ensaios bioquímicos. No caso da hnRNPC e da HuR, após validação no sistema YTH, a capacidade de interacção com a S-HDAg foi confirmada quer in vitro por blot overlay quer in vivo por co-imunoprecipitação em células de hepatoma humano. Nas mesmas células, observou-se uma co-localização considerável entre os HDAgs e os RNAs virais. Finalmente, de modo a investigar a contribuição das proteínas hnRNPC e HuR na replicação do HDV, procedeu-se ao silenciamento destas proteínas pela utilização de short hairpin RNAs (shRNAs) específicos para os mRNAs correspondentes Observou-se que o silenciamento de ambas as proteínas hnRNPC e HuR endógenas, individualmente resultou numa diminuição acentuada nos níveis de expressão dos HDAgs. No que respeita à EBP2, a interacção com a S-HDAg foi confirmada em condições in vitro com recurso a ensaios de blot overlay e de cromatografia de afinidade. A análise por imunofluorescência indirecta e microscopia confocal revelou co-localização elevada entre os HDAgs e a EBP2, principalmente nos nucléolos de células de hepatoma humano. Finalmente, foi ainda utilizado o sistema YTH para estudar os mecanismos de importação dos HDAgs. Assim, este sistema foi utilizado com o propósito de identificar proteínas celulares capazes de interagir com um domínio específico dos HDAgs, o sinal de localização nuclear (NLS). Na pesquisa YTH realizada obtiveram-se 161 clones positivos, sendo que um deles mostrou codificar para a carioferina α4 (KPNA4). A interacção da KPNA4 com a S-HDAg foi reproduzida em condições in vitro através de um ensaio de cromatografia de afinidade tendo sido utilizadas formas recombinantes das duas proteínas. Este trabalho permitiu identificar várias proteínas celulares que interagem com a S-HDAg. Obtiveram-se evidências sugestivas de que algumas das proteínas identificadas podem desempenhar funções importantes no ciclo de replicação do HDV e que abrem novas perspectivas para o estudo do ciclo de replicação do vírus.