Numerical Modeling of Shock-Induced Damage for Granite under Dynamic Loading

Johnson-Holmquist constitutive model for brittle materials, coupled with a crack softening model, is used to describe the deviatoric and tensile crack propagation beneath impact crater in granite. Model constants are determined either directly from static uniaxial strain loading experiments, or indirectly from numerical adjustment. Constants are put into AUTODYN-2D from Century Dynamics to simulate the shock-induced damage in granite targets impacted by projectiles at different velocities. The agreement between experimental data and simulated results is encouraging. Instead of traditional grid-based methods, a Smooth Particle Hydrodynamics solver is used to define damaged regions in brittle media

Giant Impact Induced Atmospheric Blow-Off

Previous calculations indicate that the Earth suffered impacts from objects up to Mars size. Such a giant impact may have produced a temporary ejecta-based ring that accreted to form the Moon. To simulate the surface waves from such events we approximated the cratering source as a buried pressurized sphere. For a 10^27 J impactor we calculated the resulting surface wave using the mode summation method of Sato et al.. For such an impact, the solid Earth free-surface velocity above, and antipodal to, the source achieves 2.6 and 1.9 km/s. Such large ground motions pump the atmosphere and result in upward particle motions which cause the atmosphere to be accelerated to excess of the escape velocity (11.2 km/s) at high altitudes. For a 1.3 × 10^32 J Moon-forming impact we calculate that ~50% of the Earth's atmosphere is accelerated to escape

Shock wave induced vaporization of porous solids

Strong shock waves generated by hypervelocity impact can induce vaporization in solid materials. To pursue knowledge of the chemical species in the shock-induced vapors, one needs to design experiments that will drive the system to such thermodynamic states that sufficient vapor can be generated for investigation. It is common to use porous media to reach high entropy, vaporized states in impact experiments. We extended calculations by Ahrens [J. Appl. Phys. 43, 2443 (1972)] and Ahrens and O'Keefe [The Moon 4, 214 (1972)] to higher distentions (up to five) and improved their method with a different impedance match calculation scheme and augmented their model with recent thermodynamic and Hugoniot data of metals, minerals, and polymers. Although we reconfirmed the competing effects reported in the previous studies: (1) increase of entropy production and (2) decrease of impedance match, when impacting materials with increasing distentions, our calculations did not exhibit optimal entropy-generating distention. For different materials, very different impact velocities are needed to initiate vaporization. For aluminum at distention (m)<2.2, a minimum impact velocity of 2.7 km/s is required using tungsten projectile. For ionic solids such as NaCl at distention <2.2, 2.5 km/s is needed. For carbonate and sulfate minerals, the minimum impact velocities are much lower, ranging from less than 1 to 1.5 km/s

Immersed-Foil Method for Measuring Shock Wave Profiles in Solids

A new technique is described for measuring, essentially directly, a complex shock front profile that is transmitted into a transparent liquid from a solid material. The image of a grid light source, reflected from a Mylar foil immersed within the liquid, is recorded with a streak camera.Index of refraction data for liquids in the high‐pressure shocked state (required for calculating particle velocities from image displacements) are reported for glycerol, ethanol, water, and hexane to 220, 135, 58, and 41 kbar, respectively. The increase of index of refraction with density for water agrees with that reported by Zel'dovich, Sinitsyn, and Kormer, but is considerably less (as are also the results for the other liquids) than that predicted by the Lorentz‐Lorenz formula. Hugoniot data obtained concurrently with the refractive index data agree closely with those of Rice and Walsh. Applications of the immersed‐foil method are discussed for: (a) determining the release adiabats from shock states produced by a double shock front in a solid; (b) the study of shock wave attenuation in solids; and (3) measurement of the adiabatic sound velocity of liquids in the high‐pressure shocked state

From AMANDA to IceCube

The first string of the neoteric high energy neutrino telescope IceCube successfully began operating in January 2005. It is anticipated that upon completion the new detector will vastly increase the sensitivity and extend the reach of AMANDA to higher energies. A discussion of the IceCube's discovery potential for extra-terrestrial neutrinos, together with the prospects of new physics derived from the ongoing AMANDA research will be the focus of this paper. Preliminary results of the first antarctic high energy neutrino telescope AMANDA searching in the muon neutrino channel for localized and diffuse excess of extra-terrestrial neutrinos will be reviewed using data collected between 2000 and 2003. Neutrino flux limits obtained with the all-flavor dedicated UHE and cascade analyses will be described. A first neutrino spectrum above one TeV in agreement with atmospheric neutrino flux expectations and no extra-terrestrial contribution will be presented, followed by a discussion of a limit for neutralino CDM candidates annihilating in the center of the Sun.Comment: 15 pages, 8 figures Invited talk contribution at 5th International Conference on Non-accelerator New Physics (NANP 05), Dubna, Russia, 20-25 Jun 200

Exact ground states of quantum spin-2 models on the hexagonal lattice

We construct exact non-trivial ground states of spin-2 quantum antiferromagnets on the hexagonal lattice. Using the optimum ground state approach we determine the ground state in different subspaces of a general spin-2 Hamiltonian consistent with some realistic symmetries. These states, which are not of simple product form, depend on two free parameters and can be shown to be only weakly degenerate. We find ground states with different types of magnetic order, i.e. a weak antiferromagnet with finite sublattice magnetization and a weak ferromagnet with ferrimagnetic order. For the latter it is argued that a quantum phase transition occurs within the solvable subspace.Comment: 7 pages, accepted for publication in Phys. Rev.

Extended Initiality for Typed Abstract Syntax

Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax. Zsid\'o proves an initiality result for simply-typed syntax: given a signature S, the abstract syntax associated to S constitutes the initial object in a category of models of S in monads. However, the iteration principle her theorem provides only accounts for translations between two languages over a fixed set of object types. We generalize Zsid\'o's notion of model such that object types may vary, yielding a larger category, while preserving initiality of the syntax therein. Thus we obtain an extended initiality theorem for typed abstract syntax, in which translations between terms over different types can be specified via the associated category-theoretic iteration operator as an initial morphism. Our definitions ensure that translations specified via initiality are type-safe, i.e. compatible with the typing in the source and target language in the obvious sense. Our main example is given via the propositions-as-types paradigm: we specify propositions and inference rules of classical and intuitionistic propositional logics through their respective typed signatures. Afterwards we use the category--theoretic iteration operator to specify a double negation translation from the former to the latter. A second example is given by the signature of PCF. For this particular case, we formalize the theorem in the proof assistant Coq. Afterwards we specify, via the category-theoretic iteration operator, translations from PCF to the untyped lambda calculus

In Vivo Intracellular Oxygen Dynamics in Murine Brain Glioma and Immunotherapeutic Response of Cytotoxic T Cells Observed by Fluorine-19 Magnetic Resonance Imaging

Noninvasive biomarkers of anti-tumoral efficacy are of great importance to the development of therapeutic agents. Tumor oxygenation has been shown to be an important indicator of therapeutic response. We report the use of intracellular labeling of tumor cells with perfluorocarbon (PFC) molecules, combined with quantitative 19F spin-lattice relaxation rate (R1) measurements, to assay tumor cell oxygen dynamics in situ. In a murine central nervous system (CNS) GL261 glioma model, we visualized the impact of Pmel-1 cytotoxic T cell immunotherapy, delivered intravenously, on intracellular tumor oxygen levels. GL261 glioma cells were labeled ex vivo with PFC and inoculated into the mouse striatum. The R1 of 19F labeled cells was measured using localized single-voxel magnetic resonance spectroscopy, and the absolute intracellular partial pressure of oxygen (pO2) was ascertained. Three days after tumor implantation, mice were treated with 2×107 cytotoxic T cells intravenously. At day five, a transient spike in pO2 was observed indicating an influx of T cells into the CNS and putative tumor cell apoptosis. Immunohistochemistry and quantitative flow cytometry analysis confirmed that the pO2 was causally related to the T cells infiltration. Surprisingly, the pO2 spike was detected even though few (∼4×104) T cells actually ingress into the CNS and with minimal tumor shrinkage. These results indicate the high sensitivity of this approach and its utility as a non-invasive surrogate biomarker of anti-cancer immunotherapeutic response in preclinical models. © 2013 Zhong et al

Equation of state of forsterite

Shock wave data for pure forsterite with initial bulk densities of 2.6 and 3.1 g/cm^3 are obtained to 0.370 Mb by impacting series of specimens with tungsten alloy plates that are launched at speeds of up to 2.3 km/sec with a high-performance propellant gun. The onset of a shock-induced phase change, probably corresponding to the forsterite-‘post spinel’ phase change is observed at 0.280±0.025 Mb. Because of the low shock temperatures, the transition is believed to be limited by the reaction rate and this pressure value should be taken only as an upper limit. Adiabats derived from the Hugoniot data for the forsterite phase are fit to the two-parameter finite strain Birch-Murnaghan equation and to two simple ionic equations of state. The Birch-Murnaghan form of the equation of state gives a zero-pressure bulk modulus (1.29 Mb) that agrees more closely with the ultrasonic data than the modulus obtained from the ionic equations of state. An unusual relaxation effect, in which the elastic shock precursor velocity varies from 5.8 to 9.5 km/sec, is also observed. The characteristic time of the relaxation process appears to be less than 1 μsec