Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “language models”

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 757 records · Page 42
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

System of experts for intelligent data management (SEIDAM)

A proposal to conduct research and development on a system of expert systems for intelligent data management (SEIDAM) is being developed. CCRS has much expertise in developing systems for integrating geographic information with space and aircraft remote sensing data and in managing large archives of remotely sensed data. SEIDAM will be composed of expert systems grouped in three levels. At the lowest level, the expert systems will manage and integrate data from diverse sources, taking account of symbolic representation differences and varying accuracies. Existing software can be controlled by these expert systems, without rewriting existing software into an Artificial Intelligence (AI) language. At the second level, SEIDAM will take the interpreted data (symbolic and numerical) and combine these with data models. at the top level, SEIDAM will respond to user goals for predictive outcomes given existing data. The SEIDAM Project will address the research areas of expert systems, data management, storage and retrieval, and user access and interfaces.

Goodenough, David G.↗
NASA NTRS2012

Estimating Model Error Using Observation Residuals

This presentation discusses an approach to estimate model error using observation residuals. Based on the sequential fixed-lag smoother; we introduce a diagnostic procedure to allow estimating model error over a dense observing system. Optimality considerations are examined in light of the sequential results. The procedure is re-interpreted in the language of variational assimilation, such as 4d-Var. Illustrations of the approach are given by studying both identical-twin and fraternal-twin experimental settings for a system governed by Lorenz-type dynamics. Preliminary results by looking at observation residual statistics for the ECMWF data assimilation system are also shown. The presentation will be part of a series of discussions on issues related to four-dimensional data assimilation under weak-constraint and methodologies to estimate model error.

Todling, Ricardo↗
NASA NTRS1988

Software engineering and Ada (Trademark) training: An implementation model for NASA

The choice of Ada for software engineering for projects such as the Space Station has resulted in government and industrial groups considering training programs that help workers become familiar with both a software culture and the intricacies of a new computer language. The questions of how much time it takes to learn software engineering with Ada, how much an organization should invest in such training, and how the training should be structured are considered. Software engineering is an emerging, dynamic discipline. It is defined by the author as the establishment and application of sound engineering environments, tools, methods, models, principles, and concepts combined with appropriate standards, guidelines, and practices to support computing which is correct, modifiable, reliable and safe, efficient, and understandable throughout the life cycle of the application. Neither the training programs needed, nor the content of such programs, have been well established. This study addresses the requirements for training for NASA personnel and recommends an implementation plan. A curriculum and a means of delivery are recommended. It is further suggested that a knowledgeable programmer may be able to learn Ada in 5 days, but that it takes 6 to 9 months to evolve into a software engineer who uses the language correctly and effectively. The curriculum and implementation plan can be adapted for each NASA Center according to the needs dictated by each project.

Legrand, Sue↗
NASA NTRS1986

Analysis and specification tools in relation to the APSE

Ada and the Ada Programming Support Environment (APSE) specifically address the phases of the system/software life cycle which follow after the user's problem was translated into system and software development specifications. The waterfall model of the life cycle identifies the analysis and requirements definition phases as preceeding program design and coding. Since Ada is a programming language and the APSE is a programming support environment, they are primarily targeted to support program (code) development, tecting, and maintenance. The use of Ada based or Ada related specification languages (SLs) and program design languages (PDLs) can extend the use of Ada back into the software design phases of the life cycle. Recall that the standardization of the APSE as a programming support environment is only now happening after many years of evolutionary experience with diverse sets of programming support tools. Restricting consideration to one, or even a few chosen specification and design tools, could be a real mistake for an organization or a major project such as the Space Station, which will need to deal with an increasingly complex level of system problems. To require that everything be Ada-like, be implemented in Ada, run directly under the APSE, and fit into a rigid waterfall model of the life cycle would turn a promising support environment into a straight jacket for progress.

Hendricks, John W.↗
NASA NTRSDate not supplied

Semantic Search with Sentence-BERT for Design Information Retrieval

Managing and referencing design knowledge is a critical activity in the design process. However, reliably retrieving useful knowledge can be a frustrating experience for users of knowledge management systems due to inherent limitations of standard keyword-based searches. In this research, we consider the task of retrieving relevant lessons learned from the NASA Lessons Learned Information System (LLIS). To this end, we apply a state-of-the-art natural language processing (NLP) technique for information retrieval: semantic search with sentence-BERT, which is a modification of a Bidirectional Encoder Representations from Transformers (BERT) model that uses siamese and triplet network architectures to obtain semantically meaningful sentence embeddings. While the pretrained sBERT model shows excellent out-of-the-box performance, we further fine-tune the model on data from the LLIS so that it learns on design engineering-relevant vocabulary. We quantify the improvement in query results using both standard sBERT and fine-tuned sBERT over the LLIS’s built-in keyword search. Additionally, we demonstrate a use case for the query system by searching for lessons learned relevant to specific requirements from a NASA project as part of a broader knowledge management and retrieval system. Results indicate that applying state-of-the-art natural language processing techniques, especially when fine-tuned using engineering data, to design information retrieval tasks shows significant promise in modernizing design knowledge management systems.

Hannah S. Walsh↗
NASA NTRS2017

Solar Flare Termination Shock and the Synthetic Fe XXI 1354.08 Å Line

Solar flares are one of the most energetic phenomena occurred in the solar system. In the standard solar flare model, a fast mode shock, which is often referred to as the flare termination shock (TS), can exist above the loop-top source of hard X-ray emissions. The existence of the termination shock has been recently related to spectral hardening of flare hard X-ray spectrum at energies > 300 keV. Observations of the Fe XXI 1354.08 Å line during solar flares by the IRIS spacecraft have found significant redshift with >100 km/s, which is consistent with a reconnection downflow. The ability to identify such a redshift by IRIS is made possible by IRIS's high time resolution, high spatial resolution, high sensitivity and cadence spectral observations. The ability to identify such a redshift by IRIS suggests that one may be able to use IRIS observations to identify flare termination shocks. Using a MHD simulation to model magnetic reconnection of a solar flare and assuming the existence of a TS in the downflow of the reconnection plasma, we model the synthetic emission of the Fe XXI 1354.08 Å line in this work. We show that the existence of the TS in the solar flare may manifest itself from the Fe XXI 1354.08 Å line.Plain Language SummaryA solar flare is a brief eruption of intense high-energy radiation from the sun's surface, associated with sunspots and causing electromagnetic disturbances on the earth, as with radio frequency communications and power line transmissions. The standard solar flare model proposes that magnetic reconnection drives solar flares and fast mode shock, which is often referred to as the flare termination shock (TS), can exist at the reconnection outflows. The existence of the termination shock has been recently related to spectral hardening of flare hard X-ray spectrum.

Guo, Lijia↗
NASA NTRS2011

Theoretical Near-IR Spectra for Surface Abundance Studies of Massive Stars

We present initial results of a study of abundance and mass loss properties of O-type stars based on theoretical near-IR spectra computed with state-of-the-art stellar atmosphere models. The James Webb Space Telescope (JWST) will be a powerful tool to obtain high signal-to-noise ratio near-IR (1-5 micron) spectra of massive stars in different environments of local galaxies. Our goal is to analyze model near-IR spectra corresponding to those expected from NIRspec on JWST in order to map the wind properties and surface composition across the parameter range of 0 stars and to determine projected rotational velocities. As a massive star evolves, internal coupling, related mixing, and mass loss impact its intrinsic rotation rate. These three parameters form an intricate loop, where enhanced rotation leads to more mixing which in turn changes the mass loss rate, the latter thus affecting the rotation rate. Since the effects of rotation are expected to be much more pronounced at low metallicity, we pay special attention to models for massive stars in the the Small Magellanic Cloud. This galaxy provides a unique opportunity to probe stellar evolution, and the feedback of massive stars on galactic evol.ution in conditions similar to the epoch of maximal star formation. Plain-Language Abstract: We present initial results of a study of abundance and mass loss properties of massive stars based on theoretical near-infrared (1-5 micron) spectra computed with state-of-the-art stellar atmosphere models. This study is to prepare for observations by the James Webb Space Telescope.

Sonneborn, George↗
NASA NTRS1992

Multiple-function multi-input/multi-output digital control and on-line analysis

The design and capabilities of two digital controller systems for aeroelastic wind-tunnel models are described. The first allowed control of flutter while performing roll maneuvers with wing load control as well as coordinating the acquisition, storage, and transfer of data for on-line analysis. This system, which employs several digital signal multi-processor (DSP) boards programmed in high-level software languages, is housed in a SUN Workstation environment. A second DCS provides a measure of wind-tunnel safety by functioning as a trip system during testing in the case of high model dynamic response or in case the first DCS fails. The second DCS uses National Instruments LabVIEW Software and Hardware within a Macintosh environment.

Hoadley, Sherwood T.↗
NASA NTRS2005

Software for Engineering Simulations of a Spacecraft

Spacecraft Engineering Simulation II (SES II) is a C-language computer program for simulating diverse aspects of operation of a spacecraft characterized by either three or six degrees of freedom. A functional model in SES can include a trajectory flight plan; a submodel of a flight computer running navigational and flight-control software; and submodels of the environment, the dynamics of the spacecraft, and sensor inputs and outputs. SES II features a modular, object-oriented programming style. SES II supports event-based simulations, which, in turn, create an easily adaptable simulation environment in which many different types of trajectories can be simulated by use of the same software. The simulation output consists largely of flight data. SES II can be used to perform optimization and Monte Carlo dispersion simulations. It can also be used to perform simulations for multiple spacecraft. In addition to its generic simulation capabilities, SES offers special capabilities for space-shuttle simulations: for this purpose, it incorporates submodels of the space-shuttle dynamics and a C-language version of the guidance, navigation, and control components of the space-shuttle flight software.

Shireman, Kirk↗
NASA NTRS1975

Marshall vehicle-engineering simulation system (MARVES)

Computer language was developed to furnish programmers with standardized system for handling digital computer simulation of trajectories. System contains collection of models which represent problem to be solved and description of one or more events peculiar to the problem.

Keenum, W. E.↗
NASA NTRS1995

Research project for increasing pool of minority engineers

The Tennessee State University (TSU) Research Project for Increasing the Pool of Minority Engineers is designed to develop engineers who have academic and research experiences in technical areas of interest to NASA. These engineers will also have some degree of familiarity with NASA Lewis Research Center as a result of interaction with Lewis engineers, field trips and internships at Lewis. The Research Project has four components, which are: (1) Minority Introduction to Engineering (MITE), a high school precollege program, (2) engineering and technology previews, (3) the NASA LeRC Scholars program which includes scholarships and summer internships, and (4) undergraduate research experiences on NASA sponsored research. MITE is a two-week summer engineering camp designed to introduce minority high school students to engineering by exposing them to: (1) engineering role models (engineering students and NASA engineer), (2) field trips to engineering firms, (3) in addition to introducing youth to the language of the engineer (i.e., science, mathematics, technical writing, computers, and the engineering laboratory). Three MITE camps are held on the campus of TSU with an average of 40 participants. MITE has grown from 25 participants at its inception in 1990 to 118 participants in 1994 with participants from 17 states, including the District of Columbia, and 51 percent of the participants were female. Over the four-year period, 77 percent of the seniors who participated in MITE have gone to college, while 53 percent of those seniors in college are majoring in science, engineering or mathematics (SEM). This first Engineering and Technology Previews held in 1993 brought 23 youths from Cleveland, Ohio to TSU for a two-day preview of engineering and college life. Two previews are scheduled for 1994-1995. The NASA LeRC Scholars program provides scholarships and summer internships for minority engineering students majoring in electrical or mechanical engineering. Presently six (6) engineering students are in the Scholars program. The average GPA for the scholars is 3.239. Each scholar must maintain a minimum GPA of 3.000/4.000. NASA LeRC Fred Higgs has been awarded a GEM Fellowship. In addition, he will be presenting a paper entitled 'Design of Helical Spring Using Probabilistic Design Methodology' at the Middle Tennessee Section ASME Student Design Presentations in Nashville on March 23rd and at the National Conference on Undergraduate Research to be held at Union College, Schenectady, New York on April 20-22, 1995. Each of the scholars is working on one of the three NASA sponsored research projects in the college.

Rogers, Decatur B.↗
NASA NTRS1997

Fourth NASA Langley Formal Methods Workshop

This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS.

Holloway, C. Michael↗
NASA NTRS1998

An Object Model for a Rocket Engine Numerical Simulator

Rocket Engine Numerical Simulator (RENS) is a packet of software which numerically simulates the behavior of a rocket engine. Different parameters of the components of an engine is the input to these programs. Depending on these given parameters the programs output the behaviors of those components. These behavioral values are then used to guide the design of or to diagnose a model of a rocket engine "built" by a composition of these programs simulating different components of the engine system. In order to use this software package effectively one needs to have a flexible model of a rocket engine. These programs simulating different components then should be plugged into this modular representation. Our project is to develop an object based model of such an engine system. We are following an iterative and incremental approach in developing the model, as is the standard practice in the area of object oriented design and analysis of softwares. This process involves three stages: object modeling to represent the components and sub-components of a rocket engine, dynamic modeling to capture the temporal and behavioral aspects of the system, and functional modeling to represent the transformational aspects. This article reports on the first phase of our activity under a grant (RENS) from the NASA Lewis Research center. We have utilized Rambaugh's object modeling technique and the tool UML for this purpose. The classes of a rocket engine propulsion system are developed and some of them are presented in this report. The next step, developing a dynamic model for RENS, is also touched upon here. In this paper we will also discuss the advantages of using object-based modeling for developing this type of an integrated simulator over other tools like an expert systems shell or a procedural language, e.g., FORTRAN. Attempts have been made in the past to use such techniques.

Mitra, D.↗
NASA NTRS2000

FACET: Future ATM Concepts Evaluation Tool

FACET (Future ATM Concepts Evaluation Tool) is an Air Traffic Management research tool being developed at the NASA Ames Research Center. This paper describes the design, architecture and functionalities of FACET. The purpose of FACET is to provide E simulation environment for exploration, development and evaluation of advanced ATM concepts. Examples of these concepts include new ATM paradigms such as Distributed Air-Ground Traffic Management, airspace redesign and new Decision Support Tools (DSTs) for controllers working within the operational procedures of the existing air traffic control system. FACET is currently capable of modeling system-wide en route airspace operations over the contiguous United States. Airspace models (e.g., Center/sector boundaries, airways, locations of navigation aids and airports) are available from databases. A core capability of FACET is the modeling of aircraft trajectories. Using round-earth kinematic equations, aircraft can be flown along flight plan routes or great circle routes as they climb, cruise and descend according to their individual aircraft-type performance models. Performance parameters (e.g., climb/descent rates and speeds, cruise speeds) are obtained from data table lookups. Heading, airspeed and altitude-rate dynamics are also modeled. Additional functionalities will be added as necessary for specific applications. FACET software is written in Java and C programming languages. It is platform-independent, and can be run on a variety of computers. FACET has been designed with a modular software architecture to enable rapid integration of research prototype implementations of new ATM concepts. There are several advanced ATM concepts that are currently being implemented in FACET airborne separation assurance, dynamic density predictions, airspace redesign (re-sectorization), benefits of a controller DST for direct-routing, and the integration of commercial space transportation system operations into the U.S. National Airspace System (NAS).

Bilmoria, Karl D.↗
NASA NTRS2006

Estimation of Stability and Control Derivatives of an F-15

A technique for real-time estimation of stability and control derivatives (derivatives of moment coefficients with respect to control-surface deflection angles) was used to support a flight demonstration of a concept of an indirect-adaptive intelligent flight control system (IFCS). Traditionally, parameter identification, including estimation of stability and control derivatives, is done post-flight. However, for the indirect-adaptive IFCS concept, parameter identification is required during flight so that the system can modify control laws for a damaged aircraft. The flight demonstration was carried out on a highly modified F-15 airplane (see Figure 1). The main objective was to estimate the stability and control derivatives of the airplane in nearly real time. A secondary goal was to develop a system to automatically assess the quality of the results, so as to be able to tell a learning neural network which data to use. Parameter estimation was performed by use of Fourier-transform regression (FTR) a technique developed at NASA Langley Research Center. FTR is an equation- error technique that operates in the frequency domain. Data are put into the frequency domain by use of a recursive Fourier transform for a discrete frequency set. This calculation simplifies many subsequent calculations, removes biases, and automatically filters out data beyond the chosen frequency range. FTR as applied here was tailored to work with pilot inputs, which produce correlated surface positions that prevent accurate parameter estimates, by replacing half the derivatives with predicted values. FTR was also set up to work only on a recent window of data, to accommodate changes in flight condition. A system of confidence measures was developed to identify quality-parameter estimates that a learning neural network could use. This system judged the estimates primarily on the basis of their estimated variances and of the level of aircraft response. The resulting FTR system was implemented in the Simulink software system and auto-coded in the C programming language for use on the Airborne Research Test System (ARTS II) computer installed in the F-15 airplane. The Simulink model was also used in a control room that utilizes the Ring Buffered Network Bus hardware and software, making it possible to evaluate test points during flights. In-flight parameter estimation was done for piloted and automated maneuvers, primarily at three test conditions. Figure 2 shows results for pitching moment due to symmetric stabilator actuations for a series of three pitch doublet maneuvers (in a doublet maneuver, a command to change attitude in a given direction by a given amount is followed immediately by a command to change attitude in the opposite direction by the same amount). A time window of 5 seconds was used. The portions of the curves shown in red are those that passed the confidence tests. The technique showed good convergence for most derivatives for both kinds of maneuvers - typically within a few seconds. The confidence tests were marginally successful, and it would be necessary to refine them for use in an IFCS.

Smith, Mark↗
NASA NTRS2021

Gravity Wave Observations by the Mars Science Laboratory REMS Pressure Sensor and Comparison with Mesoscale Atmospheric Modeling with MarsWRF

Surface pressure measurements on Mars have revealed a wide variety of atmospheric phenomena. The Mars Science Laboratory Rover Environmental Monitoring Station pressure sensor dataset is now the longest duration record of surface pressure on Mars. We use the first 2580 martian sols, nearly 4 Mars years,of measurements to identify atmospheric pressure waves with periods of tens of minutes to hours using wavelet analysis on residual pressure after the tidal harmonics are removed. We find these waves have a clear diurnal cycle with strongest activity in the early morning and late evening and a seasonal cycle with the strongest waves in the second half of the martian year (Ls= 180-360°). The strongest such waves of the entire mission occurred during the Mars Year 34 global dust storm. Comparable atmospheric waves are identified using atmospheric modeling with the MarsWRF general circulation model in a “nested” high spatial resolution mode. With the support of the modeling, we find these waves best fit the expected properties of inertia-gravity waves with horizontal wavelengths of O(100s) of km. PLAIN LANGUAGE SUMMARY Measuring air pressure from the surface of Mars has revealed a wide variety of atmospheric phenomena. The Curiosity rover's record or surface air pressure is now the longest yet made on Mars.We use the first ~8 years of Curiosity's pressure observations to look for atmospheric waves with periods of tens of minutes to hours. We find these waves have a clear pattern in their daily behavior with the strongest activity in the early morning and late evening and a seasonal cycle with the strongest waves in the second half of the martian year (Northern hemisphere fall and winter). The strongest such waves occurred in 2018 during a global dust storm. We find comparable waves in atmospheric modeling. With the support of modeling, we find these waves best fit the expected properties of buoyancy waves forced by airflow over topography with horizontal wavelengths of 100-1000 km.

Scott D Guzewich↗
NASA NTRSDate not supplied

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗
NASA NTRS2009

From Verified Models to Verifiable Code

Declarative specifications of digital systems often contain parts that can be automatically translated into executable code. Automated code generation may reduce or eliminate the kinds of errors typically introduced through manual code writing. For this approach to be effective, the generated code should be reasonably efficient and, more importantly, verifiable. This paper presents a prototype code generator for the Prototype Verification System (PVS) that translates a subset of PVS functional specifications into an intermediate language and subsequently to multiple target programming languages. Several case studies are presented to illustrate the tool's functionality. The generated code can be analyzed by software verification tools such as verification condition generators, static analyzers, and software model-checkers to increase the confidence that the generated code is correct.

Lensink, Leonard↗