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.

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

Exposure assessment: the influence of environmental monitoring methodology

Exposure assessment is an important step of risk assessment process and has evolved more quickly than perhaps any aspect of the four-step risk paradigm (hazard identification, exposure assessment, dose-response analysis, and risk characterization). Nevertheless, some epidemiological studies have associated adverse health effects to a chemical exposure with an inadequate or absent exposure quantification. In addition to the metric used, the truly representation of exposure by measurements depends on: the strategy of sampling, random collection of measurements, and similarity between the measured and unmeasured exposure groups. Two environmental monitoring methodologies for formaldehyde occupational exposure were used to assess the influence of metric selection in exposure assessment and, consequently, in risk assessment process.

Monitoring exposure to airborne ultrafine particles in Lisbon, Portugal

The aim of this study is to contribute to the assessment of exposure levels of ultrafine particles (UFP) in the urban environment of Lisbon, Portugal, due to automobile traffic, by monitoring lung-deposited alveolar surface area (resulting from exposure to UFP) in a major avenue leading to the town centre during late Spring, as well as in indoor buildings facing it. This study revealed differentiated patterns for week days and weekends, consistent with PM(2.5) and PM(10) patterns currently monitored by air quality stations in Lisbon. The observed ultrafine particulate levels could be directly related with the fluxes of automobile traffic. During a typical week, UFP alveolar deposited surface area varied between 35.0 and 89.2 µm(2)/cm(3), which is comparable with levels reported for other towns such in Germany and United States. The measured values allowed the determination of the number of UFP per cm(3), which are comparable to levels reported for Madrid and Brisbane. In what concerns outdoor/indoor levels, we observed higher levels (32-63%) outdoor, which is somewhat lower than levels observed in houses in Ontario.

Biological monitoring of aflatoxin (AFB1) in workers of swine and poultry production

Although a great body of literature exists concerning the ingestion of food contaminated with aflatoxin, there are still few studies regarding mycotoxin inhalation in occupational settings. Since mycotoxins are relatively non-volatile, inhalation exposure is cause by inhalation of airborne fungal particulates or fungi-contaminated substrates that contain aflatoxin. We intend to know if there is occupational exposure to aflatoxin in Portuguese poultry and swine production. A total of 19 individuals (11 swine; 8 poultry) agreed and provided blood samples during the course of this investigation. Measurement of AFB1 was performed by ELISA. The samples were treated with pronase (Merck), wash in a Column C18 and purification was made with immunoaffinity columns (R.biopharma), specific for AFB1. It was applied statistical test (Mann-Whitney) to verified statistical difference in AFB1 results between the two settings. Results varied with concentrations from

Evolução dos sistema de telegestão da Empresa Portuguesa das Águas Livres, S.A.

O sistema de telegestão é uma ferramenta que permite a gestão, em tempo real, de todo o sistema de abastecimento da Empresa Portuguesa das Águas Livres, S.A. (EPAL). Esta gestão pode ser conseguida desde a captação da água até à sua entrega ao cliente final, através dos meios de monitorização necessários às operações de comando que permitem controlar e manobrar à distância os acessórios do sistema (estações elevatórias, reservatórios, válvulas,…). A presente dissertação visa a divulgação e compilação de elementos fundamentais para a otimização das potencialidades que a telegestão oferece, abordando assim, dada a sua especificidade, um tema pouco divulgado mas de extrema importância a quem trabalha ou pretende trabalhar numa entidade gestora similar. Assim, a dissertação é constituída por seis capítulos que compreendem a caracterização do sistema de adução, transporte e distribuição da EPAL, a abordagem genérica das ferramentas de suporte à exploração do sistema, uma resenha histórica do sistema de telegestão na EPAL, bem como informações referentes ao atual sistema de telegestão, nomeadamente a sua arquitetura, principais funcionalidades, tais como o controlo de órgãos de manobra à distância e análise de parâmetros de qualidade em tempo real. Finalmente, apresentam-se algumas conclusões e recomendações para trabalhos futuros. Pretende-se assim que o presente documento contribua para uma aglutinação de informações relativas aos sistemas de telegestão para abastecimento de água, respetivas vantagens aliadas às suas funcionalidades, bem como a identificação de fragilidades do sistema que poderão ser aperfeiçoadas ou mesmo eliminadas.

Directional Moving Target Indication for Civil Traffic Monitoring Using Single Channel SAR

This paper presents a novel moving target indicator which is selective with respect to a direction of interest. Preliminary results indicate that the obtained selectivity may have high interest in civil traffic monitoring using single channel SAR data.

A remote virtual experiment in mechanical engineering

Conferência: 2nd Experiment at International Conference (Exp at)- Univ Coimbra, Coimbra, Portugal - Sep 18-20, 2013

Monitorização via internet de processos industriais controlados com autómatos programáveis

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

A VLF to UHF propagation model for evaluation of high-speed railway electromagnetic interference in RF monitoring base-stations

Considering that recent european high-speed railway system has a traction power system of kV 50 Hz, which causes electromagnetic emission for the outside world, it is important to dimension the railway system emissions, using a frequency/distance dependent propagation model. This paper presents an enhanced theoretical model for VLF to UHF propagation, railway system oriented. It introduces the near field approach (crucial in low frequency propagation) and also considers the source characteristics and type of measuring antenna. Simulations are presented, and comparisons are set with earlier far field models. Using the developed model, a real case study was performed in partnership with Refer Telecom (portuguese telecom operator for railways). The new propagation model was used in order to predict the future high-speed railway electromagnetic emissions in the Lisbon north track. The results show the model's prediction capabilities and also its applicability to realistic scenarios.

An internet remote laboratory to teach industrial automation

This paper presents the new internet remote laboratory (IRL), constructed at Mechanical Engineering Department (MED), Instituto Superior de Engenharia de Lisboa (ISEL), to teach Industrial Automation, namely electropneumatic cycles. The aim of this work was the development and implementation of a remote laboratory that was simple and effective from the user point of view, allowing access to all its functionalities through a web browser without having to install any other program and giving access to all the features that the students can find at the physical laboratory. With this goal in mind, it has been implemented a simple architecture with the new programmable logic controller (PLC) SIEMENS S7-1200, and with the aid of several free programs, programming technologies such as JavaScript, PHP and databases, it was possible to have a remote laboratory, with a simple interface, to teach industrial automation students.

Design and optimization of na ultra wideband and compact microwave antenna for radiometric monitoring of brain temperature

We present the modeling efforts on antenna design and frequency selection to monitor brain temperature during prolonged surgery using noninvasive microwave radiometry. A tapered log-spiral antenna design is chosen for its wideband characteristics that allow higher power collection from deep brain. Parametric analysis with the software HFSS is used to optimize antenna performance for deep brain temperature sensing. Radiometric antenna efficiency (eta) is evaluated in terms of the ratio of power collected from brain to total power received by the antenna. Anatomical information extracted from several adult computed tomography scans is used to establish design parameters for constructing an accurate layered 3-D tissue phantom. This head phantom includes separate brain and scalp regions, with tissue equivalent liquids circulating at independent temperatures on either side of an intact skull. The optimized frequency band is 1.1-1.6 GHz producing an average antenna efficiency of 50.3% from a two turn log-spiral antenna. The entire sensor package is contained in a lightweight and low-profile 2.8 cm diameter by 1.5 cm high assembly that can be held in place over the skin with an electromagnetic interference shielding adhesive patch. The calculated radiometric equivalent brain temperature tracks within 0.4 degrees C of the measured brain phantom temperature when the brain phantom is lowered 10. C and then returned to the original temperature (37 degrees C) over a 4.6-h experiment. The numerical and experimental results demonstrate that the optimized 2.5-cm log-spiral antenna is well suited for the noninvasive radiometric sensing of deep brain temperature.

Monitoring exposure to airborne ultrafine particles in Lisbon, Portugal

The aim of this study is to contribute to the assessment of exposure levels of ultrafine particles (UFP) in the urban environment of Lisbon, Portugal, due to automobile traffic, by monitoring lung-deposited alveolar surface area (resulting from exposure to UFP) in a major avenue leading to the town centre during late Spring, as well as in indoor buildings facing it. This study revealed differentiated patterns for week days and weekends, consistent with PM2.5 and PM10 patterns currently monitored by air quality stations in Lisbon. The observed ultrafine particulate levels could be directly related with the fluxes of automobile traffic. During a typical week, UFP alveolar deposited surface area varied between 35.0 and 89.2 mu m(2)/cm(3), which is comparable with levels reported for other towns such in Germany and United States. The measured values allowed the determination of the number of UFP per cm(3), which are comparable to levels reported for Madrid and Brisbane. In what concerns outdoor/indoor levels, we observed higher levels (32-63%) outdoor, which is somewhat lower than levels observed in houses in Ontario.

Numerical 3D modeling of heat transfer in human tissues for microwave radiometry monitoring of Brown fat metabolismo

Background: Brown adipose tissue (BAT) plays an important role in whole body metabolism and could potentially mediate weight gain and insulin sensitivity. Although some imaging techniques allow BAT detection, there are currently no viable methods for continuous acquisition of BAT energy expenditure. We present a non-invasive technique for long term monitoring of BAT metabolism using microwave radiometry. Methods: A multilayer 3D computational model was created in HFSS™ with 1.5 mm skin, 3-10 mm subcutaneous fat, 200 mm muscle and a BAT region (2-6 cm3) located between fat and muscle. Based on this model, a log-spiral antenna was designed and optimized to maximize reception of thermal emissions from the target (BAT). The power absorption patterns calculated in HFSS™ were combined with simulated thermal distributions computed in COMSOL® to predict radiometric signal measured from an ultra-low-noise microwave radiometer. The power received by the antenna was characterized as a function of different levels of BAT metabolism under cold and noradrenergic stimulation. Results: The optimized frequency band was 1.5-2.2 GHz, with averaged antenna efficiency of 19%. The simulated power received by the radiometric antenna increased 2-9 mdBm (noradrenergic stimulus) and 4-15 mdBm (cold stimulus) corresponding to increased 15-fold BAT metabolism. Conclusions: Results demonstrated the ability to detect thermal radiation from small volumes (2-6 cm3) of BAT located up to 12 mm deep and to monitor small changes (0.5°C) in BAT metabolism. As such, the developed miniature radiometric antenna sensor appears suitable for non-invasive long term monitoring of BAT metabolism.

Low-cost vibration sensors: tendencies and applications in condition monitoring of machines and structures

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica