Exploração da linguagem Scala para suporte a aplicações paralelas

Nos anos mais recentes tem sido feita investigação no uso da Programação Orientada a Aspectos no suporte a computação paralela, nomeadamente para conseguir guardar as funcionalidades da mesma em módulos, algo que não é possível quando se utiliza Programação Orientada a Objectos. Um resultado desta investigação foi o desenvolvimento de uma aplicação, o ParJECoLi, desenvolvida usando a linguagem Java e recorrendo ao AspectJ para paralelizar a mesma. No entanto, durante essa mesma investigação, chegou-se à conclusão que o AspectJ apresenta algumas limitações na reutilização de módulos. Tendo em conta isso, surgiu a ideia de estudar uma outra linguagem de programação, conceptualmente diferente da usada na investigação. A linguagem Scala é conhecida por ter uma capacidade de composição modular flexível. Como tal parece interessante entender até que ponto é capaz de substituir AspectJ no suporte modular à computação paralela. Este projecto pretende aferir essa capacidade. Neste contexto, pretende-se usar o ParJECoLi como caso de estudo para dirigir comparações entre Scala e AspectJ.

Previsão de produção de energia eléctrica através de fontes de energia renováveis

Com o passar do tempo, a aposta em energias renováveis tem vindo a aumentar. De forma a prever o que se irá produzir com os sistemas de energias renováveis, é necessário desenvolver modelos preditivos, específicos para cada situação. No Departamento de Engenharia Electrotécnica (DEE) da Faculdade de Ciências e Tecnologia (FCT) encontra-se um sistema fotovoltaico e um sistema eólico em funcionamento, e assim de forma a ter uma estimativa da produção de energia de ambos os sistemas, propôs-se nesta dissertação desenvolver um modelo de previsão de produção de energia eléctrica para os sistemas fotovoltaico e eólico. Para desenvolver o modelo preditivo pretendido, em primeiro lugar recolheram-se os dados meteorológicos e de produção de energia no ano 2013 e realizou-se um processamento desses mesmos dados, com a linguagem de programação Java, uma vez que não se encontravam na melhor forma para serem analisados e utilizados para construção do modelo. Após realizado o processamento, como os dados do ano de 2014 existentes não eram suficientes para testar o modelo depois de ser desenvolvido, geraram-se dados meteorológicos para 2014 tendo em consideração os dados de 2013. Para os dados de energia produzida, criaram-se superfícies de aproximação a partir dos dados de 2013, e utilizando os dados meteorológicos gerados para 2014 obteve-se uma aproximação da energia produzida. Tendo todos os dados necessários para a construção do modelo e posteriormente para o testar, iniciouse o pré-processamento dos dados com recurso a filtros e à Análise em Componentes Principais. Por fim, construíram-se duas estruturas diferentes de Redes Neuronais Artificiais de modo a verificar qual se adequa melhor aos sistemas existentes. Para validar o modelo construído com base em redes neuronais testou-se o modelo com os dados de 2014, diferentes dos utilizados na sua construção. Com os resultados obtidos concluiu-se que o filtro mais adequado para o pré-processamento é o filtro Savitzky-Golay e a estrutura do modelo mais indicada para o pretendido será a Rede Neuronal Artificial (RNA) com apenas uma camada intermédia.

Sistema de gestão de energia renovável para autoconsumo

A procura crescente de energia ao longo do tempo, e também o seu custo, tem estimulado a procura de novas formas de geração ou aproveitamento energético, donde se pode destacar a geração de energia eléctrica para autoconsumo. À semelhança de já muitos países aderentes aos sistemas de autoconsumo, Portugal também já tem legislação que permite a utilização deste tipo de sistemas através de Unidades de Produção para Autoconsumo (UPAC). Este tipo de sistemas trazem consigo vantagens tanto para o produtor, que produz a sua própria energia e assim poderá ter algum retorno financeiro, como também para a rede eléctrica nacional (RESP) que, mercê da disponibilidade de mais fontes de energia, tem a possibilidade de ficar menos sobrecarregada em períodos de ponta. Com o intuito de aproveitar ao máximo a energia produzida para autoconsumo e evitar estar a utilizar energia da rede em períodos em que a energia produzida não consegue dar resposta à procura, este trabalho propõe-se a optimizar os níveis de autoconsumo destes sistemas, que no geral apresentam valores entre os 20% e 40% anuais no sector residencial. Deste modo, e de acordo com o que é definido por Demand-Side Management (DSM) será desenvolvido neste trabalho de dissertação um projecto deste tipo, que consiste na monitorização e gestão da energia produzida numa habitação ou indústria. O desenvolvimento deste projecto assenta na criação de um sistema de autoconsumo, constituído por um painel fotovoltaico, sensores, actuadores e uma carga, assim como hardware que permitirá monitorizar, de forma remota, as condições de funcionamento do sistema e fazer a gestão de energia do mesmo, de forma remota, recorrendo para isso às tecnologias de Informação e Comunicação. As aplicações de software responsáveis por essa gestão serão desenvolvidas com recurso à linguagem JAVA e Arduino Programming Language. Será utilizado um módulo Wi-Fi que permitirá a troca de dados entre Cliente (Arduino UNO com Microchip RN-171-XV) e Servidor (Aplicação em JAVA presente num computador). No final serão analisados os levantamentos de energia produzida e avaliado se o controlo de cargas é feito consoante as melhores condições de aproveitamento da energia produzida.

Monitoring energy consumption in android applications

Dissertação de Mestrado em Engenharia Informática

Monitoring and analysis of queries in distributed databases

Dissertação de Mestrado em Engenharia Informática

Comunicação Android com câmaras ONVIF e gestão de Perfis de Media

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Vegetational changes during the last millennium inferred from a palynological record from the Bananal Island, Tocantins, Brazil

The Bananal Island is regarded the largest fluvial island in the world, bounded by Araguaia and Javaés rivers, being located in southwest of Tocantins. The objectives of this work were to provide information about the vegetational changes that occurred at the Bananal Island, in order to contribute to the understanding the dynamics of past and current savanna and areas of ecotones with forests. Thus, a sedimentary core collected from a small lake at the Bananal Island plain was submitted to pollen and radiocarbon dating analyses. The results showed that the last millennium was dominated by forest reflecting a wet climate. At the beginning of the record (920-770 yr cal BP) the wet climate and high rainfall produced flooding during long rainy seasons that maintained the Javaés River connected to the studied lake, and hence, this environment was marked by the presence of a homogenous forest rich in Moraceae/Urticaceae, due to flooded soils occurrence. During the following period (770-304 yr cal BP) the reduced rainfall and shortening of the rainy seasons isolated the lake from the Javaés River for long periods, which caused a diversification of the forest and gave rise to the appearance of the components of floodplain forest and marsh vegetation adapted to waterlogged soils. Since 304 years cal BP to the present day this environment remained dominated by this diverse forest and the lacustrine conditions were also similar to previous phase, with a slight increase of moisture in the last 84 years that caused the increase of Piranhea.

Ontological representation of tumor-node-metastasis classification and an ontology-driven classifier: a study on colorectal cancer

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Identificación del virus causal de diseños cloróticos en ciruelos

En el área frutícola que rodea la ciudad de Córdoba, de Colonia Caroya y Jesús María, se encontraron síntomas foliares cloróticos (líneas, manchas, diseños de hojas de encina) asimilables a los inducidos por tres virus causales de "diseños cloróticos lineares" en ciruelo (plum line pattern ilarvirus), el Danish plum line pattern ilarvirus (un serotipo del prunus necrotic ring spot ilarvirus), el European plum line pattern ilarvirus (un serotipo de apple mosaic ilarvirus) ambos serológicamente relacionados pero no idénticos, y el American plum line pattern ilarvirus, serológicamente no relacionados con los anteriores. Si bien no producen una sintomatología llamativa son causales de pérdidas en las cosechas por disminución del número de frutos producidos. El propósito del proyecto es definir la identidad del virus causal de los síntomas encontrados y ajustar una técnica serológica que permita su detección en plantas con infecciones sistémicas recientes, útil para ser empleada en material bajo cuarentenas (aduanas), en censos, controles sanitarios en viveros y para la elección de plantas madres de sanidad controlada. (...)

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Entwicklung einer benutzerfreundlichen Software zur Berechnung von Rundfunk-Sendeantennen

Die Abteilung Sendertechnik des Norddeutschen Rundfunks betreibt die Sender zur Versorgung der Rundfunknutzer und befasst sich unter anderem mit der Planung und Optimierung von Sendeantennen. Das Ziel dieser Bachelorarbeit war die Entwicklung einer Software, mit der Horizontaldiagramme von Antennen erstellt, angepasst und dokumentiert werden können. Dafür wurde eine vorhandene LabVIEW-Software in ihren Grundzügen übernommen, in eine neue, in Java entwickelte Programmumgebung übertragen und dort erweitert und optimiert. Die Arbeit dokumentiert die Grundlagen der Sendeantennenplanung und die programmiertechnischen Entwicklungsschritte bis hin zur fertiggestellten und funktionsfähigen Software. Im Speziellen geht sie dabei auf die Berechnung von Antennensystemen, die Erstellung von Horizontaldiagrammen sowie die objektorientierte Programmierung und die Erstellung von grafischen Benutzeroberflächen ein. Dabei werden die einzelnen Entwicklungsschritte dokumentiert und erläutert sowie die Validierung der Software beschrieben.

Morfologia do Mycobacterium leprae hominis e do M. leprae muris: estudo baseado na microscopia electrônica e de contraste de fases

Hansen's Bacillus: By electron microscopy this bacillus shows membrane and halo, this being more visible when sorrounding the globi or bundles of bacilli; shows, also, free granules of various sizes which were before considered as dust of the dyes; shows external granules bound with the membrane and some times branching. By phases contrast microscopy examining leproma suspensions and subcataneous lymph at 400 x we saw many free granules with intense rotatory movement; granulated bacilli with screw, skip or stroke motion, producing slow progressive motion. All such elementes are surrounded by a halo, corresponding to the classical gloea. By a patient and delayed examination we were able to see that the internal granules are motile and help the progression of the bacilli, giving the impression that the cytoplasm is liquid. By a lasting observation we could see the larger granules form prolapse, like a pseudopode and abandon the bacilli and going in very rapid rotatory movement. There are branched bacilli; there are pedunculated fred granules like comets. The addition of a drop of formol at the preparation stops all movements. Stefansky's Bacillus: Repeated examination by RCA electron microscope, type EMU-25 of fresh suspensions of rat lepromas, led us to confirm the close relationship between human and murine leprosy agents. We examined also material from carabo (Lepra bubalorum) from Java, but due to fixation, the material was unsuitable for comparative studies. The Stefansky's bacilli showed also emmbranes and halos, internal or external granules (smaller than those of Hansen's bacillus). The bacilli shaded by chromium look thicker and shorter than those of Hansen. Due to electron bombardment both, Hansen's and Stefansky's baccilli suffer considerable alterations in their structure, showing black barrs of chromatin condensation at their extremities as also in their centers. By phase microscopy the Stefansky's bacilli showed elements with 1, 2 (bipolar), 3 or more internal small granules, developing identical movements as those of Hansen. The globi seem to be non-motile but the free bacilli appearing around the globi show intense movement. At 1000 x the examination is less satisfactory than at 400 x. The addition of formol solution in the preparation suppresses all movements, even the brownian, but the material becomes more suitable for the study of static morphology of the bacilli. CONCLUSION - The electron and phases contrast microscopy of leprous material from different types and phases of the disease may explain some of the unknown aspects of the biology and morphology of the bacilli.

Dance movement patterns recognition

"Es tracta d'un projecte dividit en dues parts independents però complementàries, realitzades per autors diferents. Aquest document conté originàriament altre material i/o programari només consultable a la Biblioteca de Ciència i Tecnologia"