Search NASA⌕ Search

SEARCH · Search NASA

Results for “graph model”

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 235 records · Page 13

The effect of the isotopic composition of oxygen on the non-mass-dependent isotopic fractionation in the formation of ozone by discharge of O2

Isotopic fractionation processes in the formation of O3 by 20-kV 60-kHz discharge of O2 in a fused silica container at 77 K are investigated experimentally, with a focus on the effects of changes in the isotopic composition of O2, the O2 pressure, the degree of O3 formation, and the discharge geometry on the isotope abundances in the postdischarge O2 and O3. The results are presented in tables and graphs and compared with the predictions of theoretical models involving vibrational anharmonicity and symmetry effects on O3 predissociation. In experiments using O2 enriched with O-17 and O-18, the heavy isotope is enriched in the residual O2 and not in the O3, whereas the opposite is true when atmospheric isotope abundances are used. It is inferred that the predissociation rate depends on the symmetry and mass of the O3 molecules and not on self-shielding or symmetry effects in the reactant O2. The potential value of the present findings for studies of anomalous isotope abundances in meteorites is indicated.

Yang, Jongmann↗

The abundance of interstellar CO

Data from recent observations of interstellar CO column densities are compiled in tables and graphs and compared with the predictions of theoretical models. The energy-level structure of CO and the excitation of interstellar CO are discussed; UV-absorption and IR line observations are characterized; and techniques used to estimate the CO column density from mm-wavelength observations (based on calibration of the CO line intensity with the column density of H2) are described in detail. Consideration is then given to CO chemistry under interstellar-cloud conditions (isotope fractionation and photodissociation) and models for diffuse, translucent, and dense clouds. A number of unsolved problems requiring additional observations or laboratory investigations are identified.

Van Dishoeck, Ewine F.↗

Results of dynamic testing of GP-B spherical gyroscopes

Laboratory tests of the spherical electrostatically levitated cryogenically cooled coated gyroscope being developed for the Gravity Probe B (GP-B) spacecraft (Bardas et al., 1986) are reported. Spin speed and the dc components of the trapped magnetic field are measured with three orthogonal pickup loops attached to SQUID detectors as the levitated gyro is brought up to speed by an He gas jet. Data on the spin-vector time history, mass unbalance, higher rotor-shape harmonics, and spin-vector position are presented in extensive graphs and characterized in detail, and a mathematical model of the electrostatic suspension torques is derived. Prototype gyro 86-4 is found to have mass unbalance within the range required for the GP-B mission (to detect the geodetic and motional effects predicted by general relativity theory).

Keiser, G. M.↗

Stable direct adaptive control of linear infinite-dimensional systems using a command generator tracker approach

The topics are presented in view graph form and include the following: an adaptive model following control; adaptive control of a distributed parameter system (DPS) with a finite-dimensional controller; a direct adaptive controller; a closed-loop adaptively controlled DPS; Lyapunov stability; the asymptotic stability of the closed loop; and model control of a simply supported beam.

Balas, Mark↗

Event driven executive

Tasks may be planned for execution on a single processor or are split up by the designer for execution among a plurality of signal processors. The tasks are modeled using a design aid called a precedence graph, from which a dependency table and a prerequisite table are established for reference within each processor. During execution, at the completion of a given task, an end of task interrupt is provided from any processor which has completed a task to any and all other processors including itself in which completion of that task is a prerequisite for commencement of any dependent tasks. The relevant updated data may be transferred by the processor either before or after signalling task completion to the processors needing the updated data prior to commencing execution of the dependent tasks. Coherency may be ensured, however, by sending the data before the interrupt. When the end of task interrupt is received in a processor, its dependency table is consulted to determine those tasks dependent upon completion of the task which has just been signalled as completed, and task dependency signals indicative thereof are provided and stored in a current status list of a prerequisite table. The current status of all current prerequisites are compared to the complete prerequisites listed for all affected tasks and those tasks for which the comparison indicates that all prerequisites have been met are queued for execution in a selected order.

Tulpule, Bhalchandra R.↗

Identifying Molecules as Biosignatures with Assembly Theory and Mass Spectrometry

The search for evidence of life elsewhere in the universe is hard because it is not obvious what signatures are unique to life. Here we postulate that complex molecules found in high abundance are universal biosignatures as they cannot form by chance. To explore this, we developed the first intrinsic measure of molecular complexity that can be experimentally determined, and this is based upon a new approach called assembly theory which gives the molecular assembly number (MA) of a given molecule. MA allows us to compare the intrinsic complexity of molecules using the minimum number of steps required to construct the molecular graph starting from basic objects, and a probabilistic model shows how the probability of any given molecule forming randomly drops dramatically as its MA increases. To map chemical space, we calculated the MA of ca. 2.5 million compounds, and collected data which showed the complexity of a molecule can be experimentally determined by using three independent techniques including infra-red spectroscopy, nuclear magnetic resonance, and by fragmentation in a mass spectrometer, and this data has an excellent corelation with the values predicted from our assembly theory. We then set out to see if this approach could allow us to identify molecular biosignatures with a set of diverse samples from around the world, outer space, and the laboratory including prebiotic soups. The results show that there is a non-living to living threshold in MA complexity and the higher the MA for a given molecule, the more likely that it had to be produced by a biological process. This work demonstrates it is possible to use this approach to build a life detection instrument that could be deployed on missions to extra-terrestrial locations to detect biosignatures, map the extent of life on Earth, and be used as a molecular complexity scale to quantify the constraints needed to direct prebiotically plausible processes in the laboratory. Such an approach is vital if we are going to find new life elsewhere in the universe or create de-novo life in the lab.

Stuart M Marshall↗

A comparison of multiprocessor scheduling methods for iterative data flow architectures

A comparative study is made between the Algorithm to Architecture Mapping Model (ATAMM) and three other related multiprocessing models from the published literature. The primary focus of all four models is the non-preemptive scheduling of large-grain iterative data flow graphs as required in real-time systems, control applications, signal processing, and pipelined computations. Important characteristics of the models such as injection control, dynamic assignment, multiple node instantiations, static optimum unfolding, range-chart guided scheduling, and mathematical optimization are identified. The models from the literature are compared with the ATAMM for performance, scheduling methods, memory requirements, and complexity of scheduling and design procedures.

Storch, Matthew↗

Dynamics and Control of a Disordered System in Space

In this paper, we present some ideas regarding the modeling, dynamics and control aspects of granular spacecraft. Granular spacecraft are complex multibody systems composed of a spatially disordered distribution of a large number of elements, for instance a cloud of N grains in orbit, with N greater than 10(exp 3). These grains can be large (Cubesat-size) or small (mm-size), and can be active, i.e., a fully equipped vehicle capable sensing their own position and attitude, and enabled with propulsion means, or entirely passive. The ultimate objective would be to study the behavior of the single grains and of large ensembles of grains in orbit and to identify ways to guide and control the shape of a cloud composed of these grains so that it can perform a useful function in space, for instance, as an element of an optical imaging system for astrophysical applications. This concept, in which the aperture does not need to be continuous and monolithic, would increase the aperture size several times compared to large NASA observatories such as ATLAST, allowing for a true Terrestrial Planet Imager that would be able to resolve exo-planet details and do meaningful spectroscopy on distant world. In the paper, we address the modeling and autonomous operation of a distributed assembly (the cloud) of large numbers of highly miniaturized space-borne elements (the grains). A multi-scale, multi-physics model is proposed of the dynamics of the cloud in orbit, as well as a control law for cloud shape maintenance, and preliminary simulation studies yield an estimate of the computational effort, indicating a scale factor of approximately N(exp 1.4) as a function of the number of grains. A granular spacecraft can be defined as a collection of a large number of space-borne elements (in the 1000s) designed and controlled such that a desirable collective behavior emerges, either from the interactions among neighboring grains, and/or between the grains and the environment. In this paper, each grain is considered to be a highly miniaturized spacecraft which has limited size and mass, hence it has limited actuation, limited propulsive capability, limited power, limited sensing, limited communication, limited computational resources, limited range of motion, limited lifetime, and may be expendable. The modeling and dynamics of clouds of vehicles is more challenging than with conventional vehicles because we are faced with a probabilistic vehicle composed of a large number of physically disconnected vehicles. First, different scales of motion occur simultaneously in a cloud: translations and rotations of the cloud as a whole (macro-dynamics), relative rotation and translation of one cloud member with respect to another (meso-dynamics), and individual cloud member dynamics (micro-dynamics). Second, the control design needs to be tolerant of the system complexity, of the system architecture (centralized vs. decentralized large scale system control) as well as robust to un-modeled dynamics and noise sources. Figure 1, top left, shows the kinematic parameters of a 1000 element cloud in orbit. The motion of the system is described with respect to a local vertical-local horizontal (LV-LH) orbiting reference frame (x,y,z)=F(sub ORF) of origin O(sub ORF) which rotates with mean motion omega and orbital semi-major axis R(sub 0). The orbital geometry at the initial time is defined in terms of its six orbital elements, and the orbital dynamics equation for point O(sub ORF) is propagated forward in time under the influence of the gravitational field of the primary and other external perturbations, described below. The origin of this frame coincides with the initial position of the center of mass of the system, and the coordinate axes are z along the local vertical, x toward the flight direction, and y in the orbit normal direction. The assumptions we used to model the dynamics are as follows: 1) The inertial frame is fixed at Earth's center. 2) The orbiting Frame ORF follows Keplerian orbit. 3) the cloud system dynamics is referred to ORF. 4) the attitude of each grain uses the principal body frame as body fixed frame. 5) the atmosphere is assumed to be rigidly rotating with the Earth. Regarding the grains forming the cloud: 1) each grain is modeled as a rigid body; 2) a simple attitude estimator provides attitude estimates, 3) a simple guidance logic commands the position and attitude of each grain, 4) a simple local feedback controller based on PD control of local states is used to stabilize the attitude of the vehicle. Regarding the cloud: 1) the cloud as a whole is modeled as an equivalent rigid body in orbit, and 2) an associated graph establishes agent connectivity and enables coupling between modes of motion at the micro and macro scales; 3) a simple guidance and estimation logic is modeled to estimate and command the attitude of this equivalent rigid body; 4) a cloud shape maintenance controller is based on the dynamics of a stable virtual truss in the orbiting frame. Regarding the environmental perturbations acting on the cloud: 1) a non-spherical gravity field including JO (Earth's spherical field) zonal component, J2 (Earth's oblateness) and J3 zonal components is implemented; 2) atmospheric drag is modeled with an exponential model; 3) solar pressure is modeled assuming the Sun is inertially fixed; and 4) the Earth's magnetic field is model using an equivalent dipole model. The equations of motion are written in a referential system with respect to the origin of the orbiting frame and the state is propagated forward in time using an incremental predictor-corrector scheme. A representative cloud with varying number of grains is simulated to identify the limitations in computation time as the number of grains grows. We derive a control law to track a desired surface in the ORF (equivalently to maintain a reference cloud shape) by defining an error from a desired surface shape, and designing a control law that is exponentially stable and reduces the tracking error to zero. Figure 1 (top right) shows a comparison of various requirements for simulation of single spacecraft vs. granular spacecraft, indicating the high degree of complexity that needs to be taken into consideration. The ORF components of control force required by one of the grains is, for this particular case, in the micro-Newton range. However, no attempt has been made yet to reconfigure (or re-orient) the cloud configuration internally, for which forces in the milli-Newton level are expected, depending on the time required to do the reconfiguration. Figure 1, bottom, shows the computation time as a function of the number of grains, indicating an order N(exp 1.43) scaling on a 8 Gb, 1067 MHz RAM MacOSX computer with a 3.06 GHz Intel Core 2 Duo processor. With this metric, the same simulation for a system of N=1000 grains would take 5.4 hours, and 146 hours (i.e., 6 days) for a system with N=10,000 grains. Therefore, efficient ways to simulate this complex system, where not only the time scales of natural system dynamics, but also the sampling times of the Guidance, Navigation, and Control are included, remain to be explored. Additional details on the cloud modeling, dynamics, and control will be described in the paper.

simulation↗

Quantum-Accelerated Distributed Algorithms for Approximate Steiner Trees and Directed Minimum Spanning Trees

We present two algorithms in the Quantum CONGEST-CLIQUE model of distributed computation that succeed with high probability; one for producing an approximately optimal Steiner Tree, and one for producing an exact spanning arborescence of minimum weight, the analog of a Minimum Spanning Tree in a directed graph, each of which uses O~(n^(1/4)) rounds of communication and O~(n^(9/4)) messages, achieving a lower round and message complexity than any known algorithms in the classical CONGEST-CLIQUE model. The CONGEST distributed computational model allows limited-sized messages to be transmitted within a network described by a communication graph of size n in a series of rounds to address a computational problem. The size limitation for such messages isO(log(n)) bits at each edge of the communication graph per round. The communication graph in the CONGEST-CLIQUE model is fully connected. In the Quantum CONGEST-CLIQUE model, at most O(log(n)) classical and quantum bits (qubits) can be communicated across each edge of the communication graph per round. At a high level, we achieve these results by combining classical algorithms with fast quantum subroutines. These speedups further contribute to understanding what problems can be solved more efficiently when we allow quantum communication in this CONGEST-CLIQUE model of distributed computation.

quantum distributed algorithms↗

Software reliability through fault-avoidance and fault-tolerance

Strategies and tools for the testing, risk assessment and risk control of dependable software-based systems were developed. Part of this project consists of studies to enable the transfer of technology to industry, for example the risk management techniques for safety-concious systems. Theoretical investigations of Boolean and Relational Operator (BRO) testing strategy were conducted for condition-based testing. The Basic Graph Generation and Analysis tool (BGG) was extended to fully incorporate several variants of the BRO metric. Single- and multi-phase risk, coverage and time-based models are being developed to provide additional theoretical and empirical basis for estimation of the reliability and availability of large, highly dependable software. A model for software process and risk management was developed. The use of cause-effect graphing for software specification and validation was investigated. Lastly, advanced software fault-tolerance models were studied to provide alternatives and improvements in situations where simple software fault-tolerance strategies break down.

Vouk, Mladen A.↗

Mated aerodynamic characteristics investigation for the 0.04 scale model TE 1065 (Boeing 747-100) of the 747 CAM and the 0.0405 scale model (43-0) of the space shuttle orbiter in the NASA Langley V/STOL transition research wind tunnel (CA8), volume 1

Aerodynamic force data are presented in tables and graphs for the NASA Langley V/STOL Transition Research Wind Tunnel tests on a 0.04 scale model of the 747 with a 0.0405 scale Orbiter space shuttle. The investigation included the effects of flap setting, stabilizer angle, elevator angle, ground proximity, and Orbiter tailcone fairing. Data were obtained in the pitch plane only. The test was run at M = 0.15, with a dynamic pressure of 35 psf. Six static pressures were measured on each side of the 747 CAM nose to determine the effects of the Orbiter on the 747 airspeed and altitude indicators.

Source record↗

Mathematical models for electrochemical impregnation of nickel electrodes

Single step and two-step tetramer precipitation models for electrochemical impregnation of nickel electrodes are presented. The objectives for developing the impregnation model are: to predict the impregnation conditions for uniform loading, to develop quality control tools for electrode manufacturing, and to use it as basis for predicting the performance of batteries with non-uniform loadings. This paper, with the help of graphs and charts, discusses the development and application of the impregnation model.

Ho, Chien-Hsien↗

Gamma-ray bursters

Current theoretical models developed to explain the observational data (from spaceborne detectors) on gamma-ray bursters are summarized and illustrated with drawings, diagrams, graphs, and photographic images. Although the data are fragmentary and often flawed by instrument defects, models involving neutron stars with strong magnetic fields are generally favored, and it is assumed that most observed bursters lie within the Galaxy. The neutron-star origin of the bursts is suggested by their intensity and rapid variability (implying a very compact high-energy source) and the presence in some burster spectra of a line at 420 keV which is explained by the combination of electron-positron annihilation and gravitational reddening. Consideration is also given to optical flashes observed to occur about once per year in the direction of gamma bursters, and the need for further searches for lower-energy emissions from bursters is stressed.

Schaefer, B. E.↗

Investigations of the lunar surface

Scientific programs concerned with investigations of the lunar surface are described along with some results. These include lunar photographs and map collection program, crater measuring and depth calculation (earthside and farside), Schroeter's valley model, and the 61-inch color filter photography. Several graphs and maps of the lunar surface are present along with a method used for depth calculation.

Strom, R. G.↗

Chemical interpretation of Viking Lander 1 life detection experiment

An earth-based evaluation of the Viking Lander 1 life-detection experiments was conducted using a radiofrequency glow discharge in a simulated Martian atmosphere. The Gas Exchange Experiment conducted in the humid mode released substantial amounts of CO2, O2, N2, Ar, and CO into the atmosphere, indicating that these substances were adsorbed onto the Martian soil. An adsorption potential plot is given, graphing quantity of gas against time (d). For a model surface area of 17 squares meters per gram of measured substance, oxygen adsorption was found to be relatively high, a result which tends to confirm the hypothesis that Martian oxygen exists largely in chemisorbed states or in active oxygen compounds, e.g., peroxide, superoxide, hydroperoxide

Ballou, E. V.↗

On the controllability and control law design for an orbiting large flexible antenna system

The controllability and control law synthesis based on a finite element model of the Hoop/Column orbiting antenna system is considered. Graph theoretic techniques are employed to analyze the controllability of the system for posible proposed actuator arrangements which include torquers and point actuators along the mast and a single actuator placed on the hoop assembly. Once controllability is established for a given combination of number and location of actuators, the synthesis of control laws is based on an application of the linear regulator theory and also pole placement techniques. In general, surface torsion and feed mast torsion are among modes having the longest time constants. System transient performance is noticeably degraded when the hoop actuator is not included.

Bainum, P. M.↗

Banded ion morphology - Main and recovery storm phases

The occurrence of bands in ion spectra obtained with the high-altitude and low-altitude plasma instruments on DE-1 and DE-2, respectively, during main and recovery storm phases from the period September 1981 - January 1982 is analyzed statistically. Typical spectra are shown; diagrams and graphs of storm morphology are provided; and two theoretical models (one based on time-of-flight effects and another based on convective dispersion) are discussed. It is found that bands occur more often in the main phase than in the recovery phase, and more often and at higher latitudes in the evening than before noon. From the stability of the bands and the dependence of energy on latitude it is inferred that convective dispersion plays a more important role than time-of-flight effects in the motion of heavy ions in the magnetosphere.

Frahm, R. A.↗

VLA observations of Uranus at 1.3-20 cm

Observations of Uranus, obtained with resolution 0.5-1.2 arcsec at wavelengths 1.3, 2, 6, and 20 cm using the A and B configurations of the VLA in June-July 1982, October 1983, and February 1984, are reported. The disk-averaged brightness temperatures (DABTs) are determined by model fitting, and the results are presented in extensive graphs and contour maps and characterized in detail. Findings discussed include: (1) an overall spectrum which is relatively flat above 6 cm, (2) 1.3-6-cm brightness which is concentrated nearer to the pole than to the subsolar point, and (3) small changes in DABT from 1982 to 1983/1984 (consistent with an explanation based on a pole-equator temperature gradient).

De Pater, Imke↗