Simulation verification techniques study. Subsystem simulation validation techniques

Techniques for validation of software modules which simulate spacecraft onboard systems are discussed. An overview of the simulation software hierarchy for a shuttle mission simulator is provided. A set of guidelines for the identification of subsystem/module performance parameters and critical performance parameters are presented. Various sources of reference data to serve as standards of performance for simulation validation are identified. Environment, crew station, vehicle configuration, and vehicle dynamics simulation software are briefly discussed from the point of view of their interfaces with subsystem simulation modules. A detailed presentation of results in the area of vehicle subsystems simulation modules is included. A list of references, conclusions and recommendations are also given

Simulation verification techniques study: Simulation performance validation techniques document

Techniques and support software for the efficient performance of simulation validation are discussed. Overall validation software structure, the performance of validation at various levels of simulation integration, guidelines for check case formulation, methods for real time acquisition and formatting of data from an all up operational simulator, and methods and criteria for comparison and evaluation of simulation data are included. Vehicle subsystems modules, module integration, special test requirements, and reference data formats are also described

A Damping of the de Haas-van Alphen Oscillations in the superconducting state

Deploying a recently developed semiclassical theory of quasiparticles in the superconducting state we study the de Haas-van Alphen effect. We find that the oscillations have the same frequency as in the normal state but their amplitude is reduced. We find an analytic formulae for this damping which is due to tunnelling between semiclassical quasiparticle orbits comprising both particle-like and hole-like segments. The quantitative predictions of the theory are consistent with the available data.Comment: 7 pages, 5 figure

Low Dirac Eigenmodes and the Topological and Chiral Structure of the QCD Vacuum

Several lattice calculations which probe the chiral and topological structure of QCD are discussed. The results focus attention on the low-lying eigenmodes of the Dirac operator in typical gauge field configurations.Comment: Talk presented at the DPF2000 Conferenc

Limits on the Boron Isotopic Ratio in HD 76932

Data in the 2090 A B region of HD 76932 have been obtained at high S/N using the HST GHRS echelle at a resolution of 90,000. This wavelength region has been previously identified as a likely candidate for observing the B11/B10 isotopic splitting. The observations do not match a calculated line profile extremely well at any abundance for any isotopic ratio. If the B abundance previously determined from observations at 2500 A is assumed, the calculated line profile is too weak, indicating a possible blending line. Assuming that the absorption at 2090 A is entirely due to boron, the best-fit total B abundance is higher than but consistent with that obtained at 2500 A, and the best-fit isotopic ratio (B11/B10) is in the range ~10:1 to ~4:1. If the absorption is not entirely due to B and there is an unknown blend, the best-fit isotopic ratio may be closer to 1:1. Future observations of a similar metal-poor star known to have unusually low B should allow us to distinguish between these two possibilities. The constraints that can be placed on the isotopic ratio based on comparisons with similar observations of HD 102870 and HD 61421 (Procyon) are also discussed.Comment: Accepted for Nov 1998 Ap

Equational reasoning with context-free families of string diagrams

String diagrams provide an intuitive language for expressing networks of interacting processes graphically. A discrete representation of string diagrams, called string graphs, allows for mechanised equational reasoning by double-pushout rewriting. However, one often wishes to express not just single equations, but entire families of equations between diagrams of arbitrary size. To do this we define a class of context-free grammars, called B-ESG grammars, that are suitable for defining entire families of string graphs, and crucially, of string graph rewrite rules. We show that the language-membership and match-enumeration problems are decidable for these grammars, and hence that there is an algorithm for rewriting string graphs according to B-ESG rewrite patterns. We also show that it is possible to reason at the level of grammars by providing a simple method for transforming a grammar by string graph rewriting, and showing admissibility of the induced B-ESG rewrite pattern.Comment: International Conference on Graph Transformation, ICGT 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21145-9_

Triton's surface age and impactor population revisited in light of Kuiper Belt fluxes: Evidence for small Kuiper Belt objects and recent geological activity

Neptune's largest satellite, Triton, is one of the most fascinating and enigmatic bodies in the solar system. Among its numerous interesting traits, Triton appears to have far fewer craters than would be expected if its surface was primordial. Here we combine the best available crater count data for Triton with improved estimates of impact rates by including the Kuiper Belt as a source of impactors. We find that the population of impactors creating the smallest observed craters on Triton must be sub-km in scale, and that this small-impactor population can be best fit by a differential power-law size index near -3. Such results provide interesting, indirect probes of the unseen small body population of the Kuiper Belt. Based on the modern, Kuiper Belt and Oort Cloud impactor flux estimates, we also recalculate estimated ages for several regions of Triton's surface imaged by Voyager 2, and find that Triton was probably active on a time scale no greater than 0.1-0.3 Gyr ago (indicating Triton was still active after some 90% to 98% of the age of the solar system), and perhaps even more recently. The time-averaged volumetric resurfacing rate on Triton implied by these results, 0.01 km$^3$ yr$^{-1}$ or more, is likely second only to Io and Europa in the outer solar system, and is within an order of magnitude of estimates for Venus and for the Earth's intraplate zones. This finding indicates that Triton likely remains a highly geologically active world at present, some 4.5 Gyr after its formation. We briefly speculate on how such a situation might obtain.Comment: 14 pages (TeX), plus 2 postscript figures Stern & McKinnon, 2000, AJ, in pres

Damp Mergers: Recent Gaseous Mergers without Significant Globular Cluster Formation?

Here we test the idea that new globular clusters (GCs) are formed in the same gaseous ("wet") mergers or interactions that give rise to the young stellar populations seen in the central regions of many early-type galaxies. We compare mean GC colors with the age of the central galaxy starburst. The red GC subpopulation reveals remarkably constant mean colors independent of galaxy age. A scenario in which the red GC subpopulation is a combination of old and new GCs (formed in the same event as the central galaxy starburst) can not be ruled out; although this would require an age-metallicity relation for the newly formed GCs that is steeper than the Galactic relation. However, the data are also well described by a scenario in which most red GCs are old, and few, if any, are formed in recent gaseous mergers. This is consistent with the old ages inferred from some spectroscopic studies of GCs in external systems. The event that induced the central galaxy starburst may have therefore involved insufficient gas mass for significant GC formation. We term such gas-poor events "damp" mergers.Comment: 17 pages, 5 figures, ApJ accepte

Neck atonia with a focal stimulation-induced seizure arising from the SMA: pathophysiological considerations.

A 28-year-old patient with pharmacoresistant non-lesional right frontal epilepsy underwent extra-operative intracranial EEG recordings and electrical cortical stimulation (ECS) to map eloquent cortex. Right supplementary motor area (SMA) ECS induced a brief seizure with habitual symptoms involving neck tingling followed by asymmetric tonic posturing. An additional feature was neck atonia. During atonia and sensory aura, discharges were seen in the mesial frontal electrodes and precentral gyrus. Besides motor signs, atonia, although rare and not described in the neck muscles, and sensations have been reported with SMA stimulation. The mechanisms underlying neck atonia in seizures arising from the SMA can be explained by supplementary negative motor area (SNMA) - though this was not mapped in electrodes overlying the ictal onset zone in our patient - or primary sensorimotor cortex activation through rapid propagation. Given the broad spectrum of signs elicited by SMA stimulation and rapid spread of seizures arising from the SMA, caution should be taken to not diagnose these as non-epileptic, as had previously occurred in this patient

Observationally derived transport diagnostics for the lowermost stratosphere and their application to the GMI chemistry and transport model

International audienceTransport from the surface to the lowermost stratosphere (LMS) can occur on timescales of a few months or less, making it possible for short-lived tropospheric pollutants to influence stratospheric composition and chemistry. Models used to study this influence must demonstrate the credibility of their chemistry and transport in the upper troposphere and lower stratosphere (UT/LS). Data sets from satellite and aircraft instruments measuring CO, O3, N2O, and CO2 in the UT/LS are used to create a suite of diagnostics for the seasonally-varying transport into and within the lowermost stratosphere, and of the coupling between the troposphere and stratosphere in the extratropics. The diagnostics are used to evaluate a version of the Global Modeling Initiative (GMI) Chemistry and Transport Model (CTM) that uses a combined tropospheric and stratospheric chemical mechanism and meteorological fields from the GEOS-4 general circulation model. The diagnostics derived from N2O and O3 show that the model lowermost stratosphere has realistic input from the overlying high latitude stratosphere in all seasons. Diagnostics for the LMS show two distinct layers. The upper layer begins ~30 K potential temperature above the tropopause and has a strong annual cycle in its composition. The lower layer is a mixed region ~30 K thick near the tropopause that shows no clear seasonal variation in the degree of tropospheric coupling. Diagnostics applied to the GMI CTM show credible seasonally-varying transport in the LMS and a tropopause layer that is realistically coupled to the UT in all seasons. The vertical resolution of the GMI CTM in the UT/LS, ~1 km, is sufficient to realistically represent the extratropical tropopause layer. This study demonstrates that the GMI CTM has the transport credibility required to study the impact of tropospheric emissions on the stratosphere