Mechanisms and Observations of Coronal Dimming for the 2010 August 7 Event

Coronal dimming of extreme ultraviolet (EUV) emission has the potential to be a useful forecaster of coronal mass ejections (CMEs). As emitting material leaves the corona, a temporary void is left behind which can be observed in spectral images and irradiance measurements. The velocity and mass of the CMEs should impact the character of those observations. However, other physical processes can confuse the observations. We describe these processes and the expected observational signature, with special emphasis placed on the differences. We then apply this understanding to a coronal dimming event with an associated CME that occurred on 2010 August 7. Data from the Solar Dynamics Observatory's (SDO) Atmospheric Imaging Assembly (AIA) and EUV Variability Experiment (EVE) are used for observations of the dimming, while the Solar and Heliospheric Observatory's (SOHO) Large Angle and Spectrometric Coronagraph (LASCO) and the Solar Terrestrial Relations Observatory's (STEREO) COR1 and COR2 are used to obtain velocity and mass estimates for the associated CME. We develop a technique for mitigating temperature effects in coronal dimming from full-disk irradiance measurements taken by EVE. We find that for this event, nearly 100% of the dimming is due to mass loss in the corona

The role of microtubule movement in bidirectional organelle transport

We study the role of microtubule movement in bidirectional organelle transport in Drosophila S2 cells and show that EGFP-tagged peroxisomes in cells serve as sensitive probes of motor induced, noisy cytoskeletal motions. Multiple peroxisomes move in unison over large time windows and show correlations with microtubule tip positions, indicating rapid microtubule fluctuations in the longitudinal direction. We report the first high-resolution measurement of longitudinal microtubule fluctuations performed by tracing such pairs of co-moving peroxisomes. The resulting picture shows that motor-dependent longitudinal microtubule oscillations contribute significantly to cargo movement along microtubules. Thus, contrary to the conventional view, organelle transport cannot be described solely in terms of cargo movement along stationary microtubule tracks, but instead includes a strong contribution from the movement of the tracks.Comment: 24 pages, 5 figure

Nonlinearity-induced conformational instability and dynamics of biopolymers

We propose a simple phenomenological model for describing the conformational dynamics of biopolymers via the nonlinearity-induced buckling and collapse (i.e. coiling up) instabilities. Taking into account the coupling between the internal and mechanical degrees of freedom of a semiflexible biopolymer chain, we show that self-trapped internal excitations (such as amide-I vibrations in proteins, base-pair vibrations in DNA, or polarons in proteins) may produce the buckling and collapse instabilities of an initially straight chain. These instabilities remain latent in a straight infinitely long chain, because the bending of such a chain would require an infinite energy. However, they manifest themselves as soon as we consider more realistic cases and take into account a finite length of the chain. In this case the nonlinear localized modes may act as drivers giving impetus to the conformational dynamics of biopolymers. The buckling instability is responsible, in particular, for the large-amplitude localized bending waves which accompany the nonlinear modes propagating along the chain. In the case of the collapse instability, the chain folds into a compact three-dimensional coil. The viscous damping of the aqueous environment only slows down the folding of the chain, but does not stop it even for a large damping. We find that these effects are only weakly affected by the peculiarities of the interaction potentials, and thus they should be generic for different models of semiflexible chains carrying nonlinear localized excitations.Comment: 4 pages (RevTeX) with 5 figures (EPS

Calculating quench propagation with ANSYS®

A commercial Finite-Element-Analysis program, ANSYS®, is widely used in structural and thermal analysis. With the program's ability to include nonlinear material properties and import complex CAD files, one can generate coil geometries and simulate quench propagation in superconducting magnets. A "proof-of-principle" finite element model was developed assuming a resistivity that increases linearly from zero to its normal value at a temperature consistent with the assumed B magnetic field. More sophisticated models could easily include finer-grained coil, cable, structural, and circuit details. A quench is provoked by raising the temperature of an arbitrary superconducting element above its T . The time response to this perturbation is calculated using small time-steps to allow convergence between steps. Snapshots of the temperature and voltage distributions allow examination of longitudinal and turn-to-turn quench propagation, quench-front annihilation, and cryo-stability. Modeling details are discussed, and a computed voltage history was compared with measurements from a recent magnet test.

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude