Search NASA⌕ Search

SEARCH · Search NASA

Results for “State of Practice”

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 199 records · Page 11

Software IV and V Research Priorities and Applied Program Accomplishments Within NASA

The mission of this research is to be world-class creators and facilitators of innovative, intelligent, high performance, reliable information technologies that enable NASA missions to (1) increase software safety and quality through error avoidance, early detection and resolution of errors, by utilizing and applying empirically based software engineering best practices; (2) ensure customer software risks are identified and/or that requirements are met and/or exceeded; (3) research, develop, apply, verify, and publish software technologies for competitive advantage and the advancement of science; and (4) facilitate the transfer of science and engineering data, methods, and practices to NASA, educational institutions, state agencies, and commercial organizations. The goals are to become a national Center Of Excellence (COE) in software and system independent verification and validation, and to become an international leading force in the field of software engineering for improving the safety, quality, reliability, and cost performance of software systems. This project addresses the following problems: Ensure safety of NASA missions, ensure requirements are met, minimize programmatic and technological risks of software development and operations, improve software quality, reduce costs and time to delivery, and improve the science of software engineering

Blazy, Louis J.↗

Estimating Temperature Retrieval Accuracy Associated With Thermal Band Spatial Resolution Requirements for Center Pivot Irrigation Monitoring and Management

This study explores the use of synthetic thermal center pivot irrigation scenes to estimate temperature retrieval accuracy for thermal remote sensed data, such as data acquired from current and proposed Landsat-like thermal systems. Center pivot irrigation is a common practice in the western United States and in other parts of the world where water resources are scarce. Wide-area ET (evapotranspiration) estimates and reliable water management decisions depend on accurate temperature information retrieval from remotely sensed data. Spatial resolution, sensor noise, and the temperature step between a field and its surrounding area impose limits on the ability to retrieve temperature information. Spatial resolution is an interrelationship between GSD (ground sample distance) and a measure of image sharpness, such as edge response or edge slope. Edge response and edge slope are intuitive, and direct measures of spatial resolution are easier to visualize and estimate than the more common Modulation Transfer Function or Point Spread Function. For these reasons, recent data specifications, such as those for the LDCM (Landsat Data Continuity Mission), have used GSD and edge response to specify spatial resolution. For this study, we have defined a 400-800 m diameter center pivot irrigation area with a large 25 K temperature step associated with a 300 K well-watered field surrounded by an infinite 325 K dry area. In this context, we defined the benchmark problem as an easily modeled, highly common stressing case. By parametrically varying GSD (30-240 m) and edge slope, we determined the number of pixels and field area fraction that meet a given temperature accuracy estimate for 400-m, 600-m, and 800-m diameter field sizes. Results of this project will help assess the utility of proposed specifications for the LDCM and other future thermal remote sensing missions and for water resource management.

Ryan, Robert E.↗

A Small Spacecraft Swarm Deployment and Stationkeeping Strategy for Sun-Earth L1 Halo Orbits

Spacecraft orbits about the Sun-Earth librarian point L1 have been of interest since the 1950s. An L1 halo orbit was first achieved with the International Sun-Earth Explorer-3 (ISEE-3) mission, and similar orbits around Sun-Earth L1 were achieved in the Solar and Heliospheric Observatory (SOHO), Advanced Composition Explorer (ACE), Genesis, and Deep Space Climate Observatory (DSCOVR) missions. With recent advancements in CubeSat technology, we envision that it will soon be feasible to deploy CubeSats at L1. As opposed to these prior missions where one large satellite orbited alone, a swarm of CubeSats at L1 would enable novel science data return, providing a topology for intersatellite measurements of heliophysics phenomena both spatially and temporally, at varying spatial scales.The purpose of this iPoster is to present a flight dynamics strategy for a swarm of numerous CubeSats orbiting Sun-Earth L1. The presented method is a coupled, two-part solution. First, we present a deployment strategy for theCubeSats that is optimized to produce prescribed, time-varying intersatellite baselines for the purposes of collectingmagnetometer data as well as radiometric measurements from cross-links. Second, we employ a loose controlstrategy that was successfully applied to SOHO and ACE for minimized stationkeeping propellant expenditure. Weemphasize that the presented solution is practical within the current state-of-the-art and heritage CubeSat technology,citing capabilities of CubeSat designs that will launch on the upcoming Exploration Mission 1 (EM-1) to lunar orbitsand beyond. Within this iPoster, we present animations of the simulated deployment strategy and resulting spacecrafttrajectories. Mission design parameters such as total v required for long-term station keeping andminimum/maximum/mean spacecraft separation distances are also presented.

Optimal control↗

Supporting Responsible Machine Learning in Heliophysics

Over the last decade, Heliophysics researchers have increasingly adopted a variety of machine learning methods such as artificial neural networks, decision trees, and clustering algorithms into their workflow. Adoption of these advanced data science methods had quickly outpaced institutional response, but many professional organizations such as the European Commission, the National Aeronautics and Space Administration (NASA), and the American Geophysical Union have now issued (or will soon issue) standards for artificial intelligence and machine learning that will impact scientific research. These standards add further (necessary) burdens on the individual researcher who must now prepare the public release of data and code in addition to traditional paper writing. Support for these is not reflected in the current state of institutional support, community practices, or governance systems. We examine here some of these principles and how our institutions and community can promote their successful adoption within the Heliophysics discipline.

Machine learning↗

Passivation of Spacecraft Pressure Vessels: Some Comments on Requirements, Principles, and Practices

Many space-faring organizations have requirements to limit the growth of orbital debris by passivating spacecraft that remain in orbit after mission end. These requirements state that a stored energy devices are to be fully depleted at the end of a spacecraft’s useful life. Spacecraft designs not able to comply with those requirements use a so-called “soft passivation” option. This report presents the results of two studies aimed at better understanding spacecraft pressure vessel passivation state-of-the-art. They summarize current practices and principles of pressure vessel passivation and present an approach that can be used to show that spacecraft propulsion system passivation has been achieved.

Spacecraft Passivation↗

Agile Development Methods for Space Operations

Main stream industry software development practice has gone from a traditional waterfall process to agile iterative development that allows for fast response to customer inputs and produces higher quality software at lower cost. How can we, the space ops community, adopt state of the art software development practice, achieve greater productivity at lower cost, and maintain safe and effective space flight operations? At NASA Ames, we are developing Mission Control Technologies Software, in collaboration with Johnson Space Center (JSC) and, more recently, the Jet Propulsion Laboratory (JPL).

Trimble, Jay↗

Building SAWE Capability as an ANSI Accredited Standards Developer

This paper presents a 2014 status of the Society of Allied Weight Engineers' process towards becoming an Accredited Standards Developer (ASD) under certification by the United States American National Standards Institute (ANSI). Included is material from the committee's 2013 International presentation, current status, and additional general background material. The document strives to serve as a reference point to assist SAWE Recommended Practice and Standards developers in negotiating United States Standards Strategy, international standards strategy, and the association of SAWE standards and recommended practices to those efforts. Required procedures for SAWE to develop and maintain Recommended Practices and ANSI/SAWE Standards are reviewed.

Cerro, Jeffrey A.↗

Proposal for a remotely manned space station

The United States is in trouble in space. The costs of the proposed Space Station Freedom have grown beyond reach, and the present design is obsolete. The trouble has come from imagining that there are only two alternatives: manned vs. unmanned. Both choices have led us into designs that do not appear to be practical. On one side, the United States simply does not possess the robotic technology needed to operate or assemble a sophisticated unmanned space station. On the other side, the manned designs that are now under way seem far too costly and dangerous, with all of its thousands of extravehicular activity (EVA) hours. More would be accomplished at far less cost by proceeding in a different way. The design of a space station made of modular, Erector Set-like parts is proposed which is to be assembled using earth-based remotely-controlled binary-tree telerobots. Earth-based workers could be trained to build the station in space using simulators. A small preassembled spacecraft would be launched with a few telerobots, and then, telerobots could be ferried into orbit along with stocks of additional parts. Trained terrestrial workers would remotely assemble a larger station, and materials for additional power and life support systems could be launched. Finally, human scientists and explorers could be sent to the space station. Other aspects of such a space station program are discussed.

Minsky, Marvin↗

Integrated use of Landsat data for state resource management

The study deals with the integration of a practical information resource - data from the earth orbiting satellite Landsat - with alternate forms of data to structure a state resource data base. State use of Landsat data within a comprehensive resource management scheme is examined. The efforts of NASA in the transfer of this space technology to state resource management applications are outlined. The role two nongovernmental sectors, universities and private industry, play in assisting states to develop Landsat data analysis capability is described.

Schneider, W. G., Jr.↗

Quasi-projection-operator calculation of autoionization states of O5/+/ /O VI/ and Si11/+/ /Si XII/

A practical approach to calculating diagnostic parameters includes both scattering and statelike (autoionization) elements. The paper presents inelastic quasi-projection-operator calculations of autoionization states of the three-electron ions of oxygen and silicon for states below the n = 3 manifod of the respective two-electron parent (O VI and Si XII). Wave functions containing up to 40 configurations are calculated. The O VI calculated results agree with experimental results within the experimental error (about + or - 2 eV) while for the Si XII case, it was necessary to include relativistic effects. Where formulas are available (states for which p + q = 2), the Si XII results are also in good agreement with experimental results for 2Se, 2Po, and 2De states. Since the calculated results for some of the higher states did not agree with identifications proposed by Trabert et al. (1979), alternative identifications are suggested.

Wakid, S.↗

Model Checking - My 27-Year Quest to Overcome the State Explosion Problem

Model Checking is an automatic verification technique for state-transition systems that are finite=state or that have finite-state abstractions. In the early 1980 s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph Sifakis and his student J.P. Queille at the University of Grenoble independently developed a similar technique. Model Checking has been used successfully to reason about computer hardware and communication protocols and is beginning to be used for verifying computer software. Specifications are written in temporal logic, which is particularly valuable for expressing concurrency properties. An intelligent, exhaustive search is used to determine if the specification is true or not. If the specification is not true, the Model Checker will produce a counterexample execution trace that shows why the specification does not hold. This feature is extremely useful for finding obscure errors in complex systems. The main disadvantage of Model Checking is the state-explosion problem, which can occur if the system under verification has many processes or complex data structures. Although the state-explosion problem is inevitable in worst case, over the past 27 years considerable progress has been made on the problem for certain classes of state-transition systems that occur often in practice. In this talk, I will describe what Model Checking is, how it works, and the main techniques that have been developed for combating the state explosion problem.

Clarke, Ed↗

OPTICON: Pro-Matlab software for large order controlled structure design

A software package for large order controlled structure design is described and demonstrated. The primary program, called OPTICAN, uses both Pro-Matlab M-file routines and selected compiled FORTRAN routines linked into the Pro-Matlab structure. The program accepts structural model information in the form of state-space matrices and performs three basic design functions on the model: (1) open loop analyses; (2) closed loop reduced order controller synthesis; and (3) closed loop stability and performance assessment. The current controller synthesis methods which were implemented in this software are based on the Generalized Linear Quadratic Gaussian theory of Bernstein. In particular, a reduced order Optimal Projection synthesis algorithm based on a homotopy solution method was successfully applied to an experimental truss structure using a 58-state dynamic model. These results are presented and discussed. Current plans to expand the practical size of the design model to several hundred states and the intention to interface Pro-Matlab to a supercomputing environment are discussed.

Peterson, Lee D.↗

Brief Communication: A Simplified Approach to Transient Convective Droplet Evaporation and Burning

Empirical correlations for evaporation rates from single fuel droplets have existed since the 1930s. These correlations, which will be referred to in this article as Froessling/Ranz-Marshall types of correlations, are appropriate to the special cases of steady-state evaporation in the absence of chemical reaction. In a previous article by the authors, the quasi-steady evaporation and burning processes associated with a fuel drop in a convective environment are examined through a droplet model based on the boundary layer approach. For droplet Reynolds numbers of practical interest, this model produces very reasonable steady state as well as quasi-time-dependent droplet simulations, requiring relatively short computational times and yielding good agreement with the above-mentioned empirical correlations. The steady-state case, however, is usually relevant to practical combustor situations only when the drop has reached a nearly uniform temperature since the heating process of the drop cannot be considered to be quasi-steady. In the present study, the transient heating process of the droplet interior during evaporation and/or burning is taken into account, and thus calculations pertaining to the entire life-time of the droplet are carried out. It is of particular interest here to obtain simplified correlations to describe the transient behavior of evaporating and burning droplets; these may be incorporated with greater ease into spray calculations. Accordingly, we have chosen to use stagnation conditions in the present model in a modification of the Froessling/Ranz-Marshall correlations. These modified correlations, incorporating an effective transfer number, produce a fairly accurate representation of droplet evaporation and burning, while requiring only one tenth the computational effort used in a full boundary layer solution.

Madooglu, K.↗

Trends in reliability modeling technology for fault tolerant systems

Developments in reliability modeling for large fault tolerant avionic computing systems are presented. Issues of state size and complexity, fault coverage, and practical computation are addressed. A two-fold developmental effort is described based on the structural and fault coverage modeling approaches. A technique which was successfully applied to an 865 state pure death stationary Markov model is presented. Of particular interest is a short computer program which executes very quickly to produce reliability results of a large state space model. This model also incorporates fault coverage states for processor, memory, and bus line replaceable units. A second structural reliability modeling scheme is aimed at solving nonstationary Markov models. This technique provides the tool required for studying the reliability of systems with nonconstant failure rates and includes intermittent/transient faults, electronic hardware which exhibits decreasing failure rates, and hydromechanical devices which typically have wearout failure mechanisms. Several aspects of fault coverage, including modeling and data measurement of intermittent/transient faults and latent faults, are elucidated and illustrated. The CARE II (computer-aided reliability estimation) coverage is presented and shortcomings to be eliminated are discussed.

Bavuso, S. J.↗

Current activities in standardization of high-temperature, low-cycle-fatigue testing techniques in the United States

The American Society for Testing and Materials (ASTM) standard E606-80 is the most often used recommended testing practice for low-cycle-fatigue (LCF) testing in the United States. The standard was first adopted in 1977 for LCF testing at room temperature and was modified in 1980 to include high-temperature testing practices. Current activity within ASTM is aimed at extending the E606-80 recommended practices to LCF under thermomechanical conditions, LCF in high-pressure hydrogen, and LCF in metal-matrix composite materials. Interlaboratory testing programs conducted to generate a technical base for modifying E606-80 for the aforementioned LCF test types are discussed.

Verrilli, Michael J.↗

Fault-Tolerant Coding for State Machines

Two reliable fault-tolerant coding schemes have been proposed for state machines that are used in field-programmable gate arrays and application-specific integrated circuits to implement sequential logic functions. The schemes apply to strings of bits in state registers, which are typically implemented in practice as assemblies of flip-flop circuits. If a single-event upset (SEU, a radiation-induced change in the bit in one flip-flop) occurs in a state register, the state machine that contains the register could go into an erroneous state or could hang, by which is meant that the machine could remain in undefined states indefinitely. The proposed fault-tolerant coding schemes are intended to prevent the state machine from going into an erroneous or hang state when an SEU occurs. To ensure reliability of the state machine, the coding scheme for bits in the state register must satisfy the following criteria: 1. All possible states are defined. 2. An SEU brings the state machine to a known state. 3. There is no possibility of a hang state. 4. No false state is entered. 5. An SEU exerts no effect on the state machine. Fault-tolerant coding schemes that have been commonly used include binary encoding and "one-hot" encoding. Binary encoding is the simplest state machine encoding and satisfies criteria 1 through 3 if all possible states are defined. Binary encoding is a binary count of the state machine number in sequence; the table represents an eight-state example. In one-hot encoding, N bits are used to represent N states: All except one of the bits in a string are 0, and the position of the 1 in the string represents the state. With proper circuit design, one-hot encoding can satisfy criteria 1 through 4. Unfortunately, the requirement to use N bits to represent N states makes one-hot coding inefficient.

Naegle, Stephanie Taft↗

Structure Assembly by a Heterogeneous Team of Robots Using State Estimation, Generalized Joints, and Mobile Parallel Manipulators

Autonomous robotic assembly by mobile field robots has seen significant advances in recent decades, yet practicality remains elusive. Identified challenges include better use of state estimation to and reasoning with uncertainty, spreading out tasks to specialized robots, and implementing representative joining methods. This paper proposes replacing 1) self-correcting mechanical linkages with generalized joints for improved applicability, 2) assembly serial manipulators with parallel manipulators for higher precision and stability, and 3) all-in-one robots with a heterogeneous team of specialized robots for agent simplicity. This paper then describes a general assembly algorithm utilizing state estimation. Finally, these concepts are tested in the context of solar array assembly, requiring a team of robots to assemble, bond, and deploy a set of solar panel mockups to a backbone truss to an accuracy not built into the parts. This paper presents the results of these tests.

Komendera, Erik E.↗

Land use politics and law in the 1970's

Political facets of the general land use challenge faced in the United States, and the legal authority for governmental action by state and federal officials under given conditions are discussed. Some current and future implications of these political and legal developments are presented. An overview of local versus state versus federal powers is presented along with practices for solving the nation's land use challenge. An analysis is provided of land use law and politics in five states playing active roles in land control. Land use politics and law at the federal level is addressed, with emphasis on three key legislative measures.

Lamb, C. M.↗