63 research outputs found

    The study on an automotive refill opening cap preforming process based on single point incremental forming

    Get PDF
    In this paper, the preform of an automotive refill opening cap is manufactured through the incremental sheet forming (ISF) with large rigidity because of the lower thickness reduction percentage, and the production cost is reduced. Four processing parameters, including the preforming height (PH), the preforming press amount (PPA), the preforming tool diameter (PTD) and the preforming angle (PA), are optimized by orthogonal tests and response surface methods, and the max thickness reduction percentage (MTRP) is taken as the test target. Results: The optimal processing parameters include a PH of 15 mm, a PPA of 0,5 mm, a PTD of 8 mm and a PA of 40°

    Formal verification of safety protocol in train control system

    Get PDF
    In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method

    Common genetic variants of the ion channel transient receptor potential membrane melastatin 6 and 7 (TRPM6 and TRPM7), magnesium intake, and risk of type 2 diabetes in women

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Ion channel transient receptor potential membrane melastatin 6 and 7 (TRPM6 and TRPM7) play a central role in magnesium homeostasis, which is critical for maintaining glucose and insulin metabolism. However, it is unclear whether common genetic variation in <it>TRPM6 </it>and <it>TRPM7 </it>contributes to risk of type 2 diabetes.</p> <p>Methods</p> <p>We conducted a nested case-control study in the Women's Health Study. During a median of 10 years of follow-up, 359 incident diabetes cases were diagnosed and matched by age and ethnicity with 359 controls. We analyzed 20 haplotype-tagging single nucleotide polymorphisms (SNPs) in <it>TRPM6 </it>and 5 common SNPs in <it>TRPM7 </it>for their association with diabetes risk.</p> <p>Results</p> <p>Overall, there was no robust and significant association between any single SNP and diabetes risk. Neither was there any evidence of association between common <it>TRPM6 </it>and <it>TRPM7 </it>haplotypes and diabetes risk. Our haplotype analyses suggested a significant risk of type 2 diabetes among carriers of both the rare alleles from two non-synomous SNPs in <it>TRPM6 </it>(Val1393Ile in exon 26 [rs3750425] and Lys1584Glu in exon 27 [rs2274924]) when their magnesium intake was lower than 250 mg per day. Compared with non-carriers, women who were carriers of the haplotype 1393Ile-1584Glu had an increased risk of type 2 diabetes (OR, 4.92, 95% CI, 1.05–23.0) only when they had low magnesium intake (<250 mg/day).</p> <p>Conclusion</p> <p>Our results provide suggestive evidence that two common non-synonymous <it>TRPM6 </it>coding region variants, Ile1393Val and Lys1584Glu polymorphisms, might confer susceptibility to type 2 diabetes in women with low magnesium intake. Further replication in large-scale studies is warranted.</p

    ZIC1 Is Downregulated through Promoter Hypermethylation, and Functions as a Tumor Suppressor Gene in Colorectal Cancer

    Get PDF
    The transcription factor, Zinc finger of the cerebellum (ZIC1), plays a crucial role in vertebrate development. Recently, ZIC1 has also been found to participate in the progression of human cancers, including medulloblastomas, endometrial cancers, and mesenchymal neoplasms. However, the function of ZIC1 in colon cancer progression has not been defined. In this study, we demonstrate ZIC1 to be silenced or significantly downregulated in colon cancer cell lines. These effects were reversed by demethylation treatment with 5-aza-2â€Č-deoxycytidine (Aza). ZIC1 expression is also significantly downregulated in primary colorectal cancer tissues relative to adjacent non-tumor tissues (p = 0.0001). Furthermore, methylation of ZIC1 gene promoter is frequently detected in primary tumor tissues (85%, 34/40), but not in adjacent non-tumor tissues. Ectopic expression of ZIC1 suppresses cell proliferation and induces apoptosis, which is associated with MAPK and PI3K/Akt pathways, as well as the Bcl-xl/Bad/Caspase3 cascade. To identify target candidates of ZIC1, we employed cDNA microarray and found that 337 genes are downregulated and 95 genes upregulated by ectopic expression of ZIC1, which were verified by 10 selected gene expressions by qRT-PCR. Taken together, our results suggest that ZIC1 may potentially function as a tumor suppressor gene, which is downregulated through promoter hypermethylation in colorectal cancers

    TRY plant trait database – enhanced coverage and open access

    Get PDF
    Plant traits - the morphological, anatomical, physiological, biochemical and phenological characteristics of plants - determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait‐based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits - almost complete coverage for ‘plant growth form’. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait–environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

    Global urban environmental change drives adaptation in white clover

    Get PDF
    Urbanization transforms environments in ways that alter biological evolution. We examined whether urban environmental change drives parallel evolution by sampling 110,019 white clover plants from 6169 populations in 160 cities globally. Plants were assayed for a Mendelian antiherbivore defense that also affects tolerance to abiotic stressors. Urban-rural gradients were associated with the evolution of clines in defense in 47% of cities throughout the world. Variation in the strength of clines was explained by environmental changes in drought stress and vegetation cover that varied among cities. Sequencing 2074 genomes from 26 cities revealed that the evolution of urban-rural clines was best explained by adaptive evolution, but the degree of parallel adaptation varied among cities. Our results demonstrate that urbanization leads to adaptation at a global scale
    • 

    corecore