Search NASA⌕ Search

SEARCH · Search NASA

Results for “linear program”

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 919 records · Page 51
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗
NASA NTRS1987

Interactive application of quadratic expansion of chi-square statistic to nonlinear curve fitting

This report contains a detailed theoretical description of an all-purpose, interactive curve-fitting routine that is based on P. R. Bevington's description of the quadratic expansion of the Chi-Square statistic. The method is implemented in the associated interactive, graphics-based computer program. Taylor's expansion of Chi-Square is first introduced, and justifications for retaining only the first term are presented. From the expansion, a set of n simultaneous linear equations is derived, then solved by matrix algebra. A brief description of the code is presented along with a limited number of changes that are required to customize the program of a particular task. To evaluate the performance of the method and the goodness of nonlinear curve fitting, two typical engineering problems are examined and the graphical and tabular output of each is discussed. A complete listing of the entire package is included as an appendix.

Badavi, F. F.↗
NASA NTRS1971

Space Trajectories Error Analysis (STEAP) Programs. Volume 1: Analytic manual, update

Manual revisions are presented for the modified and expanded STEAP series. The STEAP 2 is composed of three independent but related programs: NOMAL for the generation of n-body nominal trajectories performing a number of deterministic guidance events; ERRAN for the linear error analysis and generalized covariance analysis along specific targeted trajectories; and SIMUL for testing the mathematical models used in the navigation and guidance process. The analytic manual provides general problem description, formulation, and solution and the detailed analysis of subroutines. The programmers' manual gives descriptions of the overall structure of the programs as well as the computational flow and analysis of the individual subroutines. The user's manual provides information on the input and output quantities of the programs. These are updates to N69-36472 and N69-36473.

Source record↗
DOE OSTI2026

Regional surrogates for predictive control of digital twins

Digital twins of complex systems must involve a model that is fast, generalizable, and usable for real-time control. For example, high-fidelity nonlinear multiphysics simulations can capture laser-material interactions, but are too slow for optimization or model predictive control (MPC). Reduced-order models, used to accelerate such computation, frequently fail to generalize to unseen inputs or control states. We show theoretically that this failure is intrinsic, i.e., that a learned model is non-unique outside the sampled subspace when its low-rank structure arises from limited excitation and clustered eigenvalues, rather than from a user-imposed truncation alone. Motivated by this result, we propose a control-ready regional surrogate-construction framework for both autonomous and nonautonomous dynamics; it employs Koopman lifting to represent nonlinearities, while preserving spatial locality. We illustrate our approach by constructing a control-ready surrogate for the digital twin of a thermal component of additive-manufacturing process. Our surrogate, localized in space through a von Neumann stencil, is learned from noisy high-fidelity simulations that emulate thermal-camera images collected during the manufacturing. It is linear in thermo-physically augmented states so that MPC reduces to a convex quadratic program. The surrogate requires no online correction, generalizes to unseen scan paths and power profiles of the laser, and is more than three orders of magnitude faster than a finite-difference solver. Furthermore, when the MPC sequence computed on the digital twin is applied to this solver, closed-loop temperature regulation is recovered, showing that the surrogate preserves control-relevant input-output behavior.

Data-driven model↗
DOE OSTI2025

Data-Conforming Data-Driven Control: Avoiding Premature Generalizations Beyond Data

Data-driven and adaptive control approaches face the problem of introducing sudden distributional shifts beyond the distribution of data encountered during learning. Therefore, they are prone to invalidating the very assumptions used in their own construction. This is due to the linearity of the underlying system, inherently assumed and formulated in most data-driven control approaches, which may falsely generalize the behavior of the system beyond the behavior experienced in the data. This article seeks to mitigate these problems by enforcing consistency of the newly designed closed-loop systems with data and slowing down any distributional shifts in the joint state-input space. This is achieved through incorporating affine regularization terms and linear matrix inequality constraints to data-driven approaches, resulting in convex semi-definite programs that can be efficiently solved by standard software packages. We discuss the optimality conditions of these programs and then conclude this article with a numerical example that further highlights the problem of premature generalization beyond data and shows the effectiveness of our proposed approaches in enhancing the safety of data-driven control methods.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1975

Aerodynamic design and analysis system for supersonic aircraft. Part 1: General description and theoretical development

An integrated system of computer programs has been developed for the design and analysis of supersonic configurations. The system uses linearized theory methods for the calculation of surface pressures and supersonic area rule concepts in combination with linearized theory for calculation of aerodynamic force coefficients. Interactive graphics are optional at the user's request. This part presents a general description of the system and describes the theoretical methods used.

Middleton, W. D.↗
NASA NTRS1977

An automated procedure for calculating system matrices from perturbation data generated by an EAI Pacer and 100 hybrid computer system

Techniques are presented for determining the elements of the A, B, C, and D state variable matrices for systems simulated on an EAI Pacer 100 hybrid computer. An automated procedure systematically generates disturbance data necessary to linearize the simulation model and stores these data on a floppy disk. A separate digital program verifies this data, calculates the elements of the system matrices, and prints these matrices appropriately labeled. The partial derivatives forming the elements of the state variable matrices are approximated by finite difference calculations.

Milner, E. J.↗
NASA NTRS1976

Space electric power design study

The conversion of laser energy to electrical energy is discussed. Heat engines in which the laser heats the gas inside the engine through a window as well as heat engines in which the gas is heated by a thermal energy storage reservoir which has been heated by laser radiation are both evaluated, as well as the necessary energy storage, transmission and conversion components needed for a full system. Preliminary system concepts are presented and a recommended development program is outlined. It appears possible that a free displacer Stirling engine operating directly a linear electric generator can convert 65% of the incident laser energy into electricity.

Martini, W. R.↗
NASA NTRS1983

Aeroelastic loads prediction for an arrow wing. Task 3: Evaluation of the Boeing three-dimensional leading-edge vortex code

Two separated flow computer programs and a semiempirical method for incorporating the experimentally measured separated flow effects into a linear aeroelastic analysis were evaluated. The three dimensional leading edge vortex (LEV) code is evaluated. This code is an improved panel method for three dimensional inviscid flow over a wing with leading edge vortex separation. The governing equations are the linear flow differential equation with nonlinear boundary conditions. The solution is iterative; the position as well as the strength of the vortex is determined. Cases for both full and partial span vortices were executed. The predicted pressures are good and adequately reflect changes in configuration.

Manro, M. E.↗
NASA NTRS1986

Nonconical Relaxation for Supersonic Potential Flow

Nonlinear, three-dimensional effects computed from full potentialflow equation. Nonconical Relaxation program, NCOREL, employs new computational technique for prediction of inviscid, nonlinear supersonic aerodynamics. Unlike conventional linear potential equations, NCOREL utilizes full potential flow equation to predict formation of supercritical crossflow regions, embedded shocks, and bow shocks. NCOREL written in FORTRAN IV for batch execution.

Siclari, M. J.↗
NASA NTRS1988

A fine resolution multifrequency polarimetric FM radar

A fine resolution polarimetric FM SAR was developed for optimization of polarimetric SARs and interpretation of SAR data via controlled experiments with surface-base sensors. The system is designed for collecting polarimetric data at 5.3 and 10 GHz over incidence angles from 0 to 60 deg. Features of the system include broad bandwidth to obtain fine range resolution, phase stabilization and linearization loop circuitry, and digital signal processing capability. The system is used in a research program to collect polarimetric backscatter data from artificial sea ice research and design trade-offs, laboratory and field evaluation, as well as results from experiments on artificial sea ice are presented.

Bredow, J.↗
NASA NTRS1989

A simple laminate theory using the orthotropic viscoplasticity theory based on overstress. I - In-plane stress-strain relationships for metal matrix composites

A macromechanics analysis is presented for the in-plane, anisotropic time-dependent behavior of metal matrix laminates. The small deformation, orthotropic viscoplasticity theory based on overstress represents lamina behavior in a modified simple laminate theory. Material functions and constants can be identified in principle from experiments with laminae. Orthotropic invariants can be repositories for tension-compression asymmetry and for linear elasticity in one direction while the other directions behave in a viscoplastic manner. Computer programs are generated and tested for either unidirectional or symmetric laminates under in-plane loading. Correlations with the experimental results on metal matrix composites are presented.

Krempl, Erhard↗
NASA NTRS1998

Self-Calibrating and Remote Programmable Signal Conditioning Amplifier System and Method

A self-calibrating, remote programmable signal conditioning amplifier system employs information read from a memory attached to a measurement transducer for automatic calibration. The signal conditioning amplifier is self-calibrated on a continuous basis through use of a dual input path arrangement, with each path containing a multiplexer and a programmable amplifier. A digital signal processor controls operation of the system such that a transducer signal is applied to one of the input paths, while one or more calibration signals are applied to the second input path. Once the second path is calibrated, the digital signal processor switches the transducer signal to the second path. and then calibrates the first path. This process is continually repeated so that each path is calibrated on an essentially continuous basis. Dual output paths are also employed which are calibrated in the same manner. The digital signal processor also allows the implementation of a variety of digital filters which are either programmed into the system or downloaded by an operator, and performs up to eighth order linearization.

Medelius, Pedro J.↗
NASA NTRS2000

Implementation of Nonlinear Control Laws for an Optical Delay Line

This paper discusses the implementation of a globally stable nonlinear controller algorithm for the Real-Time Interferometer Control System Testbed (RICST) brassboard optical delay line (ODL) developed for the Interferometry Technology Program at the Jet Propulsion Laboratory. The control methodology essentially employs loop shaping to implement linear control laws. while utilizing nonlinear elements as means of ameliorating the effects of actuator saturation in its coarse, main, and vernier stages. The linear controllers were implemented as high-order digital filters and were designed using Bode integral techniques to determine the loop shape. The nonlinear techniques encompass the areas of exact linearization, anti-windup control, nonlinear rate limiting and modal control. Details of the design procedure are given as well as data from the actual mechanism.

Hench, John J.↗
NASA NTRS2003

Foot-Ground Reaction Force During Resistance Exercise in Parabolic Flight

An interim Resistance Exercise Device (iRED) was designed to provide resistive exercise as a countermeasure to space flight-induced loss of muscle strength and endurance as well as decreased bone mineral density. The purpose of this project was to compare foot-ground reaction force during iRED exercise in normal gravity (l-g) versus micro gravity (O-g) achieved during parabolic flight. METHODS: Four subjects performed three exercises using the iRED (squat, heel raise, and deadlift) during I-g and O-g at a moderate intensity (60% of maximum strength during deadlift exercise). Foot-ground reaction force was measured in three axes (x,y,z) using a force plate, and the magnitude of the resultant force vector was calculated (r = ~X 2 + y2 + Z2 ). Range of motion (ROM) was measured using a linear encoder. Peak force (PkF) and total work (TW) were calculated using a customized computer program. Paired t-tests were used to test if significant differences (p.::::0.05) were observed between I-g and O-g exercise. RESULTS: PkF and TW measured in the resultant axis were significantly less in O-g for each of the exercises tested. During O-g, PkF was 42-46% and TW was 33- 37% of that measured during I-g. ROM and average time to complete each repetition were not different from I-g to O-g. CONCLUSIONS: When performing exercises in which body mass is a portion of the resistance during I-g, PkF and TW measured during resistive exercise were reduced approximately 60-70% during O-g. Thus, a resistive exercise device during O-g will be required to provided higher resistances to induce a similar training stimulus to that on Earth.

Lee, Stuart M. C.↗
NASA NTRS2017

Effect of Radiation and Endurance on Pulsed Programming of Commercial NAND Flash Memory

Independent and coupled effects of radiation and endurance on commercial NAND Flash memory is studied using pulsed programming enabled by interrupting the programming command at the chip-level. The effects of total ionization dose (TID) and endurance stress increase and decrease, respectively, the number of pulses needed to program an entire page. The coupled effect of endurance stress and TID appear to exhibit linear correlation. A neutral electron/ hole trap model is evaluated and correlates well with our results.

Narasimham, Avyaya Jayanthi↗