Search NASA⌕ Search

SEARCH · Search NASA

Results for “Event generator”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2

Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

Rosu, Grigore↗

Concerning the Motion and Orientation of Flux Transfer Events Produced by Component and Antiparallel Reconnection

We employ the Cooling et al. (2001) model to predict the location, orientation, motion, and signatures of flux transfer events (FTEs) generated at the solstices and equinoxes along extended subsolar component and high ]latitude antiparallel reconnection curves for typical solar wind plasma conditions and various interplanetary magnetic field (IMF) strengths and directions. In general, events generated by the two mechanisms maintain the strikingly different orientations they begin with as they move toward the terminator in opposite pairs of magnetopause quadrants. The curves along which events generated by component reconnection form bow toward the winter cusp. Events generated by antiparallel reconnection form on the equatorial magnetopause during intervals of strongly southward IMF orientation during the equinoxes, form in the winter hemisphere and only reach the dayside equatorial magnetopause during the solstices when the IMF strength is very large and the IMF points strongly southward, never reach the equatorial dayside magnetopause when the IMF has a substantial dawnward or duskward component, and never reach the equatorial flank magnetopause during intervals of northward and dawnward or duskward IMF orientation. Magnetosheath magnetic fields typically have strong components transverse to events generated by component reconnection but only weak components transverse to the axes of events generated by antiparallel reconnection. As a result, much stronger bipolar magnetic field signatures normal to the nominal magnetopause should accompany events generated by component reconnection. The results presented in this paper suggest that events generated by component reconnection predominate on the dayside equatorial and flank magnetopause for most solar wind conditions.

Sibeck, D. G.↗

Synchronous parallel system for emulation and discrete event simulation

A synchronous parallel system for emulation and discrete event simulation having parallel nodes responds to received messages at each node by generating event objects having individual time stamps, stores only the changes to state variables of the simulation object attributable to the event object, and produces corresponding messages. The system refrains from transmitting the messages and changing the state variables while it determines whether the changes are superseded, and then stores the unchanged state variables in the event object for later restoral to the simulation object if called for. This determination preferably includes sensing the time stamp of each new event object and determining which new event object has the earliest time stamp as the local event horizon, determining the earliest local event horizon of the nodes as the global event horizon, and ignoring the events whose time stamps are less than the global event horizon. Host processing between the system and external terminals enables such a terminal to query, monitor, command or participate with a simulation object during the simulation process.

Steinman, Jeffrey S.↗

Synchronous Parallel System for Emulation and Discrete Event Simulation

A synchronous parallel system for emulation and discrete event simulation having parallel nodes responds to received messages at each node by generating event objects having individual time stamps, stores only the changes to the state variables of the simulation object attributable to the event object and produces corresponding messages. The system refrains from transmitting the messages and changing the state variables while it determines whether the changes are superseded, and then stores the unchanged state variables in the event object for later restoral to the simulation object if called for. This determination preferably includes sensing the time stamp of each new event object and determining which new event object has the earliest time stamp as the local event horizon, determining the earliest local event horizon of the nodes as the global event horizon, and ignoring events whose time stamps are less than the global event horizon. Host processing between the system and external terminals enables such a terminal to query, monitor, command or participate with a simulation object during the simulation process.

Jeffrey S Steinman↗

Synthesizing Monitors for Safety Properties

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in time analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic programming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events given as input and runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula. Further optimizations of the algorithm are suggested. Past time operators suitable for writing succinct specifications axe introduced and shown definitionally equivalent to the standard operators. This work is part of the PathExplorer project, the objective of which it is to construct a flexible framework for monitoring and analyzing program executions.

Havelund, Klaus↗

Meteorite Falls Observed in U.S. Weather Radar Data in 2015 and 2016 (To Date)

To date, over twenty meteorite falls have been located in the weather radar imagery of the National Oceanic and Atmospheric Administration (NOAA)'s NEXRAD radar network. We present here the most prominent events recorded since the last Meteoritical Society meeting, covering most of 2015 and early 2016. Meteorite Falls: The following events produced evidence of falling meteorites in radar imagery and resulted in meteorites recovered at the fall site. Creston, CA (24 Oct 2015 0531 UTC): This event generated 218 eyewitness reports submitted to the American Meteor Society (AMS) and is recorded as event #2635 for 2015 on the AMS website. Witnesses reported a bright fireball with fragmentation terminating near the city of Creston, CA, north of Los Angeles. Sonic booms and electrophonic noise were reported in the vicinity of the event. Weather radar imagery records signatures consistent with falling meteorites in data from the KMUX, KVTX, KHNX and KVBX. The Meteoritical Society records the Creston fall as an L6 meteorite with a total recovered mass of 688g. Osceola, FL (24 Jan 2016 1527 UTC): This daytime fireball generated 134 eyewitness reports on AMS report number 266 for 2016, with one credible sonic boom report. The fireball traveled roughly NE to SW with a terminus location north of Lake City, FL in sparsely populated, forested countryside. Radar imagery shows distinct and prominent evidence of a significant meteorite fall with radar signatures seen in data from the KJAX and KVAX radars. Searchers at the fall site found that recoveries were restricted to road sites by the difficult terrain, and yet several meteorites were recovered. Evidence indicates that this was a relatively large meteorite fall where most of the meteorites are unrecoverable due to terrain. Osceola is an L6 meteorite with 991 g total mass recovered to date. Mount Blanco, TX (18 Feb 2016 0343 UTC): This event produced only 39 eyewitness reports and is recorded as AMS event #635 for 2016. No reports of sonic booms or electrophonic noise are recorded in the AMS eyewitness reports, but videos of the event show a relatively long-lasting fireball with fragmentation. Evidence of falling meteorites is seen in radar imagery from the KAMA and KLBB radars defining a roughly WNW to ESE trend with the dominant wind direction. This event featured favorable search ground composed mostly of farmland and ranchland and was extensively searched. Rather surprisingly, only a single L5 chondrite of 36.2g has been recovered to date.

Fries, Marc↗

On the Information Content of Program Traces

Program traces are used for analysis of program performance, memory utilization, and communications as well as for program debugging. The trace contains records of execution events generated by monitoring units inserted into the program. The trace size limits the resolution of execution events and restricts the user's ability to analyze the program execution. We present a study of the information content of program traces and develop a coding scheme which reduces the trace size to the limit given by the trace entropy. We apply the coding to the traces of AIMS instrumented programs executed on the IBM SPA and the SCSI Power Challenge and compare it with other coding methods. Our technique shows size of the trace can be reduced by more than a factor of 5.

Frumkin, Michael↗

Assimilation of GRACE Terrestrial Water Storage Observations into a Land Surface Model for the Assessment of Regional Flood Potential

We evaluate performance of the Catchment Land Surface Model (CLSM) under flood conditions after the assimilation of observations of the terrestrial water storage anomaly (TWSA) from NASA's Gravity Recovery and Climate Experiment (GRACE). Assimilation offers three key benefits for the viability of GRACE observations to operational applications: (1) near-real time analysis; (2) a downscaling of GRACE's coarse spatial resolution; and (3) state disaggregation of the vertically-integrated TWSA. We select the 2011 flood event in the Missouri river basin as a case study, and find that assimilation generally made the model wetter in the months preceding flood. We compare model outputs with observations from 14 USGS groundwater wells to assess improvements after assimilation. Finally, we examine disaggregated water storage information to improve the mechanistic understanding of event generation. Validation establishes that assimilation improved the model skill substantially, increasing regional groundwater anomaly correlation from 0.58 to 0.86. For the 2011 flood event in the Missouri river basin, results show that groundwater and snow water equivalent were contributors to pre-event flood potential, providing spatially-distributed early warning information.

flood↗

Sensitivity of the Atmospheric Response to Warm Pool El Nino Events to Modeled SSTs and Future Climate Forcings

Warm pool El Nino (WPEN) events are characterized by positive sea surface temperature (SST) anomalies in the central equatorial Pacific. Under present-day climate conditions, WPEN events generate poleward propagating wavetrains and enhance midlatitude planetary wave activity, weakening the stratospheric polar vortices. The late 21st century extratropical atmospheric response to WPEN events is investigated using the Goddard Earth Observing System Chemistry-Climate Model (GEOSCCM), version 2. GEOSCCM simulations are forced by projected late 21st century concentrations of greenhouse gases (GHGs) and ozone-depleting substances (ODSs) and by SSTs and sea ice concentrations from an existing ocean-atmosphere simulation. Despite known ocean-atmosphere model biases, the prescribed SST fields represent a best estimate of the structure of late 21st century WPEN events. The future Arctic vortex response is qualitatively similar to that observed in recent decades but is weaker in late winter. This response reflects the weaker SST forcing in the Nino 3.4 region and subsequently weaker Northern Hemisphere tropospheric teleconnections. The Antarctic stratosphere does not respond to WPEN events in a future climate, reflecting a change in tropospheric teleconnections: The meridional wavetrain weakens while a more zonal wavetrain originates near Australia. Sensitivity simulations show that a strong poleward wavetrain response to WPEN requires a strengthening and southeastward extension of the South Pacific Convergence Zone; this feature is not captured by the late 21st century modeled SSTs. Expected future increases in GHGs and decreases in ODSs do not affect the polar stratospheric responses to WPEN.

stratosphere↗

Sedimentology of clastic rocks from the Fra Mauro region of the moon.

A thin-section examination of sixteen clastic rock samples returned by the Apollo 14 mission from the Fra Mauro region of the moon suggests the presence of at least two distinctly different lithologies. Five of the samples (group I) are characterized by an abundant glassy matrix and glass particles and lesser amounts of plagioclase and pyroxene grains, and lithic clasts. The other eleven samples (group II) are relatively fine grained, very poorly sorted, and consist largely of pyroxene, plagioclase, and lithic clasts set in an abundant mineralic matrix. Group I and II lithologies were probably both deposited from impact generated base surges. The differences between them stem not as much from the basic sedimentary processes as from the differences in the magnitude of the events generating the base surges and the resultant difference in available detrital materials.

Lindsay, J. F.↗

The Nonlinear Coupling of Alfven and Lower Hybrid Waves in Space Plasma

Space plasmas support a wide variety of waves, and wave-particle interactions as well as wave-wave interactions which are of crucial importance to magnetospheric and ionospheric plasma behavior. The excitation of lower hybrid waves (LHWs) in particular is a widely discussed mechanism of interaction between plasma species in space and is one of the unresolved questions of magnetospheric multi-ion plasmas. It is demonstrated that large-amplitude Alfven waves may generate LHWs in the auroral zone and ring current region and in some cases (particularly in the inner magnetosphere) this serves as the Alfven wave saturation mechanism. We present several examples of observational data which illustrate that the proposed mechanism is a plausible candidate to explain certain classes of LHW generation events in the ionosphere and magnetosphere and demonstrate electron and ion energization involving these processes. We discuss the morphology dynamics and level of LHW activity generated by electromagnetic ion cyclotron (EMIC) waves during the May 2-7 1998 storm period on the global scale. The LHWs were calculated based on a newly developed self-consistent model (Khazanov et. al. 2002) that couples the system of two kinetic equations: one equation describes the ring current (RC) ion dynamic and another equation describes the evolution of EMIC waves. It is found that the LHWs are excited by helium ions due to their mass dependent drift in the electric field of EMIC waves. The level of LHW activity is calculated assuming that the induced scattering process is the main saturation mechanism for these waves. The calculated LHWs electric fields are consistent with the observational data.

Khazanov, George V.↗

The Nonlinear Coupling of Alfven and Lower Hybrid Waves in Space Plasma

Space plasmas support a wide variety of waves, and wave-particle interactions as well as wave-wave interactions which are of crucial importance to magnetospheric and ionospheric plasma behavior. The excitation of lower hybrid waves (LHWs), in particular, is a widely discussed mechanism of interaction between plasma species in space and is one of the unresolved questions of magnetospheric multi-ion plasmas. It is demonstrated that large-amplitude Alfven waves may generate LHWs in the auroral zone and ring current region and in some cases (particularly in the inner magnetosphere) this serves as the Alfven wave saturation mechanism. We present several examples of observational data which illustrate that the proposed mechanism is a plausible candidate to explain certain classes of LHW generation events in the ionosphere and magnetosphere and demonstrate electron and ion energization involving these processes. Furthermore, we will present results from particle-in-cell simulations showing the generation of particle drifts in response to an Alfven wave, resulting in excitation of waves and ion heating in a multi- ion plasma.

Khazanov, G. V.↗

Solar Eruptive Events

It s long been known that the Sun plays host to the most energetic explosions in the solar system. But key insights into the forms that energy takes have only recently become available. Solar flares have been phenomena of both academic and practical interest since their discovery in 1859. From the academic point of view, they are the nearest events for studying the explosive release of energy in astrophysical magnetized plasmas. From the practical point of view, they disrupt communication channels on Earth, from telegraph communications in 1859 to radio and television signals today. Flares also wreak havoc on the electrical power grid, satellite operations, and GPS signals, and energetic charged particles and radiation are dangerous to passengers on high-altitude polar flights and to astronauts. Flares are not the only explosive phenomena on the Sun. More difficult to observe but equally energetic are the large coronal mass ejections (CMEs), the ejection of up to ten billion tons of magnetized plasma into the solar wind at speeds that can exceed 1000 km/s. CMEs are primarily observed from the side, with coronagraphs that block out the bright disk of the Sun and lower solar atmosphere so that light scattered from the ejected mass can be seen. Major geomagnetic storms are now known to arise from the interaction of CMEs with Earth's magnetosphere. Solar flares are observed without CMEs, and CMEs are observed without flares. The two phenomena often occur together, however, and almost always do in the case of large flares and fast CMEs. The term solar eruptive event refers to the combination of a flare and a CME. Solar eruptive events generate a lot of heat: They can heat plasma to temperatures as high at 50 million Kelvin, producing radiation across the electromagnetic spectrum. But that s not all. A fascinating aspect of solar eruptive events is the acceleration of electrons and ions to suprathermal often relativistic energies. The accelerated particles are primarily observed through their emissions in the higher energy x-ray, gamma-ray, and rf regimes. The radio and x-ray emissions are both from mildly relativistic electrons with energies of tens of keV and above. Gamma-ray line emission comes indirectly from accelerated protons and heavier ions with MeV and higher energies. The difficulty in collecting spatially and spectrally resolved x-ray and gamma-ray data has long been a barrier to learning about the accelerated particles. Considerable progress has been made in the last decade in understanding the relationship between the flare, the CME, energy release, and particle acceleration. But many new questions have also arisen. In this article, I describe those new insights and our evolving understanding of solar eruptive events.

Holman, Gordon D.↗

AXAF FITS standard for ray trace interchange

A standard data format for the archival and transport of x-ray events generated by ray trace models is described. Upon review and acceptance by the Advanced X-ray Astrophysics Facility (AXAF) Software Systems Working Group (SSWG), this standard shall become the official AXAF data format for ray trace events. The Flexible Image Transport System (FITS) is well suited for the purposes of the standard and was selected to be the basis of the standard. FITS is both flexible and efficient and is also widely used within the astronomical community for storage and transfer of data. In addition, software to read and write FITS format files are widely available. In selecting quantities to be included within the ray trace standard, the AXAF Mission Support team, Science Instruments team, and the other contractor teams were surveyed. From the results of this survey, the following requirements were established: (1) for the scientific needs, each photon should have associated with it: position, direction, energy, and statistical weight; the standard must also accommodate path length (relative phase), and polarization. (2) a unique photon identifier is necessary for bookkeeping purposes; (3) a log of individuals, organizations, and software packages that have modified the data must be maintained in order to create an audit trail; (4) a mechanism for extensions to the basic kernel should be provided; and (5) the ray trace standard should integrate with future AXAF data product standards.

Hsieh, Paul F.↗

A Model for Lower Hybrid Wave Excitation Compared with Observations by Viking

The mechanism of lower hybrid wave (LHW) excitation due to the O+ relative drift in a plasma subjected to low-frequency waves (LFWs) is used for analysis of Viking satellite data for events in the cusp/cleft region. In some cases, such a mechanism leads to LHW energy densities and ion distribution functions close to those observed, suggesting the proposed mechanism is a plausible candidate to explain certain classes of LHW generation events in space plasmas.

Khazanov, G. V.↗

Requirements-Driven Log Analysis Extended Abstract

Imagine that you are tasked to help a project improve their testing effort. In a realistic scenario it will quickly become clear, that having an impact is diffcult. First of all, it will likely be a challenge to suggest an alternative approach which is significantly more automated and/or more effective than current practice. The reality is that an average software system has a complex input/output behavior. An automated testing approach will have to auto-generate test cases, each being a pair (i; o) consisting of a test input i and an oracle o. The test input i has to be somewhat meaningful, and the oracle o can be very complicated to compute. Second, even in case where some testing technology has been developed that might improve current practice, it is then likely difficult to completely change the current behavior of the testing team unless the technique is obviously superior and does everything already done by existing technology. So is there an easier way to incorporate formal methods-based approaches than the full edged test revolution? Fortunately the answer is affirmative. A relatively simple approach is to benefit from possibly already existing logging infrastructure, which after all is part of most systems put in production. A log is a sequence of events, generated by special log recording statements, most often manually inserted in the code by the programmers. An event can be considered as a data record: a mapping from field names to values. We can analyze such a log using formal methods, for example checking it against a formal specification. This separates running the system for analyzing its behavior. It is not meant as an alternative to testing since it does not address the important in- put generation problem. However, it offers a solution which testing teams might accept since it has low impact on the existing process. A single person might be assigned to perform such log analysis, compared to the entire testing team changing behavior.

log analysis↗

NASA Tech Briefs, June 2008

Topics covered include: Charge-Control Unit for Testing Lithium-Ion Cells; Measuring Positions of Objects Using Two or More Cameras; Lidar System for Airborne Measurement of Clouds and Aerosols; Radiation-Insensitive Inverse Majority Gates; Reduced-Order Kalman Filtering for Processing Relative Measurements; Spaceborne Processor Array; Instrumentation System Diagnoses a Thermocouple; Chromatic Modulator for a High-Resolution CCD or APS; Commercial Product Activation Using RFID; Cup Cylindrical Waveguide Antenna; Aerobraking Maneuver (ABM) Report Generator; ABM Drag_Pass Report Generator; Transformation of OODT CAS to Perform Larger Tasks; Visualization Component of Vehicle Health Decision Support System; Mars Reconnaissance Orbiter Uplink Analysis Tool; Problem Reporting System; G-Guidance Interface Design for Small Body Mission Simulation; DSN Scheduling Engine; Replacement Sequence of Events Generator; Force-Control Algorithm for Surface Sampling; Tool for Merging Proposals Into DSN Schedules; Micromachined Slits for Imaging Spectrometers; Fabricating Nanodots Using Lift-Off of a Nanopore Template; Making Complex Electrically Conductive Patterns on Cloth; Special Polymer/Carbon Composite Films for Detecting SO2; Nickel-Based Superalloy Resists Embrittlement by Hydrogen; Chemical Passivation of Li+-Conducting Solid Electrolytes; Organic/Inorganic Polymeric Composites for Heat-Transfer Reduction; Composite Cathodes for Dual-Rate Li-Ion Batteries; Improved Descent-Rate Limiting Mechanism; Alignment-Insensitive Lower-Cost Telescope Architecture; Micro-Resistojet for Small Satellites; Using Piezoelectric Devices to Transmit Power through Walls; Miniature Latching Valve; Apparatus for Sampling Surface Contamination; Novel Species of Non-Spore-Forming Bacteria; Chamber for Aerosol Deposition of Bioparticles; Hyperspectral Sun Photometer for Atmospheric Characterization and Vicarious Calibrations; Dynamic Stability and Gravitational Balancing of Multiple Extended Bodies; Simulation of Stochastic Processes by Coupled ODE-PDE; Cluster Inter-Spacecraft Communications; Genetic Algorithm Optimizes Q-LAW Control Parameters; Low-Impact Mating System for Docking Spacecraft; Non-Destructive Evaluation of Materials via Ultraviolet Spectroscopy; Gold-on-Polymer-Based Sensing Films for Detection of Organic and Inorganic Analytes in the Air; and Quantum-Inspired Maximizer.

Source record↗

From Pseudostreamer Jets to Coronal Mass Ejections:: Observations of the Breakout Continuum

The magnetic breakout model, in which reconnection in the corona leads to destabilization of a filament channel, explains numerous features of eruptive solar events, from small-scale jets to global-scale coronal mass ejections (CMEs). The underlying multipolar topology, pre-eruption activities, and sequence of magnetic-reconnection onsets (first breakout, then flare) of many observed fast CMEs/eruptive flares are fully consistent with the model. Recently, we have demonstrated that most observed coronal-hole jets in fan/spine topologies also are induced by breakout reconnection at the null point above a filament channel (with or without a filament).For these two types of eruptions occurring in similar topologies, the key question is, why do some events generate jets while others form CMEs? We focused on the initiation of eruptions in large bright points/small active regions that were located in coronal holes and clearly exhibited null-point (fan/spine) topologies: such configurations are referred to as pseudostreamers. We analyzed and compared SDO/AIA,SOHO/LASCO, and RHESSI observations of three events. Our analysis of the events revealed two new observable signatures of breakout reconnection prior to the explosive jet/CME outflows and flare onset: coronal dimming and the opening-up of field lines above the breakout current sheet. Most key properties were similar among the selected erupting structures, thereby eliminating region size, photospheric field strength, magnetic configuration, and pre-eruptive evolution as discriminating factors between jets and CMEs. We consider the factors that contribute to the different types of dynamic behavior, and conclude that the determining factor is the ratio of the magnetic free energy associated with the filament channel compared to the energy associated with the overlying flux inside and outside the pseudostreamer dome. Our results imply that a pseudostreamer eruption must be fast in order to produce an interplanetary CME.

Sun↗