Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “module generation”

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 1,117 records · Page 62

Translating expert system rules into Ada code with validation and verification

The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system.

Becker, Lee↗

Flow and acoustic properties of low Reynolds number underexpanded supersonic jets

An experimental program to investigate the flow and acoustic properties of model underexpanded supersonic jets was conducted. In particular, the role played by large-scale organized fluctuations in the flow evolution and acoustic production processes was examined in detail. The experimental conditions were chosen as low-Reynolds-number (Re = 8000) Mach 1.4 and 2.1 underexpanded jets exhausting from convergent nozzles. A consequence of performing the experiments at low Reynolds number is that the broadband shock-associated noise is suppressed. The focus of the present study is on the generation of noise by large-scale instabilities in the presence of strong shock cell structures. It is demonstrated that the production of screech is related to the modulation and decay of large-scale turbulence structures.

Hu, Tieh-Feng↗

Proportional proximity sensing for telerobots using Coherent Laser Radar

The ability of a telerobotic manipulator to operate in confined spaces while avoiding unwanted collisions is enhanced by the accurate sensing of its proximate environment. To achieve the fidelity required for precise manipulator control, a proportional proximity sensor system with a sufficiently large measurement envelope is required. Current proximity sensors provide a binary indication of the presence of obstacles within a small envelope with coarse or no proportional measurement of their location. A proportional proximity sensor system configured as a Frequency Modulated Continuous Wave (FMCW) Coherent Laser Radar (CLR) using a semiconductor laser as the energy source is described and analyzed. The source and reflected energies mix coherently to generate a radio frequency (RF) signal whose frequency is proportional to the range. The system is tested for accuracy, range, depth of range, speed, and sensitivity and the results are presented. Techniques to derive orientation information and an application to telerobotic control are also described.

Vazquez, Sixto L.↗

LWIR scene simulator developed for end-to-end performance evaluation of focal planes

The development of a long-wave infrared optical simulator facilitates evaluation of the end-to-end performance of long wavelength infrared (LWIR) focal plane arrays (FPAs) in a system-like environment. This simulator provides selectable structured scene inputs to a focal plane module or array. Background irradiances as low as 10 exp 10 photons/sq cm s are achievable when the simulator is cooled with liquid helium. The optical simulator can generate single or multiple targets of controllable intensities, and uniform or structured background irradiances. The infrared scenes can be viewed in a stationary mode or dynamically scanned across the focal plane.

Thompson, Niels A.↗

Evaluation of the efficiency and reliability of software generated by code generators

There are numerous studies which show that CASE Tools greatly facilitate software development. As a result of these advantages, an increasing amount of software development is done with CASE Tools. As more software engineers become proficient with these tools, their experience and feedback lead to further development with the tools themselves. What has not been widely studied, however, is the reliability and efficiency of the actual code produced by the CASE Tools. This investigation considered these matters. Three segments of code generated by MATRIXx, one of many commercially available CASE Tools, were chosen for analysis: ETOFLIGHT, a portion of the Earth to Orbit Flight software, and ECLSS and PFMC, modules for Environmental Control and Life Support System and Pump Fan Motor Control, respectively.

Schreur, Barbara↗

Evidence for Langmuir Envelope Solitons in Solar Type III Burst Source Regions

We present observational evidence for the generation of Langmuir envelope solitons in the source regions of solar type III radio bursts. The solitons appear to be formed by electron beams which excite either the modulational instability or oscillating two-stream instability (OTSI). Millisecond data from the Ulysses Unified Radio and Plasma Wave Experiment (URAP) show that Langmuir waves associated with type III bursts occur as broad intense peaks with time scales ranging from 15 to 90 milliseconds (6 - 27 km). These broad field structures have the properties expected of Langmuir envelope solitons, viz.: the normalized peak energy densities, W(sub L)/n(sub e)T(sub e) approximately 10(exp -5), are well above the modulational instability threshold; the spatial scales, L, which range from 1 - 5 Langmuir wavelengths, show a high degree of inverse correlation with (W(sub L)/n(sub e)T(sub e))(sup 1/2); and the observed widths of these broad peaks agree well with the predicted widths of envelope solitons. We show that the orientation of the Langmuir field structures is random with respect to the ambient magnetic field, indicating that they are probably isotropic structures that have evolved from initially pancake-like solitons. These observations suggest that strong turbulence processes, such as the modulational instability or the OTSI, stabilize the electron beams that produce type III bursts.

Thejappa, G.↗

Time-Dependent Traveling Wave Tube Model for Intersymbol Interference Investigations

For the first time, a computational model has been used to provide a direct description of the effects of the traveling wave tube (TWT) on modulated digital signals. The TWT model comprehensively takes into account the effects of frequency dependent AM/AM and AM/PM conversion, gain and phase ripple; drive-induced oscillations; harmonic generation; intermodulation products; and backward waves. Thus, signal integrity can be investigated in the presence of these sources of potential distortion as a function of the physical geometry of the high power amplifier and the operational digital signal. This method promises superior predictive fidelity compared to methods using TWT models based on swept-amplitude and/or swept-frequency data. The fully three-dimensional (3D), time-dependent, TWT interaction model using the electromagnetic code MAFIA is presented. This model is used to investigate assumptions made in TWT black-box models used in communication system level simulations. In addition, digital signal performance, including intersymbol interference (ISI), is compared using direct data input into the MAFIA model and using the system level analysis tool, SPW.

Kory, Carol L.↗

Intersymbol Interference Investigations Using a 3D Time-Dependent Traveling Wave Tube Model

For the first time, a physics based computational model has been used to provide a direct description of the effects of the TWT (Traveling Wave Tube) on modulated digital signals. The TWT model comprehensively takes into account the effects of frequency dependent AM/AM and AM/PM conversion; gain and phase ripple; drive-induced oscillations; harmonic generation; intermodulation products; and backward waves. Thus, signal integrity can be investigated in the presence of these sources of potential distortion as a function of the physical geometry of the high power amplifier and the operational digital signal. This method promises superior predictive fidelity compared to methods using TWT models based on swept amplitude and/or swept frequency data. The fully three-dimensional (3D), time-dependent, TWT interaction model using the electromagnetic code MAFIA is presented. This model is used to investigate assumptions made in TWT black box models used in communication system level simulations. In addition, digital signal performance, including intersymbol interference (ISI), is compared using direct data input into the MAFIA model and using the system level analysis tool, SPW (Signal Processing Worksystem).

Kory, Carol L.↗

Remote diagnosis server

A network-based diagnosis server for monitoring and diagnosing a system, the server being remote from the system it is observing, comprises a sensor for generating signals indicative of a characteristic of a component of the system, a network-interfaced sensor agent coupled to the sensor for receiving signals therefrom, a broker module coupled to the network for sending signals to and receiving signals from the sensor agent, a handler application connected to the broker module for transmitting signals to and receiving signals therefrom, a reasoner application in communication with the handler application for processing, and responding to signals received from the handler application, wherein the sensor agent, broker module, handler application, and reasoner applications operate simultaneously relative to each other, such that the present invention diagnosis server performs continuous monitoring and diagnosing of said components of the system in real time. The diagnosis server is readily adaptable to various different systems.

Deb, Somnath↗

Optical Coating Performance for Heat Reflectors of the JWST-ISIM Electronic Component

A document discusses a thermal radiator design consisting of lightweight composite materials and low-emittance metal coatings for use on the James Webb Space Telescope (JWST) structure. The structure will have a Thermal Subsystem unit to provide passive cooling to the Integrated Science Instrument Module (ISIM) control electronics. The ISIM, in the JWST observatory, is the platform that provides the mounting surfaces for the instrument control electronics. Dissipating the control electronic generated-heat away from JWST is of paramount importance so that the spacecraft s own heat does not interfere with the infrared-light gathering of distant cosmic sources. The need to have lateral control in the emission direction of the IEC (ISIM Electronics Compartment) radiators led to the development of a directional baffle design that uses multiple curved mirrorlike surfaces. This concept started out from the so-called Winston non-imaging optical concentrators that use opposing parabolic reflector surfaces, where each parabola has its focus at the opposite edge of the exit aperture. For this reason they are often known as compound parabolic concentrators or CPCs. This radiator system with the circular section was chosen for the IEC reflectors because it offers two advantages over other designs. The first is that the area of the reflector strips for a given radiator area is less, which results in a lower mass baffle assembly. Secondly, the fraction of energy emitted by the radiator strips and subsequently reflected by the baffle is less. These fewer reflections reduced the amount of energy that is absorbed and eventually re-emitted, typically in a direction outside the design emission range angle. A baffle frame holds the mirrors in position above a radiator panel on the IEC. Together, these will direct the majority of the heat from the IEC above the sunshield away towards empty space.

Rashford, Robert A.↗

Experimental Validation of Pulse Phase Tracking for X-Ray Pulsar Based

Pulsars are a form of variable celestial source that have shown to be usable as aids for autonomous, deep space navigation. Particularly those sources emitting in the X-ray band are ideal for navigation due to smaller detector sizes. In this paper X-ray photons arriving from a pulsar are modeled as a non-homogeneous Poisson process. The method of pulse phase tracking is then investigated as a technique to measure the radial distance traveled by a spacecraft over an observation interval. A maximum-likelihood phase estimator (MLE) is used for the case where the observed frequency signal is constant. For the varying signal frequency case, an algorithm is used in which the observation window is broken up into smaller blocks over which an MLE is used. The outputs of this phase estimation process were then looped through a digital phase-locked loop (DPLL) in order to reduce the errors and produce estimates of the doppler frequency. These phase tracking algorithms were tested both in a computer simulation environment and using the NASA Goddard Space flight Center X-ray Navigation Laboratory Testbed (GXLT). This provided an experimental validation with photons being emitted by a modulated X-ray source and detected by a silicon-drift detector. Models of the Crab pulsar and the pulsar B1821-24 were used in order to generate test scenarios. Three different simulated detector trajectories were used to be tracked by the phase tracking algorithm: a stationary case, one with constant velocity, and one with constant acceleration. All three were performed in one-dimension along the line of sight to the pulsar. The first two had a constant signal frequency and the third had a time varying frequency. All of the constant frequency cases were processed using the MLE, and it was shown that they tracked the initial phase within 0.15% for the simulations and 2.5% in the experiments, based on an average of ten runs. The MLE-DPLL cascade version of the phase tracking algorithm was used in the varying frequency case. This resulted in tracking of the phase and frequency by the DPLL outputs in both the simulation and experimental environments. The crab pulsar was experimentally tested with a trajectory with a higher acceleration. In this case the phase error tended toward zero as the observation extended to 250 seconds and the doppler frequency error tended to zero in under 100 seconds.

Experimental↗

Benefits and Challenges of Model-based Software Engineering: Lessons Learned based on Qualitative and Quantitative Findings

Even though Model-based Software Engineering (MBSwE) techniques and Autogenerated Code (AGC) have been increasingly used to produce complex software systems, there is only anecdotal knowledge about the state-of-thepractice. Furthermore, there is a lack of empirical studies that explore the potential quality improvements due to the use of these techniques. This paper presents in-depth qualitative findings about development and Software Assurance (SWA) practices and detailed quantitative analysis of software bug reports of a NASA mission that used MBSwE and AGC. The mission’s flight software is a combination of handwritten code and AGC developed by two different approaches: one based on state chart models (AGC-M) and another on specification dictionaries (AGC-D). The empirical analysis of fault proneness is based on 380 closed bug reports created by software developers. Our main findings include: (1) MBSwE and AGC provide some benefits, but also impose challenges. (2) SWA done only at a model level is not sufficient. AGC code should also be tested and the models and AGC should always be kept in-sync. AGC must not be changed manually. (3) Fixes made to address an individual bug report were spread both across multiple modules and across multiple files. On average, for each bug report 1.4 modules, that is, 3.4 files were fixed. (4) Most bug reports led to changes in more than one type of file. The majority of changes to auto-generated source code files were made in conjunction to changes in either file with state chart models or XML files derived from dictionaries. (5) For newly developed files, AGC-M and handwritten code were of similar quality, while AGC-D files were the least fault prone.

Goseva-Popstojanova, Katerina↗

Thermal design and on-orbit performance of the ECOSTRESS instrument

The ECOSystem Spaceborne Thermal Radiometer Experiment on Space Station (ECOSTRESS) instrument, launched on June 29, 2018, has completed nine months of operation in space. ECOSTRESS is a multispectral thermal infrared imaging radiometer and its primary mission is to investigate and understand how climate change affects water and carbon usage on Earth. The thermal control subsystem consists of a combination of active and passive components to maintain instrument components within the allowable flight temperature limits. Its focal plane detector is cooled to 65K by a pair of mechanical cryocoolers and a third mechanical cryocooler cools an intermediate cold shield to 130K. The heat dissipation generated by cryocoolers and electronics, is removed through non-planar cold plates and tube-on plate heat exchanger, which are cooled by a circulating fluid -EF module. The heat collected by the JEM-EF fluid is exchanged with a fluid loop that circulates through radiators located on the exterior of the Space Station. This paper provides an overview of the thermal and cryogenic system design, thermal analysis results and reviews the on-orbit thermal performance.

Romero, M.↗

The InSAR Scientific Computing Environment 3.0: A Flexible Framework for NISAR Operational and User-Led Science Processing

The InSAR Scientific Computing Environment (ISCE) was first developed under the NASA Advanced Information Systems Technology as a flexible, extensible object-oriented framework for Interferometric Synthetic Aperture Radar (InSAR) processing. The ISCE framework uses Python 3 at the workflow level, controlling modules of compiled code for functional processing, and managing inputs, outputs, and other flow control services. The currently released version, called ISCE 2.1, is distributed to the research community through the Western North America InSAR Consortium under a research license. The ISCE team is working on the next generation of the code in order to prepare for the NASAISRO SAR (NISAR) mission operational processing. Innovations in this code include augmentation or conversion of the custom Python framework elements in ISCE with the Pyre framework, new workflows for interferometric and polarimetric stack processing, a more intuitive and graphically based user interface, and flow control for hybrid computing environments including CPU/GPU clusters, logging and error tracking facilities, and new more efficient computational modules that exploit graphical processor units (GPUs) when available. The ISCE 3.0 framework is designed to work in an operational environment as well as on a single user’s laptop or compute cluster, with services to discover capabilities and scale computations accordingly.

Buckley, Sean M.↗

Analysis of a Multiprocessor Guidance Computer

The design of the next generation of spaceborne digital computers is described. It analyzes a possible multiprocessor computer configuration. For the analysis, a set of representative space computing tasks was abstracted from the Lunar Module Guidance Computer programs as executed during the lunar landing, from the Apollo program. This computer performs at this time about 24 concurrent functions, with iteration rates from 10 times per second to once every two seconds. These jobs were tabulated in a machine-independent form, and statistics of the overall job set were obtained. It was concluded, based on a comparison of simulation and Markov results, that the Markov process analysis is accurate in predicting overall trends and in configuration comparisons, but does not provide useful detailed information in specific situations. Using both types of analysis, it was determined that the job scheduling function is a critical one for efficiency of the multiprocessor. It is recommended that research into the area of automatic job scheduling be performed.

Maltach, E. G.↗

Recent research on magnetospheric wave-particle interactions

Highlights of recent Stanford University VLF research in the Antarctic include new observations of wave-induced particle precipitation and controlled experiments on nonlinear wave growth phenomena. Higher-than-expected levels of burst precipitation have been discovered inside the plasmasphere, near L = 2, using subionospheric signal perturbations called 'Trimpi events'. Studies of burst precipitation have been extended to the region poleward of the plasmapause using the Siple transmitter signal as a waveguide probe. Experiments on the 'coherent wave instability', using the amplitude and frequency modulation capability of the new Siple transmitter, have produced exciting new results. Examples are: (1) better definition of the power threshold for the stimulation of temporal wave growth, (2) generation of strong sidebands by unamplified 'beat' waves and (3) generation of chorus-like elements within a band of simulated hiss. Using a new digital processing technique developed at Stanford, new features of the phase behavior of growing waves have been found. Opportunities for extending these experiments are discussed.

Helliwell, R. A.↗

An intelligent training system for space shuttle flight controllers

An autonomous intelligent training system which integrates expert system technology with training/teaching methodologies is described. The system was designed to train Mission Control Center (MCC) Flight Dynamics Officers (FDOs) to deploy a certain type of satellite from the Space Shuttle. The Payload-assist module Deploys/Intelligent Computer-Aided Training (PD/ICAT) system consists of five components: a user interface, a domain expert, a training session manager, a trainee model, and a training scenario generator. The interface provides the trainee with information of the characteristics of the current training session and with on-line help. The domain expert (DeplEx for Deploy Expert) contains the rules and procedural knowledge needed by the FDO to carry out the satellite deploy. The DeplEx also contains mal-rules which permit the identification and diagnosis of common errors made by the trainee. The training session manager (TSM) examines the actions of the trainee and compares them with the actions of DeplEx in order to determine appropriate responses. A trainee model is developed for each individual using the system. The model includes a history of the trainee's interactions with the training system and provides evaluative data on the trainee's current skill level. A training scenario generator (TSG) designs appropriate training exercises for each trainee based on the trainee model and the training goals. All of the expert system components of PD/ICAT communicate via a common blackboard. The PD/ICAT is currently being tested. Ultimately, this project will serve as a vehicle for developing a general architecture for intelligent training systems together with a software environment for creating such systems.

Loftin, R. Bowen↗

An intelligent training system for space shuttle flight controllers

An autonomous intelligent training system which integrates expert system technology with training/teaching methodologies is described. The system was designed to train Mission Control Center (MCC) Flight Dynamics Officers (FDOs) to deploy a certain type of satellite from the Space Shuttle. The Payload-assist module Deploys/Intelligent Computer-Aided Training (PD/ICAT) system consists of five components: a user interface, a domain expert, a training session manager, a trainee model, and a training scenario generator. The interface provides the trainee with information of the characteristics of the current training session and with on-line help. The domain expert (Dep1Ex for Deploy Expert) contains the rules and procedural knowledge needed by the FDO to carry out the satellite deploy. The Dep1Ex also contains mal-rules which permit the identification and diagnosis of common errors made by the trainee. The training session manager (TSM) examines the actions of the trainee and compares them with the actions of Dep1Ex in order to determine appropriate responses. A trainee model is developed for each individual using the system. The model includes a history of the trainee's interactions with the training system and provides evaluative data on the trainee's current skill level. A training scenario generator (TSG) designs appropriate training exercises for each trainee based on the trainee model and the training goals. All of the expert system components of PD/ICAT communicate via a common blackboard. The PD/ICAT is currently being tested. Ultimately, this project will serve as a vehicle for developing a general architecture for intelligent training systems together with a software environment for creating such systems.

Loftin, R. Bowen↗