Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming model specification”

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 289 records · Page 16

The NASA Aviation Safety Program: Overview

In 1997, the United States set a national goal to reduce the fatal accident rate for aviation by 80% within ten years based on the recommendations by the Presidential Commission on Aviation Safety and Security. Achieving this goal will require the combined efforts of government, industry, and academia in the areas of technology research and development, implementation, and operations. To respond to the national goal, the National Aeronautics and Space Administration (NASA) has developed a program that will focus resources over a five year period on performing research and developing technologies that will enable improvements in many areas of aviation safety. The NASA Aviation Safety Program (AvSP) is organized into six research areas: Aviation System Modeling and Monitoring, System Wide Accident Prevention, Single Aircraft Accident Prevention, Weather Accident Prevention, Accident Mitigation, and Synthetic Vision. Specific project areas include Turbulence Detection and Mitigation, Aviation Weather Information, Weather Information Communications, Propulsion Systems Health Management, Control Upset Management, Human Error Modeling, Maintenance Human Factors, Fire Prevention, and Synthetic Vision Systems for Commercial, Business, and General Aviation aircraft. Research will be performed at all four NASA aeronautics centers and will be closely coordinated with Federal Aviation Administration (FAA) and other government agencies, industry, academia, as well as the aviation user community. This paper provides an overview of the NASA Aviation Safety Program goals, structure, and integration with the rest of the aviation community.

Shin, Jaiwon↗

Knowledge-based approach to system integration

To solve complex problems one can often use the decomposition principle. However, a problem is seldom decomposable into completely independent subproblems. System integration deals with problem of resolving the interdependencies and the integration of the subsolutions. A natural method of decomposition is the hierarchical one. High-level specifications are broken down into lower level specifications until they can be transformed into solutions relatively easily. By automating the hierarchical decomposition and solution generation an integrated system is obtained in which the declaration of high level specifications is enough to solve the problem. We offer a knowledge-based approach to integrate the development and building of control systems. The process modeling is supported by using graphic editors. The user selects and connects icons that represent subprocesses and might refer to prewritten programs. The graphical editor assists the user in selecting parameters for each subprocess and allows the testing of a specific configuration. Next, from the definitions created by the graphical editor, the actual control program is built. Fault-diagnosis routines are generated automatically as well. Since the user is not required to write program code and knowledge about the process is present in the development system, the user is not required to have expertise in many fields.

Blokland, W.↗

An experimental and computational investigation of the flow field about a transonic airfoil in supercritical flow with turbulent boundary-layer separation

A combined experimental and computational research program is described for testing and guiding turbulence modeling within regions of separation induced by shock waves incident in turbulent boundary layers. Specifically, studies are made of the separated flow the rear portion of an 18%-thick circular-arc airfoil at zero angle of attack in high Reynolds number supercritical flow. The measurements include distributions of surface static pressure and local skin friction. The instruments employed include highfrequency response pressure cells and a large array of surface hot-wire skin-friction gages. Computations at the experimental flow conditions are made using time-dependent solutions of ensemble-averaged Navier-Stokes equations, plus additional equations for the turbulence modeling.

Rubesin, M. W.↗

An experimental and computational investigation of the flow field about a transonic airfoil in supercritical flow with turbulent boundary-layer separation

A combined experimental and computational research program for testing and guiding turbulence modeling within regions of separation induced by shock waves incident on turbulent boundary layers is described. Specifically, studies are made of the separated flow over the rear portion of an 18%-thick circular-arc airfoil at zero angle of attack in high Reynolds number supercritical flow. The measurements include distributions of surface static pressure and local skin friction. The instruments employed include high-frequency response pressure cells and a large array of surface hot-wire skin-friction gages. Computations at the experimental flow conditions are made using time-dependent solutions of ensemble-averaged Navier-Stokes equations, plus additional equations for the turbulence modeling.

Rubesin, M. W.↗

Rotorcraft research testing in the National Full-Scale Aerodynamics Complex at NASA Ames Research Center

The unique capabilities of the National Full-Scale Aerodynamics Complex (NFAC) for testing rotorcraft systems are described. The test facilities include the 40- by 80-Foot Wind Tunnel, the 80- by 120-Foot Wind Tunnel, and the Outdoor Aerodynamic Research Facility. The Ames 7- by 10-Foot Subsonic Wind Tunnel is also used in support of the rotor research programs conducted in the NFAC. Detailed descriptions of each of the facilities, with an emphasis on helicopter rotor test capability, are presented. The special purpose rotor test equipment used in conducting helicopter research is reviewed. Test rigs to operate full-scale helicopter main rotors, helicopter tail rotors, and tilting prop-rotors are available, as well as full-scale and small-scale rotor systems for use in various research programs. The test procedures used in conducting rotor experiments are discussed together with representative data obtained from previous test programs. Specific examples are given for rotor performance, loads, acoustics, system interactions, dynamic and aeroelastic stability, and advanced technology and prototype demonstration models.

Warmbrodt, W.↗

Boundary layer simulation improvement

The current Boundary Layer Integral Matrix Procedure - Version J (BLIMPJ) is advanced with regard to the previously modeled calculation methods accounting for surface roughness, relaminarization, condensed phase, and thick boundary layer effects. Current analytical limitations will be relaxed to permit more realistic wall and flow conditions and to use appropriate turbulence models with specific emphasis for the projected Orbit Transfer Vehicle (OTV) engine application. The updates will be incorporated into the BLIMPJ computer program, and the modified program will be made operational on the MSFC CRAY computer system. Experimental feasibility studies were conducted to find out how to obtain quality test data with advanced instrumentation for concept verification purposes.

Praharaj, Sarat C.↗

Distribution of gas in the inner comae of comets

In order to understand the physical and chemical processes which produce the observed spatial morphology of the cometary coma, it is necessary to analyze observational data with physically meaningful models. Thus, a coupled program of theoretical modeling and complementary observational data analysis was undertaken regarding the spatial distributions of neutral gases in the coma. More, specifically, the particular topics of interest are: (1) the theoretical modeling of the nonequilibrium dynamics of the inner coma with emphasis on the region of the coma from the transition from collisional fluid flow out to the free-flow region and on observable conditions in the coma (i.e., density, outflow speed, and temperature); and (2) the model analysis of an important set of long-slit CCD spectra of comets. The side-by-side development of models along with the observation and analysis of data is an important and integral part of this project. The scientific community has in hand valuable observational and in situ data regarding one comet, Halley. It is important to use Halley as the benchmark by which other remotely observed comet data can be understood. Therefore, the self-consistant analysis of data with appropriate models is of the utmost importance. The data analysis work includes the analysis of the spatial profiles of (OI), NH2, CN, and C2.

Combi, Michael↗

BioNet Digital Communications Framework

BioNet v2 is a peer-to-peer middleware that enables digital communication devices to talk to each other. It provides a software development framework, standardized application, network-transparent device integration services, a flexible messaging model, and network communications for distributed applications. BioNet is an implementation of the Constellation Program Command, Control, Communications and Information (C3I) Interoperability specification, given in CxP 70022-01. The system architecture provides the necessary infrastructure for the integration of heterogeneous wired and wireless sensing and control devices into a unified data system with a standardized application interface, providing plug-and-play operation for hardware and software systems. BioNet v2 features a naming schema for mobility and coarse-grained localization information, data normalization within a network-transparent device driver framework, enabling of network communications to non-IP devices, and fine-grained application control of data subscription band width usage. BioNet directly integrates Disruption Tolerant Networking (DTN) as a communications technology, enabling networked communications with assets that are only intermittently connected including orbiting relay satellites and planetary rover vehicles.

Gifford, Kevin↗

Migration Theory in Climate Mobility Research

The purpose of this article is to explore how migration theory is invoked in empirical studies of climate-related migration, and to provide suggestions for engagement with theory in the emerging field of climate mobility. Theory is critical for understanding processes we observe in social-ecological systems because it points to a specific locus of attention for research, shapes research questions, guides quantitative model development, influences what researchers find, and ultimately informs policies and programs. Research into climate mobility has grown out of early studies on environmental migration, and has often developed in isolation from broader theoretical developments in the migration research community. As such, there is a risk that the work may be inadequately informed by the rich corpus of theory that has contributed to our understanding of who migrates; why they migrate; the types of mobility they employ; what sustains migration streams; and why they choose certain destinations over others. On the other hand, there are ways in which climate and broader environment migration research is enriching the conceptual frameworks being employed to understand migration, particularly forced migration. This paper draws on a review of 75 empirical studies and modeling efforts conducted by researchers from a diversity of disciplines, covering various regions, and using a variety of data sources and methods to assess how they used theory in their research. The goal is to suggest ways forward for engagement with migration theory in this large and growing research domain.

migration theory↗

NASA's upper atmosphere research satellite: A program to study global ozone change

The Upper Atmosphere Research Satellite (UARS) is a major initiative in the NASA Office of Space Science and Applications, and is the prototype for NASA's Earth Observing System (EOS) planned for launch in the 1990s. The UARS combines a balanced program of experimental and theoretical investigations to perform diagnostic studies, qualitative model analysis, and quantitative measurements and comparative studies of the upper atmosphere. UARS provides theoretical and experimental investigations which pursue four specific research topics: atmospheric energy budget, chemistry, dynamics, and coupling processes. An international cadre of investigators was assembled by NASA to accomplish those scientific objectives. The observatory, its complement of ten state of the art instruments, and the ground system are nearing flight readiness. The timely UARS program will play a major role in providing data to understand the complex physical and chemical processes occurring in the upper atmosphere and answering many questions regarding the health of the ozone layer.

Luther, Michael R.↗

An investigation of constraint-based component-modeling for knowledge representation in computer-aided conceptual design

Originally, computer programs for engineering design focused on detailed geometric design. Later, computer programs for algorithmically performing the preliminary design of specific well-defined classes of objects became commonplace. However, due to the need for extreme flexibility, it appears unlikely that conventional programming techniques will prove fruitful in developing computer aids for engineering conceptual design. The use of symbolic processing techniques, such as object-oriented programming and constraint propagation, facilitate such flexibility. Object-oriented programming allows programs to be organized around the objects and behavior to be simulated, rather than around fixed sequences of function- and subroutine-calls. Constraint propagation allows declarative statements to be understood as designating multi-directional mathematical relationships among all the variables of an equation, rather than as unidirectional assignments to the variable on the left-hand side of the equation, as in conventional computer programs. The research has concentrated on applying these two techniques to the development of a general-purpose computer aid for engineering conceptual design. Object-oriented programming techniques are utilized to implement a user-extensible database of design components. The mathematical relationships which model both geometry and physics of these components are managed via constraint propagation. In addition, to this component-based hierarchy, special-purpose data structures are provided for describing component interactions and supporting state-dependent parameters. In order to investigate the utility of this approach, a number of sample design problems from the field of aerospace engineering were implemented using the prototype design tool, Rubber Airplane. The additional level of organizational structure obtained by representing design knowledge in terms of components is observed to provide greater convenience to the program user, and to result in a database of engineering information which is easier both to maintain and to extend.

Kolb, Mark A.↗

SPOT Program

A Spacecraft Position Optimal Tracking (SPOT) program was developed to process Global Positioning System (GPS) data, sent via telemetry from a spacecraft, to generate accurate navigation estimates of the vehicle position and velocity (state vector) using a Kalman filter. This program uses the GPS onboard receiver measurements to sequentially calculate the vehicle state vectors and provide this information to ground flight controllers. It is the first real-time ground-based shuttle navigation application using onboard sensors. The program is compact, portable, self-contained, and can run on a variety of UNIX or Linux computers. The program has a modular objec-toriented design that supports application-specific plugins such as data corruption remediation pre-processing and remote graphics display. The Kalman filter is extensible to additional sensor types or force models. The Kalman filter design is also strong against data dropouts because it uses physical models from state and covariance propagation in the absence of data. The design of this program separates the functionalities of SPOT into six different executable processes. This allows for the individual processes to be connected in an a la carte manner, making the feature set and executable complexity of SPOT adaptable to the needs of the user. Also, these processes need not be executed on the same workstation. This allows for communications between SPOT processes executing on the same Local Area Network (LAN). Thus, SPOT can be executed in a distributed sense with the capability for a team of flight controllers to efficiently share the same trajectory information currently being computed by the program. SPOT is used in the Mission Control Center (MCC) for Space Shuttle Program (SSP) and International Space Station Program (ISSP) operations, and can also be used as a post -flight analysis tool. It is primarily used for situational awareness, and for contingency situations.

Smith, Jason T.↗

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems

The manual application of formal methods in system specification has produced successes, but in the end, despite any claims and assertions by practitioners, there is no provable relationship between a manually derived system specification or formal model and the customer's original requirements. Complex parallel and distributed system present the worst case implications for today s dearth of viable approaches for achieving system dependability. No avenue other than formal methods constitutes a serious contender for resolving the problem, and so recognition of requirements-based programming has come at a critical juncture. We describe a new, NASA-developed automated requirement-based programming method that can be applied to certain classes of systems, including complex parallel and distributed systems, to achieve a high degree of dependability.

Hinchey, Michael G.↗

Autonomous Guidance Algorithms for NASA Learn-to-Fly Technology Development

Learn-to-Fly (L2F) is an advanced technology development effort under the NASA Transformative Aeronautics Concepts Program (TACP) that is aimed at assessing the feasibility of self-learning flight vehicles. Specifically, research has been conducted to demonstrate the potential to merge two enabling technologies; real-time aerodynamic modeling and adaptive controls, to substantially reduce the typical ground and flight testing requirements for air vehicle design. The approach to this effort involved development of unique airframes and on-board algorithms to demonstrate key L2F technologies on a fully autonomous flight test vehicle. This research, that included an aggressive flight test program, was intended to rapidly advance these technologies and demonstrate capabilities of the L2F approach. Key components of the L2F architecture include real-time aerodynamic modeling, adaptive controls and control allocation, and guidance. This paper provides an overview of the guidance algorithm which primarily served as an executive function to coordinate control commands for range navigation and the desired test conditions, provide autonomous envelope limiting/expansion and enable automatic landing to touchdown with no intervention from a human operator. A discussion of the L2F concept-of-operations and unique flight testing considerations, which influenced the guidance functional requirements, is included and results of recent flight testing are presented.

Foster, John V.↗

Earth Observatory Satellite system definition study. Report no. 3: Design/cost tradeoff studies. Appendix C: EOS program requirements document

An analysis of the requirements for the Earth Observatory Satellite (EOS) system specifications is presented. The analysis consists of requirements obtained from existing documentation and those derived from functional analysis. The requirements follow the hierarchy of program, mission, system, and subsystem. The code for designating specific requirements is explained. Among the subjects considered are the following: (1) the traffic model, (2) space shuttle related performance, (3) booster related performance, (4) the data collection system, (5) spacecraft structural tests, and (6) the ground support requirements.

Source record↗

Development of a high temperature static strain sensor

The goal of this program is to develop an electrical resistance strain gage system which will accurately measure the static strains of superalloy blades and vanes in gas turbine engines running on a test stand. Accurate knowledge of these strains is essential to reaching the goals of the HOST program in the selection and experimental verification of the various theoretical models developed to understand and improve the performance of these engines. The specific objective is to develop a complete system capable of making strain measurements of up to + or - 10 percent of full scale during a 50 hour period at temperatures as high as 1250 K. In addition to survival and stability, attaining a low temperature coefficient of resistance, of the order of 20 ppm/K or less, was a major goal. This requirement arises from the presently unavoidable uncertainties in measurement of the exact temperatures inside gas turbines for use in making corrections for apparent strain due to temperature.

Hulse, Charles O.↗

Mars dust and cloud opacities and scattering properties

We have recently completed an analysis of the visible emission-phase function (EPF) sequences obtained with the solar-band channel of the Infrared Thermal Mapping (IRTM) instrument onboard the two Viking Orbiters. Roughly 100 of these EPF sequences were gathered during the 1977-1980 period, in which the total broadband (.3-3.0 microns) reflectances of the atmosphere/surface above specific locations on Mars were measured versus emission angle as the spacecraft passed overhead. A multiple scattering radiative transfer program was employed to model the EPF observations in terms of the optical depths of dust/clouds, their single scattering albedos and phase functions, and the Lambert albedos and phase coefficient of the underlying surfaces. Due to the predominance of atmospheric scattering at large atmospheric pathlengths and/or large dust opacities, we were able to obtain strong constraints on the scattering properties of dust/clouds and their opacities for a wide range of latitudes, longitudes, and seasons on Mars.

Clancy, R. T.↗

Estimating the Effects of the Terminal Area Productivity Program

The report describes methods and results of an analysis of the technical and economic benefits of the systems to be developed in the NASA Terminal Area Productivity (TAP) program. A runway capacity model using parameters that reflect the potential impact of the TAP technologies is described. The runway capacity model feeds airport specific models which are also described. The capacity estimates are used with a queuing model to calculate aircraft delays, and TAP benefits are determined by calculating the savings due to reduced delays. The report includes benefit estimates for Boston Logan and Detroit Wayne County airports. An appendix includes a description and listing of the runway capacity model.

Lee, David A.↗