SEARCH · Search NASA

Results for “Realization”

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 19 records

All sources NASA NTRS DOE OSTI

NASA NTRS1993

New results on the realizability of Reynolds stress turbulence closures

The realizability of Reynolds stress models in homogeneous turbulence is critically assessed from a theoretical standpoint. It is proven that a well known second-order closure formulated by Shih and Lumley using the strong realizability constraints of Schumann is, in fact, not a realizable model. The problem arises from the failure to properly satisfy the necessary positive second time derivative constraint when a principal Reynolds stress vanishes - a fatal flaw that becomes apparent when the non-analytic terms in their model are made single-valued as required on physical grounds. It is furthermore shown that the centrifugal acceleration generated by rotations of the principal axes of the Reynolds stress tensor can make the second derivative singular at the most extreme limits of realizable turbulence. This previously overlooked effect appears to make it impossible to identically satisfy the strong form of realizability in any version of the present generation of second-order closures. On the other hand, models properly formulated to satisfy the weak form of realizability - wherein states of one or two component turbulence are not accessible in finite time are found to be realizable. However, unlike the simpler and more commonly used second order closures, these models can be ill-behaved near the extreme limits of realizable turbulence due to the way that higher-degree nonlinearities are often unnecessarily introduced to satisfy realizability. Illustrative computations of homogeneous shear flows are presented to demonstrate these points which can have important implications for turbulence modeling.

Speziale, Charles G.↗

NASA NTRS2019

Integrating Realizability Checking in FRET

Realizability (alternatively referred to as relative consistency or implementability) - checking whether a specification can be implemented by an open system - has been the subject of extensive study. Realizability can be viewed as a stronger analysis method when compared to consistency checking in that it does not only check whether the system works in some environment, but instead whether the system works in all environments. In this report, we experiment and build on the approach presented by Gacek et al. that supports checking realizability of contracts involving infinite theories using SMT solvers. In particular, we 1) extend the Formal Requirements Elicitation Tool (FRET) to support generation of Lustre contracts that can be checked for realizability with the JKind k-induction and fix point generation engines; 2) study a compositional way for checking realizability based on the notion of connected components; and 3) test our approach and the capabilities of the JKind realizability engines on a large subset of the Lockheed Martin Cyber Physical System Challenge Problems.

Kooi, David↗

NASA NTRS1987

The use of the QR factorization in the partial realization problem

The use of the QR factorization of the Hankel matrix in solving the partial realization problem is analyzed. Straightforward use of the QR factorization results in a realization scheme that possesses all of the computational advantages of Rissanen's realization scheme. These latter properties are computational efficiency, recursiveness, use of limited computer memory, and the realization of a system triplet having a condensed structure. Moreover, this scheme is robust when the order of the system corresponds to the rank of the Hankel matrix. When this latter condition is violated, an approximate realization could be determined via the QR factorization. In this second scheme, the given Hankel matrix is approximated by a low-rank non-Hankel matrix. Furthermore, it is demonstrated that column pivoting might be incorporated in this second scheme. The results presented are derived for a single input/single output system, but this does not seem to be a restriction.

Verhaegen, M. H.↗

NASA NTRS2005

Realizing the Dream of Flight: Biographical Essays in Honor of the Centennial of Flight, 1903-2003

While growing up in Cedar Rapids, Iowa, Milton Wright, The Wright Brothers Father, liked to purchase toys for his sons that he hoped would stimulate their imagination. One of the most memorable gifts was a toy helicopter that was designed by the French aeronautical experimenter Alphonse P naud. Milton gave his sons this gift in 1878, and, though it was a simple device with a stick bound to a four-blade rotor set in a spindle, it had the intended effect it caused them to dream. Twenty-five years separated the gift of this toy and their invention of the airplane, yet the Wright brothers were convinced it had exerted an important influence. Tom Crouch argued in The Bishop's Boys that toys like these perfectly illustrated the significance of play for technological innovation. He wrote, rotary-wing toys were to intrigue and inspire generations of children, a few of whom would, as adults, attempt to realize the dream of flight for themselves. If the first powered flight on 17 December 1903 represented a childhood dream realized, it was only the first step in the rapid evolution of the airplane from their flimsy kite-like contraption of wood and cloth to jet airliners and rockets in space. And, as extraordinary as the achievement of powered flight seemed in 1903, before the end of the century, space travel also would become a dream realized. Soviet astronaut Yuri Gagarin first circumnavigated Earth in April 1961, and, eight years later, American astronauts took the first steps for humankind on the Moon. It is with great pleasure that we introduce Realizing the Dream: Biographical Essays in Honor of the Centennial of Flight. These essays in celebration of the Wright brothers first flight 100 years ago grew out of presentations by a group of prominent scholars in 2003 at a conference sponsored by the NASA History Division and held at the Great Lakes Science Center in Cleveland, Ohio. The volume focuses on the careers of some of the many men and women who helped to realize the dream of flight both through the atmosphere and beyond.

Dawson, Virginia P.↗

NASA NTRSDate not supplied

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

Realizability checking refers to the formal procedure that aims to determine whether an implementation exists, always complying to a set of requirements, regardless of the stimuli provided by the system’s environment. Such a check is essential to ensure that the specification does not allow behavior that can force the system to violate safety constraints. In this paper, we present an approach that decomposes realizability checking into smaller, more tractable problems. More specifically, our approach automatically partitions specifications into sets of non-interfering requirements. We prove that checking whether a specification is realizable reduces to checking that each partition is realizable.We have integrated realizability checking and implemented our decomposition approach within the open-source Formal Requirements ElicitationTool (FRET). A FRET user may check the realizability of a specification monolithically or compositionally. We evaluate our approach by comparing monolithic and compositional checking and showcase the strengths of our decomposition approach on a variety of industrial-level case studies

Anastasia Mavridou↗

NASA NTRS1994

Eigensystem realization algorithm user's guide forVAX/VMS computers: Version 931216

The eigensystem realization algorithm (ERA) is a multiple-input, multiple-output, time domain technique for structural modal identification and minimum-order system realization. Modal identification is the process of calculating structural eigenvalues and eigenvectors (natural vibration frequencies, damping, mode shapes, and modal masses) from experimental data. System realization is the process of constructing state-space dynamic models for modern control design. This user's guide documents VAX/VMS-based FORTRAN software developed by the author since 1984 in conjunction with many applications. It consists of a main ERA program and 66 pre- and post-processors. The software provides complete modal identification capabilities and most system realization capabilities.

Pappa, Richard S.↗

NASA NTRS2010

The Wettzell System Monitoring Concept and First Realizations

Automated monitoring of operational system parameters for the geodetic space techniques is becoming more important in order to improve the geodetic data and to ensure the safety and stability of automatic and remote-controlled observations. Therefore, the Wettzell group has developed the system monitoring software, SysMon, which is based on a reliable, remotely-controllable hardware/software realization. A multi-layered data logging system based on a fanless, robust industrial PC with an internal database system is used to collect data from several external, serial, bus, or PCI-based sensors. The internal communication is realized with Remote Procedure Calls (RPC) and uses generative programming with the interface software generator idl2rpc.pl developed at Wettzell. Each data monitoring stream can be configured individually via configuration files to define the logging rates or analog-digital-conversion parameters. First realizations are currently installed at the new laser ranging system at Wettzell to address safety issues and at the VLBI station O Higgins as a meteorological data logger. The system monitoring concept should be realized for the Wettzell radio telescope in the near future.

Ettl, Martin↗

NASA NTRS2021

Compositional Realizability Checking within FRET

A set of requirements for a reactive system is realizable if, for any sequence of inputs that satisfy the assumptions on the environment, the guarantees always hold. Realizability checking is essential to ensure that an implementation can be constructed that satisfies the requirements. We propose a framework that supports users in the non-trivial task of developing realizable requirements. Our framework uses architectural information to automatically de-compose a set of requirements into subsets that can be analyzed separately, and therefore more efficiently. It then integrates existing algorithms in order to detect unrealizability, identify minimal sets of conflicting requirements, and compute counterexamples. The capability to focus on minimal conflict sets is key for localizing and correcting the sources of unrealizability. Our approach supports this process by enabling users to interactively visualize and explore the produced conflict sets and counterexamples. We have implemented our framework in the open-source Formal Requirements Elicitation Tool (FRET), and have used it on a variety of industrial-level case studies, showcasing the strengths of our approach in terms of raw performance, as well as diagnostic potential.

FRET↗

NASA NTRS2022

Realizability Checking of Requirements in FRET

Requirements formalization has become increasingly popular in industrial settings as an effort to disambiguate designs and optimize development time and costs for critical system components. Formal requirements elicitation also enables the employment of analysis tools to prove important properties, such as consistency and realizability. In this report, we present the realizability analysis framework that we developed as part of the Formal Requirements Elicitation Tool (FRET). Our framework prioritizes usability, and employs state-of-the-art analysis algorithms that support infinite theories. We demonstrate the workflow for realizability checking, showcase the diagnosis process that supports visualization of conflicts between requirements and simulation of counterexamples, and discuss results from industrial-level case studies.

Formal Requirements Elicitation Tool↗

NASA NTRS1987

Acausal realization theory. I - Linear deterministic systems

Acausal linear systems are studied as well as their controllability and observability properties, and the weighting patterns that they realize. A complete classification is given of all minimal real analytic realizations of a given weighting pattern and of all minimal autonomous realizations of a stationary weighting pattern.

Krener, A. J.↗

NASA NTRS1993

Q-Markov covariance equivalent realization and its application to flexible structure identification

The Q-Markov covariance equivalent realization algorithm is applied to NASA's Minimast structure to identify state-space models for the purpose of designing closed-loop controllers, and laboratory test results are shown for the identification and for the closed-loop performance. The paper also presents for the first time a deterministic formulation of covariance parameters from a pulse response, a stochastic formulation of Markov parameters from a white-noise response, and a simple Q-Markov covariance equivalent realization formulation. This requires only pulse laboratory tests or only white-noise laboratory tests to generate Q-Markov covariance equivalent realizations.

Liu, Ketao↗

NASA NTRS1995

Successful product realization strategies

Product realization is the process of defining, designing, developing, and delivering products to the market. While the main thrust of this JTEC panel was to conduct a complete investigation of the state of Japanese low-cost electronic packaging technologies, it is very difficult to totally separate the development of technology and products from the product realization process. Japan's electronics firms adhere to a product realization strategy based on a strong customer focus, a consistent commitment to excellence in design, and a cost-effective approach to technology commercialization. The Japanese product-pull strategy has been a successful driver and influencing factor in every aspect of the product development cycle.

Peeples, John↗

NASA NTRS2010

Theory and Realization of Global Terrestrial Reference Systems

Comparison of realizations of the terrestrial reference frame. IGN and DGFI both generated realizations of the terrestrial reference frame under the auspices of the IERS from combination of the same space geodetic data. We examined both results for VLBI sites using the full geodetic VLBI data set with respect to site positions and velocities and time series of station positions, baselines and Earth orientation parameters. One of the difficulties encountered was matching episodic breaks and periods of non-linear motion of the two realizations with the VLBI models. Our analysis and conclusions will be discussed.

Ma, C.↗

NASA NTRS2023

2023 Astrophotonics Roadmap: Pathways to Realizing Multi-Functional Integrated Astrophotonic Instruments

Photonic technologies offer numerous functionalities that can be used to realize astrophotonic instruments. The most spectacular example to date is the ESO Gravity instrument at the Very Large Telescope in Chile that combines the light-gathering power of four 8 m telescopes through a complex photonic interferometer. Fully integrated astrophotonic devices stand to offer critical advantages for instrument development, including extreme miniaturization when operating at the diffraction-limit, as well as integration, superior thermal and mechanical stabilization owing to the small footprint, and high replicability offering significant cost savings. Numerous astrophotonic technologies have been developed to address shortcomings of conventional instruments to date, including for example the development of photonic lanterns to convert from multimode inputs to single mode outputs, complex aperiodic fiber Bragg gratings to filter OH emission from the atmosphere, complex beam combiners to enable long baseline interferometry with for example, ESO Gravity, and laser frequency combs for high precision spectral calibration of spectrometers. Despite these successes, the facility implementation of photonic solutions in astronomical instrumentation is currently limited because of (1) low throughputs from coupling to fibers, coupling fibers to chips, propagation and bend losses, device losses, etc, (2) difficulties with scaling to large channel count devices needed for large bandwidths and high resolutions, and (3) efficient integration of photonics with detectors, to name a few. In this roadmap, we identify 24 key areas that need further development. We outline the challenges and advances needed across those areas covering design tools, simulation capabilities, fabrication processes, the need for entirely new components, integration and hybridization and the characterization of devices. To realize these advances the astrophotonics community will have to work cooperatively with industrial partners who have more advanced manufacturing capabilities. With the advances described herein, multi-functional integrated instruments will be realized leading to novel observing capabilities for both ground and space based platforms, enabling new scientific studies and discoveries.

astrophotonics↗

NASA NTRS2015

Comparison of Realizations of the Terrestrial Reference Frame

IGN and DGFI both generated realizations of the terrestrial reference frame under the auspices of the IERS from combination of the same space geodetic data. We compared the IGN and DGFI TRFs with a GSFC CALC/SOLVE TRF. WRMS position and velocity differences for the 40 most frequently observed sites were 2-3 mm and 0.3-0.4 mm/year. There was a scale difference of 0.39/0.09 ppb between the IGN/DGFI realizations and the GSFC solution. When we fixed positions and velocities to either the IGN or DGFI values in CALC/SOLVE solutions, the resulting EOP estimates were not significantly different from the estimates from a standard TRF solution.

Comparison↗

NASA NTRS1972

Feedback in sequential machine realizations.

A method is described for determining the realizability of a sequential machine with trigger or set-reset flip-flop memory elements when the feedback of the machine is given by a Boolean function. Feedbacks in several types of sequential machines with different memory elements are compared, showing the memory specifications allowing the realization of such machines.

Harlow, C. A.↗

NASA NTRS1974

Hardware realization of sampled-data controllers

This paper examines the hardware implementation process for digital controllers (filters), beginning with the desired z-domain transfer function of the digital compensator and ending in the selection of a hardware realization scheme. The final hardware realization is shown to be affected by quantization noise, dynamic range considerations, limit cycles, coefficient roundoff, and filter structure. A design example is included to illustrate the implementation process for a digital rate filter for vehicle control of the space shuttle. This paper develops open-loop techniques which may be extended to the closed-loop case.

Nagle, H. T., Jr.↗

NASA NTRS1980

Realizable optimal control for a remotely piloted research vehicle

The design of a control system using the linear-quadratic regulator (LQR) control law theory for time invariant systems in conjunction with an incremental gradient procedure is presented. The incremental gradient technique reduces the full-state feedback controller design, generated by the LQR algorithm, to a realizable design. With a realizable controller, the feedback gains are based only on the available system outputs instead of being based on the full-state outputs. The design is for a remotely piloted research vehicle (RPRV) stability augmentation system. The design includes methods for accounting for noisy measurements, discrete controls with zero-order-hold outputs, and computational delay errors. Results from simulation studies of the response of the RPRV to a step in the elevator and frequency analysis techniques are included to illustrate these abnormalities and their influence on the controller design.

Dunn, H. J.↗