Controlo de conversores de potência genéricos por FPGA

Dissertação para obtenção do grau de Mestre em Engenharia Eletrotécnica Ramo de Automação e Eletrónica Industrial

Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Development of paper-based color test-strip for drug detection in aquatic environment: Application to oxytetracycline

The wide use of antibiotics in aquaculture has led to the emergence of resistant microbial species. It should be avoided/minimized by controlling the amount of drug employed in fish farming. For this purpose, the present work proposes test-strip papers aiming at the detection/semi-quantitative determination of organic drugs by visual comparison of color changes, in a similar analytical procedure to that of pH monitoring by universal pH paper. This is done by establishing suitable chemical changes upon cellulose, attributing the paper the ability to react with the organic drug and to produce a color change. Quantitative data is also enabled by taking a picture and applying a suitable mathematical treatment to the color coordinates given by the HSL system used by windows. As proof of concept, this approach was applied to oxytetracycline (OXY), one of the antibiotics frequently used in aquaculture. A bottom-up modification of paper was established, starting by the reaction of the glucose moieties on the paper with 3-triethoxysilylpropylamine (APTES). The so-formed amine layer allowed binding to a metal ion by coordination chemistry, while the metal ion reacted after with the drug to produce a colored compound. The most suitable metals to carry out such modification were selected by bulk studies, and the several stages of the paper modification were optimized to produce an intense color change against the concentration of the drug. The paper strips were applied to the analysis of spiked environmental water, allowing a quantitative determination for OXY concentrations as low as 30 ng/mL. In general, this work provided a simple, method to screen and discriminate tetracycline drugs, in aquaculture, being a promising tool for local, quick and cheap monitoring of drugs.

Sulfadiazine-selective determination in aquaculture environment: Selective potentiometric transduction by neutral or charged ionophores

Solid-contact sensors for the selective screening of sulfadiazine (SDZ) in aquaculture waters are reported. Sensor surfaces were made from PVC membranes doped with tetraphenylporphyrin-manganese(III) chloride, α-cyclodextrin, β-cyclodextrin, or γ-cyclodextrin ionophores that were dispersed in plasticizer. Some membranes also presented a positive or a negatively charged additive. Phorphyrin-based sensors relied on a charged carrier mechanism. They exhibited a near-Nernstian response with slopes of 52 mV decade−1 and detection limits of 3.91 × 10−5 mol L−1. The addition of cationic lipophilic compounds to the membrane originated Nernstian behaviours, with slopes ranging 59.7–62.0 mV decade−1 and wider linear ranges. Cyclodextrin-based sensors acted as neutral carriers. In general, sensors with positively charged additives showed an improved potentiometric performance when compared to those without additive. Some SDZ selective membranes displayed higher slopes and extended linear concentration ranges with an increasing amount of additive (always <100% ionophore). The sensors were independent from the pH of test solutions within 2–7. The sensors displayed fast response, always <15 s. In general, a good discriminating ability was found in real sample environment. The sensors were successfully applied to the fast screening of SDZ in real waters samples from aquaculture fish farms. The method offered the advantages of simplicity, accuracy, and automation feasibility. The sensing membrane may contribute to the development of small devices allowing in locus measurements of sulfadiazine or parent-drugs.

Biomimetic sensors of molecularly-imprinted polymers for chlorpromazine determination

A new man-tailored biomimetic sensor for Chlorpromazine host-guest interactions and potentiometric transduction is presented. The artificial host was imprinted within methacrylic acid, 2-vinyl pyridine and 2-acrylamido-2-methyl-1-propanesulfonic acid based polymers. Molecularly imprinted particles were dispersed in 2-nitrophenyloctyl ether and entrapped in a poly(vinyl chloride) matrix. Slopes and detection limits ranged 51–67 mV/decade and 0.46–3.9 μg/mL, respectively, in steady state conditions. Sensors were independent from the pH of test solutions within 2.0–5.5. Good selectivity was observed towards oxytetracycline, doxytetracycline, ciprofloxacin, enrofloxacin, nalidixic acid, sulfadiazine, trimethoprim, glycine, hydroxylamine, cysteine and creatinine. Analytical features in flowing media were evaluated on a double-channel manifold, with a carrier solution of 5.0 × 10−2 mol/L phosphate buffer. Near-Nernstian response was observed over the concentration range 1.0 × 10−4 to 1.0 × 10−2 mol/L. Average slopes were about 48 mV/decade. The sensors were successfully applied to field monitoring of CPZ in fish samples, offering the advantages of simplicity, accuracy, automation feasibility and applicability to complex samples.

Molecularly-Imprinted Materials for Potentiometric Transduction: Application to the Antibiotic Enrofloxacin

Enrofloxacin (ENR) is an antimicrobial used both in humans and in food producing species. Its control is required in farmed species and their surroundings in order to reduce the prevalence of antibiotic resistant bacteria. Thus, a new biomimetic sensor enrofloxacin is presented. An artificial host was imprinted in specific polymers. These were dispersed in 2-nitrophenyloctyl ether and entrapped in a poly(vinyl chloride) matrix. The potentiometric sensors exhibited a near-Nernstian response. Slopes expressing mV/Δlog([ENR]/M) varied within 48–63. The detection limits ranged from 0.28 to 1.01 µg mL−1. Sensors were independent from the pH of test solutions within 4–7. Good selectivity was observed toward potassium, calcium, barium, magnesium, glycine, ascorbic acid, creatinine, norfloxacin, ciprofloxacin, and tetracycline. In flowing media, the biomimetic sensors presented good reproducibility (RSD of ± 0.7%), fast response, good sensitivity (47 mV/Δlog([ENR]/M), wide linear range (1.0 × 10−5–1.0 × 10−3 M), low detection limit (0.9 µg mL−1), and a stable baseline for a 5 × 10−2 M acetate buffer (pH 4.7) carrier. The sensors were used to analyze fish samples. The method offered the advantages of simplicity, accuracy, and automation feasibility. The sensing membrane may contribute to the development of small devices allowing in vivo measurements of enrofloxacin or parent-drugs.

Autonomous Surface Vehicle Docking Manoeuvre with Visual Information

This work presents a hybrid coordinated manoeuvre for docking an autonomous surface vehicle with an autonomous underwater vehicle. The control manoeuvre uses visual information to estimate the AUV relative position and attitude in relation to the ASV and steers the ASV in order to dock with the AUV. The AUV is assumed to be at surface with only a small fraction of its volume visible. The system implemented in the autonomous surface vehicle ROAZ, developed by LSA-ISEP to perform missions in river environment, test autonomous AUV docking capabilities and multiple AUV/ASV coordinated missions is presented. Information from a low cost embedded robotics vision system (LSAVision), along with inertial navigation sensors is fused in an extended Kalman filter and used to determine AUV relative position and orientation to the surface vehicle The real time vision processing system is described and results are presented in operational scenario.

TEC4SEA - A Modular Platform for Research, Test and Validation of Technologies Supporting a Sustainable Blue Economy

This paper presents the TEC4SEA research infrastructure created in Portugal to support research, development, and validation of marine technologies. It is a multidisciplinary open platform, capable of supporting research, development, and test of marine robotics, telecommunications, and sensing technologies for monitoring and operating in the ocean environment. Due to the installed research facilities and its privileged geographic location, it allows fast access to deep sea, and can support multidisciplinary research, enabling full validation and evaluation of technological solutions designed for the ocean environment. It is a vertically integrated infrastructure, in the sense that it possesses a set of skills and resources which range from pure conceptual research to field deployment missions, with strong industrial and logistic capacities in the middle tier of prototype production. TEC4SEA is open to the entire scientific and enterprise community, with a free access policy for researchers affiliated with the research units that ensure its maintenance and sustainability. The paper describes the infrastructure in detail, and discusses associated research programs, providing a strategic vision for deep sea research initiatives, within the context of both the Portuguese National Ocean Strategy and European Strategy frameworks.

An Exact Schedulability Test for Global FP Using State Space Pruning

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Desenvolvimento de Frameworks de Testes Automáticos de Software

O objetivo deste trabalho é o desenvolvimento de frameworks de testes automáticos de software. Este tipo de testes normalmente está associado ao modelo evolucionário e às metodologias ágeis de desenvolvimento de software, enquanto que os testes manuais estão relacionados com o modelo em cascata e as metodologias tradicionais. Como tal foi efetuado um estudo comparativo sobre os tipos de metodologias e de testes existentes, para decidir quais os que melhor se adequavam ao projeto e dar resposta à questão "Será que realmente compensa realizar testes (automáticos)?". Finalizado o estudo foram desenvolvidas duas frameworks, a primeira para a implementação de testes funcionais e unitários sem dependências a ser utilizada pelos estagiários curriculares da LabOrders, e a segunda para a implementação de testes unitários com dependências externas de base de dados e serviços, a ser utilizada pelos funcionários da empresa. Nas últimas duas décadas as metodologias ágeis de desenvolvimento de software não pararam de evoluir, no entanto as ferramentas de automação não conseguiram acompanhar este progresso. Muitas áreas não são abrangidas pelos testes e por isso alguns têm de ser feitos manualmente. Posto isto foram criadas várias funcionalidades inovadoras para aumentar a cobertura dos testes e tornar as frameworks o mais intuitivas possível, nomeadamente: 1. Download automático de ficheiros através do Internet Explorer 9 (e versões mais recentes). 2. Análise do conteúdo de ficheiros .pdf (através dos testes). 3. Obtenção de elementos web e respetivos atributos através de código jQuery utilizando a API WebDriver com PHP bindings. 4. Exibição de mensagens de erro personalizadas quando não é possível encontrar um determinado elemento. As frameworks implementadas estão também preparadas para a criação de outros testes (de carga, integração, regressão) que possam vir a ser necessários no futuro. Foram testadas em contexto de trabalho pelos colaboradores e clientes da empresa onde foi realizado o projeto de mestrado e os resultados permitiram concluir que a adoção de uma metodologia de desenvolvimento de software com testes automáticos pode aumentar a produtividade, reduzir as falhas e potenciar o cumprimento de orçamentos e prazos dos projetos das organizações.

Adaptação Cultural e Linguística do Trunk Control Test: avaliação das propriedades psicométricas

Introdução: O controlo postural do tronco é um fator preditivo de autonomia, sendo fundamental a existência de instrumentos válidos e fiáveis a fim da sua avaliação na população portuguesa. Objetivo: Traduzir e adaptar o Trunk Control Test (TCT) para a população portuguesa em indivíduos após AVE e avaliar as suas propriedades psicométricas. Métodos: O TCT foi sujeito aos processos de tradução e retroversão para a população portuguesa por dois tradutores bilingues e realizadas duas reuniões com painel de peritos na área. Avaliou-se a validade, a fiabilidade, a sensibilidade, a especificidade e o poder de resposta em 19 indivíduos com AVE. Para avaliar a validade de critério os indivíduos foram adicionalmente submetidos à Escala de Equilíbrio de Berg (EEB), à Avaliação Motora de Rivermead (AMR) e à Escala de Comprometimento do Tronco (ECT). A fiabilidade inter-observadores foi garantida por uma segunda amostra de 25 fisioterapeutas, através da avaliação do desempenho de um participante no TCT. Os dados foram analisados no programa SPSS 22.0. Resultados: O TCT apresentou baixa consistência interna ( =0,523) e fiabilidade inter-observadores substancial (k=0,662). Obteve-se forte correlação do TCT com a ECT (r=0,885) e AMR (r=0,864), e correlação moderada com a EEB (r=0,700). A validade de construção aponta para uma moderada correlação entre itens (KMO=0,755; Bartlett=0,001). Não foi possível obter os valores de sensibilidade, especificidade e poder de resposta do TCT. Conclusão: O estudo demonstrou que o TCT é um instrumento válido e fiável na avaliação da população portuguesa após AVE.

Effects of quantitative easing on the USA economy: A test for policy effectiveness

The catastrophic disruption in the USA financial system in the wake of the financial crisis prompted the Federal Reserve to launch a Quantitative Easing (QE) programme in late 2008. In line with Pesaran and Smith (2014), I use a policy effectiveness test to assess whether this massive asset purchase programme was effective in stimulating the economic activity in the USA. Specifically, I employ an Autoregressive Distributed Lag Model (ARDL), in order to obtain a counterfactual for the USA real GDP growth rate. Using data from 1983Q1 to 2009Q4, the results show that the beneficial effects of QE appear to be weak and rather short-lived. The null hypothesis of policy ineffectiveness is not rejected, which suggests that QE did not have a meaningful impact on output growth.

How could marketing automation impact the business performance of Comexposium?

Comexposium continues to exhibit strong growth through global acquisition of key events. However, the company identified the need to increase the renewal rate of its exhibitors. In order to do so, Comexposium determined marketing automation software could have enormous value. However, the company currently does not have the appropriate data to determine to specific returns the software could provide. Thus, this report focused on assessing the impact of marketing automation on the business performance of a B2B enterprise and the best methods to implement and measure it. The main findings were that the software could be of immense value to Comexposium, if the company is ready to invest in internal resources and take the time to adapt to the changes the tool will incur.

A practical approach to execute and test a lean startup

This paper practically applies the “Lean Startup Approach” by identifying, analyzing and executing a newly developed web-based business idea. Hypotheses were designed and tested with the construction of a minimum viable product – i.e. a landing page. In-depth interviews allowed deciding either to pivot or persevere the initial launch strategy. Overall, the aim was to collect as much valuable response as possible from customers and ultimately decide for a superior strategy while devoting the smallest amount of time and money.

A Wireless Mesh Network NS-3 Simulation Model: Implementation and Performance Comparison With a Real Test-Bed

Wireless mesh networks present an attractive communication solution for various research and industrial projects. However, in many cases, the appropriate preliminary calculations which allow predicting the network behavior have to be made before the actual deployment. For such purposes, network simulation environments emulating the real network operation are often used. Within this paper, a behavior comparison of real wireless mesh network (based on 802.11s amendment) and the simulated one has been performed. The main objective of this work is to measure performance parameters of a real 802.11s wireless mesh network (average UDP throughput and average one-way delay) and compare the derived results with characteristics of a simulated wireless mesh network created with the NS-3 network simulation tool. Then, the results from both networks are compared and the corresponding conclusion is made. The corresponding results were derived from simulation model and real-worldtest-bed, showing that the behavior of both networks is similar. It confirms that the NS-3 simulation model is accurate and can be used in further research studies.