1,364 research outputs found

    Experimental behaviour of a steel structure under natural fire

    Get PDF
    Current design codes for fire resistance of structures are based on isolated member tests subjected to standard fire conditions. Such tests do not reflect the behaviour of a complete building under either normal temperature or fire conditions. Many aspects of behaviour occur due to the interaction between members and cannot be predicted or observed in tests of isolated elements. Performance of real structures subject to real fires is often much better than that predicted from standard tests due to structural continuity and the provision of alternative load paths.http://www.sciencedirect.com/science/article/B6V37-4KN5C4D-1/1/8f781d0c96159d54029bef7c9ec451b

    Experimental behaviour of a steel structure under natural fire

    Get PDF
    Current design codes for fire resistance of structures are based on isolated member tests subjected to standard fire conditions. Such tests do not reflect the behaviour of a complete building under either normal temperature or fire conditions. Many aspects of behaviour occur due to the interaction between members and cannot be predicted or observed in tests of isolated elements. Performance of real structures subject to real fires is often much better than that predicted from standard tests due to structural continuity and the provision of alternative load paths.http://www.sciencedirect.com/science/article/B6V37-4KN5C4D-1/1/8f781d0c96159d54029bef7c9ec451b

    Determination of the (3x3)-Sn/Ge(111) structure by photoelectron diffraction

    Full text link
    At a coverage of about 1/3 monolayer, Sn deposited on Ge(111) below 550 forms a metastable (sqrt3 x sqrt3)R30 phase. This phase continuously and reversibly transforms into a (3x3) one, upon cooling below 200 K. The photoemission spectra of the Sn 4d electrons from the (3x3)-Sn/Ge(111) surface present two components which are attributed to inequivalent Sn atoms in T4 bonding sites. This structure has been explored by photoelectron diffraction experiments performed at the ALOISA beamline of the Elettra storage ring in Trieste (Italy). The modulation of the intensities of the two Sn components, caused by the backscattering of the underneath Ge atoms, has been measured as a function of the emission angle at fixed kinetic energies and viceversa. The bond angle between Sn and its nearest neighbour atoms in the first Ge layer (Sn-Ge1) has been measured by taking polar scans along the main symmetry directions and it was found almost equivalent for the two components. The corresponding bond lengths are also quite similar, as obtained by studying the dependence on the photoelectron kinetic energy, while keeping the photon polarization and the collection direction parallel to the Sn-Ge1 bond orientation (bond emission). A clear difference between the two bonding sites is observed when studying the energy dependence at normal emission, where the sensitivity to the Sn height above the Ge atom in the second layer is enhanced. This vertical distance is found to be 0.3 Angstroms larger for one Sn atom out of the three contained in the lattice unit cell. The (3x3)-Sn/Ge(111) is thus characterized by a structure where the Sn atom and its three nearest neighbour Ge atoms form a rather rigid unit that presents a strong vertical distortion with respect to the underneath atom of the second Ge layer.Comment: 10 pages with 9 figures, added reference

    Counterexample-Driven Synthesis for Probabilistic Program Sketches

    Full text link
    Probabilistic programs are key to deal with uncertainty in e.g. controller synthesis. They are typically small but intricate. Their development is complex and error prone requiring quantitative reasoning over a myriad of alternative designs. To mitigate this complexity, we adopt counterexample-guided inductive synthesis (CEGIS) to automatically synthesise finite-state probabilistic programs. Our approach leverages efficient model checking, modern SMT solving, and counterexample generation at program level. Experiments on practically relevant case studies show that design spaces with millions of candidate designs can be fully explored using a few thousand verification queries.Comment: Extended versio

    Mixing of Active and Sterile Neutrinos

    Full text link
    We investigate mixing of neutrinos in the ν\nuMSM (neutrino Minimal Standard Model), which is the MSM extended by three right-handed neutrinos. Especially, we study elements of the mixing matrix ΘαI\Theta_{\alpha I} between three left-handed neutrinos να\nu_\alpha (α=e,μ,τ\alpha = e,\mu,\tau) and two sterile neutrinos NIN_I (I=2,3I=2,3) which are responsible to the seesaw mechanism generating the suppressed masses of active neutrinos as well as the generation of the baryon asymmetry of the universe (BAU). It is shown that ΘeI\Theta_{eI} can be suppressed by many orders of magnitude compared with ΘμI\Theta_{\mu I} and ΘτI\Theta_{\tau I}, when the Chooz angle θ13\theta_{13} is large in the normal hierarchy of active neutrino masses. We then discuss the neutrinoless double beta decay in this framework by taking into account the contributions not only from active neutrinos but also from all the three sterile neutrinos. It is shown that N2N_2 and N3N_3 give substantial, destructive contributions when their masses are smaller than a few 100 MeV, and as a results ΘeI\Theta_{e I} receive no stringent constraint from the current bounds on such decay. Finally, we discuss the impacts of the obtained results on the direct searches of N2,3N_{2,3} in meson decays for the case when N2,3N_{2,3} are lighter than pion mass. We show that there exists the allowed region for N2,3N_{2,3} with such small masses in the normal hierarchy case even if the current bound on the lifetimes of N2,3N_{2,3} from the big bang nucleosynthesis is imposed. It is also pointed out that the direct search by using π+e++N2,3\pi^+ \to e^+ + N_{2,3} and K+e++N2,3K^+ \to e^+ + N_{2,3} might miss such N2,3N_{2,3} since the branching ratios can be extremely small due to the cancellation in ΘeI\Theta_{eI}, but the search by K+μ++N2,3K^+ \to \mu^+ + N_{2,3} can cover the whole allowed region by improving the measurement of the branching ratio by a factor of 5.Comment: 30 pages, 32 figure

    Targeting transcription regulation in cancer with a covalent CDK7 inhibitor

    Get PDF
    Tumour oncogenes include transcription factors that co-opt the general transcriptional machinery to sustain the oncogenic state, but direct pharmacological inhibition of transcription factors has so far proven difficult. However, the transcriptional machinery contains various enzymatic cofactors that can be targeted for the development of new therapeutic candidates, including cyclin-dependent kinases (CDKs). Here we present the discovery and characterization of a covalent CDK7 inhibitor, THZ1, which has the unprecedented ability to target a remote cysteine residue located outside of the canonical kinase domain, providing an unanticipated means of achieving selectivity for CDK7. Cancer cell-line profiling indicates that a subset of cancer cell lines, including human T-cell acute lymphoblastic leukaemia (T-ALL), have exceptional sensitivity to THZ1. Genome-wide analysis in Jurkat T-ALL cells shows that THZ1 disproportionally affects transcription of RUNX1 and suggests that sensitivity to THZ1 may be due to vulnerability conferred by the RUNX1 super-enhancer and the key role of RUNX1 in the core transcriptional regulatory circuitry of these tumour cells. Pharmacological modulation of CDK7 kinase activity may thus provide an approach to identify and treat tumour types that are dependent on transcription for maintenance of the oncogenic state.National Institutes of Health (U.S.) (Grant HG002668)National Institutes of Health (U.S.) (Grant CA109901

    Study of the oxidation of ammonia in a flow reactor. Experiments and kinetic modeling simulation

    Get PDF
    The present work is focused on the analysis of the ammonia oxidation process and the formation of main nitrogen oxides (NO, NO2 and N2O) over a wide range of temperatures and O2 reaction environments. Experiments are performed at atmospheric pressure in a laboratory quartz tubular flow reactor, covering the temperature range of 875 to 1450 K and for different air excess ratios (from pyrolysis to very oxidizing conditions). The experimental results are simulated and interpreted in terms of a detailed chemical-kinetic mechanism. Reaction path and sensitivity analyses are used to delineate the NH3 oxidation scheme
    corecore