Combining WLAN fingerprint-based localization with sensor data for indoor navigation using mobile devices

This project proposes an approach for supporting Indoor Navigation Systems using Pedestrian Dead Reckoning-based methods and by analyzing motion sensor data available in most modern smartphones. Processes suggested in this investigation are able to calculate the distance traveled by a user while he or she is walking. WLAN fingerprint- based navigation systems benefit from the processes followed in this research and results achieved to reduce its workload and improve its positioning estimations.

Writing/erasing 3D micro and nano wrinkles in flexible elastomers for volatile organic compounds sensor

Micro/nano wrinkled patterns on cross-linked urethane/urea polymeric flexible free standing films with two soft segments, polypropylene oxide and polybutadiene, can be induced by UV-irradiation. The ability to write/erase these 3D structures, in a controlled manner, is the main focus of this work. The imprinting of the wrinkled structures was accomplished by swelling in an appropriate solvent followed by drying the membranes after the cross-linking process and UV irradiation. The surface tailoring of the elastomeric membranes was imaged by optical microscopy, scanning electronic microscopy and by atomic force microscopy. To erase the wrinkled structures the elastomers were swollen. The swelling as well as the sol/gel fraction and the UV radiation were tuned in order to control the wrinkles characteristics. It was found that the wrinkles wavelength, in the order of microns (1±0,25μm), was stamped by the UV radiation intensity and exposure time while the wrinkles' amplitude, in the order of nanometers (150-450 nm), was highly dependent on the swelling and sol/gel fraction. A prototype for volatile organic compounds detection was developed taking advantage of the unique 3D micro/nano wrinkles features.

Otimização automática de aplicações web usando templates client-side

O crescente poder computacional dos dispositivos móveis e a maior eficiência dos navegadores fomentam a construção de aplicações Web mais rápidas e fluídas, através da troca assíncrona de dados em vez de páginas HTML completas. A OutSystems Platform é um ambiente de desenvolvimento usado para a construção rápida e validada de aplicaçõesWeb, que integra numa só linguagem a construção de interfaces de utilizador, lógica da aplicação e modelo de dados. O modelo normal de interação cliente-servidor da plataforma é coerente com o ciclo completo de pedido-resposta, embora seja possível implementar, de forma explícita, aplicações assíncronas. Neste trabalho apresentamos um modelo de separação, baseado em análise estática sobre a definição de uma aplicação, entre os dados apresentados nas páginas geradas pela plataforma e o código correspondente à sua estrutura e apresentação. Esta abordagem permite a geração automática e transparente de interfaces de utilizador mais rápidas e fluídas, a partir do modelo de uma aplicação OutSystems. O modelo apresentado, em conjunto com a análise estática, permite identificar o subconjunto mínimo dos dados a serem transmitidos na rede para a execução de uma funcionalidade no servidor, e isolar a execução de código no cliente. Como resultado da utilização desta abordagem obtém-se uma diminuição muito significativa na transmissão de dados, e possivelmente uma redução na carga de processamento no servidor, dado que a geração das páginasWeb é delegada no cliente, e este se torna apto para executar código. Este modelo é definido sobre uma linguagem, inspirada na da plataforma OutSystems, a partir da qual é implementado um gerador de código. Neste contexto, uma linguagem de domínio específico cria uma camada de abstração entre a definição do modelo de uma aplicação e o respetivo código gerado, tornando transparente a criação de templates clientside e o código executado no cliente e no servidor.

Desenvolvimento de um sensor colorimétrico em papel para a deteção de bactérias eletroquimicamente ativas

Bactérias eletroquimicamente ativas possuem a capacidade de transferir eletrões extracelularmente, durante a respiração celular. Esta característica tem sido atualmente explorada para aplicação na produção de eletricidade, tratamento de águas residuais, biorremediação e em diversas áreas da biotecnologia, onde a transferência eletrónica ocorre na presença de aceitadores insolúveis (tais como, óxidos metálicos e ânodos metálicos). Contudo, o número de espécies identificadas, isoladas e caracterizadas até à data é bastante reduzido. Os métodos atualmente disponíveis para deteção de bactérias eletroquimicamente ativas são morosos, dispendiosos e complexos de operar, tornando-se necessário o desenvolvimento de outros métodos mais rápidos, simples e menos dispendiosos que auxiliem na otimização das aplicações mencionadas. O objetivo principal deste trabalho foi o desenvolvimento de um sensor colorimétrico de papel utilizando um material eletrocrómico, trióxido de tungsténio, como camada ativa para a deteção destas bactérias. Para isso, foram definidos no papel poços delimitados por barreiras hidrofóbicas, através da impressão e difusão de uma camada de cera. As várias amostras de nanopartículas de WO3, sintetizadas por um método hidrotermal assistido por micro-ondas, foram depositadas nos poços por drop casting. As nanopartículas com estrutura cristalográfica hexagonal, impregnadas no sensor de papel, foram capazes de detetar com sucesso uma bactéria eletroquimicamente ativa, Geobacter sulfurreducens, desde uma fase de crescimento bastante inicial (Abs600 nm = 0,1, correspondente a 0,07 g/L com um rácio RGB de 1,10 ± 0,040) até à fase exponencial-tardia (Abs600 nm = 0,5, correspondente a 0,33 g/L com um rácio RGB de 1,33 ± 0,005), com P <0,0001. O sensor de papel e respetivo método de deteção colorimétrico desenvolvido neste trabalho, revelou ser sensível e específico à deteção destas bactérias, de uma forma rápida, simples e pouco dispendiosa.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Characterization of novel heme-containing sensor proteins from Geobacter sulfurreducens

The focus of this Thesis was the study of the sensor domains of two heme-containing methyl-accepting chemotaxis proteins (MCP) from Geobacter sulfurreducens: GSU0582 and GSU0935. These domains contain one c-type heme, form swapped dimers with a PAS-like fold and are the first examples of a new class of heme sensors. NMR spectroscopy was used to assign the heme and polypeptide signals in both sensors, as a first step to probe conformational changes in the vicinity of the hemes. However, the presence of two conformations in solution impaired the confident assignment of the polypeptide signals. To understand how conformational changes and swapped dimerization mechanism can effectively modulate the function of the two sensor domains and their signal transduction process, the sensor domains folding and stability were studied by circular dichroism and UV-visible spectroscopy. The results showed differences in the thermodynamic stability of the sensors, with GSU0582 displaying higher structural stability. These studies also demonstrated that the heme moiety undergoes conformational changes matching those occurring at the global protein structure and that the content of intrinsically disordered segments within these proteins (25% for GSU0935; 13% for GSU0582) correlates with the stability differences observed. The thermodynamic and kinetic properties of the sensor domains were determined at different pH and ionic strength by visible spectroscopy and stopped-flow techniques. Despite the remarkably similar spectroscopic and structural features of the two sensor domains, the results showed that their properties are quite distinct. Sensor domain GSU0935 displayed more negative reduction potentials and smaller reduction rate constants, which were more affected by pH and ionic strength. The available structures were used to rationalize these differences. Overall, the results described in this Thesis indicate that the two G. sulfurreducens MCP sensor domains are designed to function in different working potential ranges, allowing this bacterium to trigger an adequate cellular response in distinct anoxic subsurface environments.

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Suporte para bilhética numa plataforma web para organização de eventos

Esta dissertação foi desenvolvida em ambiente empresarial com a empresa Opensoft. O tema da dissertação está focado no estudo e desenvolvimento de uma solução de acreditação e controlo de acessos de participantes em eventos. Tem como objetivo estender uma plataforma web já existente que permite a criação e gestão de eventos, por parte do organizador, e a inscrição e respetivo pagamento, no caso de existir, por parte dos participantes. Nesta dissertação realizou-se um estudo sobre registos de entradas, acreditação, controlo de acessos e entregáveis onde já existem diversas soluções no mercado. Existem várias soluções que se dedicam a diferentes modelos de eventos, sendo a maioria destas soluções de check-in apenas um registo simples de participantes sem um conceito de acreditação, e sendo a maior parte de carácter móvel. Estudou-se um sistema de gestão de inscrições em eventos e respetivos pagamentos, o Weventual, que tinha algumas desvantagens em relação às soluções existentes. Com vista a melhorar este sistema e promovê-lo como um grande concorrente aos outros sistemas de gestão de eventos, foi apresentada uma proposta de solução composta por duas vertentes, uma pelo uso do portal online para eventos que não têm a capacidade de adquirir dispositivos móveis ou queiram usar sempre a mesma plataforma, e outra pelo uso de uma aplicação móvel de forma a se facilitar a logística da maioria de eventos não sendo necessário de um posto fixo com um computador e diversos dispositivos periféricos associados e até poder ser offline. Neste projeto foi realizado um sistema que permite então a realização de registos de entradas e acreditação durante o decorrer de um evento, podendo este registo funcionar manualmente ou pela utilização de códigos de barras de forma a automatizar e agilizar o processo e ainda com propriedades web design responsive para integrar diversos tipos de dispositivos fixos e móveis. Foi incluída a emissão de recibos/fatura após o pagamento de uma inscrição num evento sendo utilizada uma ligação por web services a um sistema externo, o SIMN. Foi ainda proposta uma funcionalidade de apresentação de resultados sobre os participantes do evento. Esta solução encontra-se validada tendo sido implementada e adicionada ao Portal Weventual.

A piezoelectric based energy harvester interface for a CMOS wireless sensor IC

In this thesis a piezoelectric energy harvesting system, responsible for regulating the power output of a piezoelectric transducer subjected to ambient vibration, is designed to power an RF receiver with a 6 mW power consump-tion. The electrical characterisation of the chosen piezoelectric transducer is the starting point of the design, which subsequently presents a full-bridge cross-coupled rectifier that rectifies the AC output of the transducer and a low-dropout regulator responsible for delivering a constant voltage system output of 0.6 V, with low voltage ripple, which represents the receiver’s required sup-ply voltage. The circuit is designed using CMOS 130 nm UMC technology, and the system presents an inductorless architecture, with reduced area and cost. The electrical simulations run for the complete circuit lead to the conclusion that the proposed piezoelectric energy harvesting system is a plausible solution to power the RF receiver, provided that the chosen transducer is subjected to moderate levels of vibration.

Design of a low-voltage CMOS RF receiver for energy harvesting sensor node

In this thesis a CMOS low-power and low-voltage RF receiver front-end is presented. The main objective is to design this RF receiver so that it can be powered by a piezoelectric energy harvesting power source, included in a Wireless Sensor Node application. For this type of applications the major requirements are: the low-power and low-voltage operation, the reduced area and cost and the simplicity of the architecture. The system key blocks are the LNA and the mixer, which are studied and optimized with greater detail, achieving a good linearity, a wideband operation and a reduced introduction of noise. A wideband balun LNA with noise and distortion cancelling is designed to work at a 0.6 V supply voltage, in conjunction with a double-balanced passive mixer and subsequent TIA block. The passive mixer operates in current mode, allowing a minimal introduction of voltage noise and a good linearity. The receiver analog front-end has a total voltage conversion gain of 31.5 dB, a 0.1 - 4.3 GHz bandwidth, an IIP3 value of -1.35 dBm, and a noise figure lower than 9 dB. The total power consumption is 1.9 mW and the die area is 305x134.5 m2, using a standard 130 nm CMOS technology.

Relatório de atividade profissional e uma comparação do estudo da conservação de energia através de um sensor de movimento e de análise de vídeo

A apresentação do presente relatório visa a obtenção do Grau de Mestre em Ensino de Físico Química de acordo com o estabelecido no regulamento para Licenciados “Pré-Bolonha”, que abrange as licenciaturas de cinco anos com, pelo menos, cinco anos de experiência profissional. O percurso académico e profissional permitiram a aquisição de conhecimentos, tanto na Física como na Química, e um conjunto de aptidões como a capacidade organizacional, a capacidade de trabalhar em equipa e competências sociais. A constante vontade em atualizar conhecimentos e adquirir novas competências têm sido um incentivo para continuar a frequentar cursos de formação, seminários, workshops conferências dedicadas a esta área, assim como às do ensino. O presente trabalho é composto por duas partes. Na primeira parte, encontra-se a discrição da minha atividade profissional. Na segunda parte, encontra-se a apresentação detalhada do estudo da atividade laboratorial da bola saltitante por dois processos diferentes: utilizando um sensor de movimento e usando a análise de vídeo através do software Tracker.

Design, implementation, and performance of a distributed and scalable sensor system for critical distance measurements in the CMS detector at LHC

The “CMS Safety Closing Sensors System” (SCSS, or CSS for brevity) is a remote monitoring system design to control safety clearance and tight mechanical movements of parts of the CMS detector, especially during CMS assembly phases. We present the different systems that makes SCSS: its sensor technologies, the readout system, the data acquisition and control software. We also report on calibration and installation details, which determine the resolution and limits of the system. We present as well our experience from the operation of the system and the analysis of the data collected since 2008. Special emphasis is given to study positioning reproducibility during detector assembly and understanding how the magnetic fields influence the detector structure.

Web Design como ferramenta de Comunicação Digital

WEB DESIGN COMO FERRAMENTA DE COMUNICAÇÃO DIGITAL: DESIGN E DESENVOLVIMENTO DE SITES, UTILIZANDO O GESTOR DE CONTEÚDOS WORDPRESS; DESIGN DE CONTEÚDOS VISUAIS PARA O FACEBOOK DE UMA MARCA

Desenvolvimento de um sensor de ibuprofeno em meio aquoso

A proteção dos recursos hídricos tem uma enorme importância ecológica, sendo a água um recurso indispensável à Vida e fundamental para o bem-estar de uma sociedade. Para isso, muitos dos poluentes que afetam a qualidade deste recurso natural são detetados e eliminados nas estações de tratamento de águas residuais. Porém, o impacto dos Produtos Farmacêuticos e de Cuidado Pessoal (PPCPs), usados à escala global, carece ainda da atenção necessária, dado que os meios técnicos atualmente disponíveis para detetar estes produtos são dispendiosos ou insuficientes. Dentro daquela classe de produtos, destaca-se o Ibuprofeno, uma vez que este composto, sendo lipossolúvel, tem a capacidade para se acumular nas gorduras dos seres vivos e, por conseguinte, persistir no meio-ambiente com efeitos nocivos. Para além desse facto, por diferentes vias de reação, o Ibuprofeno tem potencial para gerar produtos de carácter semelhante. No entanto, pouco esforços têm sido feitos no sentido de o detetar. Assim, pretendeu-se com este projeto desenvolver metodologias com vista à deteção de muito baixas concentrações (entre o nano e o picoMolar) daquele composto em meio aquoso. Foi utilizada a tecnologia de Língua Eletrónica por Espectroscopia de Impedância e, para tentar melhorar a sensibilidade do sensor à molécula-alvo, foram utilizados filmes finos à base de nanotubos de carbono e de diferentes polieletrólitos, preparados pela técnica de Camada-sobre-Camada (LbL, do inglês Layer-by-Layer). A caracterização destes filmes foi feita pela técnica Espectrofotometria na faixa dos Ultravioleta e Visível. Para além da análise de diferentes concentrações de Ibuprofeno, foram ainda analisadas soluções de Cloreto de Sódio, com o intuito de perceber se o sensor é versátil na deteção de outro tipo de compostos, sendo, então, o sal um composto barato e relevante neste âmbito, uma vez que a água na Natureza apresenta sempre alguma salinidade. O trabalho compreendeu ainda o desenvolvimento de um programa informático para automatizar o processo de aquisição dos dados espectrais de impedância, recolhidos pelo analisador HAMEG Programmable LCR Bridge HM8118, o que foi feito com sucesso. Posteriormente, os dados foram tratados pelo procedimento estatístico de Análise de Componentes Principais, que permitiu discriminar espacialmente e sequencialmente as diferentes concentrações dos compostos analisados.