87,245 research outputs found
La biblioteca Cardelli a Roma nel XVIII secolo. Notizie a partire da una memoria inedita della contessa marchigiana Giustina Pianetti Cardelli
No full textA Roma negli ultimi decenni del Settecento gli eruditi e gli aristocratici sceglievano tra i salotti più ambiti quello della contessa marchigiana Giustina Pianetti, vedova Cardelli, erede di una ricchissima biblioteca formata dal marito Francesco Maria. Attraverso una inedita memoria della contessa, conservata nel diario di viaggio del bibliotecario Angelo Maria Bandini, e cataloghi scoperti nell'Archivio di Stato di Roma e nell'Archivio Capitolino, se ne rintraccia la storia legata alla biblioteca di Gregorio Alessandro Capponi, e il contenuto ricchissimo di stampati e manoscritti, alcuni dei quali con questa ricerca sono stati rintracciati
Design realization and commissioning of RF Power system and accelerating structures for a Gamma Source
No full textThanks to the recent technological progress in the fields of high power lasers and high brightness linac accelerators, new Gamma and X ray sources based on electron-photon interaction are under development in several laboratory world-wide. These kind of sources uses Inverse Compton scattering in the collision between a relativistic high quality electron beam and high power optical laser pulses to generate secondary photon beams of unique performances. These photon beams are suitable for a wide range of applications and open new perspectives in many research fields. In particular gamma rays in the energy interval between 1-20~MeV are of great interest for basic research and application studies in the fields of nuclear physics and photonics. In this framework, a very innovative Compton source is under construction in Magurele (RO), by the EuroGammaS association, with the aim to generate photon beams in that energy range, characterized by unprecedented performances in terms of mono-chromaticity, brilliance, spectral density, tunability and polarization. The realization of this source called ELI-NP-GBS is in the framework of the European Extreme Light infrastructure (ELI) project that pursues the creation of an international laser research infrastructure. The challenging parameters of this source rely on the performances of the Linac and in particular of his radiofrequency (RF) system. The electron accelerator is a high brightness normal conducting RF Linac consisting of two S-band (2856 MHz) and twelve C-band (5712 MHz) RF structures. The main advantages of using a Linac accelerator are the energy "tunability" and the excellent electron beam quality that is possible to obtain. The accelerator will be operated at a repetition rate of 100 Hz. For every RF pulse up to 32 electron bunches, each one carrying 250 pC of charge, separated by 16 ns, will be accelerated. The Linac is required to achieve a normalized emittance in both planes better than 0.5 mm mrad and energy spread below 0.1\%. To guarantee these performances in a reliable and stable way, innovative and advance RF components have been developed. The aim of this thesis is the study, design and commissioning of the main components of RF system used for the realization of a state of the art gamma source such as the ELI-NP-GBS. High power RF sources driven by solid state modulators have to feed the accelerating structures with high pulse to pulse amplitude stability and RF pulse uniformity in order to minimize the electron beam energy spread. An innovative C-band High Order Mode (HOM) damped RF cavity has been conceived and designed in order to avoid beam emittance and energy spread degradation due to the Beam Break-Up instability along the Linac. In addition the S-band RF Gun has been realized with an innovative technique called "Gasket-clamping technique'' and implements new radiofrequency features to sustain the 100 Hz repetition rate operation. All these devices have been realized and tested and the results obtained are reported in this work. Taking into account the extremely good results obtained by RF Gun realized with the gasket-clamping technique, in the last part of this dissertation, it has been explored the possibility to extend this fabrication procedure to the realization of an entire travelling wave Linac structure. This technique, thanks to the use of RF/vacuum special gaskets, allows avoiding the brazing process thus reducing the fabrication costs, the risk of failure and improving the performances of the device in terms of reachable peak electric field. To demonstrate the feasibility of the implementation of such technique an accurate electromagnetic and mechanical design of an S-band travelling wave structure has been performed
Adding axioms to Cardelli-Wegner subtyping
No full textCardelli and Wegner developed a simple theory of object subtyping which was later to form the basis for a second-order theory of bounded quantification [Card84, CW85, Ghel90] and the higher-order theory of F-bounded quantification explored by Cook and others [CCHO89a, CHC90]. In all of these presentations, the abstract type of objects is only expressed syntactically, in terms of an external interface of function signatures. Here, we re-introduce semantic descriptions for objects, in terms of sets of axioms constraining the operation of some invocations of their functions. We use the well-understood technique of definition by comprehension to motivate subtyping rules for object axioms and prove how these rules interact properly with Cardelli-Wegner style subtyping rules. For languages like Eiffel [Meye88, Meye92] and Sather [Omoh94] in which programmers can write object axioms, rules governing the addition of preconditions, postconditions and data type invariants can now be motivated from the type-theoretic standpoint. By translating between semantic and syntactic modes of definition, we show how our new subtyping rules for axioms will have their counterparts in the second and higher-order theories of strongly-typed inheritance
Osteoarthritis of the hip treated by intra-articular infiltration of oxygen-ozone and hyaluronic acid (Hyalubrix): preliminary results.
No full textOsteoarthritis of the hip is a chronic invalidating degenerative disease with high social
and healthcare costs. Our study aimed to assess the therapeutic efficacy of intra-articular injection of
a combination of oxygen-ozone and hyaluronic acid to treat osteoarthritis of the hip joint. Between May
2007 and January 2008, ten patients with clinical and radiological evidence of osteoarthritis of the hip
were treated by intra-articular injection of a combination of oxygen ozone gas mixture and hyaluronic
acid (HYALUBRIX). One month after the end of treatment all patients had a 30% recovery of function
in the hip joint treated. All patients referred major pain relief reaching almost zero on the VAS scale after
intra-articular injection of oxygen-ozone and hyaluronic acid. Although our series is small, the preliminary
findings are encouraging. Intra-articular injection of a combination of oxygen-ozone and hyaluronic acid
in the “HYALUBRIX” solution yielded prompt relief of pain and clinical symptoms in the patients treated,
thereby delaying or avoiding recourse to hip replacement surgery
Fast and simple numerical computation of Maximum Power Point in PV systems
No full textThe increasing implementation of Photovoltaics sys-tem for energy production in small scale equipment makes feasible the possibility of develop smart module. One of the aspect really of interest is the accurate and fast computation of maximum power point from available data. Several mathematical approaches have been proposed in the last years and, in this works, a very simple robust and fast methodology is presented, based on the one-diode model. Few algebraic manipulations of one-diode equation allow to define a computational scheme which can be implemented in any kind of computing system (from workstation to small microcontroller). The proposed algorihm was test against data available in literature and implemented also in a low cost microcontroller, with computation time in this configuration of the order of few ms
Genetic polymorphisms of inflammatory cytokines and myocardial infarction in the elderly
No full textA combined experimental-numerical rheometric and mechanical characterization of EPM/EPDM rubber for medium voltage cable applications vulcanized with peroxides
No full textThe vulcanization of medium and high voltage (M-H V) cables is an important industrial application where manufacturers use principally EPM/EPDM, crosslinked polyethylene (XLPE) and now also thermoplastic rubbers. In the present article, an EPDM compound for medium voltage cablesnormally distributed to producers in pellets and ready to be curedis considered and several experimental tests (rheometer curves and mechanical characterizations) are conducted changing controlled curing temperature, peroxide type and peroxide concentration. In particular, tests are replicated in a temperature range between 160 and 200 degrees C, with data provided every 20 degrees C, using two different peroxides, a mixture of three commercial peroxides at five different concentrations. A huge amount of experimental data (cure curves) is obtained (one for each temperature, peroxide used and concentration) and results are critically compared one each other, to have a quantitative insight into the most effective temperature and peroxide to be used during this kind of vulcanization, with the aim of maximizing vulcanization velocity, final torque reached and mechanical properties of cured rubber. The comprehensive experimental study proposed is finally assessed from a numerical point of view, utilizing a complex kinetic scheme constituted by reactions occurring in series and parallel, which allows estimating numerically the vulcanization degree by means of a single second order nonlinear differential equation, with unknown parameters determined through non-linear least squares fitting, with target data represented by experimental rheoemeter curves. The experimental fitting is almost perfect for all the cases analyzed and is aimed at predicting (without an expensive experimentation) the most suitable production parameters (e.g., curing time and temperature) to guarantee improved mechanical properties and a good aging resistance of the items. In addition, the numerical approach could allow finding the most suitable recipe, also in presence of mixtures of peroxides, able to provide items with a uniform vulcanization level
Biochar impact on the estimation of the colorimetric-based enzymatic assays of soil
No full textThis study was carried out in order to assess the influence of biochar applications on
the estimation of colorimetric-based
enzymatic assays and to verify the effectiveness
of the most common methods. Since most methods used to determine enzymatic
activities in the soil are based on colorimetry, biochar may absorb substrates and/
or coloured products thereby distorting the analytical result. Biochar was added to
two soils, with different textures and cation exchangeable capacities, at a rate of
2% (w/w), and seven enzyme activities were determined following standard methods.
The biochar amendment lowered the spectrophotometer reading of the activity
of FDAase and dehydrogenase in the sandy soil. In the three enzymatic activities
based on p-nitrophenol
production (β-glucosidase,
phosphatase and arylsulphatase),
the addition of biochar did not change the enzyme assays. The biochar led to an
overestimation in terms of the protease and urease activities in the sandy soil. In the
clay loamy soil, biochar did not change the response of any of the enzyme activities
tested. A biochar dose of up to 2% only guarantees the effectiveness of the most common
spectrophotometric methods for not excessively sandy soils
Comparing Object Encodings
No full textRecent years have seen the development of several foundational models for statically typed object-oriented programming. But despite their intuitive similarity, differences in the technical machinery used to formulate the various proposals have made them difficult to compare. Using the typed lambda-calculus F ! !: as a common basis, we now offer a detailed comparison of four models: (1) a recursive-record encoding similar to the ones used by Cardelli [Car84], Reddy [Red88, KR94], Cook [Coo89, CHC90], and others; (2) Hofmann, Pierce, and Turner's existential encoding [PT94, HP95]; (3) Bruce's model based on existential and recursive types [Bru94]; and (4) Abadi, Cardelli, and Viswanathan's type-theoretic encoding [ACV96] of a calculus of primitive objects. 1 Introduction Over the last half decade, several authors have proposed foundational models for statically typed object-oriented programming. Although their motivating intuitions and the technical machinery they use are all strongly ..
- …
