Valutazione delle proprietà meccaniche del calcestruzzo nelle strutture di cemento armato esistenti

In questa tesi è stato affrontato lo studio della valutazione delle proprietà meccaniche del calcestruzzo negli edifici esistenti, ponendo attenzione alle normative che regolano questa procedura, alle prove distruttive e non, che vengono eseguite in sito e in laboratorio, fino all'elaborazione dei risultati al fine di ottenere il valore desiderato della resistenza a compressione del cls. In particolare sono state affrontate le prove a compressione, trazione indiretta e di determinazione del modulo elastico che si eseguono in laboratorio, i carotaggi, la carbonatazione, la prova sclerometrica, ultrasonica, di aderenza, di estrazione e penetrazione eseguite in sito. Per la valutazione del calcestruzzo è stato introdotto il funzionamento delle curve di correlazione, la loro costruzione e valutazione, e le varie definizioni del calcestruzzo definite dalla NTC del 2008, dalle Linee Guida C.S. LL.PP. e dal metodo Holos.

Non-invasive method for detecting changes in soil moisture using wireless sensor networks

There are several popular soil moisture measurement methods today such as time domain reflectometry, electromagnetic (EM) wave, electrical and acoustic methods. Significant studies have been dedicated in developing method of measurements using those concepts, especially to achieve the characteristics of noninvasiveness. EM wave method provides an advantage because it is non-invasive to the soil and does not need to utilise probes to penetrate or bury in the soil. But some EM methods are also too complex, expensive, and not portable for the application of Wireless Sensor Networks; for example satellites or UAV (Unmanned Aerial Vehicle) based sensors. This research proposes a method in detecting changes in soil moisture using soil-reflected electromagnetic (SREM) wave from Wireless Sensor Networks (WSNs). Studies have shown that different levels of soil moisture will affects soil’s dielectric properties, such as relative permittivity and conductivity, and in turns change its reflection coefficients. The SREM wave method uses a transmitter adjacent to a WSNs node with purpose exclusively to transmit wireless signals that will be reflected by the soil. The strength from the reflected signal that is determined by the soil’s reflection coefficients is used to differentiate the level of soil moisture. The novel nature of this method comes from using WSNs communication signals to perform soil moisture estimation without the need of external sensors or invasive equipment. This innovative method is non-invasive, low cost and simple to set up. There are three locations at Brisbane, Australia chosen as the experiment’s location. The soil type in these locations contains 10–20% clay according to the Australian Soil Resource Information System. Six approximate levels of soil moisture (8, 10, 13, 15, 18 and 20%) are measured at each location; with each measurement consisting of 200 data. In total 3600 measurements are completed in this research, which is sufficient to achieve the research objective, assessing and proving the concept of SREM wave method. These results are compared with reference data from similar soil type to prove the concept. A fourth degree polynomial analysis is used to generate an equation to estimate soil moisture from received signal strength as recorded by using the SREM wave method.

The development of a new method for the determination of concentrations of carbonaceous gases using a non-dispersive infrared sensor

An analytical method for the detection of carbonaceous gases by a non-dispersive infrared sensor (NDIR) has been developed. The calibration plots of six carbonaceous gases including CO2, CH4, CO, C2H2, C2H4 and C2H6 were obtained and the reproducibility determined to verify the feasibility of this gas monitoring method. The results prove that squared correlation coefficients for the six gas measurements are greater than 0.999. The reproducibility is excellent, thus indicating that this analytical method is useful to determinate the concentrations of carbonaceous gases.

Angiogenesis and non-small cell lung cancer

Lung cancer is the commonest cause of cancer death in the western world. Recent evidence suggests that angiogenesis is related to poor prognosis in many solid tumours including non-small cell lung cancer. Angiogenesis is controlled by a complex interaction between growth and apoptotic factors, proteases and adhesion molecules. The angiogenic process may prove a target for novel therapies such as matrix metalloproteinase inhibitors, growth factor antisense RNA, growth factor receptor antagonists and naturally occurring antiangiogenic peptides. These agents may be used alone or in combination with traditional chemotherapy, radiotherapy and surgery. (C) 2000 Elsevier Science Ireland Ltd.

CDCA3 regulates the cell cycle and modulates cisplatin sensitivity in non-small cell lung cancer

Cisplatin-based regimens are currently the most effective chemotherapy for non-small cell lung cancer (NSCLC). Cisplatin forms DNA crosslinks to stall DNA replication and induce apoptosis. However, intrinsic and acquired chemoresistance is a major therapeutic problem. We have identified ‘cell division cycle associated protein 3’ (CDCA3) as a novel protein that may prove useful in delaying or preventing cisplatin resistance in NSCLC. CDCA3 functions as part of an ubiquitin ligase complex to degrade the endogenous cell cycle inhibitors. While a role for CDCA3 in disease is emerging with elevated expression noted in oral squamous cell carcinoma, little else is known about CDCA3 or whether this protein may prove useful clinically.

Equivalence conditions for classes of linear and non-linear distributed parameter systems

Equivalence of certain classes of second-order non-linear distributed parameter systems and corresponding linear third-order systems is established through a differential transformation technique. As linear systems are amenable to analysis through existing techniques, this study is expected to offer a method of tackling certain classes of non-linear problems which may otherwise prove to be formidable in nature.

Tax havens and their impacts on the non-haven countries

Tax havens have attracted increasing attention from the authorities of non-haven countries. The financial crisis exacerbates the negative attitude to tax havens. Offshore zones are now under strong pressure from the international, both financial and political institutions. Thus, the thesis will focus on the current problem of the modern economy, namely tax havens and their impact on the non-haven countries. This thesis will be based on the several articles, in particular “Tax Competition With Parasitic Tax Havens” by Joel Slemrod and John D. Wilson (University of Michigan, 2009) and “Do Havens Divert Economic Activity” by James R. Hines Jr., C. Fritz Foley and Mihir A. Desai (Ross School of Business, 2005). This paper provides two completely different and contradictory viewpoints on the problem of coexisting tax havens and non-haven countries. There are two models, examined in this work, present two important researches. The first one will be concentrated on the positive effect from tax havens whereas the last model will be focused on the completely negative effect from offshore jurisdictions. The first model gives us a good explanation and proof of its statement why tax havens can positively influence on nearby high-tax countries. It describes that the existence of offshore jurisdictions can stimulate the growth of operations and facilitates economic activity in non-haven countries. In contrast to above mentioned, the model with quite opposite view was presented. This economic model and its analysis confirms the undesirability of the existence of offshore areas. Taking into consideration, that the jurisdictions choose their optimal policy, the elimination of offshores will have positive impact on the rest of countries. The model proofs the statement that full or partial elimination of tax havens raises the equilibrium level of the public good and increases country welfare. According to the following study, it can be concluded that both of the models provide telling arguments to prove their assertions. Thereby both of these points of view have their right to exist. Nevertheless, the ongoing debate concerning this issue still will raise a lot of questions.

Global, Local and Vector-Valued Tb Theorems on Non-Homogeneous Metric Spaces

Various Tb theorems play a key role in the modern harmonic analysis. They provide characterizations for the boundedness of Calderón-Zygmund type singular integral operators. The general philosophy is that to conclude the boundedness of an operator T on some function space, one needs only to test it on some suitable function b. The main object of this dissertation is to prove very general Tb theorems. The dissertation consists of four research articles and an introductory part. The framework is general with respect to the domain (a metric space), the measure (an upper doubling measure) and the range (a UMD Banach space). Moreover, the used testing conditions are weak. In the first article a (global) Tb theorem on non-homogeneous metric spaces is proved. One of the main technical components is the construction of a randomization procedure for the metric dyadic cubes. The difficulty lies in the fact that metric spaces do not, in general, have a translation group. Also, the measures considered are more general than in the existing literature. This generality is genuinely important for some applications, including the result of Volberg and Wick concerning the characterization of measures for which the analytic Besov-Sobolev space embeds continuously into the space of square integrable functions. In the second article a vector-valued extension of the main result of the first article is considered. This theorem is a new contribution to the vector-valued literature, since previously such general domains and measures were not allowed. The third article deals with local Tb theorems both in the homogeneous and non-homogeneous situations. A modified version of the general non-homogeneous proof technique of Nazarov, Treil and Volberg is extended to cover the case of upper doubling measures. This technique is also used in the homogeneous setting to prove local Tb theorems with weak testing conditions introduced by Auscher, Hofmann, Muscalu, Tao and Thiele. This gives a completely new and direct proof of such results utilizing the full force of non-homogeneous analysis. The final article has to do with sharp weighted theory for maximal truncations of Calderón-Zygmund operators. This includes a reduction to certain Sawyer-type testing conditions, which are in the spirit of Tb theorems and thus of the dissertation. The article extends the sharp bounds previously known only for untruncated operators, and also proves sharp weak type results, which are new even for untruncated operators. New techniques are introduced to overcome the difficulties introduced by the non-linearity of maximal truncations.

End point estimates for Radon transform of radial functions on non-Euclidean spaces

We prove end point estimate for Radon transform of radial functions on affine Grasamannian and real hyperbolic space. We also discuss analogs of these results on the sphere.

VIRTUAL VIEW SYNTHESIS BY NON-LOCAL MEANS FILTERING USING TEMPORAL DATA

A novel algorithm for Virtual View Synthesis based on Non-Local Means Filtering is presented in this paper. Apart from using the video frames from the nearby cameras and the corresponding per-pixel depth map, this algorithm also makes use of the previously synthesized frame. Simple and efficient, the algorithm can synthesize video at any given virtual viewpoint at a faster rate. In the process, the quality of the synthesized frame is not compromised. Experimental results prove the above mentioned claim. The subjective and objective quality of the synthesized frames are comparable to the existing algorithms.

Et avié una viña rica, de mejor non nos cala” : la representación del palacio de Poro y la viña áurea en el Libro de Alexandre, diálogos intertextuales y funciones literarias

Resumen: Según se narra en el Libro de Alexandre, después de la muerte de Darío III, rey de los persas y opresor de los macedonios, Alejandro comienza su exploración hacia el Oriente profundo, en busca del sátrapa indio, Poro. Al hallar los palacios de este, el macedonio se encuentra con una serie de objetos que podrían integrar un catálogo de maravillas mecánicas y artificiales, entre las que destaca una viña hecha de oro y piedras preciosas que el gobernante oriental posee en los jardines del alcázar (cc. 2126-2131). El trabajo cuyo resumen presento aquí pretende, en primer lugar, develar las funciones intra y extratextuales que posee el episodio, además de –en segunda instancia– defender la idea de la representación de la viña áurea como un motivo recurrente en las descripciones de palacios orientales en la literatura medieval y en obras como la Historia de Proellis, el Roman d’Aeneas y textos que se insertan propiamente en la tradición de libros de viajes, como el Livre des merveilles du monde de Jean de Mandeville.

On the existence of Zeno behavior in hybrid systems with non-isolated zeno equilibria

This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems. The proof-certificate sufficient conditions are then obtained through a collection of functions that effectively "reduce" a general hybrid system to a first quadrant interval hybrid system. This paper concludes with an application of these ideas to Lagrangian hybrid systems, resulting in easily verifiable sufficient conditions for Zeno behavior. © 2008 IEEE.

Structural analysis of plate-type fuel assemblies and development of a non-destructive method to assess their integrity

This work is concerned with the structural behaviour and the integrity of parallel plate-type nuclear fuel assemblies. A plate-type assembly consists of several thin plates mounted in a box-like structure and is subjected to a coolant flow that can result in a considerable drag force. A finite element model of an assembly is presented to study the sensitivity of the natural frequencies to the stiffness of the plates' junctions. It is shown that the shift in the natural frequencies of the torsional modes can be used to check the global integrity of the fuel assembly while the local natural frequencies of the inner plates can be used to estimate the maximum drag force they can resist. Finally a non-destructive method is developed to assess the resistance of the inner plates to bear an applied load. Extensive computational and experimental results are presented to prove the applicability of the method presented. © 2013 Elsevier B.V. All rights reserved.

Mermera: Non-Coherent Distributed Shared Memory for Parallel Computing

The proliferation of inexpensive workstations and networks has prompted several researchers to use such distributed systems for parallel computing. Attempts have been made to offer a shared-memory programming model on such distributed memory computers. Most systems provide a shared-memory that is coherent in that all processes that use it agree on the order of all memory events. This dissertation explores the possibility of a significant improvement in the performance of some applications when they use non-coherent memory. First, a new formal model to describe existing non-coherent memories is developed. I use this model to prove that certain problems can be solved using asynchronous iterative algorithms on shared-memory in which the coherence constraints are substantially relaxed. In the course of the development of the model I discovered a new type of non-coherent behavior called Local Consistency. Second, a programming model, Mermera, is proposed. It provides programmers with a choice of hierarchically related non-coherent behaviors along with one coherent behavior. Thus, one can trade-off the ease of programming with coherent memory for improved performance with non-coherent memory. As an example, I present a program to solve a linear system of equations using an asynchronous iterative algorithm. This program uses all the behaviors offered by Mermera. Third, I describe the implementation of Mermera on a BBN Butterfly TC2000 and on a network of workstations. The performance of a version of the equation solving program that uses all the behaviors of Mermera is compared with that of a version that uses coherent behavior only. For a system of 1000 equations the former exhibits at least a 5-fold improvement in convergence time over the latter. The version using coherent behavior only does not benefit from employing more than one workstation to solve the problem while the program using non-coherent behavior continues to achieve improved performance as the number of workstations is increased from 1 to 6. This measurement corroborates our belief that non-coherent shared memory can be a performance boon for some applications.

New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi

Two new notions of reduction for terms of the λ-calculus are introduced and the question of whether a λ-term is beta-strongly normalizing is reduced to the question of whether a λ-term is merely normalizing under one of the new notions of reduction. This leads to a new way to prove beta-strong normalization for typed λ-calculi. Instead of the usual semantic proof style based on Girard's "candidats de réductibilité'', termination can be proved using a decreasing metric over a well-founded ordering in a style more common in the field of term rewriting. This new proof method is applied to the simply-typed λ-calculus and the system of intersection types.