266 research outputs found
Formal Availability Analysis using Theorem Proving
Availability analysis is used to assess the possible failures and their
restoration process for a given system. This analysis involves the calculation
of instantaneous and steady-state availabilities of the individual system
components and the usage of this information along with the commonly used
availability modeling techniques, such as Availability Block Diagrams (ABD) and
Fault Trees (FTs) to determine the system-level availability. Traditionally,
availability analyses are conducted using paper-and-pencil methods and
simulation tools but they cannot ascertain absolute correctness due to their
inaccuracy limitations. As a complementary approach, we propose to use the
higher-order-logic theorem prover HOL4 to conduct the availability analysis of
safety-critical systems. For this purpose, we present a higher-order-logic
formalization of instantaneous and steady-state availability, ABD
configurations and generic unavailability FT gates. For illustration purposes,
these formalizations are utilized to conduct formal availability analysis of a
satellite solar array, which is used as the main source of power for the Dong
Fang Hong-3 (DFH-3) satellite.Comment: 16 pages. arXiv admin note: text overlap with arXiv:1505.0264
The Value of Suction Drainage Fluid Culture during Aseptic and Septic Orthopedic Surgery: A Prospective Study of 901 Patients
There are no guidelines on the value of suction drainage fluid culture (SDC), and it is difficult to determine whether the organisms cultured from suction drainage fluid samples are pathogenic or simply contaminants. We performed 2989 cultures of suction drainage fluid samples obtained, during a 1-year period, from 901 patients who underwent aseptic or septic orthopedic surgery (946 operations). The culture results were analyzed to evaluate their ability to detect postoperative infection after aseptic operations or to detect either a persistent or new episode of sepsis in patients known to have infection. For aseptic operations, the sensitivity of SDC was 25%, the specificity was 99%, the positive predictive value was 25%, and the negative predictive value was 99%. For septic operations, the sensitivity of SDC was 81%, the specificity was 96%, the positive predictive value was 87%, and the negative predictive value was 94%. We conclude that, for aseptic orthopedic surgery, SDC is not useful in detecting postoperative infection. However, for septic orthopedic surgery, it is of clinical importanc
Phorbol Esters and SDF-1 Induce Rapid Endocytosis and Down Modulation of the Chemokine Receptor CXCR4
The chemokine receptor CXCR4 is required, together with CD4, for entry by some isolates of HIV-1, particularly those that emerge late in infection. The use of CXCR4 by these viruses likely has profound effects on viral host range and correlates with the evolution of immunodeficiency. Stromal cell-derived factor-1 (SDF-1), the ligand for CXCR4, can inhibit infection by CXCR4-dependent viruses. To understand the mechanism of this inhibition, we used a monoclonal antibody that is specific for CXCR4 to analyze the effects of phorbol esters and SDF-1 on surface expression of CXCR4. On human T cell lines SupT1 and BC7, CXCR4 undergoes slow constitutive internalization (1.0% of the cell surface pool/min). Addition of phorbol esters increased this endocytosis rate >6-fold and reduced cell surface CXCR4 expression by 60 to 90% over 120 min. CXCR4 was internalized through coated pits and coated vesicles and subsequently localized in endosomal compartments from where it could recycle to the cell surface after removal of the phorbol ester. SDF-1 also induced the rapid down modulation (half time ∼5 min) of CXCR4. Using mink lung epithelial cells expressing CXCR4 and a COOH-terminal deletion mutant of CXCR4, we found that an intact cytoplasmic COOH-terminal domain was required for both PMA and ligand-induced CXCR4 endocytosis. However, experiments using inhibitors of protein kinase C indicated that SDF-1 and phorbol esters trigger down modulation through different cellular mechanisms
Let's Make Love: Whiteness, Cleanliness and Sexuality in the French Reception of Marilyn Monroe
Copyright © by SAGE PublicationsRichard Dyer’s seminal work on whiteness in film considers Marilyn Monroe as the epitome of an institutionally racist Hollywood system that imagines the most desirable woman to be blonde, given that blondeness is understood as a guarantee of whiteness. This article adds to other recent scholarship on Monroe that has sought to complicate this reading by examining other meanings that can be attributed to her bleached blonde hair. By closely analyzing media texts that discussed Monroe in 1950s France, this article demonstrates the way in which her performance of ideal American female sexuality was read through the prism of Monroe as icon of cleanliness and (linked) modernity. It examines the way in which Monroe’s modernity allowed her to partially escape the traditional feminine private sphere and it concludes that Monroe’s bleached blonde hair can be seen in this context as having liberatory potential
Recent EUROfusion Achievements in Support of Computationally Demanding Multiscale Fusion Physics Simulations and Integrated Modeling
Integrated modeling (IM) of present experiments and future tokamak reactors requires the provision of computational resources and numerical tools capable of simulating multiscale spatial phenomena as well as fast transient events and relatively slow plasma evolution within a reasonably short computational time. Recent progress in the implementation of the new computational resources for fusion applications in Europe based on modern supercomputer technologies (supercomputer MARCONI-FUSION), in the optimization and speedup of the EU fusion-related first-principle codes, and in the development of a basis for physics codes/modules integration into a centrally maintained suite of IM tools achieved within the EUROfusion Consortium is presented. Physics phenomena that can now be reasonably modelled in various areas (core turbulence and magnetic reconnection, edge and scrape-off layer physics, radio-frequency heating and current drive, magnetohydrodynamic model, reflectometry simulations) following successful code optimizations and parallelization are briefly described. Development activities in support to IM are summarized. They include support to (1) the local deployment of the IM infrastructure and access to experimental data at various host sites, (2) the management of releases for sophisticated IM workflows involving a large number of components, and (3) the performance optimization of complex IM workflows.This work has been carried out within the framework of the EUROfusion Consortium and has received funding from the Euratom research and training programme 2014 to 2018 under grant agreement 633053. The views and opinions expressed herein do not necessarily reflect those of the European Commission or ITER.Peer ReviewedPostprint (published version
The 2017 May 20 stellar occultation by the elongated centaur (95626) 2002 GZ
We predicted a stellar occultation of the bright star Gaia DR1
4332852996360346368 (UCAC4 385-75921) (m= 14.0 mag) by the centaur
2002 GZ for 2017 May 20. Our latest shadow path prediction
was favourable to a large region in Europe. Observations were arranged in a
broad region inside the nominal shadow path. Series of images were obtained
with 29 telescopes throughout Europe and from six of them (five in Spain and
one in Greece) we detected the occultation. This is the fourth centaur, besides
Chariklo, Chiron and Bienor, for which a multi-chord stellar occultation is
reported. By means of an elliptical fit to the occultation chords we obtained
the limb of 2002 GZ during the occultation, resulting in an ellipse with
axes of 305 17 km 146 8 km. From this limb, thanks to a
rotational light curve obtained shortly after the occultation, we derived the
geometric albedo of 2002 GZ ( = 0.043 0.007) and a 3-D
ellipsoidal shape with axes 366 km 306 km 120 km. This shape
is not fully consistent with a homogeneous body in hydrostatic equilibrium for
the known rotation period of 2002 GZ. The size (albedo) obtained from
the occultation is respectively smaller (greater) than that derived from the
radiometric technique but compatible within error bars. No rings or debris
around 2002 GZ were detected from the occultation, but narrow and thin
rings cannot be discarded.Comment: Accepted for publication in MNRAS (8-Dec.-2020), 15 pages, 9 figure
Dissolved inorganic nutrients and chlorophyll on the narrow continental shelf of Eastern Brazil
HGF-Induced PKCζ Activation Increases Functional CXCR4 Expression in Human Breast Cancer Cells
The chemokine receptor CXCR4 and its ligand CXCL12 have been shown to mediate the metastasis of many malignant tumors including breast carcinoma. Interaction between hepatocyte growth factor (HGF) and the Met receptor tyrosine kinase mediates development and progression of cancers. HGF is able to induce CXCR4 expression and contributes to tumor cell invasiveness in breast carcinoma. However, the mechanism of the CXCR4 expression modulated by c-Met-HGF axis to enhance the metastatic behavior of breast cancer cells is still unclear. In this study, we found that HGF induced functional CXCR4 receptor expression in breast cancer cells. The effect of HGF was specifically mediated by PKCζ activity. After transfection with PKCζ-siRNA, the phosphorylation of PKCζ and CXCR4 was abrogated in breast cancer cells. Interference with the activation of Rac1, a downstream target of HGF, prevented the HGF-induced increase in PKCζ activity and CXCR4 levels. The HGF-induced, LY294002-sensitive translocation of PKCζ from cytosol to plasma membrane indicated that HGF was capable of activating PKCζ, probably via phosphoinositide (PI) 3-kinases. HGF treatment also increased MT1-MMP secretion. Inhibition of PKCζ, Rac-1 and phosphatidylinositol 3-kinase may attenuate MT1-MMP expression in cells exposed to HGF. Functional manifestation of the effects of HGF revealed an increased ability for migration, chemotaxis and metastasis in MDA-MB-436 cells in vitro and in vivo. Our findings thus provided evidence that the process of HGF-induced functional CXCR4 expression may involve PI 3-kinase and atypical PKCζ. Moreover, HGF may promote the invasiveness and metastasis of breast tumor xenografts in BALB/c-nu mice via the PKCζ-mediated pathway, while suppression of PKCζ by RNA interference may abrogate cancer cell spreading
Analysis of CC chemokine and chemokine receptor expression in solid ovarian tumours
To understand the chemokine network in a tissue, both chemokine and chemokine receptor expression should be studied. Human epithelial ovarian tumours express a range of chemokines but little is known about the expression and localisation of chemokine receptors. With the aim of understanding chemokine action in this cancer, we investigated receptors for CC–chemokines and their ligands in 25 biopsies of human ovarian cancer. CC–chemokine receptor mRNA was generally absent from solid tumours, the exception being CCR1 which was detected in samples from 75% of patients. CCR1 mRNA localised to macrophages and lymphocytes and there was a correlation between numbers of CD8+ and CCR1 expressing cells (P = 0.031). mRNA for 6 CC-chemokines was expressed in a majority of tumour samples. In a monocytic cell line in vitro, we found that CCR1 mRNA expression was increased 5-fold by hypoxia. We suggest that the CC-chemokine network in ovarian cancer is controlled at the level of CC-chemokine receptors and this may account for the phenotypes of infiltrating cells found in these tumours. The leukocyte infiltrate may contribute to tumour growth and spread by providing growth survival factors and matrix metalloproteases. Thus, CCR1 may be a novel therapeutic target in ovarian cancer. http://www.bjcancer.com © 2001 Cancer Research Campaignhttp://www.bjcancer.co
- …