Creep and damage models for the service behaviour of structural members

Deformability is often a crucial to the conception of many civil-engineering structural elements. Also, design is all the more burdensome if both long- and short-term deformability has to be considered. In this thesis, long- and short-term deformability has been studied from the material and the structural modelling point of view. Moreover, two materials have been handled: pultruded composites and concrete. A new finite element model for thin-walled beams has been introduced. As a main assumption, cross-sections rigid are considered rigid in their plane; this hypothesis replaces that of the classical beam theory of plane cross-sections in the deformed state. That also allows reducing the total number of degrees of freedom, and therefore making analysis faster compared with twodimensional finite elements. Longitudinal direction warping is left free, allowing describing phenomena such as the shear lag. The new finite-element model has been first applied to concrete thin-walled beams (such as roof high span girders or bridge girders) subject to instantaneous service loadings. Concrete in his cracked state has been considered through a smeared crack model for beams under bending. At a second stage, the FE-model has been extended to the viscoelastic field and applied to pultruded composite beams under sustained loadings. The generalized Maxwell model has been adopted. As far as materials are concerned, long-term creep tests have been carried out on pultruded specimens. Both tension and shear tests have been executed. Some specimen has been strengthened with carbon fibre plies to reduce short- and long- term deformability. Tests have been done in a climate room and specimens kept 2 years under constant load in time. As for concrete, a model for tertiary creep has been proposed. The basic idea is to couple the UMLV linear creep model with a damage model in order to describe nonlinearity. An effective strain tensor, weighting the total and the elasto-damaged strain tensors, controls damage evolution through the damage loading function. Creep strains are related to the effective stresses (defined by damage models) and so associated to the intact material.

Dynamic identification of structures: experimental assessment of modal parameteres through methods in frequency domain, in time-frequency domain and model updating

Among the experimental methods commonly used to define the behaviour of a full scale system, dynamic tests are the most complete and efficient procedures. A dynamic test is an experimental process, which would define a set of characteristic parameters of the dynamic behaviour of the system, such as natural frequencies of the structure, mode shapes and the corresponding modal damping values associated. An assessment of these modal characteristics can be used both to verify the theoretical assumptions of the project, to monitor the performance of the structural system during its operational use. The thesis is structured in the following chapters: The first introductive chapter recalls some basic notions of dynamics of structure, focusing the discussion on the problem of systems with multiply degrees of freedom (MDOF), which can represent a generic real system under study, when it is excited with harmonic force or in free vibration. The second chapter is entirely centred on to the problem of dynamic identification process of a structure, if it is subjected to an experimental test in forced vibrations. It first describes the construction of FRF through classical FFT of the recorded signal. A different method, also in the frequency domain, is subsequently introduced; it allows accurately to compute the FRF using the geometric characteristics of the ellipse that represents the direct input-output comparison. The two methods are compared and then the attention is focused on some advantages of the proposed methodology. The third chapter focuses on the study of real structures when they are subjected to experimental test, where the force is not known, like in an ambient or impact test. In this analysis we decided to use the CWT, which allows a simultaneous investigation in the time and frequency domain of a generic signal x(t). The CWT is first introduced to process free oscillations, with excellent results both in terms of frequencies, dampings and vibration modes. The application in the case of ambient vibrations defines accurate modal parameters of the system, although on the damping some important observations should be made. The fourth chapter is still on the problem of post processing data acquired after a vibration test, but this time through the application of discrete wavelet transform (DWT). In the first part the results obtained by the DWT are compared with those obtained by the application of CWT. Particular attention is given to the use of DWT as a tool for filtering the recorded signal, in fact in case of ambient vibrations the signals are often affected by the presence of a significant level of noise. The fifth chapter focuses on another important aspect of the identification process: the model updating. In this chapter, starting from the modal parameters obtained from some environmental vibration tests, performed by the University of Porto in 2008 and the University of Sheffild on the Humber Bridge in England, a FE model of the bridge is defined, in order to define what type of model is able to capture more accurately the real dynamic behaviour of the bridge. The sixth chapter outlines the necessary conclusions of the presented research. They concern the application of a method in the frequency domain in order to evaluate the modal parameters of a structure and its advantages, the advantages in applying a procedure based on the use of wavelet transforms in the process of identification in tests with unknown input and finally the problem of 3D modeling of systems with many degrees of freedom and with different types of uncertainty.

Democrazia e cattolicesimo negli Stati Uniti. La libertà di religione e il pensiero di John Courtney Murray

L'elaborato affronta il pensiero di John Courtney Murray dal punto di vista teologico e politico, sottolineandone le influenze esterne ai circoli intellettuali cattolici e la particolare rilevanza per l'integrazione della comunità cattolica nella società statunitense.

Percieved Organizational Efficacy in Internationalized Companies: Application of Competing Values Approach and Collective Efficacy

This dissertation focuses on “organizational efficacy”, in particular on employees’ beliefs of organizational capacity to be efficacious. Organizational efficacy is considered from two perspectives – competing values approach and collective efficacy, and evaluated in internationalized companies. The dissertation is composed of three studies. The data were collected in thirteen Italian companies on different stages of internationalization for a total number of respondents is 358. In the first study the factorial validity of the competing values instrument (Rohrbaugh, 1981) was investigated and confirmed. Two scales were used to measure collective efficacy: a general collective efficacy scale (Bohn, 2010), and a specific collective efficacy scale, developed following suggestions of Borgogni et al. (2001), it evaluates employees’ beliefs of efficacy of organizations in the international market. The findings suggest that competing values and collective organizational efficacy instruments may provide a multi-faceted measurement of employees’ beliefs of organizational efficacy. The second study examined the relationship between organizational efficacy and collective work engagement. To measure collective work engagement the UWES-9 (Schaufeli & Bakker, 2003) was adapted at the group level; its factor structure and reliability were similar to the standard UWES-9. The findings suggest that organizational efficacy fully predicts collective work engagement. Also we investigated whether leadership moderates the relationship between organizational efficacy and collective work engagement. We operationalized leadership style with MLQ (Bass & Avolio, 1995); the results suggest that intellectual stimulation and idealized influence (transformational leadership) and contingent reward (transactional leadership) enhance the impact of organizational efficacy on collective work engagement. In the third study we investigated organizational efficacy and collective work engagement in internationalized companies. The findings show that beliefs of organizational efficacy vary across companies in different stages of internationalization, while no significant difference was found for collective work engagement. Limitations, practical implications and future studies are discussed in the conclusion.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Donne migranti a Modena: il lavoro di "badante" tra vincolo e risorsa

This study enters the world of migrants women daily involved in the work of caregiving to elderly people in Modena. The multidimensional analysis that characterizes this work brings together elements which are examined, simultaneously, as bounds and/or opportunities within the migratory experience of these women. The interviews collected will be analyzed in parallel and linked to the international debates on contemporary migrations: the meaning of transnational migrations, the role of the networks in guiding integration, the limits and strengths of multiculturalist theories, the concept of ‘superdiversity’, the link among entitlement, rights and access to citizenship. The present study place at the centre of its observation the “daily practices” that allow every migrant to negotiate its ‘power’, its ‘freedom’ and its ‘rights’, so as to recognize agency to these women in the creation of their strategies and social boundaries. Moreover, the study focuses on the ability and power of the State, and its institutions, to create categorizations among migrants based on their social and economic ‘usefulness’, which produce effects in the daily lives of these workers.

Ricezione e Finzione. Una teoria della lettura tra struttura e risposta estetica

Attraverso l’analisi di teorie della lettura “centripete” e “centrifughe”, tra fenomenologia, semiotica e teoria della risposta estetica, questa ricerca punta a definire la lettura come un’esperienza estetica di una variabile e plurale letterarietà, o per essere più precisi, come una relazione estetica ad una funzione nel linguaggio, che di volta in volta diviene immanente e trascendente rispetto al linguaggio, immanente nella percepibilità espressiva del segno e trascendente nella sua ristretta finzionalità o fittività, aperta alla dimensione del senso. Così, la letterarietà è vista, dal punto di vista di una teoria della lettura, come una funzione che nega o sovverte il linguaggio ordinario, inteso come contesto normale, ma anche una funzione che permette il supplemento di senso del linguaggio. Ciò rende la definizione di cosa sia letteratura e di quali testi siano considerabili come letterari come una definizione dipendente dalla lettura, ed anche mette in questione la classica dicotomia tra linguaggio standard e linguaggio deviante, di secondo grado e figurativo, comportamento che distinguerebbe la letteratura. Questi quattro saggi vorrebbero dimostrare che la lettura, come una pratica estetica, è l’espressione di una oscillazione tra una Finzione variabile nei suoi effetti ed una Ricezione, la quale è una risposta estetica controllata dal testo, ma anche una relazione estetica all’artefatto a natura verbale. Solo in questo modo può essere compresa la caratteristica paradossale della lettura, il suo stare tra una percezione passiva ed un’attiva esecuzione, tra un’attenzione aspettuale ed una comprensione intenzionale. Queste modalità si riflettono anche sulla natura dialettica della lettura, come una dialettica di apertura e chiusura, ma anche di libertà e fedeltà, risposta ad uno stimolo che può essere interpretato come una domanda, e che presenta la lettura stessa come una premessa dell’interpretazione, come momento estetico. Così una teoria della lettura dipende necessariamente da una teoria dell’arte che si presenta come funzionale, relativa più al Quando vi è arte?/Come funziona? piuttosto che al Che cosa è Arte?, che rende questo secondo problema legato al primo. Inoltre, questo Quando dell’Arte, che definisce l’opera d’arte come un’arte- all’-opera, dipende a sua volta, in un campo letterario, dalla domanda Quando vi è esperienza estetica letteraria? e dalla sue condizioni, quelle di finzione e ricezione.

Cosmological perturbations in generalized theories of gravity

The first part of the thesis concerns the study of inflation in the context of a theory of gravity called "Induced Gravity" in which the gravitational coupling varies in time according to the dynamics of the very same scalar field (the "inflaton") driving inflation, while taking on the value measured today since the end of inflation. Through the analytical and numerical analysis of scalar and tensor cosmological perturbations we show that the model leads to consistent predictions for a broad variety of symmetry-breaking inflaton's potentials, once that a dimensionless parameter entering into the action is properly constrained. We also discuss the average expansion of the Universe after inflation (when the inflaton undergoes coherent oscillations about the minimum of its potential) and determine the effective equation of state. Finally, we analyze the resonant and perturbative decay of the inflaton during (p)reheating. The second part is devoted to the study of a proposal for a quantum theory of gravity dubbed "Horava-Lifshitz (HL) Gravity" which relies on power-counting renormalizability while explicitly breaking Lorentz invariance. We test a pair of variants of the theory ("projectable" and "non-projectable") on a cosmological background and with the inclusion of scalar field matter. By inspecting the quadratic action for the linear scalar cosmological perturbations we determine the actual number of propagating degrees of freedom and realize that the theory, being endowed with less symmetries than General Relativity, does admit an extra gravitational degree of freedom which is potentially unstable. More specifically, we conclude that in the case of projectable HL Gravity the extra mode is either a ghost or a tachyon, whereas in the case of non-projectable HL Gravity the extra mode can be made well-behaved for suitable choices of a pair of free dimensionless parameters and, moreover, turns out to decouple from the low-energy Physics.

Classical limit of the Nelson model

Since the development of quantum mechanics it has been natural to analyze the connection between classical and quantum mechanical descriptions of physical systems. In particular one should expect that in some sense when quantum mechanical effects becomes negligible the system will behave like it is dictated by classical mechanics. One famous relation between classical and quantum theory is due to Ehrenfest. This result was later developed and put on firm mathematical foundations by Hepp. He proved that matrix elements of bounded functions of quantum observables between suitable coherents states (that depend on Planck's constant h) converge to classical values evolving according to the expected classical equations when h goes to zero. His results were later generalized by Ginibre and Velo to bosonic systems with infinite degrees of freedom and scattering theory. In this thesis we study the classical limit of Nelson model, that describes non relativistic particles, whose evolution is dictated by Schrödinger equation, interacting with a scalar relativistic field, whose evolution is dictated by Klein-Gordon equation, by means of a Yukawa-type potential. The classical limit is a mean field and weak coupling limit. We proved that the transition amplitude of a creation or annihilation operator, between suitable coherent states, converges in the classical limit to the solution of the system of differential equations that describes the classical evolution of the theory. The quantum evolution operator converges to the evolution operator of fluctuations around the classical solution. Transition amplitudes of normal ordered products of creation and annihilation operators between coherent states converge to suitable products of the classical solutions. Transition amplitudes of normal ordered products of creation and annihilation operators between fixed particle states converge to an average of products of classical solutions, corresponding to different initial conditions.

"Filosofia dell'ineguaglianza" di Nikolaj Berdjaev

Il nostro lavoro è incentrato su Filosofia dell’ineguaglianza, acceso libello di filosofia sociale in forma epistolare, composto da Nikolaj Berdjaev all’inizio del 1918. Nelle quattordici veementi lettere che costituiscono l’opera, egli critica aspramente l’idea di eguaglianza sociale e metafisica propagandata dai rivoluzionari, schierandosi a favore dell’ineguaglianza gerarchica, da lui considerata l’unica garanzia della libertà e della statura teantropica dell’uomo. Abbiamo suddiviso la nostra indagine in tre parti: il primo capitolo è un’introduzione storico-filosofica al testo, in cui sono evidenziati i concetti fondamentali del pensiero del Nostro; nel secondo capitolo abbiamo messo in luce il legame tra lo “stile filosofico” di Berdjaev e la cultura religiosa a cui egli appartiene, riflettendo poi sui problemi traduttivi che ne derivano; in particolare ci siamo soffermati sull’aforisticità del suo pensiero e sullo spiccato afflato emotivo che pervade la sua esposizione. Infine, abbiamo incluso nel terzo capitolo la traduzione di quattro lettere (Sulla rivoluzione, Sui fondamenti ontologico-religiosi della socialità, Sullo Stato, Sul regno di Dio) e della postfazione aggiunta da Berdjaev a Berlino nel 1923, in occasione della pubblicazione del libro.

Simulation of photoinduced processes in organic chromophores: mapping photochemically relevant states for accurate dynamics

The simulation of ultrafast photoinduced processes is a fundamental step towards the understanding of the underlying molecular mechanism and interpretation/prediction of experimental data. Performing a computer simulation of a complex photoinduced process is only possible introducing some approximations but, in order to obtain reliable results, the need to reduce the complexity must balance with the accuracy of the model, which should include all the relevant degrees of freedom and a quantitatively correct description of the electronic states involved in the process. This work presents new computational protocols and strategies for the parameterisation of accurate models for photochemical/photophysical processes based on state-of-the-art multiconfigurational wavefunction-based methods. The required ingredients for a dynamics simulation include potential energy surfaces (PESs) as well as electronic state couplings, which must be mapped across the wide range of geometries visited during the wavepacket/trajectory propagation. The developed procedures allow to obtain solid and extended databases reducing as much as possible the computational cost, thanks to, e.g., specific tuning of the level of theory for different PES regions and/or direct calculation of only the needed components of vectorial quantities (like gradients or nonadiabatic couplings). The presented approaches were applied to three case studies (azobenzene, pyrene, visual rhodopsin), all requiring an accurate parameterisation but for different reasons. The resulting models and simulations allowed to elucidate the mechanism and time scale of the internal conversion, reproducing or even predicting new transient experiments. The general applicability of the developed protocols to systems with different peculiarities and the possibility to parameterise different types of dynamics on an equal footing (classical vs purely quantum) prove that the developed procedures are flexible enough to be tailored for each specific system, and pave the way for exact quantum dynamics with multiple degrees of freedom.

Role of neuroinflammation in the pathophysiology of CDKL5 deficiency disorder

Cyclin-dependent kinase-like 5 (CDKL5) deficiency disorder (CDD), a rare neurodevelopmental disease caused by mutations in the X-linked CDKL5 gene, is characterized by early-onset epilepsy, intellectual disability, and autistic features. To date, little is known about the etiology of CDD and no therapies are available. When overactivated in response to neuronal damage and genetic or environmental factors, microglia – the brain macrophages – cause damage to neighboring neurons by producing neurotoxic factors and pro-inflammatory molecules. Importantly, overactivated microglia have been described in several neurodegenerative and neurodevelopmental disorders, suggesting that active neuroinflammation may account for the compromised neuronal survival and/or brain development observed in these pathologies. Recent evidence shows a subclinical chronic inflammatory status in plasma from CDD patients. However, it is unknown whether a similar inflammatory status is present in the brain of CDD patients and, if so, whether it plays a causative or exacerbating role in the pathophysiology of CDD. Here, we show evidence of a chronic microglia overactivation status in the brain of Cdkl5 KO mice, characterized by alterations in microglial cell number/morphology and increased pro-inflammatory gene expression. We found that the neuroinflammatory process is already present in the postnatal period in Cdkl5 KO mice and worsens during aging. Remarkably, by restoring microglia alterations, treatment with luteolin, a natural anti-inflammatory flavonoid, promotes neuronal survival in the brain of Cdkl5 KO mice since it counteracts hippocampal neuron cell death and protects neurons from NMDA-induced excitotoxic damage. In addition, through the restoration of microglia alterations, luteolin treatment also increases hippocampal neurogenesis and restores dendritic spine maturation and dendritic arborization of hippocampal and cortical pyramidal neurons in Cdkl5 KO mice, leading to improved behavioral performance. These findings highlight new insights into the CDD pathophysiology and provide the first evidence that therapeutic approaches aimed at counteracting neuroinflammation could be beneficial in CDD.