Impact cratering calculations

In the course of carrying out finite difference calculations, it was discovered that for large craters, a previously unrecognized type of crater (diameter) growth occurred which was called lip wave propagation. This type of growth is illustrated for an impact of a 1000 km (2a) silicate bolide at 12 km/sec (U) onto a silicate half-space at earth gravity (1 g). The von Misses crustal strength is 2.4 kbar. The motion at the crater lip associated with this wave type phenomena is up, outward, and then down, similar to the particle motion of a surface wave. It is shown that the crater diameter has grown d/a of approximately 25 to d/a of approximately 4 via lip propagation from Ut/a = 5.56 to 17.0 during the time when rebound occurs. A new code is being used to study partitioning of energy and momentum and cratering efficiency with self gravity for finite-sized objects rather than the previously discussed planetary half-space problems. These are important and fundamental subjects which can be addressed with smoothed particle hydrodynamic (SPH) codes. The SPH method was used to model various problems in astrophysics and planetary physics. The initial work demonstrates that the energy budget for normal and oblique impacts are distinctly different than earlier calculations for silicate projectile impact on a silicate half space. Motivated by the first striking radar images of Venus obtained by Magellan, the effect of the atmosphere on impact cratering was studied. In order the further quantify the processes of meteor break-up and trajectory scattering upon break-up, the reentry physics of meteors striking Venus' atmosphere versus that of the Earth were studied

Influência do espaçamento na produção volumétrica e qualidade da madeira de Mimosa scabrella Benth. e Eucalyptus viminalis Labill.

bitstream/item/101160/1/PA-1983-Ahrens-InfluenciaEspacamentoProducao.pdf.pd

The MgSiO_3 system at high pressure: Thermodynamic properties of perovskite, postperovskite, and melt from global inversion of shock and static compression data

We present new equation-of-state (EoS) data acquired by shock loading to pressures up to 245 GPa on both low-density samples (MgSiO_3 glass) and high-density, polycrystalline aggregates (MgSiO_3 perovskite + majorite). The latter samples were synthesized using a large-volume press. Modeling indicates that these materials transform to perovskite, postperovskite, and/or melt with increasing pressure on their Hugoniots. We fit our results together with existing P-V-T data from dynamic and static compression experiments to constrain the thermal EoS for the three phases, all of which are of fundamental importance to the dynamics of the lower mantle. The EoS for perovskite and postperovskite are well described with third-order Birch-Murnaghan isentropes, offset with a Mie-Grüneisen-Debye formulation for thermal pressure. The addition of shock data helps to distinguish among discrepant static studies of perovskite, and for postperovskite, constrain a value of K' significantly larger than 4. For the melt, we define for the first time a single EoS that fits experimental data from ambient pressure to 230 GPa; the best fit requires a fourth-order isentrope. We also provide a new EoS for Mg_2SiO_4 liquid, calculated in a similar manner. The Grüneisen parameters of the solid phases decrease with pressure, whereas those of the melts increase, consistent with previous shock wave experiments as well as molecular dynamics simulations. We discuss implications of our modeling for thermal expansion in the lower mantle, stabilization of ultra-low-velocity zones associated with melting at the core-mantle boundary, and crystallization of a terrestrial magma ocean

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

Efeitos da primeira poda em povoamentos jovens de Pinus elliottii var elliottii, estabelecidos na região costeira do Rio Grande do Sul.

bitstream/item/101229/1/PA-1983-Ahrens-EfeitosPrimeira.pd

Efeitos da primeira poda em povoamentos jovens de Pinus taeda L. estabelecidos em Mafra, SC, região do alto rio negro.

bitstream/item/101227/1/PA-1983-Abrens-EfeitoPrimeira.pd

Ocorrência de nematóides das galhas das raizes, Meloidogyne incognita (Kofoid & White, 1919) Chitwood, 1949 e M. javanica (Treub, 1885) Chitwood, 1949 em Bracatinga Mimosa scabrella (Benth.) no Estado do Paraná.

bitstream/item/101253/1/PA-1983-Iede-OcorrenciaNematoides.pd

Predictors of incident herpes simplex virus type 2 infections in young women at risk for unintended pregnancy in San Francisco.

BackgroundYoung women receiving family planning services are at risk for both unintended pregnancy and herpes simplex virus type 2 (HSV-2) infection.MethodsWe performed a secondary analysis using data from a previously published randomized controlled trial evaluating access to emergency contraception on reproductive health outcomes. Women aged 15 to 24 years were recruited from two Planned Parenthood clinics and two community health clinics in San Francisco. Demographic information and sexual history were obtained by interview. HSV-2 seropositivity was determined by fingerstick blood test. New pregnancies were measured by self-report, urine testing and medical chart review. Subjects were evaluated for incident HSV-2 infection and pregnancy at a 6-month follow-up appointment. Women who were pregnant or intending to become pregnant at enrolment were excluded.ResultsAt enrolment 2,104 women were screened for HSV-2 and 170 (8.1%) were seropositive. Eighty-seven percent of initially seronegative women completed the study (n = 1,672) and 73 (4.4%) became HSV-2 seropositive. HSV-2 seroincidence was 7.8 cases per 100 person-years. One hundred and seventeen women (7%) became pregnant and 7 (6%) of these had a seroincident HSV-2 infection during the study. After adjustment for confounders, predictors of incident HSV-2 infection were African American race and having multiple partners in the last six months. Condom use at last sexual encounter was protective.ConclusionHSV-2 seroincidence and the unintended pregnancy rate in young women were high. Providers who counsel women on contraceptive services and sexually transmitted infection prevention could play an expanded role in counselling women about HSV-2 prevention given the potential sequelae in pregnancy. The potential benefit of targeted screening and future vaccination against HSV-2 needs to be assessed in this population

Spin dynamics in the Kapitza-Dirac effect

Electron spin dynamics in Kapitza-Dirac scattering from a standing laser wave of high frequency and high intensity is studied. We develop a fully relativistic quantum theory of the electron motion based on the time-dependent Dirac equation. Distinct spin dynamics, with Rabi oscillations and complete spin-flip transitions, is demonstrated for Kapitza-Dirac scattering involving three photons in a parameter regime accessible to future high-power X-ray laser sources. The Rabi frequency and, thus, the diffraction pattern is shown to depend crucially on the spin degree of freedom

Estudos de desbaste em Eucalyptus saligna Sm. para rotação longa.

bitstream/item/101259/1/PA-1983-Pereira-EstudoDesbaste.pd