SEARCH · Engineering Papers

Results for “dynamic framework”

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 577 records · Page 32

All sources NASA NTRS DOE OSTI

NASA NTRS2013

Adaptive Control for Linear Uncertain Systems with Unmodeled Dynamics Revisited via Optimal Control Modification

This paper presents the optimal control modification for linear uncertain plants. The Lyapunov analysis shows that the modification parameter has a limiting value depending on the nature of the uncertainty. The optimal control modification exhibits a linear asymptotic property that enables it to be analyzed in a linear time invariant framework for linear uncertain plants. The linear asymptotic property shows that the closed-loop plants in the limit possess a scaled input-output mapping. Using this property, we can derive an analytical closed-loop transfer function in the limit as the adaptive gain tends to infinity. The paper revisits the Rohrs counterexample problem that illustrates the nature of non-robustness of model-reference adaptive control in the presence of unmodeled dynamics. An analytical approach is developed to compute exactly the modification parameter for the optimal control modification that stabilizes the plant in the Rohrs counterexample. The linear asymptotic property is also used to address output feedback adaptive control for non-minimum phase plants with a relative degree 1.

Unmodeled Dynamics↗

NASA NTRS2014

Propulsion System Simulation Using the Toolbox for the Modeling and Analysis of Thermodynamic System T-MATS

A simulation toolbox has been developed for the creation of both steady-state and dynamic thermodynamic software models. This paper describes the Toolbox for the Modeling and Analysis of Thermodynamic Systems (T-MATS), which combines generic thermodynamic and controls modeling libraries with a numerical iterative solver to create a framework for the development of thermodynamic system simulations, such as gas turbine engines. The objective of this paper is to present an overview of T-MATS, the theory used in the creation of the module sets, and a possible propulsion simulation architecture. A model comparison was conducted by matching steady-state performance results from a T-MATS developed gas turbine simulation to a well-documented steady-state simulation. Transient modeling capabilities are then demonstrated when the steady-state T-MATS model is updated to run dynamically.

gas path dynamics↗

NASA NTRS2014

Propulsion System Simulation Using the Toolbox for the Modeling and Analysis of Thermodynamic Systems (T-MATS)

aerothermodynamics↗

NASA NTRS1986

Working group report on beam plasmas, electronic propulsion, and active experiments using beams

The JPL Workshop addressed a number of plasma issues that bear on advanced spaceborne technology for the years 2000 and beyond. Primary interest was on the permanently manned space station with a focus on identifying environmentally related issues requiring early clarification by spaceborne plasma experimentation. The Beams Working Group focused on environmentally related threats that platform operations could have on the conduct and integrity of spaceborne beam experiments and vice versa. Considerations were to include particle beams and plumes. For purposes of definition it was agreed that the term particle beams described a directed flow of charged or neutral particles allowing single-particle trajectories to represent the characteristics of the beam and its propagation. On the other hand, the word plume was adopted to describe a multidimensional flow (or expansion) of a plasma or neutral gas cloud. Within the framework of these definitions, experiment categories included: (1) Neutral- and charged-particle beam propagation, with considerations extending to high powers and currents. (2) Evolution and dynamics of naturally occurring and man-made plasma and neutral gas clouds. In both categories, scientific interest focused on interactions with the ambient geoplasma and the evolution of particle densities, energy distribution functions, waves, and fields.

Dawson, J. M.↗

NASA NTRS1988

The Amazon Boundary Layer Experiment (ABLE 2A) - Dry season 1985

The Amazon Boundary Layer Experiment (ABLE 2A) used data from aircraft, ground-based, and satellite platforms to characterize the chemistry and dynamics of the lower atmosphere over the Amazon Basin during the early-to-middle dry season, July and August 1985. This paper reports the conceptual framework and experimental approach used in ABLE 2A and serves as an introduction to the detailed papers which follow in this issue. The results of ABLE 2A demonstrate that isoprene, methane, carbon dioxide, nitric oxide, dimethylsulfide, and organic aerosol emissions from soils and vegetation play a major role in determining the chemical composition of the atmospheric mixed layer over undisturbed forest and wetland environments. As the dry season progresses, emissions from both local and distant biomass burning become an important source of carbon monoxide, nitric oxide and ozone in the atmosphere over the central Amazon Basin.

Harriss, R. C.↗

NASA NTRS2004

Simulating Operation of a Planetary Rover

Simulating Operation of a Planetary Rover Rover Analysis, Modeling, and Simulations (ROAMS) is a computer program that simulates the operation of a robotic vehicle (rover) engaged in exploration of a remote planet. ROAMS is a roverspecific extension of the DARTS and Dshell programs, described in prior NASA Tech Briefs articles, which afford capabilities for mathematical modeling of the dynamics of a spacecraft as a whole and of its instruments, actuators, and other subsystems. ROAMS incorporates mathematical models of kinematics and dynamics of rover mechanical subsystems, sensors, interactions with terrain, solar panels and batteries, and onboard navigation and locomotion-control software. ROAMS provides a modular simulation framework that can be used for analysis, design, development, testing, and operation of rovers. ROAMS can be used alone for system performance and trade studies. Alternatively, ROAMS can be used in an operator-in-the-loop or flight-software closed-loop environment. ROAMS can also be embedded within other software for use in analysis and development of algorithms, or for Monte Carlo studies, using a variety of terrain models, to generate performance statistics. Moreover, taking advantage of realtime features of the underlying DARTS/Dshell simulation software, ROAMS can also be used for real-time simulations.

Jain, Abhinandan↗

NASA NTRS2011

Feature and Pose Constrained Visual Aided Inertial Navigation for Computationally Constrained Aerial Vehicles

A Feature and Pose Constrained Extended Kalman Filter (FPC-EKF) is developed for highly dynamic computationally constrained micro aerial vehicles. Vehicle localization is achieved using only a low performance inertial measurement unit and a single camera. The FPC-EKF framework augments the vehicle's state with both previous vehicle poses and critical environmental features, including vertical edges. This filter framework efficiently incorporates measurements from hundreds of opportunistic visual features to constrain the motion estimate, while allowing navigating and sustained tracking with respect to a few persistent features. In addition, vertical features in the environment are opportunistically used to provide global attitude references. Accurate pose estimation is demonstrated on a sequence including fast traversing, where visual features enter and exit the field-of-view quickly, as well as hover and ingress maneuvers where drift free navigation is achieved with respect to the environment.

autonomous operation↗

NASA NTRS2013

Validation and Verification of LADEE Models and Software

The Lunar Atmosphere Dust Environment Explorer (LADEE) mission will orbit the moon in order to measure the density, composition and time variability of the lunar dust environment. The ground-side and onboard flight software for the mission is being developed using a Model-Based Software methodology. In this technique, models of the spacecraft and flight software are developed in a graphical dynamics modeling package. Flight Software requirements are prototyped and refined using the simulated models. After the model is shown to work as desired in this simulation framework, C-code software is automatically generated from the models. The generated software is then tested in real time Processor-in-the-Loop and Hardware-in-the-Loop test beds. Travelling Road Show test beds were used for early integration tests with payloads and other subsystems. Traditional techniques for verifying computational sciences models are used to characterize the spacecraft simulation. A lightweight set of formal methods analysis, static analysis, formal inspection and code coverage analyses are utilized to further reduce defects in the onboard flight software artifacts. These techniques are applied early and often in the development process, iteratively increasing the capabilities of the software and the fidelity of the vehicle models and test beds.

Gundy-Burlet, Karen↗

NASA NTRS2021

MBSE Validation and Verification: Case Study for LADEE

The Lunar Atmosphere Dust Environment Explorer (LADEE) mission orbited the moon in order to measure the density, composition, and time variability of the lunar dust environment. The successful mission launched September 7, 2013 and was de-orbited and impacted the moon's surface on April 17, 2014. The ground-side and onboard flight software for the mission was developed using a “Model-Based Software Engineering” (MBSE) methodology combined with strong reuse of Government and Commercial Off-The Shelf (G/COTS) components. Models of the spacecraft and flight software were developed in a graphical dynamics modeling package. Flight Software requirements were prototyped and refined using the simulated models. After the model was shown to work as desired in the simulation framework, C-code software was automatically generated from the models. The auto-generated software was then tested in real-time Processor-in-the-Loop and Hardware-in-the-Loop test beds. “Traveling Road Show” test beds were used for early integration tests with payloads and other subsystems. Traditional techniques for verifying computational sciences models were used to characterize the spacecraft simulation. A lightweight set of formal methods analysis, static analysis, formal inspection, and code coverage analyses were utilized to further reduce defects in the onboard flight software artifacts. These techniques were applied early and often in the development process, iteratively increasing the capabilities of software and fidelity of vehicle models and test beds.

Model-Based Software Engineering, Validation and V↗

NASA NTRS2023

Solidification Furnace for In Situ Observation of Bulk Transparent Systems and Image Analysis Methods

This paper aims to describe the experimental framework of the Directional Solidification Insert (DSI), installed onboard the International Space Station (ISS), dedicated to the in situ and real-time characterization of the dynamic selection of the solid-liquid interface morphology in bulk samples of transparent materials under diffusive growth conditions. The in situ observation of the solid-liquid interface is an invaluable tool for gaining knowledge on the time-evolution of the interface pattern because the initial morphological instability evolves nonlinearly and undergoes a reorganization process. The result of each experiment, characterized by the sample concentration, a thermal gradient and a pulling rate, is a large number of images. Interpretation of these images necessitates a robust identification of each cell/dendrite position and size during the entire solidification. Several image analysis methods have been developed to achieve this goal reliably despite varying contrast and noise levels, and are described in details. Typical solidification experiments are presented and the dynamics of the pattern formation are analyzed to illustrate the application of the image analysis methods.

Programming languages↗

NASA NTRSDate not supplied

Rapid Spacecraft Payload Development: In-Orbit Demonstration of Flight Software Reuse, Scalability, and Dependability

As space mission design trends towards shared, multi-mission platforms and high-performance onboard computing architectures, the number of spacecraft launched into operation is also steadily rising. Through ridesharing, spacecraft miniaturization, and other cost-reduction measures, the barriers to space are lowering, resulting in compounded growth in the amount of flight software being deployed. To meet the needs of both the growing quantity and evolving nature of spacecraft, flight software design must accordingly adapt to support more efficient development, solutions to computational resource-sharing, and software reusability. This paper focuses on a software payload demonstrating several core technologies that improve the state-of-the-art in these identified areas. Launched into low-earth orbit in January 2022, our software payload was conceived, designed, and delivered in a span of merely two months. It was developed on top of the NASA core Flight System (cFS) framework and the Distributed Spacecraft Autonomy (DSA) Comm cFS application, which translates cFS software bus messages across a Data Distribution Service (DDS) network. The flight software, packaged in Linux container images, was deployed as one of 18 flight applications managed through the Unibap SpaceCloud Framework. The applications were run on a Unibap iX5-102 radiation-tolerant payload computer, hosted on the D-Orbit SCV-004 spacecraft as part of an ESA-sponsored in-orbit technology test. Our payload, referred to as the DSA D-Orbit software, demonstrates the reusability of the DSA Comm app in a substantially different context and purpose as its original mission. Comm’s original design goal was to reliably distribute messages between spacecraft swarms of arbitrary size and dynamic network topology. However, we leverage this same functionality to introduce redundancy and opportunistic parallel data processing in the context of a representative onboard image processing workload. This adaptive mission architecture was enabled in part by the SpaceCloud Framework’s use of container virtualization as the payload integration interface. By using a base container image with common high-level language runtimes and libraries, we were able to rapidly design, develop, and validate our image processing application without many of the technological barriers common to flight software development. We present details the goals, approach, results, and lessons learned through this technology demonstration experiment and contextualize those observations against present and future challenges in spacecraft software development.

computer programming↗

NASA NTRS2014

Propulsion System Simulation Using the Toolbox for the Modeling and Analysis of Thermodynamic System (T-MATS)

A simulation toolbox has been developed for the creation of both steady-state and dynamic thermodynamic software models. This presentation describes the Toolbox for the Modeling and Analysis of Thermodynamic Systems (T-MATS), which combines generic thermodynamic and controls modeling libraries with a numerical iterative solver to create a framework for the development of thermodynamic system simulations, such as gas turbine engines. The objective of this presentation is to present an overview of T-MATS, the theory used in the creation of the module sets, and a possible propulsion simulation architecture.

aerothermodynamics↗

NASA NTRS2003

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗

NASA NTRS2012

Aeroelastic Modeling of Elastically Shaped Aircraft Concept via Wing Shaping Control for Drag Reduction

Lightweight aircraft design has received a considerable attention in recent years as a means for improving cruise efficiency. Reducing aircraft weight results in lower lift requirements which directly translate into lower drag, hence reduced engine thrust requirements during cruise. The use of lightweight materials such as advanced composite materials has been adopted by airframe manufacturers in current and future aircraft. Modern lightweight materials can provide less structural rigidity while maintaining load-carrying capacity. As structural flexibility increases, aeroelastic interactions with aerodynamic forces and moments become an increasingly important consideration in aircraft design and aerodynamic performance. Furthermore, aeroelastic interactions with flight dynamics can result in issues with vehicle stability and control. Abstract This paper describes a recent aeroelastic modeling effort for an elastically shaped aircraft concept (ESAC). The aircraft model is based on the rigid-body generic transport model (GTM) originally developed at NASA Langley Research Center. The ESAC distinguishes itself from the GTM in that it is equipped with highly flexible wing structures as a weight reduction design feature. More significantly, the wings are outfitted with a novel control effector concept called variable camber continuous trailing edge (VCCTE) flap system for active control of wing aeroelastic deflections to optimize the local angle of attack of wing sections for improved aerodynamic efficiency through cruise drag reduction and lift enhancement during take-off and landing. The VCCTE flap is a multi-functional and aerodynamically efficient device capable of achieving high lift-to-drag ratios. The flap system is comprised of three chordwise segments that form the variable camber feature of the flap and multiple spanwise segments that form a piecewise continuous trailing edge. By configuring the flap camber and trailing edge shape, drag reduction could be achieved. Moreover, some parts of the flap system can be made to have a high frequency response for roll control, gust load alleviation, and aeroservoelastic (ASE) modal suppression control. Abstract The aeroelastic model of the ESAC is based on one-dimensional structural dynamic theory that captures the aeroelastic deformation of a wing structure in a combined motion that involves flapwise bending, chordwise bending, and torsion. The model includes the effect of aircraft propulsion due to wing flexibility which causes the propulsive forces and moments to couple with the wing elastic motion. Engine mass is also accounted in the model. A fuel management model is developed to describe the wing mass change due to fuel usage in the main tank and wing tanks during cruise. Abstract The model computes both static and dynamic responses of the wing structures. The static aeroelastic deflections are used to estimate the effect of wing flexibility on induced drag and the potential drag reduction by the VCCTE flap system. A flutter analysis is conducted to estimate the flutter speed boundary. Gust load alleviation via adaptive control has been recently investigated to address flexibility of aircraft structures. A multi-objective flight control approach is presented for drag reduction control. The approach is based on an optimal control framework using a multi-objective cost function. Future studies will demonstrate the potential benefits of the approach.

Aeroelasticity↗

NASA NTRSDate not supplied

Emulated Spacecraft Communication Testbed for Evaluating Cognitive Networking Technology

The ability to emulate the full space protocol stack is an essential aspect required to evaluate and mature cognitive communication capabilities. The interaction between the physical layer and network layers is key to developing network optimizations for a dynamic and complex environment. We present a laboratory testbed for the evaluation of cognitive radio and networking techniques applied to space communications. The testbed is a high fidelity, flight-like hardware testbed consisting of software-defined radios, channel emulators, modems, and orbital analysis and scheduling software. The testbed uses RF links with signal quality, propagation delay, and Doppler effects driven by orbital mechanics simulations of emulated spacecraft. Our framework enables control of link bidirectionality, data rates, and interference sources. In addition to hardware radio nodes, the testbed can incorporate virtualized emulated nodes for larger and more challenging network scenarios. Our approach to a cognitive communication system uses delay tolerant networking (DTN) to mitigate the challenges of the space environment. While many DTN networks use only preplanned schedules, our system uses User-Initiated Service (UIS) to dynamically schedule service providers. Software-defined radio allows the system to adapt to a variety of service providers. Integration of DTN, UIS, and software-defined radio technologies provides a framework for the implementation of a cognitive communication system. This paper describes the testbed capabilities, network emulation approach, component integration, and initial end-to-end testing results.

cognitive radio↗

NASA NTRS1976

Large-scale systems - Stability, complexity, reliability

This paper establishes the connective stability concept in the framework of the comparison principle and vector Liapunov functions, as a natural setting for resolving the complexity vs reliability problem in the control of large-scale dynamic systems. The central result is the following: a stable complex system when composed as a competitive structure of the interconnected stable subsystems remains stable despite the on-off participation of the subsystems. This result is important in that it can be used efficiently to synthesize reliable complex systems by multilevel feedback control.

Siljak, D. D.↗

NASA NTRS1988

Baroclinic instability in vertically discrete systems

The Charney-Phillips (1953) standard vertical grid for quasi-geostrophic models is compared with the Lorenz (1960) vertical grid (which departs from the standard grid by carrying horizontal velocity and potential temperature at same levels) in the framework of the quasi-geostrophic potential vorticity equation and baroclinic instability. It is demonstrated that the Charney-Phillips grid makes it possible to maintain important dynamical constraints on quasi-geostrophic flow, such as the conservation of quasi-geostrophic potential vorticity through horizontal advection and resulting integral constraints. The Lorenz grid, on the other hand, is not straightforward even to define quasi-geostrophic potential vorticity. Moreover, due to an extra degree of freedom in potential temperature, the Lorenz grid can falsely satisfy the necessary condition for baroclinic instability near the lower and the upper boundaries.

Arakawa, Akio↗

NASA NTRS1994

Cosmic structure formation

This article reviews the prevailing paradigm for how galaxies and larger structures formed in the universe: gravitational instability. Basic observational facts are summarized to motivate the standard cosmological framework underlying most detailed investigations of structure formation. The observed univers approaches spatial uniformity on scales larger than about 10(exp 26) cm. On these scales gravitational dynamics is almost linear and therefore relatively easy to relate to observations of large-scale structure. On smaller scales cosmic structure is complicated not only by nonlinear gravitational clustering but also by nonlinear nongravitational gas dynamical processes. The complexity of these phenomena makes galaxy formation one of the grand challenge problems of the physical sciences. No fully satisfactory theory can presently account in detail for the observed cosmic structure. However, as this article summarizes, significant progress has been made during the last few years.

Bertschinger, Edumund↗