A Novel Runtime Monitoring Architecture

Poster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Monitorização e Avaliação Dinâmica do Potencial para a Eficiência Energética de Lares de Idosos

Atualmente a situação económica do país é delicada, como tal, a redução dos consumos energéticos é uma mais-valia tanto para os consumidores como para o meio ambiente. A evolução tecnológica nos últimos anos possibilita a realização de soluções para resolver esse problema. A monitorização constante dos consumos de energia elétrica pode fazer com que esta redução seja concretizada. Relativamente ao caso concreto do edificado, o consumo de energia nos edifícios Europeus é muito significativo, quer ao nível das soluções construtivas, dos sistemas e dos equipamentos. Como tal, podem ser tomadas medidas que podem ter um impacto significativo para a redução dos consumos. O presente trabalho passa pelo estudo do potencial para a eficiência energética de três lares de idosos situados no Porto. A auditoria efetuada revelou um enorme potencial de poupança energética, nomeadamente de energia elétrica e gás natural. As medidas a adotar para reduzir os consumos energéticos do edifício passam pela substituição da iluminação existente por uma mais eficiente e de menor potência, a instalação de painéis solares para reduzir o consumo destinado às águas quentes sanitárias (nos dois lares que ainda não possuem este tipo de sistema), a substituição das caldeiras a gás natural por biomassa, a instalação de equipamentos para monitorização de consumos, entre outros. Através da recolha e tratamento de dados com um analisador de energia foi possível verificar que a implementação de uma solução de monitorização de consumos energéticos nos lares poderá permitir baixar os custos da fatura energética.

Edifício do Terminal de Cruzeiros do Porto de Leixões: Acompanhamento dos trabalhos de Fundações e Estruturas de Suporte.

Infraestrutura com mais de um século de história, o Porto de Leixões encontra-se em fase de renovação com a criação de um emblemático Edifício de Terminal de Cruzeiros. Obra de arquitetura arrojada, o edifício é implantado em condições geológico-geotécnicas adversas e na convivência com o efeito da água do mar e das respetivas marés. O presente relatório é relativo a um Estágio realizado na obra numa fase de execução dos trabalhos de fundações e de contenções periféricas (ensecadeira). Apresentam-se as soluções sugeridas em projeto, as soluções apresentadas inicialmente pelo construtor e as alternativas a estas, propostas já durante a obra. Descrevem-se as diferentes soluções, identificando os equipamentos, recursos humanos e procedimentos envolvidos. Comparam-se os respetivos rendimentos e custos. Apresenta-se o Plano de Instrumentação e de Monitorização implementado em obra. Descreve-se em pormenor o trabalho realizado pelo estagiário, em obra, no decurso do estágio.

Myoelectric Signal Monitoring System

The Electromyography (EMG) is an important tool for gait analyzes and disorders diagnoses. Traditional methods involve equipment that can disturb the analyses, being gradually substituted by different approaches, like wearable and wireless systems. The cable replacement for autonomous systems demands for technologies capable of meeting the power constraints. This work presents the development of an EMG and kinematic data capture wireless module, designed taking into account power consumption issues. This module captures and converts the analog myoeletric signal to digital, synchronously with the capture of kinetic information. Both data are time multiplexed and sent to a PC via Bluetooth link. The work carried out comprised the development of the hardware, the firmware and a graphical interface running in an external PC. The hardware was developed using the PIC18F14K22, a low power family of microcontrollers. The link was established via Bluetooth, a protocol designed for low power communication. An application was also developed to recover and trace the signal to a Graphic User Interface (GUI), coordinating the message exchange with the firmware. Results were obtained which allowed validating the conceived system in static and with the subject performing short movements. Although it was not possible to perform the tests within more dynamic movements, it is shown that it is possible to capture, transmit and display the captured data as expected. Some suggestions to improve the system performance also were made.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Análise da interoperabilidade aplicada ao projeto BIM de Estruturas Metálicas

O BIM – Building Information Modeling – é um conceito de controlo e gestão de informação desenvolvida, entre diferentes especialidades e intervenientes envolventes, durante o ciclo de vida das construções. A utilização das tecnologias BIM, no ramo da Engenharia Mecânica e Civil, tem sido uma aposta constante, e cada vez mais concisa, nos projetos de construção. A justificação para a adoção destas metodologias mais eficientes, em substituição dos processos convencionais, prende-se com o facto desses processos convencionais, ainda hoje, apresentarem muitas dificuldades e problemas associados, por exemplo, à falta de comunicação entre os intervenientes e ao ineficiente controlo na gestão de projetos. O objetivo desta dissertação centra-se na análise da interoperabilidade de softwares BIM, ou seja, na verificação da viabilidade de exportação de dados dos modelos produzidos, entre as ferramentas BIM. Para este campo de ação contribuirá a análise da passagem de informação, relativa ao modelo de uma Nave Industrial modelada, em alguns dos softwares BIM, correntemente mais utilizados. O conhecimento adquirido com a modelação do caso de estudo do presente trabalho irá permitir identificar algumas lacunas existentes ao nível da falta de recomendações práticas que sirvam de orientação na modelação recorrendo a ferramentas informáticas BIM-compatíveis. Assim, a base deste trabalho consiste na criação de uma série de recomendações ou de um roteiro de modelação em específico para a disciplina de estruturas enquanto área de aplicação concreta do estudo efetuado. Nesse sentido, a proposta deste trabalho é de apresentar alguns critérios de modelação onde são definidos os elementos a modelar em cada fase do projeto.

Electrochemical sensor for simultaneous determination of herbicide MCPA and its metabolite 4-chloro-2-methylphenol. Application to photodegradation environmental monitoring

The development and application of a polyaniline/carbon nanotube (CNT) cyclodextrin matrix (PANI-β-CD/MWCNT)-based electrochemical sensor for the quantitative determination of the herbicide 4-chloro-2-methylphenoxyacetic acid (MCPA) and its main transformation product 4-chloro-2-methylphenol in natural waters are described. A simple cyclic voltammetry-based electrochemical methodology, in phosphate buffer solution at pH 6.0, was used to develop a method to determine both MCPA and 4-chloro-2-methylphenol, without any previous extraction or derivatization steps. A linear concentration range (10 to 50 μmol L−1) and detection limits of 1.1 and 1.9 μmol L−1, respectively, were achieved using optimized cyclic voltammetric parameters. The proposed method was successfully applied to the determination of MCPA and 4-chloro-2-methylphenol in natural water samples with satisfactory recoveries (94 to 107 %) and in good agreement with the results obtained by an established high-performance liquid chromatography technique, no significant differences being found between the methods. Interferences from ionic species and other herbicides used for broad-leaf weed control were shown to be small. The newly developed methodology was also successfully applied to MCPA photodegradation environmental studies.

ezGo: A voice operated wheelchair with biosignal monitoring for home environments

In this paper we present ezGo, an electric powered wheelchair with a speech based interface and biosignal monitoring instrumentation. The user can use the voice, a natural communication method, for controlling the chair movement and obtain information about his health. Additionally a set of semi-autonomous modes with macro recording enable the execution of navigation tasks with little effort and improved precision. The main purpose of the system is to provide severely disabled persons with an assistive device that can improve their confidence and daily independence. The obtained results on usability tests showed that users consider ezGo a valuable help on their daily tasks and a very desirable addition to standard wheelchairs.

Ontology methodology building criteria for crowdsourcing innovation intermediaries

Crowdsourcing innovation intermediaries are organizations that mediate the communication and relationship between companies that aspire to solve some problem or to take advantage of any business opportunity with a crowd that is prone to give ideas based on their knowledge, experience and wisdom. A significant part of the activity of these intermediaries is carried out by using a web platform that takes advantage of web 2.0 tools to implement its capabilities. Thus, ontologies are presented as an appropriate strategy to represent the knowledge inherent to this activity and therefore the accomplishment of interoperability between machines and systems. In this paper we present an ontology roadmap for developing crowdsourcing innovation ontology of the intermediation process. We start making a literature review on ontology building, analyze and compare ontologies that propose the development from scratch with the ones that propose reusing other ontologies, and present the criteria for selecting the methodology. We also review enterprise and innovation ontologies known in literature. Finally, are taken some conclusions and presented the roadmap for building crowdsourcing innovation intermediary ontology.

Entre a oposição e a negociação : Um projeto de investigação-ação sobre o papel do adulto na prevenção e mediação de conflitos entre pares na infância

Esta investigação surgiu da identificação de dificuldades ao nível da interação e gestão de conflitos entre pares, que a investigadora teve a oportunidade de observar no grupo de crianças com quem desenvolvia a sua prática educativa. Este estudo tem como objetivo compreender de que forma a transformação da praxis do educador influencia os processos de prevenção e a mediação dos conflitos entre pares no jardim-de-infância. Tendo em conta as formas e as características das relações entre pares na infância bem como o desenvolvimento moral das crianças em idade préescolar, a investigadora levou a cabo um projeto de investigação-ação com um grupo de vinte e quatro crianças de cinco anos. Ao longo do projeto, a investigadora procurou conhecer e experimentar estratégias de prevenção e mediação de conflitos interpares, monitorizando esse processo através da reflexão sobre a ação, assim como compreender os efeitos dessa experimentação no desenvolvimento profissional e na aprendizagem das crianças. Os processos do projeto são apresentados através de uma descrição densa dos eixos centrais da ação: construção do quadro de regras, organização do tempo e do grupo, organização do espaço e dos materiais, experimentação de instrumentos de pilotagem, reunião de grande grupo e estratégias de resolução de conflitos. Os dados apresentados resultam da interpretação das categorias emergentes da análise das entrevistas e das notas de campo. Através dessa interpretação, foi possível constatar os efeitos positivos do projeto, não apenas ao nível das competências de escuta e de negociação das crianças, mas também para a prática profissional da investigadora, que desenvolveu competências de reflexão e de autossupervisão.

Projeto de sistema de gestão técnica centralizada integrando Smart Panels: edifício comercial como caso de estudo

Os Sistemas de Gestão Técnica Centralizada (SGTC) assumem-se como essenciais nos grandes edifícios, já que permitem monitorizar, controlar, comandar e gerir, de forma facilitada, integrada e otimizada, as várias instalações existentes no edifício. O estado da arte de um SGTC baseia-se numa arquitetura distribuída, com recurso a Quadros de Gestão Técnica (QGT) que incluem Automation Servers - equipamentos nativos nos protocolos de comunicação mais comummente utilizados neste âmbito, incorporadores de funcionalidades e programações pré-definidas, e que ficarão responsáveis por integrar na sua área de influência, um conjunto de pontos de SGTC, definidos em projeto. Numa nova filosofia de instalação, integração e comunicação facilitada entre dispositivos que nos quadros elétricos geram dados relevantes para o utilizador e desencadeiam ações úteis na gestão de uma instalação, surge o novo conceito no mercado de Smart Panels, da Schneider Electric. Este sistema baseia-se numa ampla e diversa gama de possibilidades de medição e monitorização energética e da própria aparelhagem, com um sistema de comunicação com o sistema de gestão e controlo da instalação integrado no próprio quadro, dispensando assim a necessidade de um sistema externo (QGT), de recolha, comunicação e processamento de informação. Após o estudo descritivo teórico dos vários tópicos, questões e considerações relacionadas com os SGTC, os Smart Panels e a sua integração, o projeto e estudo comparativo do SGTC sem e com a integração de Smart Panels num grande centro comercial, permitiu concluir que a integração de Smart Panels num SGTC pode conferir vantagens no que diz respeito à implificação do projeto, da instalação, do comissionamento, programação, e da própria exploração da instalação elétrica, traduzindo-se numa redução dos custos normalmente elevados inerentes à mão de obra associada a todos estes processos.

Building Smarter Cities through Social Entrepreneurship

The objective of the present study is to examine the extent to which social ventures are able to increase the smartness of the cities. To achieve this goal, we adopt a qualitative approach, based on the case study method to obtain valuable insights about different characteristics and strategies of Cais (a non-profit association dedicated to help disadvantaged people in urban areas). By focusing on the analysis of the Cais activities, we assess whether its social intervention match the dimensions proposed by Giffinger et al. (2007) to rank smart cities’ performance, namely if it has smart: (i) economy; (ii) people; (iii) governance; (iv) mobility; (v) environment; and (vi) living. The research shows that the action pursued comprises elements from all the above mentioned dimensions. Further, the analysis reveals that Cais reinforces the smartness of the city where it acts (attributes such as living, economy, people, and environment).

Previsão e definição de perfis na gestão dos recursos de energia no âmbito de edifícios auto-sustentáveis

Nos últimos anos o consumo de energia elétrica produzida a partir de fontes renováveis tem aumentado significativamente. Este aumento deve-se ao impacto ambiental que recursos como o petróleo, gás, urânio, carvão, entre outros, têm no meio ambiente e que são notáveis no diaa- dia com as alterações climáticas e o aquecimento global. Por sua vez, estes recursos têm um ciclo de vida limitado e a dada altura tornar-se-ão escassos. A preocupação de uma melhoria contínua na redução dos impactos ambientais levou à criação de Normas para uma gestão mais eficiente e sustentável do consumo de energia nos edifícios. Parte da eletricidade vendida pelas empresas de comercialização é produzida através de fontes renováveis, e com a recente publicação do Decreto de Lei nº 153/2014 de 20 outubro de 2014 que regulamenta o autoconsumo, permitindo que também os consumidores possam produzir a sua própria energia nas suas residências para reduzir os custos com a compra de eletricidade. Neste contexto surgiram os edifícios inteligentes. Por edifícios inteligentes entende-se que são edifícios construídos com materiais que os tornam mais eficientes, possuem iluminação e equipamentos elétricos mais eficientes, e têm sistemas de produção de energia que permitem alimentar o próprio edifício, para um consumo mais sustentado. Os sistemas implementados nos edifícios inteligentes visam a monitorização e gestão da energia consumida e produzida para evitar desperdícios de consumo. O trabalho desenvolvido visa o estudo e a implementação de Redes Neuronais Artificiais (RNA) para prever os consumos de energia elétrica dos edifícios N e I do ISEP/GECAD, bem como a previsão da produção dos seus painéis fotovoltáicos. O estudo feito aos dados de consumo permitiu identificar perfis típicos de consumo ao longo de uma semana e de que forma são influenciados pelo contexto, nomeadamente, com os dias da semana versus fim-de-semana, e com as estações do ano, sendo analisados perfis de consumo de inverno e verão. A produção de energia através de painéis fotovoltaicos foi também analisada para perceber se a produção atual é suficiente para satisfazer as necessidades de consumo dos edifícios. Também foi analisada a possibilidade da produção satisfazer parcialmente as necessidades de consumos específicos, por exemplo, da iluminação dos edifícios, dos seus sistemas de ar condicionado ou dos equipamentos usados.

Análise e Acompanhamento da Execução de Soluções de Melhoria de Conforto Térmico na Reabilitação de Edifícios

O presente relatório inserido na Unidade Curricular de DIPRE do Mestrado em Engenharia Civil – Ramo de Construções, do Instituto Superior de Engenharia do Porto e desenvolvido no âmbito do estágio curricular realizado na empresa Porto Vivo, SRU, tem como objetivo descrever as atividades realizadas durante o período de estágio, no Núcleo de Gestão de Obras, tais como o acompanhamento das Operações de Reabilitação e Realojamento no Morro da Sé, participações em reuniões de obra com empreiteiros e projetistas, realização de vistorias para determinar o nível de conservação dos edifícios. Irá ainda ser abordado um caso de estudo relativo ao comportamento térmico da fração autónoma de um edifício em reabilitação, utilizando como base o Regulamento de Desempenho Energético dos Edifícios de Habitação (REH). Por último, as conclusões finais do estágio, a apreciação das atividades desenvolvidas, a sua importância para o estagiário a nível pessoal e profissional e ainda as ilações referentes ao caso de estudo.