Search NASA⌕ Search

SEARCH · Search NASA

Results for “embedded design”

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 217 records · Page 12

A direct-interface, fusible heat sink for astronaut cooling

Astronaut cooling during extravehicular activity is a critical design issue in developing a portable life support system that meets the requirements of a space station mission. Some of the requirements are that the cooling device can be easily regenerable and nonventing during operation. In response to this, a direct-interface, fusible heat sink prototype with freezable quick-disconnects was developed. A proof-of-concept prototype was constructed and tested that consists of an elastic container filled with normal tap water and having two quick-disconnects embedded in a wall. These quick-disconnects are designed so that they may be frozen with the ice and yet still be joined to the cooling system, allowing an immediate flow path. The inherent difficulties in a direct-interface heat sink have been overcome, i.e., (1) establishing an initial flow path; (2) avoiding low-flow freeze-up; and (3) achieving adequate heat-transfer rates at the end of the melting process. The requirements, design, fabrication, and testing are discussed.

Lomax, Curtis↗

Building distributed rule-based systems using the AI Bus

The AI Bus software architecture was designed to support the construction of large-scale, production-quality applications in areas of high technology flux, running heterogeneous distributed environments, utilizing a mix of knowledge-based and conventional components. These goals led to its current development as a layered, object-oriented library for cooperative systems. This paper describes the concepts and design of the AI Bus and its implementation status as a library of reusable and customizable objects, structured by layers from operating system interfaces up to high-level knowledge-based agents. Each agent is a semi-autonomous process with specialized expertise, and consists of a number of knowledge sources (a knowledge base and inference engine). Inter-agent communication mechanisms are based on blackboards and Actors-style acquaintances. As a conservative first implementation, we used C++ on top of Unix, and wrapped an embedded Clips with methods for the knowledge source class. This involved designing standard protocols for communication and functions which use these protocols in rules. Embedding several CLIPS objects within a single process was an unexpected problem because of global variables, whose solution involved constructing and recompiling a C++ version of CLIPS. We are currently working on a more radical approach to incorporating CLIPS, by separating out its pattern matcher, rule and fact representations and other components as true object oriented modules.

Schultz, Roger D.↗

Integrated Modeling and Development of Component-Based Embedded Software in Scala

Programming of embedded systems is challenging due to the low-level design patterns normally applied in the implementation of such systems. Furthermore, programming languages normally considered suitable for this level of programming, such as C and C++, are themselves low-level compared to more modern programming languages. We report on an effort exploring modeling and programming of embedded systems in modern high-level programming languages combining object-oriented and functional programming. We present an integration of four separate internal DSLs (libraries), considered useful for embedded program- ming, in the Scala programming language, for programming and testing component-based systems. These include a DSL for defining components and their connections, and a DSL for programming the individual components as hierarchical state machines. Two additional DSLs support testing, and include a DSL for writing temporal logic flavored test oracles for monitoring program executions, and a DSL for rule-based test input generation. The paper discusses the gap between Scala as used here and the needs for embedded systems programming.

Bocchino, Robert↗

Embedded 3D printing of isotropically enhanced lattice structure with programmable elasticity via three-dimensional fiber alignment

Engineered composites with fiber orientation in a complete three-dimensional (3D) context are highly desired for maximizing structural performance as they mimic the well-organized fiber arrangement in natural composites. However, most fabrication techniques lack the capability for through-plane (z-axis) alignment, limiting the possibility for structural design and performance optimization. In this study, we present an embedded 3D printing approach that enables complete 3D fiber alignment, including region-specific alignment control along the through-plane direction. Our method utilizes the extrusion and suspension of composite inks within a supporting matrix. By regionally adjusting the ink extrusion rate and nozzle translation rate, we locally manipulated the fiber arrangement within the composite 3D architecture. Here, we demonstrate that the 3D alignment of carbon fibers in a structural composite significantly enhances both mechanical properties and thermal conductivity in the in-plane and through-plane directions. Furthermore, by strategically arranging regional fiber orientations within micro-architected materials, we fabricated metamaterial engineered composites with programmable anisotropy ratio and directional moduli.

36 MATERIALS SCIENCE↗

A combined stochastic feedforward and feedback control design methodology with application to autoland design

A combined stochastic feedforward and feedback control design methodology was developed. The objective of the feedforward control law is to track the commanded trajectory, whereas the feedback control law tries to maintain the plant state near the desired trajectory in the presence of disturbances and uncertainties about the plant. The feedforward control law design is formulated as a stochastic optimization problem and is embedded into the stochastic output feedback problem where the plant contains unstable and uncontrollable modes. An algorithm to compute the optimal feedforward is developed. In this approach, the use of error integral feedback, dynamic compensation, control rate command structures are an integral part of the methodology. An incremental implementation is recommended. Results on the eigenvalues of the implemented versus designed control laws are presented. The stochastic feedforward/feedback control methodology is used to design a digital automatic landing system for the ATOPS Research Vehicle, a Boeing 737-100 aircraft. The system control modes include localizer and glideslope capture and track, and flare to touchdown. Results of a detailed nonlinear simulation of the digital control laws, actuator systems, and aircraft aerodynamics are presented.

Halyo, Nesim↗

Sensor technology for smart structures

Advanced aerospace structures are discussed that will very likely be fabricated with integral sensors, actuators, and microprocessors for monitoring and dynamic control of configuration. The concept of 'smart structures' integrates fiber-optic sensor technology with advanced composite materials, whereby the optical fibers are embedded in a composite material and provide internal sensing capability for monitoring parameters which are important for the safety, performance, and reliability of the material and the structure. Along with other research facilities, NASA has initiated a cooperative program to design, fabricate, and test composite trusses, tubes, and flat panels with embedded optical fibers for testing and developing prototype smart structures. It is shown that fiber-optic sensor technology can be combined with advanced material and structure concepts to produce a new class of materials with internal sensors for health monitoring of structures.

Rogowski, R. S.↗

Computer-aided operations engineering with integrated models of systems and operations

CONFIG 3 is a prototype software tool that supports integrated conceptual design evaluation from early in the product life cycle, by supporting isolated or integrated modeling, simulation, and analysis of the function, structure, behavior, failures and operation of system designs. Integration and reuse of models is supported in an object-oriented environment providing capabilities for graph analysis and discrete event simulation. Integration is supported among diverse modeling approaches (component view, configuration or flow path view, and procedure view) and diverse simulation and analysis approaches. Support is provided for integrated engineering in diverse design domains, including mechanical and electro-mechanical systems, distributed computer systems, and chemical processing and transport systems. CONFIG supports abstracted qualitative and symbolic modeling, for early conceptual design. System models are component structure models with operating modes, with embedded time-related behavior models. CONFIG supports failure modeling and modeling of state or configuration changes that result in dynamic changes in dependencies among components. Operations and procedure models are activity structure models that interact with system models. CONFIG is designed to support evaluation of system operability, diagnosability and fault tolerance, and analysis of the development of system effects of problems over time, including faults, failures, and procedural or environmental difficulties.

Malin, Jane T.↗

Anti-Collision Function Design and Performances of the CNES Formation Flying Experiment on the PRISMA Mission

Within the framework of a partnership agreement, EADS ASTRIUM has worked since June 2006 for the CNES formation flying experiment on the PRISMA mission. EADS ASTRIUM is responsible for the anti-collision function. This responsibility covers the design and the development of the function as a Matlab/Simulink library, as well as its functional validation and performance assessment. PRISMA is a technology in-orbit testbed mission from the Swedish National Space Board, mainly devoted to formation flying demonstration. PRISMA is made of two micro-satellites that will be launched in 2009 on a quasi-circular SSO at about 700 km of altitude. The CNES FFIORD experiment embedded on PRISMA aims at flight validating an FFRF sensor designed for formation control, and assessing its performances, in preparation to future formation flying missions such as Simbol X; FFIORD aims as well at validating various typical autonomous rendezvous and formation guidance and control algorithms. This paper presents the principles of the collision avoidance function developed by EADS ASTRIUM for FFIORD; three kinds of maneuvers were implemented and are presented in this paper with their performances.

Cayeux, P.↗

Design of fuzzy system by NNs and realization of adaptability

The issue of designing and tuning fuzzy membership functions by neural networks (NN's) was started by NN-driven Fuzzy Reasoning in 1988. NN-driven fuzzy reasoning involves a NN embedded in the fuzzy system which generates membership values. In conventional fuzzy system design, the membership functions are hand-crafted by trial and error for each input variable. In contrast, NN-driven fuzzy reasoning considers several variables simultaneously and can design a multidimensional, nonlinear membership function for the entire subspace.

Takagi, Hideyuki↗

Transformer Neural Networks with Spatiotemporal Attention for Predictive Control and Optimization of Industrial Processes

In the context of real-time optimization and model predictive control of industrial systems, machine learning, and neural networks represent cutting-edge tools that hold promise for enhancing dynamic modeling. This work presents a novel transformer neural network architecture for real-time optimization and model predictive control. This network design includes a modified attention mechanism inspired by positional embedding attention from vision transformers and task-specific modifications to the input-output structure of the transformer’s decoder stack. Experiments were conducted using data from a 450 MW coal-fired power plant to evaluate this approach's effectiveness. The transformer neural network was compared with conventional recurrent models, including GRU and LSTM. The transformer exhibited a 6% increase in the R-squared (R2) value of predictions and an 83% reduction in mean squared error (MSE). Computation time was also reduced by 84% compared to conventional recurrent models.

Gallup, Ethan R.↗

Global Simulations of Gravitational Instability in Protostellar Disks with Full Radiation Transport. II. Locality of Gravitoturbulence, Clumpy Spirals, and Implications for Observable Substructure

Spiral perturbations in a gravitationally unstable accretion disk regulate disk evolution through angular momentum transport and heating and provide an observational signature of gravitational instability (GI). We use global 3D simulations to systematically characterize and understand these spiral perturbations. The spiral perturbations and the resulting transport are overall insensitive to the cooling type, with the exception that radiative cooling, especially in the optically thick regime, reduces the amplitude of temperature perturbations. Spiral perturbations are localized around corotation, allowing transport to be approximated by a local α viscosity to zeroth order in aspect ratio (H/R), but only after averaging over multiple orbits in time and/or multiple scale heights in space. Meanwhile, large-amplitude perturbations from strong gravitoturbulence can cause $\mathcal{O}$(α 1/2 ) deviation in the cooling rate of the disk. We develop empirical prescriptions for the angular momentum transport, heating, and cooling in a gravitoturbulent disk that capture the deviation from a viscous, unperturbed disk to first order in H/R and α 1/2 . The spiral perturbations in saturated gravitoturbulence are clumpy, with dense clumps forming through the nonlinear coupling between multiple modes at different m. Observationally, the clumpy gravitoturbulence produced by saturated GI can be mistaken with observational noise or embedded companions, especially under finite resolution. Meanwhile, grand-design spirals with m-fold symmetry may be uncommon among disks in saturated gravitoturbulence, and we speculate that they may instead be a signature of recently triggered or decaying GI.

Gravitational instability↗

High heat flux actively cooled honeycomb sandwich structural panel for a hypersonic aircraft

The results of a program to design and fabricate an unshielded actively cooled structural panel for a hypersonic aircraft are presented. The design is an all-aluminum honeycomb sandwich with embedded cooling passages soldered to the inside of the outer moldline skin. The overall finding is that an actively cooled structure appears feasible for application on a hypersonic aircraft, but the fabrication process is complex and some material and manufacturing technology developments are required. Results from the program are summarized and supporting details are presented.

Koch, L. C.↗

Predicting Thermal Conductivity

Empirical equation predicts thermal conductivity of composite insulators consisting of cellular, granular or fibrous material embedded in matrix of solid viscoelastic material. Application in designing custom insulators for particular environments.

Penn, B.↗

Forecasting trends in NASA flight software development tools

The experience gained in the design and development of Shuttle flight and ground support embedded software systems along with projections of increasing role and size of software in the proposed Space Station and other future NASA projects provides the basis for forecasting substantial changes in the tools and methodologies by which embedded software systems are developed and acquired. Similar changes in software architectures and operator interfaces will lead to substantial changes in the approach and techniques involved in software test and system integration. Increasing commonality among different flight systems and between flight and supporting ground systems is projected, along with a more distributed approach to software acquisition in highly complex projects such as Space Station.

Garman, J. R.↗

Multiprocessor performance modeling with ADAS

A graph managing strategy referred to as the Algorithm to Architecture Mapping Model (ATAMM) appears useful for the time-optimized execution of application algorithm graphs in embedded multiprocessors and for the performance prediction of graph designs. This paper reports the modeling of ATAMM in the Architecture Design and Assessment System (ADAS) to make an independent verification of ATAMM's performance prediction capability and to provide a user framework for the evaluation of arbitrary algorithm graphs. Following an overview of ATAMM and its major functional rules are descriptions of the ADAS model of ATAMM, methods to enter an arbitrary graph into the model, and techniques to analyze the simulation results. The performance of a 7-node graph example is evaluated using the ADAS model and verifies the ATAMM concept by substantiating previously published performance results.

Hayes, Paul J.↗

Electrochemical approaches for chemical and biological analysis on Mars

Obtaining in situ chemical data from planetary bodies such as Mars or Europa can present significant challenges. The one analytical technique that has many of the requisite characteristics to meet such a challenge is electroanalysis. Described here are three electroanalytical devices designed for in situ geochemical and biological analysis on Mars. The Mars Environmental Compatibility Assessment (MECA) was built and flight qualified for the now cancelled NASA Mars 2001 Lander. Part of MECA consisted of four "cells" containing arrays of electrochemical based sensors for measuring the ionic species in soil samples. A next-generation MECA, the Robotic Chemical Analysis Laboratory (RCAL), uses a carousel-type system to allow for greater customization of analytical procedures. A second instrument, proposed as part of the 2007 CryoScout mission, consists of a flow-through inorganic chemical analyzer (MICA). CryoScout is a torpedo-like device designed for subsurface investigation of the stratigraphic climate record embedded in Mars' north polar cap. As the CryoScout melts its way through the ice cap, MICA will collect and analyze the meltwater for a variety of inorganics and chemical parameters. By analyzing the chemistry locked in the layers of dust, salt, and ice, geologists will be able to determine the recent history of climate, water, and atmosphere on Mars and link it to the past. Finally, electroanalysis shows its abilities in the detection of possible microorganism on Mars or elsewhere in the solar system. To identify an unknown microorganism, one that may not even use Earth-type biochemistry, requires a detection scheme which makes minimal assumptions and looks for the most general features. Recent work has demonstrated that the use of an array of electrochemical sensors which monitors the changes in a solution via electrical conductivity, pH, and ion selective electrodes, can be used to detect minute chemical perturbations caused by the growth of bacteria and with the correct methodology provide unamibiguous detection of such life forms.

Non-NASA Center↗

Integrated System Health Management Development Toolkit

This software toolkit is designed to model complex systems for the implementation of embedded Integrated System Health Management (ISHM) capability, which focuses on determining the condition (health) of every element in a complex system (detect anomalies, diagnose causes, and predict future anomalies), and to provide data, information, and knowledge (DIaK) to control systems for safe and effective operation.

Figueroa, Jorge↗