Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Inverse dynamics based predictive control for unified power flow controllers without DC bus

This paper presents a new predictive digital control method applied to Matrix Converters (MC) operating as Unified Power Flow Controllers (UPFC). This control method, based on the inverse dynamics model equations of the MC operating as UPFC, just needs to compute the optimal control vector once in each control cycle, in contrast to direct dynamics predictive methods that needs 27 vector calculations. The theoretical principles of the inverse dynamics power flow predictive control of the MC based UPFC with input filter are established. The proposed inverse dynamics predictive power control method is tested using Matlab/Simulink Power Systems toolbox and the obtained results show that the designed power controllers guarantees decoupled active and reactive power control, zero error tracking, fast response times and an overall good dynamic and steady-state response.

Linear and sliding-mode control design for matrix converter-based unified power flow controllers

This paper presents the design and compares the performance of linear, decoupled and direct power controllers (DPC) for three-phase matrix converters operating as unified power flow controllers (UPFC). A simplified steady-state model of the matrix converter-based UPFC fitted with a modified Venturini high-frequency pulse width modulator is first used to design the linear controllers for the transmission line active (P) and reactive (Q) powers. In order to minimize the resulting cross coupling between P and Q power controllers, decoupled linear controllers (DLC) are synthesized using inverse dynamics linearization. DPC are then developed using sliding-mode control techniques, in order to guarantee both robustness and decoupled control. The designed P and Q power controllers are compared using simulations and experimental results. Linear controllers show acceptable steady-state behaviour but still exhibit coupling between P and Q powers in transient operation. DLC are free from cross coupling but are parameter sensitive. Results obtained by DPC show decoupled power control with zero error tracking and faster responses with no overshoot and no steady-state error. All the designed controllers were implemented using the same digital signal processing hardware.

Hospitalization flow in the public and private systems in the state of Sao Paulo, Brazil

OBJECTIVE To describe the migration flows of demand for public and private hospital care among the health regions of the state of Sao Paulo, Brazil. METHODS Study based on a database of hospitalizations in the public and private systems of the state of Sao Paulo, Southeastern Brazil, in 2006. We analyzed data from 17 health regions of the state, considering people hospitalized in their own health region and those who migrated outwards (emigration) or came from other regions (immigration). The index of migration effectiveness of patients from both systems was estimated. The coverage (hospitalization coefficient) was analyzed in relation to the number of inpatient beds per population and the indexes of migration effectiveness. RESULTS The index of migration effectiveness applied to the hospital care demand flow allowed characterizing health regions with flow balance, with high emigration of public and private patients, and with high attraction of public and private patients. CONCLUSIONS There are differences in hospital care access and opportunities among health regions in the state of Sao Paulo, Brazil.

Spatial patterns of leprosy in a hyperendemic state in Northern Brazil, 2001-2012

ABSTRACT OBJECTIVE To describe the spatial patterns of leprosy in the Brazilian state of Tocantins. METHODS This study was based on morbidity data obtained from the Sistema de Informações de Agravos de Notificação (SINAN – Brazilian Notifiable Diseases Information System), of the Ministry of Health. All new leprosy cases in individuals residing in the state of Tocantins, between 2001 and 2012, were included. In addition to the description of general disease indicators, a descriptive spatial analysis, empirical Bayesian analysis and spatial dependence analysis were performed by means of global and local Moran’s indexes. RESULTS A total of 14,542 new cases were recorded during the period under study. Based on the annual case detection rate, 77.0% of the municipalities were classified as hyperendemic (> 40 cases/100,000 inhabitants). Regarding the annual case detection rate in < 15 years-olds, 65.4% of the municipalities were hyperendemic (10.0 to 19.9 cases/100,000 inhabitants); 26.6% had a detection rate of grade 2 disability cases between 5.0 and 9.9 cases/100,000 inhabitants. There was a geographical overlap of clusters of municipalities with high detection rates in hyperendemic areas. Clusters with high disease risk (global Moran’s index: 0.51; p < 0.001), ongoing transmission (0.47; p < 0.001) and late diagnosis (0.44; p < 0.001) were identified mainly in the central-north and southwestern regions of Tocantins. CONCLUSIONS We identified high-risk clusters for transmission and late diagnosis of leprosy in the Brazilian state of Tocantins. Surveillance and control measures should be prioritized in these high-risk municipalities.

Reverse problem-based learning - a case study with a Braille machine

Engineering Education includes not only teaching theoretical fundamental concepts but also its verification during practical lessons in laboratories. The usual strategies to carry out this action are frequently based on Problem Based Learning, starting from a given state and proceeding forward to a target state. The possibility or the effectiveness of this procedure depends on previous states and if the present state was caused or resulted from earlier ones. This often happens in engineering education when the achieved results do not match the desired ones, e.g. when programming code is being developed or when the cause of the wrong behavior of an electronic circuit is being identified. It is thus important to also prepare students to proceed in the reverse way, i.e. given a start state generate the explanation or even the principles that underlie it. Later on, this sort of skills will be important. For instance, to a doctor making a patient?s story or to an engineer discovering the source of a malfunction. This learning methodology presents pedagogical advantages besides the enhanced preparation of students to their future work. The work presented on his document describes an automation project developed by a group of students in an engineering polytechnic school laboratory. The main objective was to improve the performance of a Braille machine. However, in a scenario of Reverse Problem-Based learning, students had first to discover and characterize the entire machine's function before being allowed (and being able) to propose a solution for the existing problem.

Demux devices based on A-SiC:H

In this paper we present results about the functioning of a multilayered a-SiC:H heterostructure as a device for wavelength-division demultiplexing of optical signals. The device is composed of two stacked p-i-n photodiodes, both optimized for the selective collection of photogenerated carriers. Band gap engineering was used to adjust the photogeneration and recombination rates profiles of the intrinsic absorber regions of each photodiode to short and long wavelength absorption and carrier collection in the visible spectrum. The photocurrent signal using different input optical channels was analyzed at reverse and forward bias and under steady state illumination. This photocurrent is used as an input for a demux algorithm based on the voltage controlled sensitivity of the device. The device functioning is explained with results obtained by numerical simulation of the device, which permit an insight to the internal electric configuration of the double heterojunction.These results address the explanation of the device functioning in the frequency domain to a wavelength tunable photocapacitance due to the accumulation of space charge localized at the internal junction. The existence of a direct relation between the experimentally observed capacitive effects of the double diode and the quality of the semiconductor materials used to form the internal junction is highlighted.

Solid-state sensory properties of Calix-Poly(Phenylene Ethynylene)s toward nitroaromatic explosives

This study is primarily focused in establishing the solid-state sensory abilities of several luminescent polymeric calix[4]arene-based materials toward selected nitroaromatic compounds (NACs), creating the foundations for their future application as high performance materials for detection of high explosives. The phenylene ethynylene-type polymers possessing bis-calix[4]arene scaffolds in their core were designed to take advantage of the known recognition abilities of calixarene compounds toward neutral guests, particularly in solid-state, therefore providing enhanced sensitivity and selectivity in the sensing of a given analyte. It was found that all the calix[4]arene-poly(para-phenylene ethynylene)s here reported displayed high sensitivities toward the detection of nitrobenzene, 2,4-dinitrotoluene and 2,4,6-trinitrotoluene (TNT). Particularly effective and significant was the response of the films (25-60 nm of thickness) upon exposure to TNT vapor (10 ppb): over 50% of fluorescence quenching was achieved in only 10 s. In contrast, a model polymer lacking the calixarene units showed only reduced quenching activity for the same set of analytes, clearly highlighting the relevance of the macrocyclics in promoting the signaling of the transduction event. The films exhibited high photostability (less than 0.5% loss of fluorescence intensity up to 15 min of continuous irradiation) and the fluorescence quenching sensitivity could be fully recovered after exposure of the quenched films to saturated vapors of hydrazine (the initial fluorescence intensities were usually recovered within 2-5 min of exposure to hydrazine).

Designing market-based instruments for biodiversity conservation: learning with the Australian experience and evaluating Portugal's potential

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Gestão de Sistemas Ambientais

Schem@Doc: a web-based XML schema visualizer

XML Schema is one of the most used specifications for defining types of XML documents. It provides an extensive set of primitive data types, ways to extend and reuse definitions and an XML syntax that simplifies automatic manipulation. However, many features that make XML Schema Definitions (XSD) so interesting also make them rather cumbersome to read. Several tools to visualize and browse schema definitions have been proposed to cope with this issue. The novel approach proposed in this paper is to base XSD visualization and navigation on the XML document itself, using solely the web browser, without requiring a pre-processing step or an intermediate representation. We present the design and implementation of a web-based XML Schema browser called schem@Doc that operates over the XSD file itself. With this approach, XSD visualization is synchronized with the source file and always reflects its current state. This tool fits well in the schema development process and is easy to integrate in web repositories containing large numbers of XSD files.

Splenomegaly in relation to Schistosoma mansoni egg counts: a population based study

A cross: sectional survey on schistosomiasis was done in Comercinho (Minas Gerais State, Brazil), a town with 1474 inhabitants. Stool (Kato-Katz method) and physical examinations were done on 90% of the population and on 84% of the individuals over 2 years of age, respectively. The ecological and individual (case-control) analysis were used to investigate the relation between splenomegaly and S. mansoni egg counts in different age groups. In the ecological analysis there was a clearly correspondence between higher geometric mean of eggs and higher percentage of splenomegaly in the age groups 5-9 and 10-12 years. In the individual analysis it was found that only in the youngest individuals (5-8 or 5-9 years old) the splenomegaly was related with higher mean egg counts in the feces, having been a tendency to the decrease of excretion of eggs in patients with splenomegaly as the age increased. These results strongly suggest that the ecological data are' better indicator of the severity of schistosomiasis in endemic areas, as the decrease of the egg excretion in patients with splenomegaly may be a confounding variable for the individual analysis.

Estimating Effective Slowdown of Tasks in Energy-Aware Clouds

Consolidation consists in scheduling multiple virtual machines onto fewer servers in order to improve resource utilization and to reduce operational costs due to power consumption. However, virtualization technologies do not offer performance isolation, causing applications’ slowdown. In this work, we propose a performance enforcing mechanism, composed of a slowdown estimator, and a interference- and power-aware scheduling algorithm. The slowdown estimator determines, based on noisy slowdown data samples obtained from state-of-the-art slowdown meters, if tasks will complete within their deadlines, invoking the scheduling algorithm if needed. When invoked, the scheduling algorithm builds performance and power aware virtual clusters to successfully execute the tasks. We conduct simulations injecting synthetic jobs which characteristics follow the last version of the Google Cloud tracelogs. The results indicate that our strategy can be efficiently integrated with state-of-the-art slowdown meters to fulfil contracted SLAs in real-world environments, while reducing operational costs in about 12%.

Arithmetic-based binary-to-RNS converter modulo {2(n)+/- k} for jn-Bit dynamic range

In this brief, a read-only-memoryless structure for binary-to-residue number system (RNS) conversion modulo {2(n) +/- k} is proposed. This structure is based only on adders and constant multipliers. This brief is motivated by the existing {2(n) +/- k} binary-to-RNS converters, which are particular inefficient for larger values of n. The experimental results obtained for 4n and 8n bits of dynamic range suggest that the proposed conversion structures are able to significantly improve the forward conversion efficiency, with an AT metric improvement above 100%, regarding the related state of the art. Delay improvements of 2.17 times with only 5% area increase can be achieved if a proper selection of the {2(n) +/- k} moduli is performed.

Damage detection in structures using a transmissibility-based Mahalanobis distance

In this paper, a damage-detection approach using the Mahalanobis distance with structural forced dynamic response data, in the form of transmissibility, is proposed. Transmissibility, as a damage-sensitive feature, varies in accordance with the damage level. Besides, Mahalanobis distance can distinguish the damaged structural state condition from the undamaged one by condensing the baseline data. For comparison reasons, the Mahalanobis distance results using transmissibility are compared with those using frequency response functions. The experiment results reveal quite a significant capacity for damage detection, and the comparison between the use of transmissibility and frequency response functions shows that, in both cases, the different damage scenarios could be well detected. Copyright (c) 2015 John Wiley & Sons, Ltd.

Sensitive bi-enzymatic biosensor based on polyphenoloxidases–gold nanoparticles–chitosan hybrid film–graphene doped carbon paste electrode for carbamates detection

A bi-enzymatic biosensor (LACC–TYR–AuNPs–CS/GPE) for carbamates was prepared in a single step by electrodeposition of a hybrid film onto a graphene doped carbon paste electrode (GPE). Graphene and the gold nanoparticles (AuNPs) were morphologically characterized by transmission electron microscopy, X-ray photoelectron spectroscopy, dynamic light scattering and laser Doppler velocimetry. The electrodeposited hybrid film was composed of laccase (LACC), tyrosinase (TYR) and AuNPs entrapped in a chitosan (CS) polymeric matrix. Experimental parameters, namely graphene redox state, AuNPs:CS ratio, enzymes concentration, pH and inhibition time were evaluated. LACC–TYR–AuNPs–CS/GPE exhibited an improved Michaelis–Menten kinetic constant (26.9 ± 0.5 M) when compared with LACC–AuNPs–CS/GPE (37.8 ± 0.2 M) and TYR–AuNPs–CS/GPE (52.3 ± 0.4 M). Using 4-aminophenol as substrate at pH 5.5, the device presented wide linear ranges, low detection limits (1.68×10− 9 ± 1.18×10− 10 – 2.15×10− 7 ± 3.41×10− 9 M), high accuracy, sensitivity (1.13×106 ± 8.11×104 – 2.19×108 ± 2.51×107 %inhibition M− 1), repeatability (1.2–5.8% RSD), reproducibility (3.2–6.5% RSD) and stability (ca. twenty days) to determine carbaryl, formetanate hydrochloride, propoxur and ziram in citrus fruits based on their inhibitory capacity on the polyphenoloxidases activity. Recoveries at two fortified levels ranged from 93.8 ± 0.3% (lemon) to 97.8 ± 0.3% (orange). Glucose, citric acid and ascorbic acid do not interfere significantly in the electroanalysis. The proposed electroanalytical procedure can be a promising tool for food safety control.