Integração modular em visualizadores médicos e aposição da marcação CE do Dispositivo Médico

Neste documento ´e feita a descrição detalhada da integração modular de um script no software OsiriX. O objectivo deste script ´e determinar o diâmetro central da artéria aorta a partir de uma Tomografia Computorizada. Para tal são abordados conceitos relacionados com a temática do processamento de imagem digital, tecnologias associadas, e.g., a norma DICOM e desenvolvimento de software. Como estudo preliminar, são analisados diversos visualizadores de imagens médica, utilizados para investigação ou mesmo comercializados. Foram realizadas duas implementações distintas do plugin. A primeira versão do plugin faz a invocação do script de processamento usando o ficheiro de estudo armazenado em disco; a segunda versão faz a passagem de dados através de um bloco de memória partilhada e utiliza o framework Java Native Interface. Por fim, é demonstrado todo o processo de aposição da Marcação CE de um dispositivo médico de classe IIa e obtenção da declaração de conformidade por parte de um Organismo Notificado. Utilizaram-se os Sistemas Operativos Mac OS X e Linux e as linguagens de programação Java, Objective-C e Python.

Formation Control Driven by Cooperative Object Tracking

In this paper we introduce a formation control loop that maximizes the performance of the cooperative perception of a tracked target by a team of mobile robots, while maintaining the team in formation, with a dynamically adjustable geometry which is a function of the quality of the target perception by the team. In the formation control loop, the controller module is a distributed non-linear model predictive controller and the estimator module fuses local estimates of the target state, obtained by a particle filter at each robot. The two modules and their integration are described in detail, including a real-time database associated to a wireless communication protocol that facilitates the exchange of state data while reducing collisions among team members. Simulation and real robot results for indoor and outdoor teams of different robots are presented. The results highlight how our method successfully enables a team of homogeneous robots to minimize the total uncertainty of the tracked target cooperative estimate while complying with performance criteria such as keeping a pre-set distance between the teammates and the target, avoiding collisions with teammates and/or surrounding obstacles.

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Estratégias de monitorização e automação de um SMB combinando simulação dinâmica em gProms e optimização em AMPL

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

A public transport bus assignment problem: parallel metaheuristics assessment

Combinatorial Optimization Problems occur in a wide variety of contexts and generally are NP-hard problems. At a corporate level solving this problems is of great importance since they contribute to the optimization of operational costs. In this thesis we propose to solve the Public Transport Bus Assignment problem considering an heterogeneous fleet and line exchanges, a variant of the Multi-Depot Vehicle Scheduling Problem in which additional constraints are enforced to model a real life scenario. The number of constraints involved and the large number of variables makes impracticable solving to optimality using complete search techniques. Therefore, we explore metaheuristics, that sacrifice optimality to produce solutions in feasible time. More concretely, we focus on the development of algorithms based on a sophisticated metaheuristic, Ant-Colony Optimization (ACO), which is based on a stochastic learning mechanism. For complex problems with a considerable number of constraints, sophisticated metaheuristics may fail to produce quality solutions in a reasonable amount of time. Thus, we developed parallel shared-memory (SM) synchronous ACO algorithms, however, synchronism originates the straggler problem. Therefore, we proposed three SM asynchronous algorithms that break the original algorithm semantics and differ on the degree of concurrency allowed while manipulating the learned information. Our results show that our sequential ACO algorithms produced better solutions than a Restarts metaheuristic, the ACO algorithms were able to learn and better solutions were achieved by increasing the amount of cooperation (number of search agents). Regarding parallel algorithms, our asynchronous ACO algorithms outperformed synchronous ones in terms of speedup and solution quality, achieving speedups of 17.6x. The cooperation scheme imposed by asynchronism also achieved a better learning rate than the original one.

Influência da técnica da elaboração de provetes laboratoriais na quantificação da deformabilidade e resistência mecânica dos solos

Dissertação de mestrado integrado em Engenharia Civil

Análisis de rendimiento de aplicaciones paralelas de memoria compartida: problema N-body

Este trabajo analiza el rendimiento de cuatro nodos de cómputo multiprocesador de memoria compartida para resolver el problema N-body. Se paraleliza el algoritmo serie, y se codifica usando el lenguaje C extendido con OpenMP. El resultado son dos variantes que obedecen a dos criterios de optimización diferentes: minimizar los requisitos de memoria y minimizar el volumen de cómputo. Posteriormente, se realiza un proceso de análisis de las prestaciones del programa sobre los nodos de cómputo. Se modela el rendimiento de las variantes secuenciales y paralelas de la aplicación, y de los nodos de cómputo; se instrumentan y ejecutan los programas para obtener resultados en forma de varias métricas; finalmente se muestran e interpretan los resultados, proporcionando claves que explican ineficiencias y cuellos de botella en el rendimiento y posibles líneas de mejora. La experiencia de este estudio concreto ha permitido esbozar una incipiente metodología de análisis de rendimiento, identificación de problemas y sintonización de algoritmos a nodos de cómputo multiprocesador de memoria compartida.

Performance analysis and tuning in multicore environments

Performance analysis is the task of monitor the behavior of a program execution. The main goal is to find out the possible adjustments that might be done in order improve the performance. To be able to get that improvement it is necessary to find the different causes of overhead. Nowadays we are already in the multicore era, but there is a gap between the level of development of the two main divisions of multicore technology (hardware and software). When we talk about multicore we are also speaking of shared memory systems, on this master thesis we talk about the issues involved on the performance analysis and tuning of applications running specifically in a shared Memory system. We move one step ahead to take the performance analysis to another level by analyzing the applications structure and patterns. We also present some tools specifically addressed to the performance analysis of OpenMP multithread application. At the end we present the results of some experiments performed with a set of OpenMP scientific application.

Estudi de comparació de rendiment de Benchmark multicore i multithreading amb OpenMP 2.5 i OpenMP 3.0

Estudi comparatiu amb benchmark del rendiment en dues plataformes multicore multithreading de diferents modalitats de paral·lelització de multiplicacions de matrius de nombres enters i de nombres en coma flotant mitjançant el model de memòria compartida OpenMP versió 2.5 i OpenMP versió 3.0.

Characterization of myocardial deformation in patients with different etiologies of left ventricular hypertrophy by using strain distribution from Magnetic Resonance Imaging

Introducción y objetivos. Se ha señalado que, en la miocardiopatía hipertrófica (MCH), la desorganización de las fibras regionales da lugar a segmentos en los que la deformación es nula o está gravemente reducida, y que estos segmentos tienen una distribución no uniforme en el ventrículo izquierdo (VI). Esto contrasta con lo observado en otros tipos de hipertrofia como en el corazón de atleta o la hipertrofia ventricular izquierda hipertensiva (HVI-HT), en los que puede haber una deformación cardiaca anormal, pero nunca tan reducida como para que se observe ausencia de deformación. Así pues, proponemos el empleo de la distribución de los valores de strain para estudiar la deformación en la MCH. Métodos. Con el empleo de resonancia magnética marcada (tagged), reconstruimos la deformación sistólica del VI de 12 sujetos de control, 10 atletas, 12 pacientes con MCH y 10 pacientes con HVI-HT. La deformación se cuantificó con un algoritmo de registro no rígido y determinando los valores de strain sistólico máximo radial y circunferencial en 16 segmentos del VI. Resultados. Los pacientes con MCH presentaron unos valores medios de strain significativamente inferiores a los de los demás grupos. Sin embargo, aunque la deformación observada en los individuos sanos y en los pacientes con HVI-HT se concentraba alrededor del valor medio, en la MCH coexistían segmentos con contracción normal y segmentos con una deformación nula o significativamente reducida, con lo que se producía una mayor heterogeneidad de los valores de strain. Se observaron también algunos segmentos sin deformación incluso en ausencia de fibrosis o hipertrofia. Conclusiones. La distribución de strain caracteriza los patrones específicos de deformación miocárdica en pacientes con diferentes etiologías de la HVI. Los pacientes con MCH presentaron un valor medio de strain significativamente inferior, así como una mayor heterogeneidad de strain (en comparación con los controles, los atletas y los pacientes con HVI-HT), y tenían regiones sin deformación.

Parallelizing remote sensing image geometric correction

Remote sensing spatial, spectral, and temporal resolutions of images, acquired over a reasonably sized image extent, result in imagery that can be processed to represent land cover over large areas with an amount of spatial detail that is very attractive for monitoring, management, and scienti c activities. With Moore's Law alive and well, more and more parallelism is introduced into all computing platforms, at all levels of integration and programming to achieve higher performance and energy e ciency. Being the geometric calibration process one of the most time consuming processes when using remote sensing images, the aim of this work is to accelerate this process by taking advantage of new computing architectures and technologies, specially focusing in exploiting computation over shared memory multi-threading hardware. A parallel implementation of the most time consuming process in the remote sensing geometric correction has been implemented using OpenMP directives. This work compares the performance of the original serial binary versus the parallelized implementation, using several multi-threaded modern CPU architectures, discussing about the approach to nd the optimum hardware for a cost-e ective execution.

Self, mémoire épisodique et narration chez l'enfant de 6 à 9 ans

Le self est une notion polysémique qui fait l'objet d'un consensus relatif dans plusieurs domaines, dont la psychologie du développement. Elle rend compte de la faculté de s'éprouver le même au fil du temps et de distinguer le « je » qui regarde du « moi » regardé. C'est le garant d'un sens de soi plus ou moins cohérent au fil du temps, en dépit des changements qui surviennent au cours de la vie. Le self combine des processus de réflexivité et d'intersubjectivité. Nous en avons analysé trois composantes fonctionnelles : la mémoire de travail, la mémoire épisodique et la narration, à partir d'un protocole expérimental témoignant de son ontogenèse chez des enfants de 6 à 9 ans (n=24 répartis en deux groupes de 6‐7 et 8-9 ans). Nous avons créé le « jeu informatique du lutin » qui propose un parcours semiorienté dans un monde imaginaire. C'est une narration de soi, opérant la mise en sens des temporalités et des espaces auxquels les événements se réfèrent. Deux semaines après cette « aventure », on recueille la narration des souvenirs épisodiques de cette histoire. Nous avons également utilisé un test de mémoire de travail visuospatiale non verbale. Des différences développementales affectent les dimensions narratives de la mémoire de l'épisode du jeu, comme l'efficacité de la mémoire de travail visuospatiale. Ces développements témoignent d'une augmentation de « l'épaisseur temporelle de la conscience» entre 6 et 9 ans. L'épaisseur de la conscience renvoie fondamentalement à la faculté du self de vivre le temps dans une cyclicité incluant le passé, le présent et le futur anticipé. Le développment observé élargit les possibilités de mettre en lien des mémoires et des scénarios futurs, tout comme les mises en sens des relations aux autres et à soi-­même. Self is a polysemic concept of common use in various scientific fields, among which developmental psychology. It accounts for the capacity to maintain the conviction to be « oneself », always the same through circumstances and throughout my life. This important function contributes in maintaining coherence and some sorte of Ariadne's thread in memory. To analyse the ontogeny of the self, we have focused upon three components : working memory, episodic memory and narration in children aged between 6 and 9 years. We used a non verbal working memory task. It was completed by a video game specially designed for our purpose, in which children were engaged in moving an elf in a landscape changing through seasons, in order to deliver a princess from a mischievous wizard. Two weeks after the game, the children had to tell what happened while they moved the elf. It is a self-narrative that creates a link‐up of temporality and spaces to which the events refer. The narrated episode was assessed for its coherence and continuity dimensions. Developmental differences affect the narrative dimensions of the memory of the episode of the game, as the effectiveness of visuospatial working memory. These developments show an increase in "temporal thickness of consciousness" between 6 and 9 years. The thickness of consciousness basically refers to the ability of the self to live in a cyclical time including past, present and anticipated future. The observed development broadens the possibilities to link memories and future scenarios, like setting sense of relations with others and with oneself.

Of milquetoasts and daredevils : personalities in female eiders

Traditionally biologists have often considered individual differences in behaviour or physiology as a nuisance when investigating a population of individuals. These differences have mostly been dismissed as measurement errors or as non-adaptive variation around an adaptive population mean. Recent research, however, challenges this view. While long acknowledged in human personality studies, the importance of individual variation has recently entered into ecological and evolutionary studies in the form of animal personality. The concept of animal personality focuses on consistent differences within and between individuals in behavioural and physiological traits across time and contexts and its ecological and evolutionary consequences. Nevertheless, a satisfactory explanation for the existence of personality is still lacking. Although there is a growing number of explanatory theoretical models, there is still a lack of empirical studies on wild populations showing how traditional life-history tradeoffs can explain the maintenance of variation in personality traits. In this thesis, I first investigate the validity of variation in allostatic load or baseline corticosterone (CORT) concentrations as a measure for differences in individual quality. The association between CORT and quality has recently been summarised under the “CORT-fitness hypothesis”, which states that a general negative relationship between baseline CORT and fitness exists. I then continue to apply the concept of animal personality to depict how the life-history trade-off between survival and fecundity is mediated in incubating female eiders (Somateria mollissima), thereby maintaining variation in behaviour and physiology. To this end, I investigated breeding female eiders from a wild population that breeds in the archipelago around Tvärminne Zoological Station, SW Finland. The field data used was collected from 2008 to 2012. The overall aim of the thesis was to show how differences in personality and stress responsiveness are linked to a life-history context. In the four chapters I examine how the life-history trade-off between survival and fecundity could be resolved depending on consistent individual differences in escape behaviour, stress physiology, individual quality and nest-site selection. First, I corroborated the validity of the “CORT-fitness hypothesis”, by showing that reproductive success is generally negatively correlated with serum and faecal baseline CORT levels. The association between individual quality and baseline CORT is, however, context dependent. Poor body condition was associated with elevated serum baseline CORT only in older breeders, while a larger reproductive investment (clutch mass) was associated with elevated serum baseline CORT among females breeding late in the season. Interestingly, good body condition was associated with elevated faecal baseline CORT levels in late breeders. High faecal baseline CORT levels were positively related to high baseline body temperature, and breeders in poor condition showed an elevated baseline body temperature, but only on open islands. The relationship between stress physiology and individual quality is modulated by breeding experience and breeding phenology. Consequently, the context dependency highlights that this relationship has to be interpreted cautiously. Additionally, I verified if stress responsiveness is related to risk-taking behaviour. Females who took fewer risks (longer flight initiation distance) showed a stronger stress response (measured as an increase in CORT concentration after capture and handling of the bird). However, this association was modulated by breeding experience and body condition, with young breeders and those in poor body condition showing the strongest relationship between risktaking and stress responsiveness. Shy females (longer flight initiation distance) also incubated their clutch for a shorter time. Additionally, I demonstrated that stress responsiveness and predation risk interact with maternal investment and reproductive success. Under high risk of predation, females that incubated a larger clutch showed a stronger stress response. Surprisingly, these females also exhibited higher reproductive success than females with a weaker stress response. Again, these context dependent results suggest that the relationship between stress responsiveness and risk-taking behaviour should not be studied in isolation from individual quality and that stress responsiveness may show adaptive plasticity when individuals are exposed to different predation regimes. Finally, female risk-taking behaviour and stress coping styles were also related to nest-site choice. Less stress responsive females more frequently occupied nests with greater coverage that were farther away from the shoreline. Females nesting in nests with medium cover and farther from the shoreline had higher reproductive success. These results suggest that different personality types are distributed non-randomly in space. In this thesis I was able to demonstrate that personalities and stress coping strategies are persistent individual characteristics, which express measurable effects on fitness. This suggests that those traits are exposed to natural selection and thereby can evolve. Furthermore, individual variation in personality and stress coping strategy is linked to the alternative ways in which animals resolve essential life-history trade-offs.