4,837 research outputs found

    Microstructural characterization of AISI 431 martensitic stainless steel laser-deposited coatings

    Get PDF
    High cooling rates during laser cladding of stainless steels may alter the microstructure and phase constitution of the claddings and consequently change their functional properties. In this research, solidification structures and solid state phase transformation products in single and multi layer AISI 431 martensitic stainless steel coatings deposited by laser cladding at different processing speeds are investigated by optical microscopy, Scanning electron microscopy (SEM), energy dispersive spectroscopy (EDS), orientation imaging microscopy (OIM), ternary phase diagram, Schaeffler and TTT diagrams. The results of this study show how partitionless solidification and higher solidification rates alter the microstructure and phase constitution of martensitic stainless steel laser deposited coatings. In addition, it is shown that while different cladding speeds have no effect on austenite–martensite orientation relationship in the coatings, increasing the cladding speed has resulted in a reduction of hardness in deposited coatings which is in contrast to the common idea about obtaining higher hardness values at higher cladding speeds.

    Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

    Get PDF
    Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods

    Effects of a burst of formation of first-generation stars on the evolution of galaxies

    Full text link
    First-generation (Population III) stars in the universe play an important role inearly enrichment of heavy elements in galaxies and intergalactic medium and thus affect the history of galaxies. The physical and chemical properties of primordial gas clouds are significantly different from those of present-day gas clouds observed in the nearby universe because the primordial gas clouds do not contain any heavy elements which are important coolants in the gas. Previous theoretical considerations have suggested that typical masses of the first-generation stars are between several MM_\odot and 10M\approx 10 M_\odot although it has been argued that the formation of very massive stars (e.g., >100M> 100 M_\odot) is also likely. If stars with several MM_\odot are most popular ones at the epoch of galaxy formation, most stars will evolve to hot (e.g., 105\gtrsim 10^5 K), luminous (104L\sim 10^4 L_\odot) stars with gaseous and dusty envelope prior to going to die as white dwarf stars. Although the duration of this phase is short (e.g., 105\sim 10^5 yr), such evolved stars could contribute both to the ionization of gas in galaxies and to the production of a lot of dust grains if the formation of intermediate-mass stars is highly enhanced. We compare gaseous emission-line properties of such nebulae with some interesting high-redshift galaxies such asIRAS F10214+4724 and powerful radio galaxies.Comment: 25 pages, 7 figures, ApJ, in pres

    Inelastic interaction mean free path of negative pions in tungsten

    Get PDF
    The inelastic interaction mean free paths lambda of 5, 10, and 15 GeV/c pions were measured by determining the distribution of first interaction locations in a modular tungsten-scintillator ionization spectrometer. In addition to commonly used interaction signatures of a few (2-5) particles in two or three consecutive modules, a chi2 distribution is used to calculate the probability that the first interaction occurred at a specific depth in the spectrometer. This latter technique seems to be more reliable than use of the simpler criteria. No significant dependence of lambda on energy was observed. In tungsten, lambda for pions is 206 plus or minus 6 g/sq cm

    Silicon-organic hybrid electro-optical devices

    Get PDF
    Organic materials combined with strongly guiding silicon waveguides open the route to highly efficient electro-optical devices. Modulators based on the so-called silicon-organic hybrid (SOH) platform have only recently shown frequency responses up to 100 GHz, high-speed operation beyond 112 Gbit/s with fJ/bit power consumption. In this paper, we review the SOH platform and discuss important devices such as Mach-Zehnder and IQ-modulators based on the linear electro-optic effect. We further show liquid-crystal phase-shifters with a voltage-length product as low as V pi L = 0.06 V.mm and sub-mu W power consumption as required for slow optical switching or tuning optical filters and devices

    Improved methods for detection of β-galactosidase (lacZ) activity in hard tissue

    Get PDF
    The ß-galactosidase gene (lacZ) of Escherichia coli is widely used as a reporter gene. The expression of lacZ can be detected by enzyme-based histochemical staining using chromogenic substrates such as 5-bromo-4-chloro-3-indolyl-ß-D: -galactoside (X-gal). Because the enzymatic activity of lacZ is vulnerable to high temperatures and acid treatment for demineralization, detection of lacZ on paraffinized sections is difficult, especially for hard tissues, which require demineralization before sectioning in paraffin. To circumvent this problem, whole-mount X-gal staining before sectioning is performed. However, detection of lacZ activity in the center of larger portions of hard whole adult tissues is challenging. In this study, focusing on fixation procedures, we determined the conditions conducive to improved detection of lacZ activity in deeper areas of whole tissues. We used an annexin a5 (Anxa5)-lacZ reporter mouse model in which the Anxa5 expression in hard tissue is indicated by lacZ activity. We found that lacZ activity could be detected throughout the periodontal ligament of adult mice when fixed in 100% acetone, whereas it was not detected in the periodontal ligament around the root apex fixed in glutaraldehyde and paraformaldehyde. This staining could not be detected in wild-type mice. Acetone maintains the lacZ activity within 48 h of fixation at both 4°C and at room temperature. In conclusion, acetone is the optimal fixative to improve permeability for staining of lacZ activity in large volumes of adult hard tissues

    Проектирование системы электроснабжения электротехнического завода

    Get PDF
    В процессе исследования произведен расчет нагрузок трансформаторного и базы в целом с применением различных методов, выбор метода расчета производился на основе исходных данных, а также осуществлен выбор оборудования и его проверка при различных режимах работы. В результате исследования была спроектирована конкретная модель электроснабжения базы по обслуживанию нефтегазодобывающего месторождения, представлена ее экономическая целесообразность и безопасность для окружающей среды.In the process of studying the calculation of the load and base as a whole with the use of various methods, the choice of the calculation method on the basis of the initial data, and also the selection of equipment and its verification under various operating modes was carried out. As a result of the research, a specific model of power supply for the oil and gas industry maintenance base, its economic feasibility and safety for the environment was designed

    Epidermal ADAM17 maintains the skin barrier by regulating EGFR ligand-dependent terminal keratinocyte differentiation

    Get PDF
    ADAM17 (a disintegrin and metalloproteinase 17) is ubiquitously expressed and cleaves membrane proteins, such as epidermal growth factor receptor (EGFR) ligands, l-selectin, and TNF, from the cell surface, thus regulating responses to tissue injury and inflammation. However, little is currently known about its role in skin homeostasis. We show that mice lacking ADAM17 in keratinocytes (A17(ΔKC)) have a normal epidermal barrier and skin architecture at birth but develop pronounced defects in epidermal barrier integrity soon after birth and develop chronic dermatitis as adults. The dysregulated expression of epidermal differentiation proteins becomes evident 2 d after birth, followed by reduced transglutaminase (TGM) activity, transepidermal water loss, up-regulation of the proinflammatory cytokine IL-36α, and inflammatory immune cell infiltration. Activation of the EGFR was strongly reduced in A17(ΔKC) skin, and topical treatment of A17(ΔKC) mice with recombinant TGF-α significantly improved TGM activity and decreased skin inflammation. Finally, we show that mice lacking the EGFR in keratinocytes (Egfr(ΔKC)) closely resembled A17(ΔKC) mice. Collectively, these results identify a previously unappreciated critical role of the ADAM17–EGFR signaling axis in maintaining the homeostasis of the postnatal epidermal barrier and suggest that this pathway could represent a good target for treatment of epidermal barrier defects

    Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

    Get PDF
    This essay examines the philosophical significance of Ω\Omega-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of Ω\Omega-logical validity can then be countenanced within a coalgebraic logic, and Ω\Omega-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of Ω\Omega-logical validity correspond to those of second-order logical consequence, Ω\Omega-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets
    corecore