689 research outputs found

    A normal form for natural deductions in a type theory with realizing terms

    Get PDF

    Structured mesh generation and numerical analysis of a scroll expander in an open-source environment

    Get PDF
    The spread of the organic rankine cycle applications has driven researchers and companies to focus on the improvement of their performance. In small to medium-sized plants, cyanthe expander is the component that has typically attracted the most attention. One of the most used types of machine in this scenario is the scroll. Among the other methods, numerical analyses have been increasingly exploited for the investigation of the machine's behaviour. Nonetheless, there are major challenges for the successful application of computational fluid dynamics cyan(CFD) to scrolls. Specifically, the dynamic mesh treatment required to capture the movement of working chambers and the nature of the expanding fluids require special care. In this work, a mesh generator for scroll machines is presented. Given few inputs, the software described provides the mesh and the nodal positions required for the evolution of the motion in a predefined mesh motion approach. The mesh generator is developed ad hoc for the coupling with the open-source CFD suite OpenFOAM. A full analysis is then carried out on a reverse-engineered commercial machine, including the refrigerant properties calculations via CoolProp. It is demonstrated that the proposed methodology allows for a fast simulation and achieves a good agreement with respect to former analyses

    CFD Simulations of Single- and Twin-Screw Machines with OpenFOAM

    Get PDF
    Over the last decade, Computational Fluid Dynamics (CFD) has been increasingly applied for the design and analysis of positive displacement machines employed in vapor compression and power generation applications. Particularly, single-screw and twin-screw machines have received attention from the researchers, leading to the development and application of increasingly efficient techniques for their numerical simulation. Modeling the operation of such machines including the dynamics of the compression (or expansion) process and the deforming working chambers is particularly challenging. The relative motion of the rotors and the variation of the gaps during machine operation are a few of the major numerical challenges towards the implementation of reliable CFD models. Moreover, evaluating the thermophysical properties of real gases represents an additional challenge to be addressed. Special care must be given to defining equation of states or generating tables and computing the thermodynamic properties. Among several CFD suite available, the open-source OpenFOAM tool OpenFOAM, is regarded as a reliable and accurate software for carrying out CFD analyses. In this paper, the dynamic meshing techniques available within the software as well as new libraries implemented for expanding the functionalities of the software are presented. The simulation of both a single-screw and a twin-screw machine is described and results are discussed. Specifically, for the single-screw expander case, the geometry will be released as open-access for the entire community. Besides, the real gas modeling possibilities implemented in the software will be described and the CoolProp thermophysical library integration will be presented

    Bulk Cr tips for scanning tunneling microscopy and spin-polarized scanning tunneling microscopy

    Full text link
    A simple, reliable method for preparation of bulk Cr tips for Scanning Tunneling Microscopy (STM) is proposed and its potentialities in performing high-quality and high-resolution STM and Spin Polarized-STM (SP-STM) are investigated. Cr tips show atomic resolution on ordered surfaces. Contrary to what happens with conventional W tips, rest atoms of the Si(111)-7x7 reconstruction can be routinely observed, probably due to a different electronic structure of the tip apex. SP-STM measurements of the Cr(001) surface showing magnetic contrast are reported. Our results reveal that the peculiar properties of these tips can be suited in a number of STM experimental situations

    Generalization of particle impact behavior in gas turbine via non-dimensional grouping

    Get PDF
    Fouling in gas turbines is caused by airborne contaminants which, under certain conditions, adhere to aerodynamic surfaces upon impact. The growth of solid deposits causes geometric modifications of the blades in terms of both mean shape and roughness level. The consequences of particle deposition range from performance deterioration to life reduction to complete loss of power. Due to the importance of the phenomenon, several methods to model particle sticking have been proposed in literature. Most models are based on the idea of a sticking probability, defined as the likelihood a particle has to stick to a surface upon impact. Other models investigate the phenomenon from a deterministic point of view by calculating the energy available before and after the impact. The nature of the materials encountered within this environment does not lend itself to a very precise characterization, consequently, it is difficult to establish the limits of validity of sticking models based on field data or even laboratory scale experiments. As a result, predicting the growth of solid deposits in gas turbines is still a task fraught with difficulty. In this work, two nondimensional parameters are defined to describe the interaction between incident particles and a substrate, with particular reference to sticking behavior in a gas turbine. In the first part of the work, historical experimental data on particle adhesion under gas turbine-like conditions are analyzed by means of relevant dimensional quantities (e.g. particle viscosity, surface tension, and kinetic energy). After a dimensional analysis, the data then are classified using non-dimensional groups and a universal threshold for the transition from erosion to deposition and from fragmentation to splashing based on particle properties and impact conditions is identified. The relation between particle kinetic energy/surface energy and the particle temperature normalized by the softening temperature represents the original non-dimensional groups able to represent a basis of a promising adhesion criterion

    Low-frequency modes in the Raman spectrum of sp-sp2 nanostructured carbon

    Full text link
    A novel form of amorphous carbon with sp-sp2 hybridization has been recently produced by supersonic cluster beam deposition showing the presence in the film of both polyynic and cumulenic species [L. Ravagnan et al. Phys. Rev. Lett. 98, 216103 (2007)]. Here we present a in situ Raman characterization of the low frequency vibrational region (400-800 cm-1) of sp-sp2 films at different temperatures. We report the presence of two peaks at 450 cm-1 and 720 cm-1. The lower frequency peak shows an evolution with the variation of the sp content and it can be attributed, with the support of density functional theory (DFT) simulations, to bending modes of sp linear structures. The peak at 720 cm-1 does not vary with the sp content and it can be attributed to a feature in the vibrational density of states activated by the disorder of the sp2 phase.Comment: 15 pages, 5 figures, 1 tabl

    Field cancerization therapy with ingenol mebutate contributes to restoring skin-metabolism to normal-state in patients with actinic keratosis: a metabolomic analysis

    Get PDF
    Actinic keratosis (AK) is a skin premalignant lesion, which progresses into squamous cell carcinoma (SCC) if left untreated. Ingenol mebutate gel is approved for local treatment of non-hyperkeratotic, non-hypertrophic AK; it also has the potential to act as a field cancerization therapy to prevent the progression of AK to SCC. To gain better insights into the mechanisms of ingenol mebutate beyond the mere clinical assessment, we investigated, for the first time, the metabolome of skin tissues from patients with AK, before and after ingenol mebutate treatment, with high-resolution magic angle spinning nuclear magnetic resonance spectroscopy. The metabolomic profiles were compared with those of tissues from healthy volunteers. Overall, we identified a number of metabolites, the homeostasis of which became altered during the process of tumorigenesis from healthy skin to AK, and was restored, at least partially, by ingenol mebutate therapy. These metabolites may help to attain a better understanding of keratinocyte metabolism and to unmask the metabolic pathways related to cell proliferation. These results provide helpful information to identify biomarkers with prognostic and therapeutic significance in AK, and suggest that field cancerization therapy with ingenol mebutate may contribute to restore skin metabolism to a normal state in patients with AK

    Field cancerization therapy with ingenol mebutate contributes to restoring skin-metabolism to normal-state in patients with actinic keratosis: a metabolomic analysis

    Get PDF
    Actinic keratosis (AK) is a skin premalignant lesion, which progresses into squamous cell carcinoma (SCC) if left untreated. Ingenol mebutate gel is approved for local treatment of non-hyperkeratotic, non-hypertrophic AK; it also has the potential to act as a field cancerization therapy to prevent the progression of AK to SCC. To gain better insights into the mechanisms of ingenol mebutate beyond the mere clinical assessment, we investigated, for the first time, the metabolome of skin tissues from patients with AK, before and after ingenol mebutate treatment, with high-resolution magic angle spinning nuclear magnetic resonance spectroscopy. The metabolomic profiles were compared with those of tissues from healthy volunteers. Overall, we identified a number of metabolites, the homeostasis of which became altered during the process of tumorigenesis from healthy skin to AK, and was restored, at least partially, by ingenol mebutate therapy. These metabolites may help to attain a better understanding of keratinocyte metabolism and to unmask the metabolic pathways related to cell proliferation. These results provide helpful information to identify biomarkers with prognostic and therapeutic significance in AK, and suggest that field cancerization therapy with ingenol mebutate may contribute to restore skin metabolism to a normal state in patients with AK

    Two-dimensional TiOx nanostructures on Au(111): a Scanning Tunneling Microscopy and Spectroscopy investigation

    Get PDF
    We investigated the growth of titanium oxide two-dimensional (2D) nanostructures on Au(111), produced by Ti evaporation and post-deposition oxidation. Scanning tunneling microscopy and spectroscopy (STM and STS) and low-energy electron diffraction (LEED) measurements characterized the morphological, structural and electronic properties of the observed structures. Five distinct TiOx phases were identified: the honeycomb and pinwheel phases appear as monolayer films wetting the gold surface, while nanocrystallites of the triangular, row and needle phases grow mainly over the honeycomb or pinwheel layers. Density Functional Theory (DFT) investigation of the honeycomb structure supports a (2 x 2) structural model based on a Ti-O bilayer having Ti2O3 stoichiometry. The pinwheel phase was observed to evolve, for increasing coverage, from single triangular crystallites to a well-ordered film forming a (4*sqrt(7) x 4*sqrt(7))R19.1° superstructure, which can be interpreted within a moire-like model. Structural characteristics of the other three phases were disclosed from the analysis of high-resolution STM measurements. STS measurements revealed a partial metallization of honeycomb and pinwheel and a semiconducting character of row and triangular phases
    corecore