The effect of two-dimensional squat elements on the seismic behavior of building structures

This thesis reports a study on the seismic response of two-dimensional squat elements and their effect on the behavior of building structures. Part A is devoted to the study of unreinforced masonry infills, while part B is focused on reinforced concrete sandwich walls. Part A begins with a comprehensive review of modelling techniques and code provisions for infilled frame structures. Then state-of-the practice techniques are applied for a real case to test the ability of actual modeling techniques to reproduce observed behaviors. The first developments towards a seismic-resistant masonry infill system are presented. Preliminary design recommendations for the seismic design of the seismic-resistant masonry infill are finally provided. Part B is focused on the seismic behavior of a specific reinforced concrete sandwich panel system. First, the results of in-plane psuudostatic cyclic tests are described. Refinements to the conventional modified compression field theory are introduced in order to better simulate the monotonic envelope of the cyclic response. The refinements deal with the constitutive model for the shotcrete in tension and the embedded bars. Then the hysteretic response of the panels is studied according to a continuum damage model. Damage state limits are identified. Design recommendations for the seismic design of the studied reinforced concrete sandwich walls are finally provided.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Società di capitali amministratrici di società di persone

The present work focuses on a specific aspect of the general issue concerning the possible consequences of the reform of business corporations (“società di capitali”) on the discipline of partnerships (“società di persone”). After the reform of business law enacted with legislative decree n. 6/2003, the majority of the literature, in the light of the provisions of art. 2361 co. 2 civil code and art. 111-duodecies of the regulatory provisions (“disposizioni di attuazione”) of the civil code itself, maintains the possibility for a business corporation to be executive of a partnership. As a matter of fact, whenever all the members of a partnership are actually business corporations, it shall be possible that either one of the latter becomes the executive, either such role is played by a third party, i. e. a non-partner. After displaying the possible advantages and disadvantages stemming from a business corporation managing a partnership, the analysis investigates the legal feasibility of the case in point. First of all, the reasons supporting the theory under which a legal person cannot be manager of a partnership are examined in depth; an overview of the principal EU Member States’ legal systems and of the discipline of the European Economic Interest Grouping and of European Corporate is then provider for. At the outset of such analysis, the author asserts the legal possibility for a legal person to act as manager of a corporation, including a partnership. Afterwards, the investigation covers the issue of the executive-member in the partnerships. Initially, an overview of the literature concerning the legal nature of the management is offered; then, the three different categories of partnership are analyzed, in order to understand whether such legal persons can be managed by a third party (i.e. a non-member). On the basis of the existing strict connection between executive powers and unlimited liability, the author concludes that only the members shall be manager of the partnerships. Another chapter of the thesis is centred, from the one hand, on the textual data that, after the reform of 2003, support the aforesaid conclusion; from the other hand, on the peculiar features of the corporate business that is executive of a partnership. In particular, the attention is focused on the necessity or on the mere opportunity of an article of association explicitly providing that a corporate business can be executive of the partnership; on the practical ways by which the former shall manage the latter (especially on the necessity of nominating a permanent representative of the legal person and on the possibility to designate the procurators to this end); on the disclosure obligations applicable to the case in point.

Analysis of optimal control problems for the incompressible MHD equations and implementation in a finite element multiphysics code

This thesis deals with the study of optimal control problems for the incompressible Magnetohydrodynamics (MHD) equations. Particular attention to these problems arises from several applications in science and engineering, such as fission nuclear reactors with liquid metal coolant and aluminum casting in metallurgy. In such applications it is of great interest to achieve the control on the fluid state variables through the action of the magnetic Lorentz force. In this thesis we investigate a class of boundary optimal control problems, in which the flow is controlled through the boundary conditions of the magnetic field. Due to their complexity, these problems present various challenges in the definition of an adequate solution approach, both from a theoretical and from a computational point of view. In this thesis we propose a new boundary control approach, based on lifting functions of the boundary conditions, which yields both theoretical and numerical advantages. With the introduction of lifting functions, boundary control problems can be formulated as extended distributed problems. We consider a systematic mathematical formulation of these problems in terms of the minimization of a cost functional constrained by the MHD equations. The existence of a solution to the flow equations and to the optimal control problem are shown. The Lagrange multiplier technique is used to derive an optimality system from which candidate solutions for the control problem can be obtained. In order to achieve the numerical solution of this system, a finite element approximation is considered for the discretization together with an appropriate gradient-type algorithm. A finite element object-oriented library has been developed to obtain a parallel and multigrid computational implementation of the optimality system based on a multiphysics approach. Numerical results of two- and three-dimensional computations show that a possible minimum for the control problem can be computed in a robust and accurate manner.

I controlli sulla tutela interinale della crisi della famiglia

La tesi affronta il tema dei controlli avverso i provvedimenti nell’interesse della prole e dei coniugi resi nell’ambito dei procedimenti di separazione e di divorzio, dapprima fornendo un inquadramento storico della problematica, attraverso la disamina delle posizioni dottrinali e giurisprudenziali formatesi con riferimento alla natura ed al regime impugnatorio di tali provvedimenti dall’entrata in vigore del codice di rito del 1865 ad oggi, dopodiché analizzando le numerose questioni interpretative cui l’attuale quadro normativo, risultante dalla stratificazione legislativa operata dalla L. 14 maggio 2005, n. 80 e dalla L. 8 febbraio 2006, n. 54, dà origine. In particolare la tesi, dopo aver delineato la struttura del reclamo di cui all’art. 708 c.p.c., cercando di fornire una soluzione ai dubbi che la scarna disciplina contenuta nella menzionata norma solleva, si occupa dei rapporti tra gli istituti del reclamo alla Corte d’appello e della revoca e modifica ad opera del giudice istruttore, riepilogando le varie teorie elaborate dalla dottrina e dalla giurisprudenza sul tema e cercando di individuare quale sia l’ambito di applicazione di ciascuno strumento di controllo. La tesi affronta poi, a fronte della mancata previsione di una forma di riesame avanti ad un organo superiore avverso i provvedimenti resi dal giudice istruttore ai sensi dell’art. 709, ultimo comma, c.p.c., la questione della reclamabilità di tali provvedimenti, cercando di individuare quale sia lo strumento più idoneo cui fare ricorso per colmare la lacuna che si dovesse ritenere esistente nel dato normativo. Il lavoro si conclude con la disamina, in una prospettiva de iure condendo, dei progetti di riforma che sono stati elaborati con riferimento al tema dei controlli avverso i provvedimenti temporanei e urgenti.

La responsabilità del vettore terrestre nel trasporto di cose per conto terzi: riflessi assicurativi.

La ricerca ha ad oggetto l’analisi della disciplina della responsabilità del vettore terrestre di merci per conto terzi ed i riflessi che detta disciplina ha avuto modo di svilupparsi nel mercato assicurativo. L’attenzione è stata rivolta al contratto di trasporto di cose in generale, seguendone la disciplina codicistica e le evoluzioni legislative intervenute. Particolare rilievo assume la novella apportata all’art. 1696 c.c., introdotta dall’art. 10 del Dlgs. 286/2005, grazie alla quale l’ordinamento italiano ha potuto codificare il limite di indennizzo dovuto dal vettore nell’ipotesi di colpa lieve, L’introduzione del limite legale di indennizzo per le ipotesi di responsabilità per perdita o avaria della merce trasportata ha generato nel mondo assicurativo interessanti reazioni. L’elaborato esamina anche l’evoluzione giurisprudenziale formatisi in tema di responsabilità vettoriale, evidenziando il crescente rigore imposto dalla giurisprudenza fondato sul principio del receptum. Tale fenomeno ha visto immediata reazione nel mercato assicurativo il quale, sulla base di testi contrattuali non dissimili tra le diverse compagnie di assicurazioni operanti sul mercato domestico e che traevano origine dai formulari approvati dall’ANIA, ha seguito l’evoluzione giurisprudenziale apportando significative restrizioni al rischio tipico previsto dalle coperture della responsabilità civile vettoriale. La ricerca si è poi focalizzata sull’esame delle più comuni clausole contemplate dalle polizze di assicurazioni di responsabilità civile e sul loro significato alla luce delle disposizioni di legge in materia. Tale analisi riveste preminente interesse poiché consente di verificare in concreto come l’assicurazione possa effettivamente costituire per l’impresa di trasporto non tanto un costo bensì una opportunità di risparmio da un lato ed un modello comportamentale, sebbene indotto, dall’altro lato per il raggiungimento di quei canoni di diligenza che qualsiasi operatore del settore dovrebbe tenere durante l’esecuzione del trasporto ed il cui venir meno determina, come detto, sensibili effetti pregiudizievoli di carattere economico.

Genome characterization through a mathematical model of the genetic code: an analysis of the whole chromosome 1 of A. thaliana

The objective of this work is to characterize the genome of the chromosome 1 of A.thaliana, a small flowering plants used as a model organism in studies of biology and genetics, on the basis of a recent mathematical model of the genetic code. I analyze and compare different portions of the genome: genes, exons, coding sequences (CDS), introns, long introns, intergenes, untranslated regions (UTR) and regulatory sequences. In order to accomplish the task, I transformed nucleotide sequences into binary sequences based on the definition of the three different dichotomic classes. The descriptive analysis of binary strings indicate the presence of regularities in each portion of the genome considered. In particular, there are remarkable differences between coding sequences (CDS and exons) and non-coding sequences, suggesting that the frame is important only for coding sequences and that dichotomic classes can be useful to recognize them. Then, I assessed the existence of short-range dependence between binary sequences computed on the basis of the different dichotomic classes. I used three different measures of dependence: the well-known chi-squared test and two indices derived from the concept of entropy i.e. Mutual Information (MI) and Sρ, a normalized version of the “Bhattacharya Hellinger Matusita distance”. The results show that there is a significant short-range dependence structure only for the coding sequences whose existence is a clue of an underlying error detection and correction mechanism. No doubt, further studies are needed in order to assess how the information carried by dichotomic classes could discriminate between coding and noncoding sequence and, therefore, contribute to unveil the role of the mathematical structure in error detection and correction mechanisms. Still, I have shown the potential of the approach presented for understanding the management of genetic information.

Validation of the CFD code NEPTUNE for a full scale simulator for decay heat removal systems with in-pool heat exchangers

In the present work, a multi physics simulation of an innovative safety system for light water nuclear reactor is performed, with the aim to increase the reliability of its main decay heat removal system. The system studied, denoted by the acronym PERSEO (in Pool Energy Removal System for Emergency Operation) is able to remove the decay power from the primary side of the light water nuclear reactor through a heat suppression pool. The experimental facility, located at SIET laboratories (PIACENZA), is an evolution of the Thermal Valve concept where the triggering valve is installed liquid side, on a line connecting two pools at the bottom. During the normal operation, the valve is closed, while in emergency conditions it opens, the heat exchanger is flooded with consequent heat transfer from the primary side to the pool side. In order to verify the correct system behavior during long term accidental transient, two main experimental PERSEO tests are analyzed. For this purpose, a coupling between the mono dimensional system code CATHARE, which reproduces the system scale behavior, with a three-dimensional CFD code NEPTUNE CFD, allowing a full investigation of the pools and the injector, is implemented. The coupling between the two codes is realized through the boundary conditions. In a first analysis, the facility is simulated by the system code CATHARE V2.5 to validate the results with the experimental data. The comparison of the numerical results obtained shows a different void distribution during the boiling conditions inside the heat suppression pool for the two cases of single nodalization and three volume nodalization scheme of the pool. Finaly, to improve the investigation capability of the void distribution inside the pool and the temperature stratification phenomena below the injector, a two and three dimensional CFD models with a simplified geometry of the system are adopted.

L'azione di classe

La ricerca conduce un’indagine sull’azione di classe, introdotta nell’ordinamento italiano in epoca recente e foriera di numerose incertezze ed ambiguità interpretative, con riferimento sia allo specifico contenuto delle singole disposizioni normative che si sono alternate nel corso del tempo (determinate, sovente, dalla necessità di elidere le- di volta in volta riscontrate- anomalie e contraddizioni del tessuto normativo), sia alle possibili incongruenze tra taluni profili della disciplina oggi prevista dall’art. 140-bis del Codice del consumo e taluni principi generali dell’ordinamento, anche in materia di risarcimento del danno. Viene esaminato, anzitutto, il tema della legittimazione ad agire e del rapporto tra consumatore e l’ente rappresentativo cui questi, eventualmente, si rivolga, tentando la riconduzione di tale relazione alle ordinarie categorie privatistiche. Parimenti, è in termini di qualificazione secondo le tradizionali categorie del diritto civile che si tenta di apprezzare la natura dell’atto di adesione del soggetto che si vanti detentore di un diritto omogeneo a quello della classe cui pretende di appartenere. Vengono, quindi, esaminate le condizioni di ammissibilità dell’azione di classe e le caratteristiche peculiari della fase preliminare del giudizio di ammissibilità dell’azione. La ricerca indaga, quindi, la natura ed i possibili contenuti della sentenza che definisce il processo di classe, e conduce, nell’ultimo capitolo, una disamina relativa alle situazioni giuridiche tutelate.

Code synchronization and interference management techniques for satellite navigation and communications

This thesis collects the outcomes of a Ph.D. course in Telecommunications engineering and it is focused on enabling techniques for Spread Spectrum (SS) navigation and communication satellite systems. It provides innovations for both interference management and code synchronization techniques. These two aspects are critical for modern navigation and communication systems and constitute the common denominator of the work. The thesis is organized in two parts: the former deals with interference management. We have proposed a novel technique for the enhancement of the sensitivity level of an advanced interference detection and localization system operating in the Global Navigation Satellite System (GNSS) bands, which allows the identification of interfering signals received with power even lower than the GNSS signals. Moreover, we have introduced an effective cancellation technique for signals transmitted by jammers, exploiting their repetitive characteristics, which strongly reduces the interference level at the receiver. The second part, deals with code synchronization. More in detail, we have designed the code synchronization circuit for a Telemetry, Tracking and Control system operating during the Launch and Early Orbit Phase; the proposed solution allows to cope with the very large frequency uncertainty and dynamics characterizing this scenario, and performs the estimation of the code epoch, of the carrier frequency and of the carrier frequency variation rate. Furthermore, considering a generic pair of circuits performing code acquisition, we have proposed a comprehensive framework for the design and the analysis of the optimal cooperation procedure, which minimizes the time required to accomplish synchronization. The study results particularly interesting since it enables the reduction of the code acquisition time without increasing the computational complexity. Finally, considering a network of collaborating navigation receivers, we have proposed an innovative cooperative code acquisition scheme, which allows exploit the shared code epoch information between neighbor nodes, according to the Peer-to-Peer paradigm.

Strumenti finanziari partecipativi e "nuovi" canali di finanziamento delle societa' per azioni

Il lavoro affronta il tema degli strumenti finanziari partecipativi e non partecipativi che possono essere emessi dalle società per azioni, alla luce della disciplina introdotta dalla riforma del diritto societario. Lo studio è diretto a fornire un inquadramento sistematico di queste modalità di finanziamento rispetto alla dicotomia azioni-obbligazioni, anche sotto il profilo contabile, per poi individuare le conseguenti implicazioni in termini di disciplina applicabile. Affrontando il dibattito dottrinale sulla collocazione complessiva degli strumenti ibridi rispetto alle forme di finanziamento tradizionali, si sposa l’opinione secondo cui tutti gli strumenti finanziari non possono essere ricompresi in una categoria unitaria, ma occorre mantenere distinti gli strumenti finanziari partecipativi indicati dall’art. 2346, comma 6, c.c., dagli altri strumenti finanziari ex art. 2411, comma 3, c.c., riconoscendo nei primi delle modalità di raccolta assimilabili al capitale di rischio e nei secondi delle forme di provvista di capitale di debito. Il connotato distintivo tra strumenti finanziari partecipativi e non partecipativi viene individuato non nell’attribuzione di diritti amministrativi – che possono anche non essere assegnati ai titolari di strumenti di cui all’art. 2346, comma 6 – bensì nell’assenza o nella presenza di un obbligo di rimborso dell’apporto fornito all’impresa. Il lavoro esamina inoltre vari profili di disciplina di entrambe le categorie di strumenti, concentrandosi prevalentemente sui diritti patrimoniali ad essi attribuibili, tra cui la partecipazione agli utili e alle perdite e i diritti in sede di liquidazione. Infine si esaminano le previsioni recentemente introdotte dal d.l. n. 83/2012 in tema di titoli obbligazionari, al fine di valutarne l’impatto sull’impianto complessivo della disciplina vigente. In particolare, viene data attenzione alle nuove disposizioni relative alle obbligazioni subordinate e/o partecipative che possono essere emesse dalle società non quotate, mettendo in evidenza le criticità dal punto di vista sistematico in tema di possibile partecipazione agli utili degli obbligazionisti.