Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “algorithmic differentiation”

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 991 records · Page 55

Nonlinear filtering for spacecraft attitude estimation

Nonlinear filtering techniques are applied to spacecraft attitude estimation using quaternion parameterization for the attitude kinematics. By replacing the angular velocity vector by the gyro output vector, a state dependent noise vector is introduced in the seven-dimensional system equations. The resulting conditional probability density function from the Ito differential rule is governed by the Fokker Planck partial differential equation which is approximated by the second order mean and covariance differential equations. In order to minimize computer loading, the covariance propagation is carried out in six-dimensional state space using a matrix transformation. The star tracker data is used to update the covariance matrix in the seven-dimensional space. The algorithm is simulated for an earth pointing spacecraft mission, using Monte Carlo samples of gyro and star measurements. The performance of the second order filter is compared with the extended Kalman Filter through several simulation runs and drift rates have been identified.

Vathsal, S.↗

Development and design of an airborne autonomous wavemeter for laser tuning

The development and design of an instrument for making water vapor Differential Absorption Lidar (DIAL) measurements from a down-looking airborne platform are described. The wavemeter device for this NASA-LASE (Lidar Atmospheric Sensing Experiment) project involves a classical Fabry-Perot interferometer approach. The interoferometer design, breadboard design, data retrieval algorithms, and errors are examined, and the design of the airborne instrument is discussed, including the illumination and imaging considerations, optomechanical component arrangement, electronic configuration, and proposed calibration technique.

Goad, Joseph H., Jr.↗

Investigation of air transportation technology at Ohio University, 1990-1991

The status of the Joint University Program is given. Brief synopsis of some areas of research follow. The study of spectrum efficient methods for transmitting weather information to aircraft has resulted in definition of an improved amplitude and phase modulation process which permits reutilization of voice channels for both voice and data. The system is being implemented for testing. Multisensor navigation systems introduce increased flexibility and performance for aviation, at the expense of increased complexity. Insuring a high level of system reliability and integrity requires that faults not only be detected, but also isolated to specific elements, so that the remaining capabilities of the system may be used with confidence. An algorithm was developed. The JUP has served as a vehicle for reporting work accomplished in evoked potential vision tracking experiments to determine the engineering parameters of this input and control method. Application of GPS in an interferometric mode permits accurate measurement of differential motion; aircraft attitude may be determined using GPS only, with multiple antennas.

Lilley, Robert W.↗

A novel implicit hybrid machine learning model and its application for reinforcement learning

A novel methodology to develop implicit hybrid models is presented. PyTorch is used to integrate physics-based equations with machine learning models. Automatic differentiation of the hybrid model is leveraged to solve the implicit equations. Iterative solving enables gradient based updates to the machine learning model. The novel methodology is compared to an explicit hybrid approach on a continuously stirred tank reactor (CSTR). The novel method results in a lower modelling error. Both hybrid models effectively train with noisy data. To test the implicit hybrid model, it is employed as a reinforcement learning (RL) training model. The RL algorithm trained on the hybrid model outperforms real time optimization of the CSTR and performs nearly as well as RL trained directly on the CSTR and a traditional gradient based approach. Training RL directly on the CSTR requires over 60,000 system interactions compared to 6000 historical data points for hybrid model development.

42 ENGINEERING↗

Bounded motion design in the Earth zonal problem using differential algebra based normal form methods

Establishing long-term relative bounded motion between orbits in perturbed dynamics is a key challenge in astrodynamics to enable cluster flight with minimum propellant expenditure. Herein, we present an approach that allows for the design of long-term relative bounded motion considering a zonal gravitational model. Entire sets of orbits are obtained via high-order Taylor expansions of Poincarè return maps about reference fixed points. The high-order normal form algorithm is used to determine a change in expansion variables of the map into normal form space, in which the phase space behavior is circular and can be easily parameterized by action–angle coordinates. The action–angle representation of the normal form coordinates is then used to parameterize the original Poincarè return map and average it over a full phase space revolution by a path integral along the angle parameterization. As a result, the averaged nodal period and drift in the ascending node are obtained, for which the bounded motion conditions are straightforwardly imposed. Sets of highly accurate bounded orbits are obtained, extending over several thousand kilometers, and valid for decades.

79 ASTRONOMY AND ASTROPHYSICS↗

A Semi-Analytical Approach for State-Space Electromagnetic Transient Simulation

Here, this paper proposes a semi-analytical approach for efficient and accurate electromagnetic transient (EMT) simulation of a power grid. The approach first derives a high-order semi-analytical solution (SAS) of the grid’s state-space EMT model using the differential transformation (DT), and then evaluates the solution over enlarged, variable time steps to significantly accelerate the simulations while maintaining its high accuracy on detailed fast EMT dynamics. The approach also addresses switches during large time steps by using a limit violation detection algorithm with a binary search-enhanced quadratic interpolation. Case studies are conducted on EMT models of the IEEE 39-bus system and large-scale systems to demonstrate the merits of the new simulation approach against traditional numerical methods.

electromagnetic transient↗

Semi-supervised Learning of Dynamical Systems with Neural Ordinary Differential Equations: A Teacher-Student Model Approach

Modeling dynamical systems is crucial for a wide range of tasks, but it remains challenging due to complex nonlinear dynamics, limited observations, or lack of prior knowledge. Recently, data-driven approaches such as Neural Ordinary Differential Equations (NODE) have shown promising results by leveraging the expressive power of neural networks to model unknown dynamics. However, these approaches often suffer from limited labeled training data, leading to poor generalization and suboptimal predictions. On the other hand, semi-supervised algorithms can utilize abundant unlabeled data and have demonstrated good performance in classification and regression tasks. We propose TS-NODE, the first semi-supervised approach to modeling dynamical systems with NODE. TS-NODE explores cheaply generated synthetic pseudo rollouts to broaden exploration in the state space and to tackle the challenges brought by lack of ground-truth system data under a teacher-student model. TS-NODE employs an unified optimization framework that corrects the teacher model based on the student's feedback while mitigating the potential false system dynamics present in pseudo rollouts. TS-NODE demonstrates significant performance improvements over a baseline Neural ODE model on multiple dynamical system modeling tasks.

Wang, Yu↗

Towards a Verifiable Domain-Specific Language for Hardware-Accelerated Stencils

Defining a domain-specific language (DSL) that supports vector-calculus abstractions eases the porting of partial differential equation (PDE) solvers to specialized architectures. Sufficiently high-level abstractions empower users to express universal laws with sufficient generality that the laws must always hold true within their domain of validity. A broad class of PDE solvers employs stencil-based algorithms, the target domain of Berkeley Lab's stencil accelerator chip co-design project. First released as open-source in January 2026, the Formal software framework lays a foundation for defining an embedded DSL based on composable operators that implement mimetic numerical methods -- stencil algorithms that guarantee satisfaction of discrete versions of important vector calculus theorems. The Formal DSL will be the frontend to a new class of stencil-PDE accelerators developed jointly by LBNL, UHCL, and UC Berkeley through the DOE Competitive Portfolios for Computer Science Project. This offers the potential of an order of magnitude acceleration for this important category of computational methods to serve the DOE mission. Future work on the Formal DSL will facilitate software verification via type-safe templates that enable problem-specific correctness proofs relying upon generic function theory and carefully crafted unit tests.

Rouson, Damian↗

CACTI CSAPR2 Taranis Retrievals

Taranis is an end-to-end processing chain for radar data written in Python with C extension for computation performance. Features include: masking for quality control, specific differential phase (Kdp), attenuation correction for reflectivity factor (Z) and differential reflectivity (Zdr) in rain, and additional geophysical retrievals. Retrievals are mostly drawn from literature or open-source software when appropriate, and have been tested, tuned, and modified to work with one another cohesively rather than using isolated off-the-shelf algorithms. Incorporated algorithms include hydrometeor (echo) identification, rain water content, raindrop mass-weighted mean diameter (gamma size distribution assumption), and rainfall rate (QPE). Taranis data sets exist for CSAPR2 PPI, HSRHI, and sector RHI scans. Cartesian-gridded data sets were also produced as well as a near-surface rain rate retrieval. More details can be found in the README.

54 ENVIRONMENTAL SCIENCES↗

Parametric study of predictor accuracy impact on OFT rendezvous targeting

A parametric study was made to quantitatively define the effects of errors in the state vector predictor used by the Operational Flight Trainer (OFT) rendezvous targeting algorithms. The effect of the predictor accuracy on the OFT rendezvous profile is shown by the sensitivity of various critical rendezvous parameters with respect to downrange and radial predictor error rates. The effect of both inertial (same errors on both vehicles) and relative (differential errors on one vehicle with respect to the other) errors were considered. Relative radial error rates had the largest impact on the rendezvous followed by relative downrange errors, radial inertial errors and downrange inertial errors.

Glenn, S. W.↗

A new radar technique for satellite rainfall algorithm development

A potential new radar parameter was investigated for measuring rainfall, namely the summation of the phase shifts at horizontal and vertical polarizations due to propagation through precipitation. The proposed radar technique has several potential advantages over other approaches because it is insensitive to the drop size distribution and to the shapes of the raindrops. Such a parameter could greatly assist the development of satellite rainfall estimation algorithms by providing comparative measurements near the ground. It could also provide hydrologically useful information for such practical applications as urban hydrology. Results of the investigation showed that the parameters can not be measured by radar. However, a closely related radar parameter, propagation differential phase shift, can be readily measured using a polarization diversity radar. It is recommended that propagation differential phase shift be further investigated and developed for radar monitoring of rainfall using a polarization agile radar. It is also recommended that a prototype multiple frequency microwave link be constructed for attenuation measurements not possible by existing radar systems.

Jameson, Arthur R.↗

Energy functions for regularization algorithms

Regularization techniques are widely used for inverse problem solving in computer vision such as surface reconstruction, edge detection, or optical flow estimation. Energy functions used for regularization algorithms measure how smooth a curve or surface is, and to render acceptable solutions these energies must verify certain properties such as invariance with Euclidean transformations or invariance with parameterization. The notion of smoothness energy is extended here to the notion of a differential stabilizer, and it is shown that to void the systematic underestimation of undercurvature for planar curve fitting, it is necessary that circles be the curves of maximum smoothness. A set of stabilizers is proposed that meet this condition as well as invariance with rotation and parameterization.

Delingette, H.↗

Retrieval of Snow and Rain From Combined X- and W-B and Airborne Radar Measurements

Two independent airborne dual-wavelength techniques, based on nadir measurements of radar reflectivity factors and Doppler velocities, respectively, are investigated with respect to their capability of estimating microphysical properties of hydrometeors. The data used to investigate the methods are taken from the ER-2 Doppler radar (X-band) and Cloud Radar System (W-band) airborne Doppler radars during the Cirrus Regional Study of Tropical Anvils and Cirrus Layers-Florida Area Cirrus Experiment campaign in 2002. Validity is assessed by the degree to which the methods produce consistent retrievals of the microphysics. For deriving snow parameters, the reflectivity-based technique has a clear advantage over the Doppler-velocity-based approach because of the large dynamic range in the dual-frequency ratio (DFR) with respect to the median diameter Do and the fact that the difference in mean Doppler velocity at the two frequencies, i.e., the differential Doppler velocity (DDV), in snow is small relative to the measurement errors and is often not uniquely related to Do. The DFR and DDV can also be used to independently derive Do in rain. At W-band, the DFR-based algorithms are highly sensitive to attenuation from rain, cloud water, and water vapor. Thus, the retrieval algorithms depend on various assumptions regarding these components, whereas the DDV-based approach is unaffected by attenuation. In view of the difficulties and ambiguities associated with the attenuation correction at W-band, the DDV approach in rain is more straightforward and potentially more accurate than the DFR method.

Liao, Liang↗

Space Telescope Design to Directly Image the Habitable Zone of Alpha Centauri

The scientific interest in directly imaging and identifying Earth-like planets within the Habitable Zone (HZ) around nearby stars is driving the design of specialized direct imaging missions such as ACESAT, EXO-C, EXO-S and AFTA-C. The inner edge of Alpha Cen A&B Habitable Zone is found at exceptionally large angular separations of 0.7" and 0.4" respectively. This enables direct imaging of the system with a 0.3m class telescope. Contrast ratios on the order of 10(exp 10) are needed to image Earth-brightness planets. Low-resolution (5-band) spectra of all planets may allow establishing the presence and amount of an atmosphere. This star system configuration is optimal for a specialized small, and stable space telescope that can achieve high-contrast but has limited resolution. This paper describes an innovative instrument design and a mission concept based on a full Silicon Carbide off-axis telescope, which has a Phase Induced Amplitude Apodization coronagraph embedded in the telescope. This architecture maximizes stability and throughput. A Multi-Star Wave Front algorithm is implemented to drive a deformable mirror controlling simultaneously diffracted light from the on-axis and binary companion star. The instrument has a Focal Plane Occulter to reject starlight into a high precision pointing control camera. Finally we utilize a Orbital Differential Imaging (ODI) post-processing method that takes advantage of a highly stable environment (Earth-trailing orbit) and a continuous sequence of images spanning 2 years, to reduce the final noise floor in post processing to approximately 2e-11 levels, enabling high confidence and at least 90% completeness detections of Earth-like planets.

Low-resolution (5-band) spectra↗

Coordinated Turn Trajectory Generation and Tracking Control for Multi-rotors Operating in Urban Environment

The paper presents an efficient trajectory generation and tracking approach for multi-rotor air vehicles operating in urban environment, which takes into account uncertainties in the urban wind field and in the vehicle's parameters. Generated trajectories are sufficiently smooth, based on the differential flatness of the vehicle's dynamics and optimal in the sense of minimum agility and time. They pass through given set of way points, guarantee flight without a side-slip, and satisfy vehicle's dynamics and actuator constraints. In addition, an algorithm is presented to compute the required power to traverse the generated trajectory. Presented algorithms are implementable in real time using on-board computers. They do not take into account the vehicle's existing flight controller, hence there is no guarantee that the controller will be able to provide acceptable tracking of the generated trajectory, especially in the presence of atmospheric disturbances. To this end, we propose an adaptive augmentation algorithm to improve vehicle's performance by taking into account the effects of disturbances and on-line estimates of vehicle's existing flight controller's gains. The algorithms have been verified by simulations using DJI S1000 octocopter's model.

Stepanyan, Vahram↗

Coordinated Turn Trajectory Generation and Tracking Control for Multi-Rotors Operating in Urban Environment

The paper presents an efficient trajectory generation and tracking approach for multi-rotor air vehicles operating in urban environment, which takes into account uncertainties in the urban wind field and in the vehicle's parameters. Generated trajectories are sufficiently smooth, based on the differential flatness of the vehicle's dynamics and optimal in the sense of minimum agility and time. They pass through given set of way points, guarantee flight without a side-slip, and satisfy vehicle's dynamics and actuators constraints. In addition, an algorithm is presented to compute the required power to traverse the generated trajectory. Presented algorithms are implementable in real time using on-board computers. They do not take into account the vehicle's existing flight controller, hence there is no guarantee that the controller will be able to provide acceptable tracking of the generated trajectory, especially in the presence of atmospheric disturbances. To this end, we propose an adaptive augmentation algorithm to improve vehicle's performance by taking into account the effects of disturbances and on-line estimates of vehicle's existing flight controller's gains. The algorithms have been verified by simulations using DJI S1000 octocopter's model.

Stepanyan, Vahram↗

A finite element algorithm for sound propagation in axisymmetric ducts containing compressible mean flow

The described investigation is concerned with he development of a finite element scheme which can be used in a study of the acoustics of aircraft-engine ducts. In the absence of suitable variational principles for acoustic fluctuations within an aircraft fan engine, an acoustic analysis must proceed directly from the differential equations which describe compressible flow. The derived equations cannot be solved algebraically. The numerical technique used for solving them makes use of a linear rectangular element of a type considered by Zienkiewicz (1971). Attention is given to aspects of element derivation, the global matrix assembly, the solution of the matrix equation, questions of acoustic attenuation, and illustrations of the potential of the current model in duct optimization.

Abrahamson, A. L.↗