480 research outputs found

    Integration of crosswind forces into train dynamic modelling

    Get PDF
    In this paper a new method is used to calculate unsteady wind loadings acting on a railway vehicle. The method takes input data from wind tunnel testing or from computational fluid dynamics simulations (one example of each is presented in this article), for aerodynamic force and moment coefficients and combines these with fluctuating wind velocity time histories and train speed to produce wind force time histories on the train. This method is fast and efficient and this has allowed the wind forces to be applied to a vehicle dynamics simulation for a long length of track. Two typical vehicles (one passenger, one freight) have been modelled using the vehicle dynamics simulation package ‘VAMPIRE®’, which allows detailed modelling of the vehicle suspension and wheel—rail contact. The aerodynamic coefficients of the passenger train have been obtained from wind tunnel tests while those of the freight train have been obtained through fluid dynamic computations using large-eddy simulation. Wind loadings were calculated for the same vehicles for a range of average wind speeds and applied to the vehicle models using a user routine within the VAMPIRE package. Track irregularities measured by a track recording coach for a 40 km section of the main line route from London to King's Lynn were used as input to the vehicle simulations. The simulated vehicle behaviour was assessed against two key indicators for derailment; the Y/Q ratio, which is an indicator of wheel climb derailment, and the Δ Q/Q value, which indicates wheel unloading and therefore potential roll over. The results show that vehicle derailment by either indicator is not predicted for either vehicle for any mean wind speed up to 20 m/s (with consequent gusts up to around 30 m/s). At a higher mean wind speed of 25 m/s derailment is predicted for the passenger vehicle and the unladen freight vehicle (but not for the laden freight vehicle)

    A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

    Full text link
    Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process faults, or network failures, these algorithms are difficult to design and verify. Many algorithms achieve fault tolerance by using threshold guards that, for instance, ensure that a process waits until it has received an acknowledgment from a majority of its peers. Consequently, domain-specific languages for fault-tolerant distributed systems offer language support for threshold guards. We introduce an automated method for model checking of safety and liveness of threshold-guarded distributed algorithms in systems where the number of processes and the fraction of faulty processes are parameters. Our method is based on a short counterexample property: if a distributed algorithm violates a temporal specification (in a fragment of LTL), then there is a counterexample whose length is bounded and independent of the parameters. We prove this property by (i) characterizing executions depending on the structure of the temporal formula, and (ii) using commutativity of transitions to accelerate and shorten executions. We extended the ByMC toolset (Byzantine Model Checker) with our technique, and verified liveness and safety of 10 prominent fault-tolerant distributed algorithms, most of which were out of reach for existing techniques.Comment: 16 pages, 11 pages appendi

    Composition and Conservation Value of Epiphytic Lichen Communities on Common Ash in North-Western Alps: A First Assessment

    Get PDF
    In the western sector of the Alps, and particularly in the Aosta Valley, lichenological communities on broad-leaved trees have received very little attention, and information about lichen species associated with common ash (Fraxinus excelsior L.) are still scanty. Therefore, in this study, we analyzed epiphytic lichen communities of ash trees to estimate their composition, their conservation value, and their association with some key environmental variables. Our results show that lichen communities appear to be different in terms of occurrence and frequencies in different sampling sites. The tested environmental variables contribute to shape the lichen communities, which are significantly different (p Lecanora impudens and Rinodina polyspora) were included in the red list of Italian epiphytic lichens

    Notulae to the Italian flora of algae, bryophytes, fungi and lichens: 5

    Get PDF
    In this contribution, new data concerning bryophytes, fungi, and lichens of the Italian flora are presented. It includes new records and confirmations for the bryophyte genera Diplophyllum and Ptychostomum, the fungal genera Arrhenia, Gymnosporangium, and Sporidesmium and the lichen genera Arthonia, Coenogonium, Flavoplaca, Gyalolechia, Parmotrema, Peltigera, Pterygiopsis, Squamarina, Tornabea, and Waynea

    A novel format for recombinant antibody-interleukin-2 fusion proteins exhibits superior tumor-targeting properties in vivo

    Get PDF
    The targeted delivery of interleukin-2 to the tumor is gaining attention as an avenue to potentiate the action of T and NK cells at the site of disease. We have previously described the fusion of the L19 antibody, specific to the EDB domain of fibronectin, with human interleukin-2, using a non-covalent homodimeric diabody format. Here, we describe four novel formats for the L19-IL2 fusion, featuring different arrangements of antibody and IL2. A comparative quantitative biodistribution analysis in tumor-bearing mice using radioiodinated proteins revealed that the novel format (L19L19-IL2, with the antibody in single-chain diabody format) exhibited the best biodistribution results. In vitro assays on peripheral blood mononuclear cells showed a decrease activation of regulatory T cells when single IL2 domain was used. In vivo, both L19-IL2 and L19L19-IL2 inhibited tumor growth in immunocompetent mouse models of cancer. T-cell analysis revealed similar levels of CD4+ and FoxP3+ cells, with an expansion of the CD8+ T cell in mice treated with L19-IL2 and L19L19-IL2. The percentage of CD4+ regulatory T cells was markedly decreased with L19L19-IL2 combined with a mouse-specific PD-1 blocker. Collectively, these data indicate that the new L19L19-IL2 format exhibits favorable tumor-homing properties and mediates a potent anti-cancer activity in vivo

    Decision-making process about prenatal genetic screening: how deeply do moms-to-be want to know from Non-Invasive Prenatal Testing?

    Get PDF
    BackgroundPrenatal information may be obtained through invasive diagnostic procedures and non-invasive screening procedures. Several psychological factors are involved in the decision to undergo a non-invasive prenatal testing (NIPT) but little is known about the decision-making strategies involved in choosing a specific level of in-depth NIPT, considering the increased availability and complexity of NIPT options. The main aim of this work is to assess the impact of psychological factors (anxiety about pregnancy, perception of risk in pregnancy, intolerance to uncertainty), and COVID-19 pandemic on the type of NIPT chosen, in terms of the number of conditions that are tested.MethodsA self-administered survey evaluated the decision-making process about NIPT. The final sample comprised 191 women (M-age = 35.53; SD = 4.79) who underwent a NIPT from one private Italian genetic company. Based on the test date, the sample of women was divided between "NIPT before COVID-19" and "NIPT during COVID-19".ResultsAlmost all of the participants reported being aware of the existence of different types of NIPT and more than half reported having been informed by their gynecologist. Results showed no significant association between the period in which women underwent NIPT (before COVID-19 or during COVID-19) and the preferences for more expanded screening panel. Furthermore, regarding psychological variables, results showed a significant difference between perceived risk for the fetus based on the NIPT type groups, revealing that pregnant women who underwent the more expanded panel had a significantly higher level of perceived risk for the fetus than that reported by pregnant women who underwent the basic one. There was no statistically significant difference between the other psychological variables and NIPT type.ConclusionsOur findings indicate the paramount role of gynecologist and other health care providers, such as geneticists and psychologists, is to support decision-making process in NIPT, in order to overcome people's deficits in genetic knowledge, promote awareness about their preferences, and control anxiety related to the unborn child. Decision-support strategies are critical during the onset of prenatal care, according to the advances in prenatal genomics and to parent's needs

    Roles of genetic polymorphisms in the folate pathway in childhood acute lymphoblastic leukemia evaluated by bayesian relevance and effect size analysis.

    Get PDF
    In this study we investigated whether polymorphisms in the folate pathway influenced the risk of childhood acute lymphoblastic leukemia (ALL) or the survival rate of the patients. For this we selected and genotyped 67 SNPs in 15 genes in the folate pathway in 543 children with ALL and 529 controls. The results were evaluated by gender adjusted logistic regression and by the Bayesian network based Bayesian multilevel analysis of relevance (BN-BMLA) methods. Bayesian structure based odds ratios for the relevant variables and interactions were also calculated. Altogether 9 SNPs in 8 genes were associated with altered susceptibility to ALL. After correction for multiple testing, two associations remained significant. The genotype distribution of the MTHFD1 rs1076991 differed significantly between the ALL and control population. Analyzing the subtypes of the disease the GG genotype increased only the risk of B-cell ALL (p = 3.52x10(-4); OR = 2.00). The GG genotype of the rs3776455 SNP in the MTRR gene was associated with a significantly reduced risk to ALL (p = 1.21x10(-3); OR = 0.55), which resulted mainly from the reduced risk to B-cell and hyperdiploid-ALL. The TC genotype of the rs9909104 SNP in the SHMT1 gene was associated with a lower survival rate comparing it to the TT genotype (80.2% vs. 88.8%; p = 0.01). The BN-BMLA confirmed the main findings of the frequentist-based analysis and showed structural interactional maps and the probabilities of the different structural association types of the relevant SNPs especially in the hyperdiploid-ALL, involving additional SNPs in genes like TYMS, DHFR and GGH. We also investigated the statistical interactions and redundancies using structural model properties. These results gave further evidence that polymorphisms in the folate pathway could influence the ALL risk and the effectiveness of the therapy. It was also shown that in gene association studies the BN-BMLA could be a useful supplementary to the traditional frequentist-based statistical method

    Environmental DNA assessment of airborne plant and fungal seasonal diversity

    Get PDF
    Environmental DNA (eDNA) metabarcoding and metagenomics analyses can improve taxonomic resolution in biodiversity studies. Only recently, these techniques have been applied in aerobiology, to target bacteria, fungi and plants in airborne samples. Here, we present a nine-month aerobiological study applying eDNA metabarcoding in which we analyzed simultaneously airborne diversity and variation of fungi and plants across five locations in North and Central Italy. We correlated species composition with the ecological characteristics of the sites and the seasons. The most abundant taxa among all sites and seasons were the fungal genera Cladosporium, Alternaria, and Epicoccum and the plant genera Brassica, Corylus, Cupressus and Linum, the latter being much more variable among sites. PERMANOVA and indicator species analyses showed that the plant diversity from air samples is significantly correlated with seasons, while that of fungi varied according to the interaction between seasons and sites. The results consolidate the performance of a new eDNA metabarcoding pipeline for the simultaneous amplification and analysis of airborne plant and fungal particles. They also highlight the promising complementarity of this approach with more traditional biomonitoring frameworks and routine reports of air quality provided by environmental agencies

    Fluid dynamic parameters of naturally derived hydroxyapatite scaffolds for in vitro studies of bone cells

    Get PDF
    Hydroxyapatite scaffolds obtained from the biomorphic transformation of wood are characterized from a fluid dynamic point of view. Such material of recent introduction offers great advantages for the in vitro study of bone cells, mostly in virtue of its peculiar porous structure. Determining the flow resistance and morphological parameters of these scaffolds is an essential step towards their practical use in bioreactors and microfluidic devices. To this aim, a series of tests involving a draining fluid are performed on a set of disc-shaped scaffolds, followed by the microscopy analysis of the pores visible on the sample faces. Contrarily to what expected, a temperature dependence is observed for the flow resistance, even after normalizing it by the fluid properties. The interpretation of the experimental results is assisted by numerical outcomes from Computational Fluid Dynamics modelling, which underline some limitations in the application of classical laws to the present problem. While the complex and variable internal structure of the scaffolds prevents the systematic use of simplified formulae, a correlation is found between the flow resistance and the pore geometry, which can facilitate the characterization of further samples
    corecore