Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “spin systems”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS2000

Model Checking JAVA Programs Using Java Pathfinder

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

Havelund, Klaus↗
NASA NTRS2005

The Juno New Frontiers mission

Peering down through the clouds and deep into Jupiter's atmosphere, Juno reveals fundamental processes of the formation and early evolution of our solar system. Using a simple, solar powered, spinning spacecraft in an innovative, highly elliptical polar orbit, Juno avoids Jupiter's highest radiation regions. The mission combines high heritage instruments and spacecraft with an experienced science and engineering team.

New Frontiers↗
NASA NTRS2006

General Relativistic Magnetohydrodynamic Simulations of Jet Formation with a Thin Keplerian Disk

We have performed several simulations of black hole systems (non-rotating, black hole spin parameter a = 0.0 and rapidly rotating, a = 0.95) with a geometrically thin Keplerian disk using the newly developed RAISHIN code. The simulation results show the formation of jets driven by the Lorentz force and the gas pressure gradient. The jets have mildly relativistic speed (greater than or equal to 0.4 c). The matter is continuously supplied from the accretion disk and the jet propagates outward until each applicable terminal simulation time (non-rotating: t/tau S = 275 and rotating: t/tau S = 200, tau s equivalent to r(sub s/c). It appears that a rotating black hole creates an additional, faster, and more collimated inner outflow (greater than or equal to 0.5 c) formed and accelerated by the twisted magnetic field resulting from frame-dragging in the black hole ergosphere. This new result indicates that jet kinematic structure depends on black hole rotation.

Mizuno, Yosuke↗
NASA NTRS2009

Corona, Jet, and Relativistic Line Models for Suzaku/RXTE/Chandra-HETG Observations of the Cygnus X-1 Hard State

Using Suzaku and the Rossi X-ray Timing Explorer (RXTE), we have conducted a series of four simultaneous observations of the galactic black hole candidate Cyg X-1 in what were historically faint and spectrally hard "low states". Additionally, all of these observations occurred near superior conjunction with our line of sight to the X-ray source passing through the dense phases of the "focused wind" from the mass donating secondary. One of our observations was also simultaneous with observations by the Chandra-High Energy Transmission Grating (HETG). These latter spectra are crucial for revealing the ionized absorption due to the secondary s focused wind. Such absorption is present and must be accounted for in all four spectra. These simultaneous data give an unprecedented view of the 0.8-300 keV spectrum of Cyg X-1, and hence bear upon both corona and X-ray emitting jet models of black hole hard states. Three models fit the spectra well: coronae with thermal or mixed thermal/non-thermal electron populations, and jets. All three models require a soft component that we fit with a low temperature disk spectrum with an inner radius of only a few tens of GM/c2. All three models also agree that the known spectral break at 10 keV is not solely due to the presence of reflection, but each gives a different underlying explanation for the augmentation of this break. Thus whereas all three models require that there is a relativistically broadened Fe line, the strength and inner radius of such a line is dependent upon the specific model, thus making premature line-based estimates of the black hole spin in the Cyg X-1 system. We look at the relativistic line in detail, accounting for the narrow Fe emission and ionized absorption detected by HETG. Although the specific relativistic parameters of the line are continuum-dependent, none of the broad line fits allow for an inner disk radius that is > 40 GM/c(sup 2).

Nowak, Michael A.↗
NASA NTRS2011

Suzaku Observations of 4U 1957+11: Potentially the Most Rapidly Spinning Black Hole in (the Halo of) the Galaxy

We present three Suzaku observations of the black hole candidate 4U 1957+11 (V 1408 Aql) - a source that exhibits some of. the simplest and cleanest examples of soft, disk-dominated spectra. 4U 1957+ II also presents among the. highest peak temperatures found from disk-dominated spectra. Such temperatures may be associated with rapid black hole spin. The 4U 1957+11 spectra also require a very low normalization, which can be explained by a combination of small inner disk radius and a large distance (> 10 kpc) which places 4U 1957+ 11 well into the Galactic halo. We perform Joint fits to the Suzaku spectra with both relativistic and Comptonized disk models. Assuming a low mass black hole and the nearest distance (3 Stellar Mass, 10 kpc), the dimensionless spin parameter a* = Jc/GM(sup 2)> or approx. 0.9. Higher masses and farther distances yield a* approx. = 1. Similar conclusions are reached with Comptonization models; they imply a combination of small inner disk radii (or, equivalently, rapid spin) and large distance. Low spin cannot be recovered unless 4U 1957+11 is a low mass black hole that is at the unusually large distance of > or approx.40 kpc. We speculate whether the suggested maximal spin is related to how the system came to reside in the halo.

Nowak, Michael A.↗
NASA NTRS2021

Spin-Orbit Variations, Greenhouse Gases, and Superhabitable Conditions on Terrestrial Worlds in Multi-Planet Systems

Heller and Armstrong (Astrobiology, 2014) describe a number of ways in which an Earth-like world (“Earth twins” with a tidal heat flux Ft less than 0.04 W/m2, and within their star’s habitable zone) might be “superhabitable,” with surface environments that are more amenable to life than the common benchmark of modern Earth. Over Earth history, several time periods are known from the geologic record that could meet these criteria, providing multiple opportunities to explore known superhabitable and inhabited planetary conditions from an astrophysical perspective.

Earth-like world↗
NASA NTRS2012

Logic Model Checking of Time-Periodic Real-Time Systems

In this paper we report on the work we performed to extend the logic model checker SPIN with built-in support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic tasks. This library was used in a recent application of the SPIN model checker to verify the engine control software of an automobile, to study the feasibility of software triggers for unintended acceleration events.

software analysis↗
NASA NTRS2007

Impact of MODIS High-Resolution Sea-Surface Temperatures on WRF Forecasts at NWS Miami, FL

Over the past few years,studies at the Short-term Prediction Research and Transition (SPoRT) Center have suggested that the use of Moderate Resolution Imaging Spectroradiometer (MODIS) composite sea-surface temperature (SST) products in regional weather forecast models can have a significant positive impact on short-term numerical weather prediction in coastal regions. The recent paper by LaCasse et al. (2007, Monthly Weather Review) highlights lower atmospheric differences in regional numerical simulations over the Florida offshore waters using 2-km SST composites derived from the MODIS instrument aboard the polar-orbiting Aqua and Terra Earth Observing System satellites. To help quantify the value of this impact on NWS Weather Forecast Offices (WFOs), the SPoRT Center and the NWS WFO at Miami, FL (MIA) are collaborating on a project to investigate the impact of using the high-resolution MODIS SST fields within the Weather Research and Forecasting (WRF) prediction system. The scientific hypothesis being tested is: More accurate specification of the lower-boundary forcing within WRF will result in improved land/sea fluxes and hence, more accurate evolution of coastal mesoscale circulations and the associated sensible weather elements. The NWS MIA is currently running the WRF system in real-time to support daily forecast operations, using the National Centers for Environmental Prediction Nonhydrostatic Mesoscale Model dynamical core within the NWS Science and Training Resource Center's Environmental Modeling System (EMS) software; The EMS is a standalone modeling system capable of downloading the necessary daily datasets, and initializing, running and displaying WRF forecasts in the NWS Advanced Weather Interactive Processing System (AWIPS) with little intervention required by forecasters. Twenty-seven hour forecasts are run daily with start times of 0300,0900, 1500, and 2100 UTC on a domain with 4-km grid spacing covering the southern half of Florida and the far western portions of the Bahamas, the Florida Keys, the Straights of Florida, and adjacent waters of the Gulf of Mexico and Atlantic Ocean. Each model run is initialized using the Local Analysis and Prediction System (LAPS) analyses available in AWIPS, invoking the diabatic. "hot-start" capability. In this WRF model "hot-start", the LAPS-analyzed cloud and precipitation features are converted into model microphysics fields with enhanced vertical velocity profiles, effectively reducing the model spin-up time required to predict precipitation systems. The SSTs are initialized with the NCEP Real-Time Global (RTG) analyses at l/12 degree resolution (approx. 9 km); however, the RTG product does not exhibit fine-scale details consistent with its grid resolution. SPoRT is conducting parallel WRF EMS runs identical to the operational runs at NWS MIA in every respect except for the use of MODIS SST composites in place of the RTG product as the initial and boundary conditions over water. The MODIS SST composites for initializing the SPoRT WRF runs are generated on a 2-km grid four times daily at 0400, 0700, 1600, and 1900 UTC, based on the times of the overhead passes of the Aqua and Terra satellites. The incorporation of the MODIS SST composites into the SPoRTWRF runs is staggered such that the 0400UTC composite initializes the 0900 UTC WRF, the 0700 UTC composite initializes the 1500 UTC WRF, the 1600 UTC composite initializes the 2100 UTC WRF, and the 1900 UTC composite initializes the 0300 UTC WRF. A comparison of the SPoRT and Miami forecasts is underway in 2007, and includes quantitative verification of near-surface temperature, dewpoint, and wind forecasts at surface observation locations. In addition, particular days of interest are being analyzed to determine the impact of the MODIS SST data on the development and evolution of predicted sea/land-breeze circulations, clouds, and precipitation. This paper will present verification results comparing the NWS MIA forecasts the SPoRT experimental WRF forecasts, and highlight any substantial differences noted in the predicted mesoscale phenomena.

Case, Jonathan L.↗
NASA NTRS2008

Scheme for Quantum Computing Immune to Decoherence

A constructive scheme has been devised to enable mapping of any quantum computation into a spintronic circuit in which the computation is encoded in a basis that is, in principle, immune to quantum decoherence. The scheme is implemented by an algorithm that utilizes multiple physical spins to encode each logical bit in such a way that collective errors affecting all the physical spins do not disturb the logical bit. The scheme is expected to be of use to experimenters working on spintronic implementations of quantum logic. Spintronic computing devices use quantum-mechanical spins (typically, electron spins) to encode logical bits. Bits thus encoded (denoted qubits) are potentially susceptible to errors caused by noise and decoherence. The traditional model of quantum computation is based partly on the assumption that each qubit is implemented by use of a single two-state quantum system, such as an electron or other spin-1.2 particle. It can be surprisingly difficult to achieve certain gate operations . most notably, those of arbitrary 1-qubit gates . in spintronic hardware according to this model. However, ironically, certain 2-qubit interactions (in particular, spin-spin exchange interactions) can be achieved relatively easily in spintronic hardware. Therefore, it would be fortunate if it were possible to implement any 1-qubit gate by use of a spin-spin exchange interaction. While such a direct representation is not possible, it is possible to achieve an arbitrary 1-qubit gate indirectly by means of a sequence of four spin-spin exchange interactions, which could be implemented by use of four exchange gates. Accordingly, the present scheme provides for mapping any 1-qubit gate in the logical basis into an equivalent sequence of at most four spin-spin exchange interactions in the physical (encoded) basis. The complexity of the mathematical derivation of the scheme from basic quantum principles precludes a description within this article; it must suffice to report that the derivation provides explicit constructions for finding the exchange couplings in the physical basis needed to implement any arbitrary 1-qubit gate. These constructions lead to spintronic encodings of quantum logic that are more efficient than those of a previously published scheme that utilizes a universal but fixed set of gates.

Williams, Colin↗
NASA NTRS1989

The spin bag mechanism of high temperature superconductivity

In oxide superconductors the local suppression of antiferromagnetic correlations in the vicinity of a hole lowers the energy of the system. This quasi two-dimensional bag of weakened spin order follows the hole in its motion. In addition, holes prefer to share a bag, leading to a strong pairing attraction and a high Tc superconductivity. There are many experimental consequences of this mechanism for both the superconducting and normal phases.

Schrieffer, J. R.↗
NASA NTRS1974

Integrated Power/Attitude Control System (IPACS) study. Volume 1: Feasibility studies

An Integrated Power/Attitude Control System (IPACS) concept consisting of an array of spinning flywheels, with or without gimbals, capable of performing the dual function of power storage and generation, as well as attitude control has been investigated. This system provides attitude control through momentum storage, and replaces the storage batteries onboard the spacecraft. The results of the investigation are presented in two volumes. The trade-off studies performed to establish the feasibility, cost effectiveness, required level of development, and boundaries of application of IPACS to a wide variety of spacecraft are discussed. The conceptual designs for a free-flying research application module (RAM), and for a tracking and data relay satellite (TDRS) are presented. Results from dynamic analyses and simulations of the IPACS conceptual designs are included.

Notti, J. E.↗
NASA NTRS1978

An extension of the dual magnetometer method for use on a dual spinning spacecraft

A method of estimating and correcting for the magnetic field of a dual spinning spacecraft has been developed by employing an extension of the dual magnetometer technique of Ness et al. (1971). This new method is useful for those situations in which a magnetometer boom of modest length (7-10 m) is attached to the spinning part of a large spacecraft (800-1000 kg). The purpose of using a dual spinning spacecraft is to accommodate two types of instruments: (1) imaging and similar 'pointed' remote sensing systems on the stationary platform and (2) fields, particles, and other in situ measuring instruments on the spinning portion. Present-day imaging systems are well known to exhibit large magnetic moments, sometimes displaced from the spacecraft center by a significant amount. The new method assumes that the stationary part of the spacecraft possesses a magnetic field which is represented by a combination of a dipole and a quadrupole field.

Lepping, R. P.↗
NASA NTRS1973

Dynamics of Flexible Spinning Satellites with Radial Wire Antennas

A dynamic analysis is presented for a spin stabilized spacecraft employing four radial wire antennas with tip masses, a configuration first employed in the IMP-J spacecraft. The use of wires in place of the usual booms represents the ultimate in weight reduction at the expanse of flexibility. The satellite is modelled as a 14 degree of freedom system, and the linearized equations of motion are found. The lowest order vibrational modes and natural frequencies of the gyroscopically coupled system are then determined. Because the satellite spin rate is decreased by antenna deployment, a spin-up maneuver is needed. The response of the time varying mode equations during spin-up is found, for the planar modes, in terms of Bessel functions and a Struve function of order -1/4. Because tables of the latter are not readily available, the particular solution is expressed in various forms including an infinite series of Bessel functions and a particularly useful asymptotic expansion.

Longman, R. W.↗
NASA NTRS1974

The Synchronous Meteorological Satellite /SMS/ system

The Synchronous Meteorological Satellite (SMS) system is described which is being utilized in a program to obtain day and night information on the earth's weather by means of earth imaging, retransmission of imaged data, meteorological data collection and relay, and space environment monitoring. The components and functions of the ground system are discussed together with the basic satellite payloads. The launch and orbit of SMS-A are reviewed, and the functions of the visible IR spin-scan radiometer are described in detail. Other systems and units discussed include the data collection system, solar environment monitor, weather-facsimile unit, and central data distribution system. It is noted that SMS-A was used to support the Global Atlantic Tropical Experiment and that the SMS system will be complemented by geostationary environmental satellites from ESRO, Japan, and the USSR.

Fordyce, D. V.↗
NASA NTRS1998

Rover and Telerobotics Technology Program

The Jet Propulsion Laboratory's (JPL's) Rover and Telerobotics Technology Program, sponsored by the National Aeronautics and Space Administration (NASA), responds to opportunities presented by NASA space missions and systems, and seeds commerical applications of the emerging robotics technology. The scope of the JPL Rover and Telerobotics Technology Program comprises three major segments of activity: NASA robotic systems for planetary exploration, robotic technology and terrestrial spin-offs, and technology for non-NASA sponsors. Significant technical achievements have been reached in each of these areas, including complete telerobotic system prototypes that have built and tested in realistic scenarios relevant to prospective users. In addition, the program has conducted complementary basic research and created innovative technology and terrestrial applications, as well as enabled a variety of commercial spin-offs.

Weisbin, Charles R.↗
NASA NTRS2001

Tortuosity measurement and the effects of finite pulse widths on xenon gas diffusion NMR studies of porous media

We have extended the utility of NMR as a technique to probe porous media structure over length scales of approximately 100-2000 microm by using the spin 1/2 noble gas 129Xe imbibed into the system's pore space. Such length scales are much greater than can be probed with NMR diffusion studies of water-saturated porous media. We utilized Pulsed Gradient Spin Echo NMR measurements of the time-dependent diffusion coefficient, D(t), of the xenon gas filling the pore space to study further the measurements of both the pore surface-area-to-volume ratio, S/V(p), and the tortuosity (pore connectivity) of the medium. In uniform-size glass bead packs, we observed D(t) decreasing with increasing t, reaching an observed asymptote of approximately 0.62-0.65D(0), that could be measured over diffusion distances extending over multiple bead diameters. Measurements of D(t)/D(0) at differing gas pressures showed this tortuosity limit was not affected by changing the characteristic diffusion length of the spins during the diffusion encoding gradient pulse. This was not the case at the short time limit, where D(t)/D(0) was noticeably affected by the gas pressure in the sample. Increasing the gas pressure, and hence reducing D(0) and the diffusion during the gradient pulse served to reduce the previously observed deviation of D(t)/D(0) from the S/V(p) relation. The Pade approximation is used to interpolate between the long and short time limits in D(t). While the short time D(t) points lay above the interpolation line in the case of small beads, due to diffusion during the gradient pulse on the order of the pore size, it was also noted that the experimental D(t) data fell below the Pade line in the case of large beads, most likely due to finite size effects.

Non-NASA Center↗
NASA NTRS1973

A zero-error operational video data compression system

A data compression system has been operating since February 1972, using ATS spin-scan cloud cover data. With the launch of ITOS 3 in October 1972, this data compression system has become the only source of near-realtime very high resolution radiometer image data at the data processing facility. The VHRR image data are compressed and transmitted over a 50 kilobit per second wideband ground link. The goal of the data compression experiment was to send data quantized to six bits at twice the rate possible when no compression is used, while maintaining zero error between the transmitted and reconstructed data. All objectives of the data compression experiment were met, and thus a capability of doubling the data throughput of the system has been achieved.

Kutz, R. L.↗
NASA NTRS1981

Rotating unconstrained modes - A more appropriate dynamic analysis of flexible spinning spacecraft

The objective of the paper is a formation of vehicle modes for gyroscopic space structures through a continuum formulation. This requires examination of adjointness of the associated eigenvalue problems. It is shown that standard conditions of self-adjointness are inadequate even for nongyroscopic structures; modifications required depend on the problem under study. On one hand, in the nongyroscopic case the frequencies appear only quadratically and it is relatively easy to devise the corresponding vehicle modes and the self-adjoint operators. On the other hand in the case of the gyroscopic structures the frequencies appear quadratically as well as linearly; this takes the vehicle mode from a configuration space to a phase space, that is, a Hilbert space in the present case. Four elastic systems of increasing complexity typifying nonspinning and spinning elastic spacecraft are investigated in detail.

Hablani, H. B.↗