Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems

The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.

Eye-trauma: Event driven control software for gesture recognition in medical simulation

Il progetto Eye-Trauma si colloca all'interno dello sviluppo di un simulatore chirurgico per traumi alla zona oculare, sviluppato in collaborazione con Simulation Group in Boston, Harvard Medical School e Massachusetts General Hospital. Il simulatore presenta un busto in silicone fornito di moduli intercambiabili della zona oculare, per simulare diversi tipi di trauma. L'utilizzatore è chiamato ad eseguire la procedura medica di saturazione tramite degli strumenti chirurgici su cui sono installati dei sensori di forza e di apertura. I dati collezionati vengono utilizzati all'interno del software per il riconoscimento dei gesti e il controllo real-time della performance. L'algoritmo di gesture recognition, da me sviluppato, si basa sul concetto di macchine a stati; la transizione tra gli stati avviene in base agli eventi rilevati dal simulatore.

Shape memory and elastoplastic materials: from constitutive and numerical to fatigue modeling

Shape memory materials (SMMs) represent an important class of smart materials that have the ability to return from a deformed state to their original shape. Thanks to such a property, SMMs are utilized in a wide range of innovative applications. The increasing number of applications and the consequent involvement of industrial players in the field have motivated researchers to formulate constitutive models able to catch the complex behavior of these materials and to develop robust computational tools for design purposes. Such a research field is still under progress, especially in the prediction of shape memory polymer (SMP) behavior and of important effects characterizing shape memory alloy (SMA) applications. Moreover, the frequent use of shape memory and metallic materials in biomedical devices, particularly in cardiovascular stents, implanted in the human body and experiencing millions of in-vivo cycles by the blood pressure, clearly indicates the need for a deeper understanding of fatigue/fracture failure in microsize components. The development of reliable stent designs against fatigue is still an open subject in scientific literature. Motivated by the described framework, the thesis focuses on several research issues involving the advanced constitutive, numerical and fatigue modeling of elastoplastic and shape memory materials. Starting from the constitutive modeling, the thesis proposes to develop refined phenomenological models for reliable SMA and SMP behavior descriptions. Then, concerning the numerical modeling, the thesis proposes to implement the models into numerical software by developing implicit/explicit time-integration algorithms, to guarantee robust computational tools for practical purposes. The described modeling activities are completed by experimental investigations on SMA actuator springs and polyethylene polymers. Finally, regarding the fatigue modeling, the thesis proposes the introduction of a general computational approach for the fatigue-life assessment of a classical stent design, in order to exploit computer-based simulations to prevent failures and modify design, without testing numerous devices.

Microstructure of epitaxial thin films of the ferromagnetic shape memory alloy Ni 2 MnGa

Gegenstand dieser Arbeit ist die Präparation und die ausführliche Charakterisierung epitaktischer Dünnschicht-Proben der Heusler Verbindung Ni2MnGa. Diese intermetallische Verbindung zeigt einen magnetischen Formgedächtnis-Effekt (MFG), der sowohl im Bezug auf mögliche Anwendungen, als auch im Kontext der Grundlagenforschung äußerst interessant ist. In Einkristallen nahe der Stöchiometrie Ni2MnGa wurden riesige magnetfeldinduzierte Dehnungen von bis zu 10 % nachgewiesen. Der zugrundeliegende Mechanismus basiert auf einer Umverteilung von kristallographischen Zwillings-Varianten, die eine tetragonale oder orthorhombische Symmetrie besitzen. Unter dem Einfluss des Magnetfeldes bewegen sich die Zwillingsgrenzen durch den Kristall, was eine makroskopische Formänderung mit sich bringt. Die somit erzeugten reversiblen Längenänderungen können mit hoher Frequenz geschaltet werden, was Ni2MnGa zu einem vielversprechenden Aktuatorwerkstoff macht. rnDa der Effekt auf einem intrinsischen Prozess beruht, eignen sich Bauteile aus MFG Legierungen zur Integration in Mikrosystemen (z.B. im Bereich der Mikrofluidik). rnrnBislang konnten große magnetfeldinduzierte Dehnungen nur für Einkristalle und Polykristalle mit hoher Porosität („foams") nachgewiesen werden. Um den Effekt für Anwendungen nutzbar zu machen, werden allerdings Konzepte zur Miniaturisierung benötigt. Eine Möglichkeit bieten epitaktische dünne Filme, die im Rahmen dieser Arbeit hergestellt und untersucht werden sollen. Im Fokus stehen dabei die Optimierung der Herstellungsparameter, sowie die Präparation von freitragenden Schichten. Zudem werden verschiedene Konzepte zur Herstellung freistehender Mikrostrukturen erprobt. Mittels Röntgendiffraktometrie konnte die komplizierte Kristallstruktur für verschiedene Wachstumsrichtungen verstanden und die genaue Verteilung der Zwillingsvarianten aufgedeckt werden. In Verbindung mit Mikroskopie-Methoden konnte so die Zwillingsstruktur auf verschiedenen Längenskalen geklärt werden. Die Ergebnisse erklären das Ausbleiben des MFG Effekts in den Proben mit (100) Orientierung. Andererseits wurde für Schichten mit (110) Wachstum eine vielversprechende Mikrostruktur entdeckt, die einen guten Ausgangspunkt für weitere Untersuchungen bietet.rnDurch die spezielle Geometrie der Proben war es möglich, Spektroskopie-Experimente in Transmission durchzuführen. Die Ergebnisse stellen den ersten experimentellen Nachweis der Änderungen in der elektronischen Struktur einer metallischen Verbindung während des martensitischen Phasenübergangs dar. Durch Messen des magnetischen Zirkulardichroismus in der Röntgenabsorption konnten quantitative Aussagen über die magnetischen Momente von Ni und Mn getroffen werden. Die Methode erlaubt überdies die Beiträge von Spin- und Bahn-Moment separat zu bestimmen. Durch winkelabhängige Messungen gelang es, die mikroskopische Ursache der magnetischen Anisotropie aufzuklären. Diese Ergebnisse tragen wesentlich zum Verständnis der komplexen magnetischen und strukturellen Eigenschaften von Ni2MnGa bei.rn

Fluctuation spectroscopy of single plasmonic nanostructures

Plasmonic nanoparticles are great candidates for sensing applications with optical read-out. Plasmon sensing is based on the interaction of the nanoparticle with electromagnetic waves where the particle scatters light at its resonance wavelength. This wavelength depends on several intrinsic factors like material, shape and size of the nanoparticle as well as extrinsic factors like the refractive index of the surrounding medium. The latter allows the nanoparticle to be used as a sensor; changes in the proximate environment can be directly monitored by the wavelength of the emitted light. Due to their minuscule size and high sensitivity this allows individual nanoparticles to report on changes in particle coverage.rnrnTo use this single particle plasmon sensor for future sensing applications it has to meet the demand for detection of incidents on the single molecule level, such as single molecule sensing or even the detection of conformational changes of a single molecule. Therefore, time resolution and sensitivity have to be enhanced as today’s measurement methods for signal read-out are too slow and not sensitive enough to resolve these processes. This thesis presents a new experimental setup, the 'Plasmon Fluctuation Setup', that leads to tremendous improvements in time resolution and sensitivity. This is achieved by implementation of a stronger light source and a more sensitive detector. The new setup has a time resolution in the microsecond regime, an advancement of 4-6 orders of magnitude to previous setups. Its resonance wavelength stability of 0.03 nm, measured with an exposure time of 10 ms, is an improvement of a factor of 20 even though the exposure time is 3000 times shorter than in previous reports. Thus, previously unresolvable wavelength changes of the plasmon sensor induced by minor local environmental alteration can be monitored with extremely high temporal resolution.rnrnUsing the 'Plasmon Fluctuation Setup', I can resolve adsorption events of single unlabeled proteins on an individual nanorod. Additionally, I monitored the dynamic evolution of a single protein binding event on a millisecond time scale. This feasibility is of high interest as the role of certain domains in the protein can be probed by a study of modified analytes without the need for labels possibly introducing conformational or characteristic changes to the target. The technique also resolves equilibrium fluctuations in the coverage, opening a window into observing Brownian dynamics of unlabeled macromolecules. rnrnA further topic addressed in this thesis is the usability of the nanoruler, two nanospheres connected with a spacer molecule, as a stiffness sensor for the interparticle linker under strong illumination. Here, I discover a light induced collapse of the nanoruler. Furthermore, I exploit the sensing volume of a fixed nanorod to study unlabeled analytes diffusing around the nanorod at concentrations that are too high for fluorescence correlation spectroscopy but realistic for biological systems. Additionally, local pH sensing with nanoparticles is achieved.

Constraining mass and shape of galaxy clusters through large scale structures

The mass estimation of galaxy clusters is a crucial point for modern cosmology, and can be obtained by several different techniques. In this work we discuss a new method to measure the mass of galaxy clusters connecting the gravitational potential of the cluster with the kinematical properties of its surroundings. We explore the dynamics of the structures located in the region outside virialized cluster, We identify groups of galaxies, as sheets or filaments, in the cluster outer region, and model how the cluster gravitational potential perturbs the motion of these structures from the Hubble fow. This identification is done in the redshift space where we look for overdensities with a filamentary shape. Then we use a radial mean velocity profile that has been found as a quite universal trend in simulations, and we fit the radial infall velocity profile of the overdensities found. The method has been tested on several cluster-size haloes from cosmological N-body simulations giving results in very good agreement with the true values of virial masses of the haloes and orientation of the sheets. We then applied the method to the Coma cluster and even in this case we found a good correspondence with previous. It is possible to notice a mass discrepancy between sheets with different alignments respect to the center of the cluster. This difference can be used to reproduce the shape of the cluster, and to demonstrate that the spherical symmetry is not always a valid assumption. In fact, if the cluster is not spherical, sheets oriented along different axes should feel a slightly different gravitational potential, and so give different masses as result of the analysis described before. Even this estimation has been tested on cosmological simulations and then applied to Coma, showing the actual non-sphericity of this cluster.

Software tools and efficient algorithms for the feature detection, feature tracking, event localization, and visualization of large sets of atmospheric data

Data sets describing the state of the earth's atmosphere are of great importance in the atmospheric sciences. Over the last decades, the quality and sheer amount of the available data increased significantly, resulting in a rising demand for new tools capable of handling and analysing these large, multidimensional sets of atmospheric data. The interdisciplinary work presented in this thesis covers the development and the application of practical software tools and efficient algorithms from the field of computer science, aiming at the goal of enabling atmospheric scientists to analyse and to gain new insights from these large data sets. For this purpose, our tools combine novel techniques with well-established methods from different areas such as scientific visualization and data segmentation. In this thesis, three practical tools are presented. Two of these tools are software systems (Insight and IWAL) for different types of processing and interactive visualization of data, the third tool is an efficient algorithm for data segmentation implemented as part of Insight.Insight is a toolkit for the interactive, three-dimensional visualization and processing of large sets of atmospheric data, originally developed as a testing environment for the novel segmentation algorithm. It provides a dynamic system for combining at runtime data from different sources, a variety of different data processing algorithms, and several visualization techniques. Its modular architecture and flexible scripting support led to additional applications of the software, from which two examples are presented: the usage of Insight as a WMS (web map service) server, and the automatic production of a sequence of images for the visualization of cyclone simulations. The core application of Insight is the provision of the novel segmentation algorithm for the efficient detection and tracking of 3D features in large sets of atmospheric data, as well as for the precise localization of the occurring genesis, lysis, merging and splitting events. Data segmentation usually leads to a significant reduction of the size of the considered data. This enables a practical visualization of the data, statistical analyses of the features and their events, and the manual or automatic detection of interesting situations for subsequent detailed investigation. The concepts of the novel algorithm, its technical realization, and several extensions for avoiding under- and over-segmentation are discussed. As example applications, this thesis covers the setup and the results of the segmentation of upper-tropospheric jet streams and cyclones as full 3D objects. Finally, IWAL is presented, which is a web application for providing an easy interactive access to meteorological data visualizations, primarily aimed at students. As a web application, the needs to retrieve all input data sets and to install and handle complex visualization tools on a local machine are avoided. The main challenge in the provision of customizable visualizations to large numbers of simultaneous users was to find an acceptable trade-off between the available visualization options and the performance of the application. Besides the implementational details, benchmarks and the results of a user survey are presented.

Simulating event related potentials in tasks involving conflict resolution: a neural network

In this thesis, the main Executive Control theories are exposed. Methods typical of Cognitive and Computational Neuroscience are introduced and the role of behavioural tasks involving conflict resolution in the response elaboration, after the presentation of a stimulus to the subject, are highlighted. In particular, the Eriksen Flanker Task and its variants are discussed. Behavioural data, from scientific literature, are illustrated in terms of response times and error rates. During experimental behavioural tasks, EEG is registered simultaneously. Thanks to this, event related potential, related with the current task, can be studied. Different theories regarding relevant event related potential in this field - such as N2, fERN (feedback Error Related Negativity) and ERN (Error Related Negativity) – are introduced. The aim of this thesis is to understand and simulate processes regarding Executive Control, including performance improvement, error detection mechanisms, post error adjustments and the role of selective attention, with the help of an original neural network model. The network described here has been built with the purpose to simulate behavioural results of a four choice Eriksen Flanker Task. Model results show that the neural network can simulate response times, error rates and event related potentials quite well. Finally, results are compared with behavioural data and discussed in light of the mentioned Executive Control theories. Future perspective for this new model are outlined.

Il ruolo delle architetture di controllo nella progettazione e sviluppo di applicazioni web: Un confronto fra event-loop e control-loop utilizzando il linguaggio dart e linguaggi agent-oriented

Quando si parla di architetture di controllo in ambito Web, il Modello ad Eventi è indubbiamente quello più diffuso e adottato. L’asincronicità e l’elevata interazione con l’utente sono caratteristiche tipiche delle Web Applications, ed un architettura ad eventi, grazie all’adozione del suo tipico ciclo di controllo chiamato Event Loop, fornisce un'astrazione semplice ma sufficientemente espressiva per soddisfare tali requisiti. La crescita di Internet e delle tecnologie ad esso associate, assieme alle recenti conquiste in ambito di CPU multi-core, ha fornito terreno fertile per lo sviluppo di Web Applications sempre più complesse. Questo aumento di complessità ha portato però alla luce alcuni limiti del modello ad eventi, ancora oggi non del tutto risolti. Con questo lavoro si intende proporre un differente approccio a questa tipologia di problemi, che superi i limiti riscontrati nel modello ad eventi proponendo un architettura diversa, nata in ambito di IA ma che sta guadagno popolarità anche nel general-purpose: il Modello ad Agenti. Le architetture ad agenti adottano un ciclo di controllo simile all’Event Loop del modello ad eventi, ma con alcune profonde differenze: il Control Loop. Lo scopo di questa tesi sarà dunque approfondire le due tipologie di architetture evidenziandone le differenze, mostrando cosa significa affrontare un progetto e lo sviluppo di una Web Applications avendo tecnologie diverse con differenti cicli di controllo, mettendo in luce pregi e difetti dei due approcci.

Efficient algorithms for NLO QCD event generators

In this thesis we present techniques that can be used to speed up the calculation of perturbative matrix elements for observables with many legs ($n = 3, 4, 5, 6, 7, ldots$). We investigate several ways to achieve this, including the use of Monte Carlo methods, the leading-color approximation, numerically less precise but faster operations, and SSE-vectorization. An important idea is the use of enquote{random polarizations} for which we derive subtraction terms for the real corrections in next-to-leading order calculations. We present the effectiveness of all these methods in the context of electron-positron scattering to $n$ jets, $n$ ranging from two to seven.

TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili

La tesi si concentra sull’infrastruttura di coordinazione TuCSoN on Android, realizzando il refactoring del servizio di geolocalizzazione platform-independent (lato infrastruttura) e platform-dependent (lato mobile device), nonché l’integrazione del modello event-driven con la proprietà di situatedness.

Relationship between psychological distress and endogenous anticoagulants in patients with a previous venous thromboembolic event

Psychological distress, particularly anxiety and depression, has been associated with a prothrombotic state. However, the relationship between psychosocial factors and endogenous anticoagulants protein S (PS) and protein C (PC) has not previously been investigated. We explored the association between psychological distress, PS, and PC in patients with an objectively diagnosed venous thromboembolic event (VTE).

Influence of polyvascular disease on cardiovascular event rates. Insights from the REACH Registry

Cardiovascular event rates have been shown to increase substantially with the number of symptomatic disease locations. We sought to assess the risk profile, management and subsequent event rates of polyvascular disease patients. Consecutive outpatients were assessed for atherosclerotic risk factors and medications in the REACH Registry. A total of 19,117 symptomatic patients in Europe completed a 2-year follow-up: 77.2% with single arterial bed disease (coronary artery or cerebrovascular or peripheral arterial disease) and 22.8% with polyvascular disease (>/= 1 disease location). Polyvascular disease patients were older (68.5 +/- 9.4 vs 66.3 +/- 9.9 years, p < 0.0001), more often current or former smokers (64.9% vs 58.7%, p < 0.0001), and more often suffered from hypertension (59.5% vs 46.6%, p < 0.0001) and diabetes (34.5% vs 25.9%, p < 0.0001) than single arterial bed disease patients. Despite more intense medical therapy, risk factors (smoking, hypertension, low fasting glucose, and low fasting total cholesterol) were less often controlled in polyvascular disease patients. This was associated with substantially more events over 2 years compared with single arterial bed disease patients (cMACCE [cardiovascular death/non-fatal stroke/non-fatal MI] odds ratio, 1.63 [95% CI, 1.45-1.83], p < 0.0001). In conclusion, polyvascular disease patients have more cardiovascular risk factors, and the prognosis for these patients is significantly worse than for patients with single arterial bed disease. This suggests a need to improve detection and consequent medical treatment of polyvascular disease.