SEARCH · Engineering Papers

Results for “Domain adaptation”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 415 records · Page 23

All sources NASA NTRS DOE OSTI

NASA NTRS2002

A System for Planning Ahead

A software system that uses artificial intelligence techniques to help with complex Space Shuttle scheduling at Kennedy Space Center is commercially available. Stottler Henke Associates, Inc.(SHAI), is marketing its automatic scheduling system, the Automated Manifest Planner (AMP), to industries that must plan and project changes many different times before the tasks are executed. The system creates optimal schedules while reducing manpower costs. Using information entered into the system by expert planners, the system automatically makes scheduling decisions based upon resource limitations and other constraints. It provides a constraint authoring system for adding other constraints to the scheduling process as needed. AMP is adaptable to assist with a variety of complex scheduling problems in manufacturing, transportation, business, architecture, and construction. AMP can benefit vehicle assembly plants, batch processing plants, semiconductor manufacturing, printing and textiles, surface and underground mining operations, and maintenance shops. For most of SHAI's commercial sales, the company obtains a service contract to customize AMP to a specific domain and then issues the customer a user license.

Source record↗

NASA NTRS2003

Design of an L-band Microwave Radiometer with Active Mitigation of Interference

Radio frequency interference (RFI) impairs L-band radiometry outside the protected 20 MHz frequency band around 1413 MHz. However, bandwidths of 100 MHz or more are desired for certain remote sensing applications as well as certain astronomy applications. Because much of the RFI in this band is from radars with pulse lengths on the order of microseconds, traditional radiometers (i.e., those which directly measure total power or power spectral density integrated over time scales of milliseconds or greater) are poorly-suited to this task. Simply reducing integration time and discarding contaminated outputs may not be a practical answer due to the wide variety of modulations and pulse lengths observed in L-band RFI signals, the dynamic and complex nature of the associated propagation channels, and the logistical effort associated with post-measurement data editing. This motivates the design and development of radiometers capable of coherent sampling and adaptive, real-time mitigation of interference. Such a radiometer will be described in this presentation. This design is capable of coherently-sampling up to 100 MHz bandwidth at L-band. RFI mitigation is implemented in FPGA components so that real-time suppression is achieved. The system currently uses a cascade of basic time- and frequency- domain detection and blanking techniques; more advanced algorithms are un- der consideration. The modular FPGA-based architecture provides other benefits, such as the ability to implement extremely stable digital filters and the ability to reconfigure the system "on the fly". An overview of the basic design along with on-the-air results from an initial implementation will be provided in the presentation. Related L-band RFI surveys will be described to illustrate the relevance of this approach in a variety of operating conditions.

Ellingson, S. W.↗

NASA NTRS1987

Approaches to the automatic generation and control of finite element meshes

The algorithmic approaches being taken to the development of finite element mesh generators capable of automatically discretizing general domains without the need for user intervention are discussed. It is demonstrated that because of the modeling demands placed on a automatic mesh generator, all the approaches taken to date produce unstructured meshes. Consideration is also given to both a priori and a posteriori mesh control devices for automatic mesh generators as well as their integration with geometric modeling and adaptive analysis procedures.

Shephard, Mark S.↗

NASA NTRS1994

Accommodating Heterogeneity in a Debugger for Distributed Computations

In an ongoing project at NASA Ames Research Center, we are building debugger for distributed computations running on a heterogeneous set of machines. Historically, such debuggers have been built as front-ends to existing source-level debuggers on the target platforms. In effect, these back-end debuggers are providing a collection of debugger services to a client. The major drawback is that because of inconsistencies among the back-end debuggers, the front-end must use a different protocol when talking to each back-end debugger. This can make the front-end quite complex. We have avoided this complexity problem by defining the client-server debugger protocol. While it does require vendors to adapt their existing debugger code to meet the protocol, vendors are generally interested in doing so because the approach has several advantages. In addition to solving the heterogenous platform debugging problem, it will be pos~sible to write interesting debugger user interfaces that can be easily ported across a variety of machines. This will likely encourage investment in application-domain specific debuggers. In fact, the user interface of our debugger will be geared to scientists developing computational fluid dynamics codes. This paper describes some of the problems encountered in developing a portable debugger for heterogenous, distributed computing and how the architecture of our debugger avoids them. It then provides a detailed description of the debugger client-server protocol. Some of the more interesting attributes of the protocol are: (1) It is object-oriented; (2) It uses callback functions to capture the asynchronous nature of debugging in a procedural fashion; (3) It contains abstractions, such as in-line instrumentation, for the debugging of computationally intensive programs; (4) For remote debugging, it has operations that enable the implementor to optimize message passing traffic between client and server. The soundness of the protocol is being tested through the implementation of a prototype client and server pair.

Hood, Robert↗

NASA NTRS2003

Design of an L-band Microwave Radiometer with Active Mitigation of Interference

Radio frequency interference (RFI) impairs L-band radiometry outside the protected 20 MHz frequency band around 1413 MHz. However, bandwidths of 100 MHz or more are desired for certain remote sensing applications as well as certain astronomy applications. Because much of the RFI in this band is from radars with pulse lengths on the order of microseconds, traditional radiometers (i.e., those which directly measure total power or power spectral density integrated over time scales of milliseconds or greater) are poorly-suited to this task. Simply reducing integration time and discarding contaminated outputs may not be a practical answer due to the wide variety of modulations and pulse lengths observed in L-band RFI signals, the dynamic and complex nature of the associated propagation channels, and the logistical effort associated with post-measurement data editing. This motivates the design and development of radiometers capable of coherent sampling and adaptive, real-time mitigation of interference. Such a radiometer will be described in this presentation. This design is capable of coherently-sampling up to 100 MHz bandwidth at L-band. RFI mitigation is implemented in FPGA components so that real-time suppression is achieved. The system currently uses a cascade of basic time- and frequency-domain detection and blanking techniques; more advanced algorithms are under consideration. The modular FPGA-based architecture provides other benefits, such as the ability to implement extremely stable digital filters and the ability to reconfigure the system "on the fly". An overview of the basic design along with on-the-air results from an initial implementation will be provided in the presentation. Related L-band RFI surveys will be described to illustrate the relevance of this approach in a variety of operating conditions.

Hampson, G. A.↗

NASA NTRSDate not supplied

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Capturing and analyzing requirements of Cyber-Physical Systems (CPS) can be challenging, since CPS models typically involve time-varying and real-valued variables, physical system dynamics, or even adaptive behavior. MATLAB/Simulinkis a development and simulation framework that is widely used in industry to capture such systems. In this paper, we report on the application of NASA Ames tools to perform end-to-end analysis of the Ten Lockheed Martin Challenge Problems (LMCPS). LMCPS is a set of industrial Simulink model benchmarks and natural language requirements developed by domain experts. Our framework, which integrates the tools FRET and COCOSIM, is used to: 1) elicit, explain, and formalize the semantics of the given natural language requirements; 2) generate verification code and monitors that can be automatically attached to the Simulink models; 3) perform verification by using SMT-based model checkers. FRET and COCOSIM are open source, and can be used by other researchers and practitioners to replicate our case study. We provide a categorization of recurring patterns in the formalization of the requirements and discuss the strengths and weaknesses of our automated verification approach.

Anastasia Mavridou↗

NASA NTRS2010

Transparent Large Strain Thermoplastic Polyurethane Magneto-Active Nanocomposites

Smart adaptive materials are an important class of materials which can be used in space deployable structures, morphing wings, and structural air vehicle components where remote actuation can improve fuel efficiency. Adaptive materials can undergo deformation when exposed to external stimuli such as electric fields, thermal gradients, radiation (IR, UV, etc.), chemical and electrochemical actuation, and magnetic field. Large strain, controlled and repetitive actuation are important characteristics of smart adaptive materials. Polymer nanocomposites can be tailored as shape memory polymers and actuators. Magnetic actuation of polymer nanocomposites using a range of iron, iron cobalt, and iron manganese nanoparticles is presented. The iron-based nanoparticles were synthesized using the soft template (1) and Sun's (2) methods. The nanoparticles shape and size were examined using TEM. The crystalline structure and domain size were evaluated using WAXS. Surface modifications of the nanoparticles were performed to improve dispersion, and were characterized with IR and TGA. TPU nanocomposites exhibited actuation for approximately 2wt% nanoparticle loading in an applied magnetic field. Large deformation and fast recovery were observed. These nanocomposites represent a promising potential for new generation of smart materials.

Yoonessi, Mitra↗

NASA NTRS1996

Adaptive Fuzzy Systems in Computational Intelligence

In recent years, the interest in computational intelligence techniques, which currently includes neural networks, fuzzy systems, and evolutionary programming, has grown significantly and a number of their applications have been developed in the government and industry. In future, an essential element in these systems will be fuzzy systems that can learn from experience by using neural network in refining their performances. The GARIC architecture, introduced earlier, is an example of a fuzzy reinforcement learning system which has been applied in several control domains such as cart-pole balancing, simulation of to Space Shuttle orbital operations, and tether control. A number of examples from GARIC's applications in these domains will be demonstrated.

Berenji, Hamid R.↗

NASA NTRS1985

Adaptive control of large space structures using recursive lattice filters

The use of recursive lattice filters for identification and adaptive control of large space structures is studied. Lattice filters were used to identify the structural dynamics model of the flexible structures. This identification model is then used for adaptive control. Before the identified model and control laws are integrated, the identified model is passed through a series of validation procedures and only when the model passes these validation procedures is control engaged. This type of validation scheme prevents instability when the overall loop is closed. Another important area of research, namely that of robust controller synthesis, was investigated using frequency domain multivariable controller synthesis methods. The method uses the Linear Quadratic Guassian/Loop Transfer Recovery (LQG/LTR) approach to ensure stability against unmodeled higher frequency modes and achieves the desired performance.

Sundararajan, N.↗

NASA NTRS2017

A New Architecture for Visualization: Open Mission Control Technologies

Open Mission Control Technologies (MCT) is a new architecture for visualisation of mission data. Driven by requirements for new mission capabilities, including distributed mission operations, access to data anywhere, customization by users, synthesis of multiple data sources, and flexibility for multi-mission adaptation, Open MCT provides users with an integrated customizable environment. Developed at NASAs Ames Research Center (ARC), in collaboration with NASAs Advanced Multimission Operations System (AMMOS) and NASAs Jet Propulsion Laboratory (JPL), Open MCT is getting its first mission use on the Jason 3 Mission, and is also available in the testbed for the Mars 2020 Rover and for development use for NASAs Resource Prospector Lunar Rover. The open source nature of the project provides for use outside of space missions, including open source contributions from a community of users. The defining features of Open MCT for mission users are data integration, end user composition and multiple views. Data integration provides access to mission data across domains in one place, making data such as activities, timelines, telemetry, imagery, event timers and procedures available in one place, without application switching. End user composition provides users with layouts, which act as a canvas to assemble visualisations. Multiple views provide the capability to view the same data in different ways, with live switching of data views in place. Open MCT is browser based, and works on the desktop as well as tablets and phones, providing access to data anywhere. An early use case for mobile data access took place on the Resource Prospector (RP) Mission Distributed Operations Test, in which rover engineers in the field were able to view telemetry on their phones. We envision this capability providing decision support to on console operators from off duty personnel. The plug-in architecture also allows for adaptation for different mission capabilities. Different data types and capabilities may be added or removed using plugins. An API provides a means to write new capabilities and to create data adaptors. Data plugins exist for mission data sources for NASA missions. Adaptors have been written by international and commercial users. Open MCT is open source. Open source enables collaborative development across organizations and also makes the product available outside of the space community, providing a potential source of usage and ideas to drive product design and development. The combination of open source with an Apache 2 license, and distribution on GitHub, has enabled an active community of users and contributors. The spectrum of users for Open MCT is, to our knowledge, unprecedented for mission software. In addition to our NASA users, we have, through open source, had users and inquires on projects ranging from Internet of Things, to radio hobbyists, to farming projects. We have an active community of contributors, enabling a flow of ideas inside and outside of the space community.

Trimble, Jay↗

NASA NTRS1991

Variational formulation of hybrid problems for fully 3-D transonic flow with shocks in rotor

Based on previous research, the unified variable domain variational theory of hybrid problems for rotor flow is extended to fully 3-D transonic rotor flow with shocks, unifying and generalizing the direct and inverse problems. Three variational principles (VP) families were established. All unknown boundaries and flow discontinuities (such as shocks, free trailing vortex sheets) are successfully handled via functional variations with variable domain, converting almost all boundary and interface conditions, including the Rankine Hugoniot shock relations, into natural ones. This theory provides a series of novel ways for blade design or modification and a rigorous theoretical basis for finite element applications and also constitutes an important part of the optimal design theory of rotor bladings. Numerical solutions to subsonic flow by finite elements with self-adapting nodes given in Refs., show good agreement with experimental results.

Liu, Gao-Lian↗

NASA NTRS1997

Computational Investigations of Noise Suppression in Subsonic Round Jets

NASA Grant NAG1-1802, originally submitted in June 1996 as a two-year proposal, was awarded one-year's funding by NASA LaRC for the period 5 Oct., 1996, through 4 Oct., 1997. Because of the inavailability (from IT at NASA ARC) of sufficient supercomputer time in fiscal 1998 to complete the computational goals of the second year of the original proposal (estimated to be at least 400 Cray C-90 CPU hours), those goals have been appropriately amended, and a new proposal has been submitted to LaRC as a follow-on to NAG1-1802. The current report documents the activities and accomplishments on NAG1-1802 during the one-year period from 5 Oct., 1996, through 4 Oct., 1997. NASA Grant NAG1-1802, and its predecessor, NAG1-1772, have been directed toward adapting the numerical tool of Large-Eddy Simulation (LES) to aeroacoustic applications, with particular focus on noise suppression in subsonic round jets. In LES, the filtered Navier-Stokes equations are solved numerically on a relatively coarse computational grid. Residual stresses, generated by scales of motion too small to be resolved on the coarse grid, are modeled. Although most LES incorporate spatial filtering, time-domain filtering affords certain conceptual and computational advantages, particularly for aeroacoustic applications. Consequently, this work has focused on the development of SubGrid-Scale (SGS) models that incorporate time- domain filters. The author is unaware of any previous attempt at purely time-filtered LES; however, Aldama and Dakhoul and Bedford have considered approaches that combine both spatial and temporal filtering. In our view, filtering in both space and time is redundant, because removal of high frequencies effects the removal of small spatial scales and vice versa.

Pruett, C. David↗

NASA NTRS1999

Large-Eddy Simulation of Aeroacoustic Applications

This report summarizes work accomplished under a one-year NASA grant from NASA Langley Research Center (LaRC). The effort culminates three years of NASA-supported research under three consecutive one-year grants. The period of support was April 6, 1998, through April 5, 1999. By request, the grant period was extended at no-cost until October 6, 1999. Its predecessors have been directed toward adapting the numerical tool of large-eddy simulation (LES) to aeroacoustic applications, with particular focus on noise suppression in subsonic round jets. In LES, the filtered Navier-Stokes equations are solved numerically on a relatively coarse computational grid. Residual stresses, generated by scales of motion too small to be resolved on the coarse grid, are modeled. Although most LES incorporate spatial filtering, time-domain filtering affords certain conceptual and computational advantages, particularly for aeroacoustic applications. Consequently, this work has focused on the development of subgrid-scale (SGS) models that incorporate time-domain filters.

Pruett, C. David↗

NASA NTRS1975

Kalman filter estimation of human pilot-model parameters

The parameters of a human pilot-model transfer function are estimated by applying the extended Kalman filter to the corresponding retarded differential-difference equations in the time domain. Use of computer-generated data indicates that most of the parameters, including the implicit time delay, may be reasonably estimated in this way. When applied to two sets of experimental data obtained from a closed-loop tracking task performed by a human, the Kalman filter generated diverging residuals for one of the measurement types, apparently because of model assumption errors. Application of a modified adaptive technique was found to overcome the divergence and to produce reasonable estimates of most of the parameters.

Schiess, J. R.↗

NASA NTRS2001

Improvements in AVHRR Daytime Cloud Detection Over the ARM NSA Site

Clouds play an important role in the radiation budget over Arctic and Antarctic. Because of limited surface observing capabilities, it is necessary to detect clouds over large areas using satellite imagery. At low and mid-latitudes, satellite-observed visible (VIS; 0.65 micrometers) and infrared (IR; 11 micrometers) radiance data are used to derive cloud fraction, temperature, and optical depth. However, the extreme variability in the VIS surface albedo makes the detection of clouds from satellite a difficult process in polar regions. The IR data often show that the surface is nearly the same temperature or even colder than clouds, further complicating cloud detection. Also, the boundary layer can have large areas of haze, thin fog, or diamond dust that are not seen in standard satellite imagery. Other spectral radiances measured by satellite imagers provide additional information that can be used to more accurately discriminate clouds from snow and ice. Most techniques currently use a fixed reflectance or temperature threshold to decide between clouds and clear snow. Using a subjective approach, Minnis et al. (2001) found that the clear snow radiance signatures vary as a function of viewing and illumination conditions as well as snow condition. To routinely process satellite imagery over polar regions with an automated algorithm, it is necessary to account for this angular variability and the change in the background reflectance as snow melts, vegetation grows over land, and melt ponds form on pack ice. This paper documents the initial satellite-based cloud product over the Atmospheric Radiation Measurement (ARM) North Slope of Alaska (NSA) site at Barrow for use by the modeling community. Cloud amount and height are determined subjectively using an adaptation of the methodology of Minnis et al. (2001) and the radiation fields arc determined following the methods of Doelling et al. (2001) as applied to data taken during the Surface Heat and Energy Budget of the Arctic (SHEBA). The procedures and data produced in this empirically based analysis will also facilitate the development of the automated algorithm for future processing of satellite data over the ARM NSA domain. Results are presented for May, June, and July 1998. ARM surface data are use to partially validate the results taken directly over the ARM site.

Chakrapani, V.↗

NASA NTRS2008

Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop

Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of safety critical systems. Within the field of aeronautics alone, we find the need for verification of algorithms for separation assurance, air traffic control, auto-pilot, Unmanned Aerial Vehicles (UAVs), adaptive avionics, automated decision authority, and much more. Recent advances in formal methods have made verifying more of these problems realistic. Thus we need to continually re-assess what we can solve now and identify the next barriers to overcome. Only through an exchange of ideas between theoreticians and practitioners from academia to industry can we extend formal methods for the verification of ever more challenging problem domains. This volume contains the extended abstracts of the talks presented at LFM 2008: The Sixth NASA Langley Formal Methods Workshop held on April 30 - May 2, 2008 in Newport News, Virginia, USA. The topics of interest that were listed in the call for abstracts were: advances in formal verification techniques; formal models of distributed computing; planning and scheduling; automated air traffic management; fault tolerance; hybrid systems/hybrid automata; embedded systems; safety critical applications; safety cases; accident/safety analysis.

Rozier, Kristin Yvonne↗

NASA NTRSDate not supplied

Roadmap to Cooperative Operating Practices for Strategic Conflict Detection and Resolution in the Upper Class-E Traffic Management Concept

As the governing body of flight operations in the highly anticipated emergent area of Upper Class E airspace (60,000 ft and above), the Federal Aviation Administration (FAA) has recognized the potential for a possible extensible traffic management system for new entrants into this domain. Following the successes with Unmanned Aircraft Systems (UAS) Traffic Management (UTM) and Advanced / Urban Air Mobility (AAM / UAM) Traffic Management programs, FAA put forth an initial concept of operations for supporting the start of the Upper Class E Traffic Management (ETM) concept. Like UTM and AAM / UAM, ETM is envisioned to also be a community-based, industry driven cooperative management concept. However, tailoring it to be adaptable to the atmospheric communication, navigation, and surveillance deficits, as well as the diverse vehicle and mission profiles operating in the ETM environment will be the challenge. As such, the National Aeronautics and Space Administration (NASA) Ames Research Center has been investigating several technologies that will help enable industry in the development of this new type of cooperative operating environment. These technologies are being prototyped and will be tested in a collaborative evaluation of an initial ETM system in late 2023. The evaluation will concentrate on building out ETM system technologies that will inform the participants regarding operational intent sharing, strategic conflict detection, and the resultant deconfliction process. In addition to the technical aspects, key roles and responsibilities will need to be defined. This will be done through exploring community-agreed upon Cooperative Operating Practices (COPs) that include procedures and capabilities to aid in timely, strategic conflict identification and resolution to be developed during the evaluation. As an initial step to the evaluation, the ETM research team at NASA Ames solicited industry feedback on various aspects of ETM operations from subject matter experts. A virtual tabletop walkthrough session was held over a two-day period to follow a roadmap through the functional steps needed to build COPs, focusing on strategic conflict detection and resolution. Overall, the ETM tabletop provided insights into how the community wanted to instantiate the generation and sharing of operational intent, detect strategic conflicts and resolve those conflicts using a preliminary set of procedural community-agreed upon COPs.

Upper Class-E Traffic Management (ETM)↗

NASA NTRSDate not supplied

Roadmap to Cooperative Operating Practices for Strategic Conflict Detection and Resolution in the Upper Class E Traffic Management Concept

Upper Class E Traffic Management (ETM)↗