Génération de squelettes des contrats de classes et des tests unitaires en Java

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

e-Tutor : papel e intervenção na aprendizagem colaborativa em ambientes híbridos

Relatório de estágio apresentado à Escola Superior de Educação de Santarém para cumprimento dos requisitos necessários à obtenção do grau de mestre em Educação e Comunicação Multimédia

e-Tutor : papel e intervenção na aprendizagem colaborativa em ambientes híbridos

Relatório de estágio apresentado à Escola Superior de Educação de Santarém para cumprimento dos requisitos necessários à obtenção do grau de mestre em Educação e Comunicação Multimédia

Classificação de veículos híbridos - evolução crescente do grau de electrificação

Em resposta aos impactos ambientais e limitações dos combustíveis fósseis, assistiu-se nas últimas décadas a um acentuado desenvolvimento dos veículos híbridos elétricos convencionais. A sua proliferação encontra-se hoje bem disseminada, em praticamente todas as gamas, refletindo a confiança dos consumidores. Com vista a atenuar ainda mais o uso dos combustíveis fósseis, a tendência é de aumentar o nível de eletrificação nas versões híbridas mais recentes, bem como da oferta de versões puramente elétricas. No entanto, a evolução dos últimos anos, quer ao nível da aposta por parte dos fabricantes, quer ao nível do volume de vendas, parece indiciar uma nova fase de proliferação destes veículos, a qual se encontra ainda a dar os primeiros passos. Este artigo apresenta uma classificação dos veículos híbridos, em função do nível de eletrificação do sistema de propulsão. Após uma breve referência aos veículos puramente elétricos, fazem-se algumas considerações acerca do impacto mundial dos veículos híbridos Plug-in e puramente elétricos, nos últimos 5 anos.

Behavioral Response to Environmental Taxation: Evidence from the Transportation Sector

This dissertation analyzes how individuals respond to the introduction of taxation aimed to reduce vehicle pollution, greenhouse gases and traffic. The first chapter analyzes a vehicle registration tax based on emissions of carbon dioxide (CO2), a major greenhouse gas, adopted in the UK in 2001 and subject to major changes in the following years. I identify the impact of the policy on new vehicle registrations and carbon emissions, compared to alternative measures. Results show that consumers respond to the tax by purchasing cleaner cars, but a carbon tax generating the same revenue would further reduce carbon emissions. The second chapter looks at a pollution charge (polluting vehicles pay to enter the city) and a congestion charge (all vehicles pay) adopted in 2008 and 2011 in Milan, Italy, and how they affected the concentration of nitrogen dioxides (NOx). I use data from pollution monitoring stations to measure the change between areas adopting the tax and other areas. Results show that in the first quarter of their introduction, both policies decreased NOx concentration in a range of -8% and -5%, but the effect declines over time, especially in the case of the pollution charge. The third chapter examines a trial conducted in 2005 in the Seattle, WA, area, in which vehicle trips by 276 volunteer households were recorded with a GPS device installed in their vehicles. Households received a monetary endowment which they used to pay a toll for each mile traveled: the toll varied with the time of the day, the day of the week and the type of road used. Using information on driving behavior, I show that in the first week a $0.10 toll per mile reduces the number of miles driven by around 7%, but the effect lasts only few weeks at most. The effect is mainly driven by a reduction in highway miles during trips from work to home, and it is strongly influenced by past driving behavior, income, the size of the initial endowment and the number of children in the household.

Essays on mixed-frequency data : forecasting and unit root testing

Doutoramento em Economia

Metacromasia para identificação de basófilos sanguíneos em surubim híbrido: contribuição metodológica

Padua S.B. & Ishikawa M.M. [Metachromasia for blood basophils identification in hybrid surubim catfish: methodological contribution]. Metacromasia para identificacao de basofilos sanguineos em surubim hibrido: contribuicao metodologica. Revista Brasileira de Medicina Veterinaria, 33(3):147-150, 2011. Centro de Aquicultura da Unesp/Jaboticabal Rod. Paulo Donato Castellane, s/n Bairro Rural, Jaboticabal, 14884-900, SP. Brasil. E-mail: santiagopadua@live.comDifferent protocols of fixation and hydrolysis of blood smears of hybrid surubim catfish for metachromasia to marking blood basophils were evaluated. For this reason, methanol, acid-alcohol and formalin vapor were tested as fixatives. For hydrolysis of blood smears, HCl, citric acid and 2-Mercaptoethanol + Urea + NaCl solutions was evaluated. After procedures, the blood smears was stained with toluidine blue (0.025%) diluted in McIlvaine buffer (pH 4). The different protocols for fixation and hydrolysis of blood smears for metachromasia influenced the quality of the reaction. Hydrolysis with 2-Mercaptoethanol + Urea + NaCl solutions provided negative results when using methanol and acid-alcohol as fixatives. The fixation with acid-alcohol associated with citric acid hydrolysis provides highest quality reason.

Analys av NIR hårdvaruuppsättning samt metod för fotografering av individer i fordon

Abstract Purpose – To study the possibility of using a NIR hardware solution to photograph individuals in a private vehicle as well as an analysis of its images. Method – A study of existing theories around the NIR-method’s performance in selected conditions and individual tests were performed to examine if the literature statements were valid for this study. Two empirical tests have been carried out, the first was carried out at Kapsch test track and the other outside the test track in a single stationary test. An interview which formed the basis for the assessment on the quality of empirical data with a focus on computer-based detection of the number of individuals in the vehicle. Findings – The results have demonstrated the potential of the NIR method’s performance in a fully automated detection system for the number of individuals inside the vehicle. Empirical data indicates that the method can depict individuals inside vehicles of sufficiently high quality, but it is greatly affected by reflections, weather and light conditions. Implications – Result supports the assumption that the NIR method using an external light source can be used to image the interior through a varying number of weather and lightning conditions. The study originated until the results suggested that a NIR-based hardware setup can create images with high enough quality for the human eye to be able to detect the number of individuals inside the vehicle.If the overall performance into account, it suggests that the main problem with the use of the hardware set is to maintain the quality of the whole sample and that the crucial variables for the method’s performance is the influence of light and reflection conditions. Limitations – The major limitations have been that we limited ourselves to a subjective analysis of the selection and assessment on the image features for computer-based detection of the number of individuals in the vehicle. We were limited to two tests, one in tough conditions where only the driver was in the vehicle and the second stationary test, where the focus was on the number of people in vehicles and light sources impact on the result.

Diclofenaco comparado con ibuprofeno para el cierre de Ductus arterioso persistente, en recién nacidos prematuros

Introducción: El Ductus arterioso persistente (DAP), es uno de los defectos congénitos cardiacos más comunes, requiere manejo farmacológico y/o quirúrgico; presenta complicaciones hemodinámicas, respiratorias y muerte. Los medicamentos de elección para su manejo son indometacina e ibuprofeno, pero su costo y accesibilidad llevo al uso de diclofenaco como alternativa de manejo en algunos hospitales. Objetivo: Comparar respuesta al tratamiento con diclofenaco vs ibuprofeno en cierre de DAP. Materiales y Métodos: Estudio observacional analítico retrospectivo, que compara los resultados obtenidos al usar Diclofenaco e Ibuprofeno para el cierre del DAP en recién nacidos pretérmino. Se recolecto información de pacientes hospitalizados en la Unidad Neonatal de un Hospital II nivel de Bogotá. Se revisaron las historias clínicas de pacientes de edad gestacional entre 24 y 36 semanas por Ballard con los criterios para diagnóstico de DAP y recibieron tratamiento farmacológico con una de las siguientes opciones: Ibuprofeno 10 mg/Kg dosis inicial después 5mg/Kg a las 24 48 horas, o Diclofenaco 0.2 mg/Kg dosis cada 12 horas tres dosis. Se comparó el Diclofenaco y el Ibuprofeno para el tratamiento farmacológico de DAP en recién nacidos prematuros. Resultados: Fueron evaluados 103 pacientes, el diagnóstico de DAP se realizó con ecocardiograma transtorácico, el 66.6 % de los pacientes presentó cierre farmacológico con Diclofenaco y 69 % con Ibuprofeno, La mortalidad fue de 17.65 % con Diclofenaco y 11.54 % con ibuprofeno; en ambos casos asociadas a la prematurez. Conclusiones: El éxito farmacológico fue similar en ambos grupos, el diclofenaco es una alternativa interesante cuando la terapia convencional no esté disponible.

FAST-E en Pacientes con Trauma Abdominal Cerrado Estable, en un Departamento de Urgencias en Colombia

El impacto que ha generado el trauma en Colombia a lo largo de la historia, nos ha obligado a mejorar y adaptar diferentes tipos de sistemas de atención en trauma, basados en los lineamientos internacionales, los cuales buscan evitar el significativo aumento en las tasas de mortalidad y discapacidad que se obtienen de este, especialmente en los servicios de Emergencias en los cuales se reciben el 100% de estos pacientes con traumatismo múltiple o politraumatismo. Dentro de este grupo de pacientes hay un subgrupo que son las pacientes con trauma de abdomen que cursan con estabilidad hemodinámica y además son clasificados de bajo riesgo, ya sea por índices de trauma o por otros métodos como la medición sérica de lactato, los cuales tienen un papel poco despreciable al momento de ver mortalidad y discapacidad por trauma, ya sea penetrante o cerrado; en este trabajo específicamente nos centramos en las personas que consultan al servicio de Emergencias con trauma cerrado de abdomen los cuales son considerados de bajo riesgo, siendo este subgrupo de pacientes uno de los más difíciles de abordar y enfocar al momento de la valoración inicial, ya que se debe tener la seguridad de que no hay lesiones que comprometen la vida y por consiguiente estos pacientes puedan ser dados de alta.

Using linear algebra for protein structural comparison and classification.

In this article, we describe a novel methodology to extract semantic characteristics from protein structures using linear algebra in order to compose structural signature vectors which may be used efficiently to compare and classify protein structures into fold families. These signatures are built from the pattern of hydrophobic intrachain interactions using Singular Value Decomposition (SVD) and Latent Semantic Indexing (LSI) techniques. Considering proteins as documents and contacts as terms, we have built a retrieval system which is able to find conserved contacts in samples of myoglobin fold family and to retrieve these proteins among proteins of varied folds with precision of up to 80%. The classifier is a web tool available at our laboratory website. Users can search for similar chains from a specific PDB, view and compare their contact maps and browse their structures using a JMol plug-in.

Advanced electrospun nanofibrous mats for hindering delamination, improving damping and for sensing of composite laminates

Carbon Fiber Reinforced Polymers (CFRPs) display high specific mechanical properties, allowing the creation of lightweight components and products by metals replacement. To reach outstanding mechanical performances, the use of stiff thermoset matrices, like epoxy, is preferred. Laminated composites are commonly used for their ease of manipulation during object manufacturing. However, the natural anisotropic structure of laminates makes them vulnerable toward delamination. Moreover, epoxy-based CFRPs are very stiff materials, thus showing low damping capacity, which results in unwanted vibrations and structure-borne noise that may contribute to delamination triggering. Hence, searching for systems able to limit these drawbacks is of primary importance for safety reasons, as well as for economic ones. In this experimental thesis, the production and integration of innovative rubbery nanofibrous mats into CFRP laminates are presented. A smart approach, based on single-needle electrospinning of rubber-containing blends, is proposed for producing dimensionally stable rubbery nanofibers without the need for rubber crosslinking. Nano-modified laminates aim at obtaining structural composites with improved delamination resistance and enhanced damping capacity, without significantly lowering other relevant mechanical properties. The possibility of producing nanofibers nano-reinforced with graphene to be applied for reinforcing composite laminates is also investigated. Moreover, the use of piezoelectric nanofibrous mats in hybrid composite laminates for achieving self-sensing capability is presented too as a different approach to prevent the catastrophic consequences of possible structural laminate failure. Finally, an accurate, systematic, and critical study concerning tensile testing of nonwovens, using electrospun Nylon 66 random nanofibrous mats as a case study, is proposed. Nanofibers diameter and specimen geometry were investigated to thoroughly describe the nanomat tensile behaviour, also considering the polymer thermal properties, and the number of nanofibers crossings as a function of the nanofibers diameter. Stress-strain data were also analysed using a phenomenological data fitting model to interpret the tensile behaviour better.

Modeling and Design of Phase Shifted Full Bridge Isolated DC-DC ZVS Converter with Peak Current Mode Control

Nowadays, there is a boom in the use of electrification. Electric vehicles are gaining interest worldwide due to various factors, including climate and environmental awareness. In this thesis, a step-down isolated power supply for electric tractors is investigated, specifically the phase-shifted full-bridge (PSFB) DC-DC with synchronous rectification and zero-voltage switching (ZVS). This converter was selected for its high-power capacity with high efficiency. A 3500 W PSFB converter with peak current control (PCCM) is designed and modeled in MATLAB. The input voltage range is from 550 V to 820 V and the output voltage range is limited to 9 V to 16 V with a maximum output current of 250 A. All components were commercially designed and selected, including magnetics for the high-frequency transformer and inductors, taking into account loss calculations. Zero voltage switching for the lagging leg is achieved at 13% to 100% load. The proven efficiency of the converter is around 90

Application of the Extended Kalman filter for speed sensorless control of PM synchronous machines

The increasing interest in the decarbonization process led to a rapidly growing trend of electrification strategies in the automotive industry. In particular, OEMs are pushing towards the development and production of efficient electric vehicles. Moreover, research on electric motors and their control are exploding in popularity. The increase of computational power in embedded control hardware is allowing the development of new control algorithm, such as sensorless control strategy. Such control strategy allows the reduction of the number of sensors, which implies reduced costs and increased system reliability. The thesis objective is to realize a sensorless control for high-performance automotive motors. Several algorithms for rotor angle observers are implemented in the MATLAB and Simulink environment, with emphasis on the Kalman observer. One of the Kalman algorithms already available in the literature has been selected, implemented and benchmarked, with emphasis on its comparison with the Sliding Mode observer. Different models characterized by increasing levels of complexity are simulated. A simplified synchronous motor with ”constant parameters”, controlled by an ideal inverter is first analyzed; followed by a complete model defined by real motor maps, and controlled by a switching inverter. Finally, it was possible to test the developed algorithm on a real electric motor mounted on a test bench. A wide range of different electric motors have been simulated, which led to an exhaustive review of the sensorless control algorithm. The final results underline the capability of the Kalman observer to effectively control the motor on a real test bench.

DS4H Image Alignment tool, allineamento multimodale automatico: sviluppo di modulo per ottimizzazione dei dati acquisiti ed estensione ad immagini a colori

Molti degli studi oncologici partono dalla analisi di provini istologici, cioè campioni di tessuto prelevati dal paziente. Grazie a marcatori specifici, ovvero coloranti selettivi applicati alla sezione da analizzare, vengono studiate specifiche parti del campione. Spesso per raccogliere più informazioni del campione si utilizzano più marcatori. Tuttavia, questi non sempre possono essere applicati in parallelo e spesso vengono utilizzati in serie dopo un lavaggio del campione. Le immagini così ottenute devono quindi essere allineate per poter procedere con studi di colocalizzazione simulando una acquisizione in parallelo dei vari segnali. Tuttavia, non esiste una procedura standard per allineare le immagini così ottenute. L’allineamento manuale è tempo-dispendioso ed oggetto di possibili errori. Un software potrebbe rendere il tutto più rapido e affidabile. In particolare, DS4H Image Alignment è un plug-in open source implementato per ImageJ/Fiji per allineare immagini multimodali in toni di grigio. Una prima versione del software è stata utilizzata per allineare manualmente una serie di immagini, chiedendo all’utente di definire punti di riferimento comuni a tutte le immagini. In una versione successiva, è stata aggiunta la possibilità di effettuare un allineamento automatico. Tuttavia, questo non era ottimizzato e comportava una perdita di informazione nelle aree non sovrapposte all’immagine definita come riferimento. In questo lavoro, è stato sviluppato un modulo ottimizzato di registrazione automatica di immagini che non assume nessuna immagine di riferimento e preserva tutti i pixel delle immagini originali creando uno stack di dimensioni idonee a contenere il tutto. Inoltre, l’architettura dell’intero software è stata estesa per poter registrare anche immagini a colori.