A study on dynamic state information (DSI) around users for safe urban life

To select each node by devices and by contexts in urban computing, users have to put their plan information and their requests into a computing environment (ex. PDA, Smart Devices, Laptops, etc.) in advance and they will try to keep the optimized states between users and the computing environment. However, because of bad contexts, users may get the wrong decision, so, one of the users’ demands may be requesting the good server which has higher security. To take this issue, we define the structure of Dynamic State Information (DSI) which takes a process about security including the relevant factors in sending/receiving contexts, which select the best during user movement with server quality and security states from DSI. Finally, whenever some information changes, users and devices get the notices including security factors, then an automatic reaction can be possible; therefore all users can safely use all devices in urban computing.

The verification of temporal KBS: SPARSE - a case study in power systems

In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

ANN based support for distributed energy resources scheduling in smart grids

The future scenarios for operation of smart grids are likely to include a large diversity of players, of different types and sizes. With control and decision making being decentralized over the network, intelligence should also be decentralized so that every player is able to play in the market environment. In the new context, aggregator players, enabling medium, small, and even micro size players to act in a competitive environment, will be very relevant. Virtual Power Players (VPP) and single players must optimize their energy resource management in order to accomplish their goals. This is relatively easy to larger players, with financial means to have access to adequate decision support tools, to support decision making concerning their optimal resource schedule. However, the smaller players have difficulties in accessing this kind of tools. So, it is required that these smaller players can be offered alternative methods to support their decisions. This paper presents a methodology, based on Artificial Neural Networks (ANN), intended to support smaller players’ resource scheduling. The used methodology uses a training set that is built using the energy resource scheduling solutions obtained with a reference optimization methodology, a mixed-integer non-linear programming (MINLP) in this case. The trained network is able to achieve good schedule results requiring modest computational means.

Estudo e desenvolvimento de um sensor de chuva piezoelétrico para automóveis

A presença de sistemas eletrónicos nos veículos automóveis tem vindo a aumentar de forma considerável nos últimos 30 anos, tornando possível o aumento dos padrões de eficiência, segurança e conforto dos mesmos. Os sistemas de acionamento automático dos limpa-para-brisas, baseados em sensores de chuva óticos, têm registado um crescimento quase exponencial nos últimos 10 a 15 anos; no ano 2000, apenas 5 % dos veículos novos produzidos na Europa estavam equipados com este sistema, hoje é um equipamento amplamente difundido na oferta automóvel existente. O presente trabalho consistiu no estudo de uma solução para deteção de chuva em veículos automóveis com a aplicação de um sensor piezoelétrico, tendo em vista a obtenção de uma solução mais versátil e aplicável em vários pontos do veículo. As reduzidas dimensões, a elevada sensibilidade do sensor e a facilidade de aplicação nas superfícies de ensaio foram fatores que motivaram a escolha deste tipo de equipamento como elemento sensorial. As hipóteses definidas para o procedimento laboratorial basearam-se nas conclusões obtidas em estudos anteriormente desenvolvidos no campo dos sensores de chuva para automóveis e nas capacidades dos materiais piezoelétricos para medição de pluviosidade. Os sensores foram instalados sob as superfícies do veículo que apresentavam, simultaneamente, uma maior exposição à pluviosidade, quando este está em movimento, e um menor risco de sofrer danos. Os resultados obtidos permitiram concluir que a utilização deste tipo de sensores permite detetar elevados níveis de pluviosidade e em superfícies com considerável capacidade de deformação elástica. A sua implementação futura em veículos automóveis exige mais algum trabalho de melhoria dos processos de fixação dos sensores e do condicionamento de sinal utilizados.

Modelização de um dispositivo de travagem automático de via, através do método dos elementos finitos

Apresenta-se a modelização, através do Método dos Elementos Finitos, de um sistema de proteção automática de comboios, denominado DTAV – Dispositivo de Travagem Automático de Via. A modelização é realizada com o auxílio do software Ansys 13.0. Descreve-se a evolução histórica dos sistemas de proteção automática de comboios, desde a época vitoriana até à atualidade. São categorizados os vários tipos de sistemas de proteção existentes, consoante as suas funcionalidades e os seus princípios físicos de funcionamento. É apresentada uma breve descrição da normalização em vigor, aplicada aos sistemas de proteção automáticos de comboios. Descreve-se em pormenor o sistema DTAV, nomeadamente a sua funcionalidade, o seu princípio físico de funcionamento e o conjunto de equipamentos de que é constituído. Apresenta-se uma breve introdução sobre o método dos elementos finitos, enquadrando o modelo criado com os princípios físicos em que se fundamenta, nomeadamente através da descrição das equações de eletromagnetismo. Desenvolve-se modelo do sistema DTAV, evidenciado as etapas da construção e os resultados obtidos, validados por um conjunto de especificações e ensaios prévios realizados em laboratório.

Phlebotomine fauna in a rural area of the Brazilian Pantanal

The aim of the study was to identify among the phlebotomine fauna potential leishmaniasis vectors. The study was carried out in Corumbá county, State of Mato Grosso do Sul, Mid-West Brazil (18º59'S, 56º39'W). Sand fly captures were undertaken fortnightly with automatic light traps at 11 sites in forested environments and anthropic areas from April 2001 to July 2003. A total of only 41 specimens were captured. Thirty-one percent of the specimens were captured in forests and 68.3% in anthropic areas. The predominance of non-anthropophilic groups and the low density of N. whitmani, a known cutaneous leishmaniasis vector, does not seem to indicate any actual risk of the transmission of this disease in the study area.

Monitorização integrada para sistemas de alimentação distribuídos

Mestrado em Engenharia Electrotécnica e de Computadores

Modelo de previsão meteorológica baseado em sistemas de inferência difusa

Mestrado em Engenharia Electrotécnica e de Computadores

Aplicação de dispositivos analógicos reconfiguráveis

Mestrado em Engenharia Electrotécnica e de Computadores

Efeito agudo do exercício físico na rigidez arterial

Este estudo pretendeu reproduzir uma tarefa da vida diária (marcha com transporte de peso nos membros superiores) realizada de forma rotineira e até aconselhada no contexto da prevenção e reabilitação de patologia cardiovascular, desta forma, teve como objectivo avaliar o efeito agudo de uma sessão de exercício aeróbio associado a exercício isométrico na rigidez arterial em indivíduos jovens. Foram recrutados 14 indivíduos do sexo masculino com média de idade de 30,3±3,6 anos. Foram realizadas duas sessões de exercício com uma semana de intervalo. Em ambas as sessões de exercício, os sujeitos caminharam num tapete rolante a uma velocidade de 5,0 km/h por um período de dez minutos, sendo que, numa das sessões, determinada aleatoriamente, carregaram o equivalente a 10% do seu peso corporal distribuído igualmente pelos dois membros superiores em dois garrafões de água. Avaliou-se em repouso e imediatamente após o exercício, a pressão arterial periférica, a frequência cardíaca e a rigidez arterial. A análise da rigidez arterial foi efectuada na artéria radial do membro superior direito com um sistema transdutor automático de pressão. Os parâmetros reportados neste estudo são a frequência cardíaca, a pressão arterial sistólica e diastólica, a pressão arterial média, a pressão central (aórtica) sistólica, a pressão de pulso central, a pressão de aumentação e o índice de aumentação a 75 bmp (Aix@75). Em repouso, não se verificaram diferenças significativas entre as duas sessões de exercício nos parâmetros avaliados. O principal resultado do presente estudo indica que a rigidez arterial aumenta de forma aguda com a realização de caminhada (exercício aeróbio) apenas quando esta é acompanhada do transporte nos membros superiores de uma carga externa (exercício isométrico) [Aix@75: -5.5(8.4) para -1.36(8.17)%, p<0.05]. Relativamente ao protocolo exclusivamente aeróbio não se verificaram diferenças significativas na rigidez arterial [Aix@75: -4.2(9.1) para -4.69(7.93)%, p>0.05]. Em conclusão, os resultados do presente estudo indicam que a rigidez arterial, em indivíduos jovens e aparentemente saudáveis, aumenta de forma significativa apenas quando o exercício aeróbio é acompanhado de exercício isométrico de membros superiores com transporte de carga adicional.