Single parameter testing Quarterly report

Test signals, AC analysis, transfer function determination, and nonlinear components for single parameter testing of amplifie

Single parameter testing, phase D Final report

Single parameter testing techniques for electronic measuring equipment and other component

Electron, ion and neutral temperatures at the magnetic equator

Electron density and electron, ion, and neutral temperature profiles at magnetic equato

Interactive Simplifier Tracing and Debugging in Isabelle

The Isabelle proof assistant comes equipped with a very powerful tactic for term simplification. While tremendously useful, the results of simplifying a term do not always match the user's expectation: sometimes, the resulting term is not in the form the user expected, or the simplifier fails to apply a rule. We describe a new, interactive tracing facility which offers insight into the hierarchical structure of the simplification with user-defined filtering, memoization and search. The new simplifier trace is integrated into the Isabelle/jEdit Prover IDE.Comment: Conferences on Intelligent Computer Mathematics, 201

The Width of a CME and the Source of the Driving Magnetic Explosion

We show that the strength of the magnetic field in the area covered by the flare arcade following a CME-producing ejective solar eruption can be estimated from the final angular width of the CME in the outer corona and the final angular width of the flare arcade. We assume (1) the flux-rope plasmoid ejected from the flare site becomes the interior of the CME plasmoid, (2) in the outer corona the CME is roughly a "spherical plasmoid with legs" shaped like a light bulb, and (3) beyond some height in or below the outer corona the CME plasmoid is in lateral pressure balance with the surrounding magnetic field. The strength of the nearly radial magnetic field in the outer corona is estimated from the radial component of the interplanetary magnetic field measured by Ulysses. We apply this model to three well-observed CMEs that exploded from flare regions of extremely different size and magnetic setting. In each event, the estimated source-region field strength is appropriate for the magnetic setting of the flare. This agreement indicates via the model that CMEs (1) are propelled by the magnetic field of the CME plasmoid pushing against the surrounding magnetic field, and (2) can explode from flare regions that are laterally far offset from the radial path of the CME in the outer corona

The Width of a Solar Coronal Mass Ejection and the Source of the Driving Magnetic Explosion

We show that the strength of the magnetic field in the area covered by the flare arcade following a CME-producing ejective solar eruption can be estimated from the final angular width of the CME in the outer corona and the final angular width of the flare arcade. We assume (1) the flux-rope plasmoid ejected from the flare site becomes the interior of the CME plasmoid, (2) in the outer corona (R greater than 2R(sub Sun)) the CME is roughly a spherical plasmoid with legs shaped like a light bulb, and (3) beyond some height in or below the outer corona the CME plasmoid is in lateral pressure balance with the surrounding magnetic field. The strength of the nearly radial magnetic field in the outer corona is estimated from the radial component of the interplanetary magnetic field measured by Ulysses. We apply this model to three well-observed CMEs that exploded from flare regions of extremely different size and magnetic setting. One of these CMEs is an over-and-out CME that exploded from a laterally far offset compact ejective flare. In each event, the estimated source-region field strength is appropriate for the magnetic setting of the flare. This agreement (1) indicates that CMEs are propelled by the magnetic field of the CME plasmoid pushing against the surrounding magnetic field, (2) supports the magnetic-arch-blowout scenario for over-and-out CMEs, and (3) shows that a CME s final angular width in the outer corona can be estimated from the amount of magnetic flux covered by the source-region flare arcade

New Evidence that CMEs are Self-Propelled Magnetic Bubbles

We briefly describe the "standard model" for the production of coronal mass ejections (CMEs), and our view of how it works. We then summarize pertinent recent results that we have found from SOHO observations of CMEs and the flares at the sources of these magnetic explosions. These results support our interpretation of the standard model: a CME is basically a self-propelled magnetic bubble, a low-beta plasmoitl, that (1) is built and unleashed by the tether-cutting reconnection that builds and heats the coronal flare arcade, (2) can explode from a flare site that is far from centered under the full-blown CME in the outer corona, and (3) drives itself out into the solar wind by pushing on the surrounding coronal magnetic field

Theoretical Analysis of the Relative Impact of Obesity on Hemodynamic Stability During Acute Hemorrhagic Shock

Background: Evidence suggests that morbid obesity may be an independent risk factor for adverse outcomes in patients with traumatic injuries. Objectives: In this study, a theoretic analysis using a derivation of the Guyton model of cardiovascular physiology examines the expected impact of obesity on hemodynamic changes in Mean Arterial Pressure (MAP) and Cardiac Output (CO) during Hemorrhagic Shock (HS). Patients and Methods: Computer simulation studies were used to predict the relative impact of increasing Body Mass Index (BMI) on global hemodynamic parameters during HS. The analytic procedure involved recreating physiologic conditions associated with changing BMI for a virtual subject in an In Silico environment. The model was validated for the known effect of a BMI of 30 on iliofemoral venous pressures. Then, the relative effect of changing BMI on the outcome of target cardiovascular parameters was examined during simulated acute loss of blood volume in class II hemorrhage. The percent changes in these parameters were compared between the virtual nonobese and obese subjects. Model parameter values are derived from known population distributions, producing simulation outputs that can be used in a deductive systems analysis assessment rather than traditional frequentist statistical methodologies. Results: In hemorrhage simulation, moderate increases in BMI were found to produce greater decreases in MAP and CO compared to the normal subject. During HS, the virtual obese subject had 42% and 44% greater falls in CO and MAP, respectively, compared to the nonobese subject. Systems analysis of the model revealed that an increase in resistance to venous return due to changes in intra-abdominal pressure resulting from obesity was the critical mechanism responsible for the differences. Conclusions: This study suggests that obese patients in HS may have a higher risk of hemodynamic instability compared to their nonobese counterparts primarily due to obesity-induced increases in intra-abdominal pressure resulting in reduced venous return