Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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 811 records · Page 45

Computations of soot and and NO sub x emissions from gas turbine combustors

An analytical program was conducted to compute the soot and NOx emissions from a combustor and the radiation heat transfer to the combustor walls. The program involved the formulation of an emission and radiation model and the incorporation of this model into the Garrett 3-D Combustor Perfomance Computer Program. Computations were performed for the idle, cruise, and take-off conditions of a JT8D can combustor. The predicted soot and NOx emissions and the radiation heat transfer to the combustor walls agree reasonably well with the limited experimental data available.

Srivatsa, S. K.↗

A modal reduction method for use with nonlinear simulations of flexible multibody spacecraft

This paper presents a modal truncation method that can be used to prepare the structural flexibility data required as input to flexible, multibody spacecraft simulation programs. The method allows one to truncate the structural models of each flexible body in the system such that the assembled system is free of undesired high frequency system modes. This truncation method enables reasonable simulation costs to be incurred while maintaining dynamic simulation fidelity in the frequency range of interest. A simple one-dimensional example is presented which provides a physical interpretation of the method's workings. In addition, results are presented from the application of the method to a complex spacecraft.

Macala, G. A.↗

Manual of phosphoric acid fuel cell stack three-dimensional model and computer program

A detailed distributed mathematical model of phosphoric acid fuel cell stack have been developed, with the FORTRAN computer program, for analyzing the temperature distribution in the stack and the associated current density distribution on the cell plates. Energy, mass, and electrochemical analyses in the stack were combined to develop the model. Several reasonable assumptions were made to solve this mathematical model by means of the finite differences numerical method.

Lu, C. Y.↗

Benchmark solutions for the galactic ion transport equations with spatial and energy coupling

In order to anticipate future space shielding requirements, NASA has initiated an effort to formulate computational methods to simulate radiation effects in space. As part of the program, numerical transport algorithms have been developed for the deterministic Boltzman equation describing galactic cosmic ray (GCR) interactions with matter. It thus becomes necessary to assess the accuracy of proposed deterministic algorithms. For this reason, analytical benchmark solutions to mathematically tractable galactic cosmic ray equations have recently been obtained. Even though these problems involve simplifying assumptions of the associated physics, they still contain the essential features of the basic transport processes. The solutions obtained are features of the basic transport processes. The solutions obtained are compared to results from numerical algorithms in order to ensure proper coding and to provide a measure of the accuracy of the numerical methods used in the algorithm. For the first time, mathematical methods have been applied to the galactic ion transport (GIT) equations in the straight ahead approximation with constant nuclear properties. The approach utilizes a Laplace transforms inversion yielding a closed form benchmark solution which is also computationally efficient.

Ganapol, Barry D.↗

NASA Space Human Factors Program

This booklet briefly and succinctly treats 23 topics of particular interest to the NASA Space Human Factors Program. Most articles are by different authors who are mainly NASA Johnson or NASA Ames personnel. Representative topics covered include mental workload and performance in space, light effects on Circadian rhythms, human sleep, human reasoning, microgravity effects and automation and crew performance.

Source record↗

The Use of the Internet to Support General Aviation Research

For the past few years, innovation in the field of General Aviation (GA) has declined. The reason for this decline has not been because of a lack of ideas, but rather a lack of funds necessary to convert these ideas into reality. NASA implemented the Small Business Innovative Research (SBIR) program in an effort to promote new technology in General Aviation. Under this program, small business with good ideas present them to NASA who reviews them and determines their value potential in the GA market. If the company's idea proves worthy, NASA subsidizes their research in three phases that include the research, testing, development, and production of their product. The purpose of my internship this summer was to use the Internet to promote the work of SBIR companies globally to prospective investors.

Rowbottom, James H.↗

Calibration of Post-AGB Supergiants as Standard Extragalactic Candles for HST

This report summarizes activities carried out with support from the NASA Ultraviolet, Visible, and Gravitational Astrophysics Research and Analysis Program. The aim of the program is to calibrate the absolute magnitudes of post-asymptotic-giant-branch (post-AGB or PAGB) stars, which we believe will be an excellent new "standard candle" for measuring extragalactic distances. The reason for this belief is that in old populations, the stars that are evolving through the PAGB region of the HR (Hertzsprung-Russell) diagram arise from only a single main-sequence turnoff mass. In addition, the theoretical PAGB evolutionary tracks show that they evolve through this region at constant luminosity; hence the PAGB stars should have an extremely narrow luminosity function. Moreover, as the PAGB stars evolve through spectral types F and A (en route from the AGB to hot stellar remnants and white dwarfs), they have the highest luminosities attained by old stars (both bolometrically and in the visual band). Finally, the PAGB stars of these spectral types are very easily identified, due to their large Balmer jumps, which are due to their very low surface gravities.

Bond, Howard E.↗

A Model-based Approach to Reactive Self-Configuring Systems

This paper describes Livingstone, an implemented kernel for a self-reconfiguring autonomous system, that is reactive and uses component-based declarative models. The paper presents a formal characterization of the representation formalism used in Livingstone, and reports on our experience with the implementation in a variety of domains. Livingstone's representation formalism achieves broad coverage of hybrid software/hardware systems by coupling the concurrent transition system models underlying concurrent reactive languages with the discrete qualitative representations developed in model-based reasoning. We achieve a reactive system that performs significant deductions in the sense/response loop by drawing on our past experience at building fast prepositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a prepositional, conflict-based feedback controller that generates focused, optimal responses. Livingstone automates all these tasks using a single model and a single core deductive engine, thus making significant progress towards achieving a central goal of model-based reasoning. Livingstone, together with the HSTS planning and scheduling engine and the RAPS executive, has been selected as the core autonomy architecture for Deep Space One, the first spacecraft for NASA's New Millennium program.

Williams, Brian C.↗

Global Precipitation Measurement (GPM) Orbit Design and Autonomous Maneuvers

The NASA Goddard Space Flight Center's Global Precipitation Measurement (GPM) mission must meet the challenge of measuring worldwide precipitation every three hours. The GPM core spacecraft, part of a constellation, will be required to maintain a circular orbit in a high drag environment at a near-critical inclination. Analysis shows that a mean orbit altitude of 407 km is necessary to prevent ground track repeating. Combined with goals to minimize maneuver operation impacts to science data collection and to enable reasonable long-term orbit predictions, the GPM project has decided to fly the GSFC autonomous maneuver system, AutoCon(TM). This system is a follow-up version of the highly successful New Millennium Program technology flown onboard the Earth Observing-1 formation flying mission. This paper presents the driving science requirements and goals of the GPM mission and shows how they will be met. Selection of the mean semi-major axis, eccentricity, and the AV budget for several ballistic properties are presented. The architecture of the autonomous maneuvering system to meet the goals and requirements is presented along with simulations using GPM parameters. Additionally, the use of the GPM autonomous system to mitigate possible collision avoidance and to aid other spacecraft systems during navigation outages is explored.

Folta, David↗

Characterization of Oribtal Debris via Hyper-Velocity Ground-Based Tests

Existing DoD and NASA satellite breakup models are based on a key laboratory-based test, Satellite Orbital debris Characterization Impact Test (SOCIT), which has supported many applications and matched on-orbit events involving older satellite designs reasonably well over the years. In order to update and improve the break-up models and the NASA Size Estimation Model (SEM) for events involving more modern satellite designs, the NASA Orbital Debris Program Office has worked in collaboration with the University of Florida to replicate a hypervelocity impact using a satellite built with modern-day spacecraft materials and construction techniques. The spacecraft, called DebriSat, was intended to be a representative of modern LEO satellites and all major designs decisions were reviewed and approved by subject matter experts at Aerospace Corporation. DebriSat is composed of 7 major subsystems including attitude determination and control system (ADCS), command and data handling (C&DH), electrical power system (EPS), payload, propulsion, telemetry tracking and command (TT&C), and thermal management. To reduce cost, most components are emulated based on existing design of flight hardware and fabricated with the same materials. All fragments down to 2 mm is size will be characterized via material, size, shape, bulk density, and the associated data will be stored in a database for multiple users to access. Laboratory radar and optical measurements will be performed on a subset of fragments to provide a better understanding of the data products from orbital debris acquired from ground-based radars and telescopes. The resulting data analysis from DebriSat will be used to update break-up models and develop the first optical SEM in conjunction with updates into the current NASA SEM. The characterization of the fragmentation will be discussed in the subsequent presentation.

Cowardin, H.↗

An Affordable Lunar Architecture Emphasizing Commercial and International Partnering Opportunities

Since the cancellation of the Constellation Program, NASA officially has been focused on Mars as the next step for human exploration. Yet many in the space community believe that returning humans to the moon is more logical. Often-cited reasons for this include: (1) should Nature prove to be favorable, the moon could be the basis for expanding the space economy through Off-Earth Mining (OEM) and other commercial endeavors; (2) the moon is scientifically interesting and could serve as a platform for scientific facilities; and (3) useful experience could be gained there for the human journey to Mars. With this in mind, JPL’s A-Team (Architecture Team) was tasked with developing conceptual lunar surface architectures that could simultaneously provide “living on another world” proving ground experience, but would also be affordable and offer truly significant commercial and international partnering opportunities. The task also required that the resulting architectures must eventually lead to and flow seamlessly into planning for human missions to Mars in the 2030s/2040s, if “things go well.” This aspect has been critically missing in other lunar architecture proposals.

Elliott, John↗

EM Program Expectations on Implementation of DOE O 458: Radiation Protection of Public/Environment - 19553

DOE Order 458.1, Radiation Protection of the Public and Environment, was issued in 2011. DOE sites were given 18 months to implement. The revised Order promulgates requirements for property clearance actions and independent verification. DOE Order 458.1 allows for preapproved authorized limits for the clearance of property. However, when property with the potential to contain residual radioactive material does not meet preapproved authorized limits, an authorized limits package must be developed. The Order contains a range of requirements for demonstrating with reasonable assurance that dose constraints are met for any actual or likely future use of the property to be released. EM has developed a draft guidance document that provides the elements of an authorized limits package. These elements are used to review all authorized limits packages that are submitted to EM. Expected elements include property description and process knowledge documentation, current and likely future use, the conceptual site model, dose modeling methodologies, specific authorized limits, dose- or concentration-based constraints, collective dose estimate to the potentially exposed population, stakeholder communications, description of the As Low As Reasonably Achievable (ALARA) analysis, implementation plan, evaluation of difficult to assess surfaces, and independent verification plan. The draft guidance document also provides further explanation of the desired elements of an independent verification (IV) plan. An IV plan should describe the planning phase, implementation phase, assessment phase, and decision phase of an activity. The planning phase includes scope and cost, concurrent with cleanup contractor procurement, and review and approval of site radiological survey clearance program and IV program plans. The implementation phase assures sufficient collection of data and adjustment can be made as necessary. During the assessment phase, data and reports are reviewed, and coordination between the clean-up contractor and IV personnel occurs. A decision of whether or not the clearance actions need to be altered occurs during the decision phase. IV certification that the clearance action is complete also occurs during the decision phase. Issuance of the final guidance document is meant to improve the consultation process and minimize iterative interactions with EM. Standardizing and formalizing property clearance and IV actions also helps assure that cleanup actions are transparent and sustainable for future scrutiny. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Application of the steepest ascent optimization method to a reentry trajectory problem

The direct optimization method is presented in detail. Nominal values of the control variables are input parameters. Perturbations are introduced into the control variables and the resulting first order predictions of changes in the payoff, and constraint functions are then determined. Through a sequence of prescribed cycles, a trajectory is eventually obtained which is reasonably close to the optimum. The method is successfully applied to an Apollo three-dimensional reentry problem. The study of this Apollo application problem has resulted in the development of a highly flexible computer program that can be modified to consider other trajectory optimization problems.

Junkin, B. G.↗

Analyzing the test process using structural coverage

A large, commercially developed FORTRAN program was modified to produce structural coverage metrics. The modified program was executed on a set of functionally generated acceptance tests and a large sample of operational usage cases. The resulting structural coverage metrics are combined with fault and error data to evaluate structural coverage. It was shown that in the software environment the functionally generated tests seem to be a good approximation of operational use. The relative proportions of the exercised statement subclasses change as the structural coverage of the program increases. A method was also proposed for evaluating if two sets of input data exercise a program in a similar manner. Evidence was provided that implies that in this environment, faults revealed in a procedure are independent of the number of times the procedure is executed and that it may be reasonable to use procedure coverage in software models that use statement coverage. Finally, the evidence suggests that it may be possible to use structural coverage to aid in the management of the acceptance test processed.

Ramsey, James↗

Software reliability report

There are many software reliability models which try to predict future performance of software based on data generated by the debugging process. Unfortunately, the models appear to be unable to account for the random nature of the data. If the same code is debugged multiple times and one of the models is used to make predictions, intolerable variance is observed in the resulting reliability predictions. It is believed that data replication can remove this variance in lab type situations and that it is less than scientific to talk about validating a software reliability model without considering replication. It is also believed that data replication may prove to be cost effective in the real world, thus the research centered on verification of the need for replication and on methodologies for generating replicated data in a cost effective manner. The context of the debugging graph was pursued by simulation and experimentation. Simulation was done for the Basic model and the Log-Poisson model. Reasonable values of the parameters were assigned and used to generate simulated data which is then processed by the models in order to determine limitations on their accuracy. These experiments exploit the existing software and program specimens which are in AIR-LAB to measure the performance of reliability models.

Wilson, Larry↗

Modeling of the mechanical alloying process

Two programs have been developed to compute the dimensional and property changes that occur with repetitive impacts during the mechanical alloying process. The more sophisticated of the programs also maintains a running count of the fractions of particles present and from this calculates a population distribution. The programs predict powder particle size and shape changes in accord with the accepted stages of powder development during mechanical alloying of ductile species. They also predict hardness and lamellar thickness changes with processing, again with reasonable agreement with experimental results. These predictions offer support of the model (and thereby give insight into the possible 'actual' happenings of mechanical alloying) and hence allow refinement and calibration of the myriad aspects of the model. They also provide a vehicle for establishing control over the dimensions and properties of the output powders used for consolidation, thereby facilitating optimization of the consolidation process.

Maurice, D.↗

Development of Miniaturized Optimized Smart Sensors (MOSS) for space plasmas

The cost of space plasma sensors is high for several reasons: (1) Most are one-of-a-kind and state-of-the-art, (2) the cost of launch to orbit is high, (3) ruggedness and reliability requirements lead to costly development and test programs, and (4) overhead is added by overly elaborate or generalized spacecraft interface requirements. Possible approaches to reducing costs include development of small 'sensors' (defined as including all necessary optics, detectors, and related electronics) that will ultimately lead to cheaper missions by reducing (2), improving (3), and, through work with spacecraft designers, reducing (4). Despite this logical approach, there is no guarantee that smaller sensors are necessarily either better or cheaper. We have previously advocated applying analytical 'quality factors' to plasma sensors (and spacecraft) and have begun to develop miniaturized particle optical systems by applying quantitative optimization criteria. We are currently designing a Miniaturized Optimized Smart Sensor (MOSS) in which miniaturized electronics (e.g., employing new power supply topology and extensive us of gate arrays and hybrid circuits) are fully integrated with newly developed particle optics to give significant savings in volume and mass. The goal of the SwRI MOSS program is development of a fully self-contained and functional plasma sensor weighing 1 lb and requiring 1 W. MOSS will require only a typical spacecraft DC power source (e.g., 30 V) and command/data interfaces in order to be fully functional, and will provide measurement capabilities comparable in most ways to current sensors.

Young, D. T.↗

Model of spacecraft atomic oxygen and solar exposure microenvironments

Computer models of environmental conditions in Earth orbit are needed for the following reasons: (1) derivation of material performance parameters from orbital test data, (2) evaluation of spacecraft hardware designs, (3) prediction of material service life, and (4) scheduling spacecraft maintenance. To meet these needs, Boeing has developed programs for modeling atomic oxygen (AO) and solar radiation exposures. The model allows determination of AO and solar ultraviolet (UV) radiation exposures for spacecraft surfaces (1) in arbitrary orientations with respect to the direction of spacecraft motion, (2) overall ranges of solar conditions, and (3) for any mission duration. The models have been successfully applied to prediction of experiment environments on the Long Duration Exposure Facility (LDEF) and for analysis of selected hardware designs for deployment on other spacecraft. The work on these models has been reported at previous LDEF conferences. Since publication of these reports, a revision has been made to the AO calculation for LDEF, and further work has been done on the microenvironments model for solar exposure.

Bourassa, R. J.↗