SEARCH · Search NASA
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.
The analysis is in terms of cost parameters and production parameters. The cost parameters include equipment, space, direct labor, materials, and utilities. The production parameters include growth rate, process yield, and duty cycle. A computer program was developed specifically to do the sensitivity analysis.
A novel software method is presented that is applicable for analyzing cylindrical and partially cylindrical objects inspected using computed tomography. This method involves unwrapping and re-slicing data so that the CT data from the cylindrical object can be viewed as a series of 2-D sheets in the vertical direction in addition to volume rendering and normal plane views provided by traditional CT software. The method is based on interior and exterior surface edge detection and under proper conditions, is FULLY AUTOMATED and requires no input from the user except the correct voxel dimension from the CT scan. The software is available from NASA in 32- and 64-bit versions that can be applied to gigabyte-sized data sets, processing data either in random access memory or primarily on the computer hard drive. Please inquire with the presenting author if further interested. This software differentiates itself in total from other possible re-slicing software solutions due to complete automation and advanced processing and analysis capabilities.
As photonic technologies grow in multidimensional aspects, integrated photonics holds a unique position and continuously presents enormous possibilities for research communities. Applications include data centers, environmental monitoring, medical diagnosis, and highly compact communication components, with further possibilities continuously growing. Herein, we review state-of-the-art integrated photonic on-chip sensors that operate in the visible to mid-infrared wavelength region on various material platforms. Among the different materials, architectures, and technologies leading the way for on-chip sensors, we discuss the optical sensing principles that are commonly applied to biochemical and gas sensing. Our focus is on passive optical waveguides, including dispersion-engineered metamaterial-based structures, which are essential for enhancing the interaction between light and analytes in chip-scale sensors. We harness a diverse array of cutting-edge sensing technologies, heralding a revolutionary on-chip sensing paradigm. Our arsenal includes refractive-index-based sensing, plasmonics, and spectroscopy, which forge an unparalleled foundation for innovation and precision. Furthermore, we include a brief discussion of recent trends and computational concepts, incorporating Artificial Intelligence & Machine Learning (AI/ML) and deep learning approaches over the past few years to improve the qualitative and quantitative analysis of sensor measurements.
The functionality of ferroelastic domain walls in ferroelectric materials is explored in real-time via the in situ implementation of computer vision algorithms in scanning probe microscopy (SPM) experiment. The robust deep convolutional neural network (DCNN) is implemented based on a deep residual learning framework (Res) and holistically nested edge detection (Hed), and ensembled to minimize the out-of-distribution drift effects. The DCNN is implemented for real-time operations on SPM, converting the data stream into the semantically segmented image of domain walls and the corresponding uncertainty. Further the pre-defined experimental workflows perform piezoresponse spectroscopy measurement on thus discovered domain walls, and alternating high- and low-polarization dynamic (out-of-plane) ferroelastic domain walls in a PbTiO 3 (PTO) thin film and high polarization dynamic (out-of-plane) at short ferroelastic walls (compared with long ferroelastic walls) in a lead zirconate titanate (PZT) thin film is reported. This work establishes the framework for real-time DCNN analysis of data streams in scanning probe and other microscopies and highlights the role of out-of-distribution effects and strategies to ameliorate them in real time analytics.
Despite their rich information content, electronic structure data amassed at high volumes in ab initio molecular dynamics simulations are generally under-utilized. Here we introduce a transferable high-fidelity neural network representation of such data in the form of tight-binding Hamiltonians for crystalline materials. This predictive representation of ab initio electronic structure, combined with machine-learning boosted molecular dynamics, enables efficient and accurate electronic evolution and sampling. When it is applied to a one-dimension charge-density wave material, carbyne, we are able to compute the spectral function and optical conductivity in the canonical ensemble. The spectral functions evaluated during soliton-antisoliton pair annihilation process reveal significant renormalization of low-energy edge modes due to retarded electron-lattice coupling beyond the Born–Oppenheimer limit. The availability of an efficient and reusable surrogate model for the electronic structure dynamical system will enable calculating many interesting physical properties, paving the way to previously inaccessible or challenging avenues in materials modeling.
The commissioning and operation of future large-scale scientific experiments will challenge current tuning and control methods. Reinforcement learning (RL) algorithms are a promising solution due to their ability to dynamically adapt to changing environments and consider delayed consequences. In many real-world applications, RL policies must produce actions in real time, often within microseconds to milliseconds, imposing significant constraints on system latency and computational overhead that conventional machine learning libraries are not designed to handle. To control phenomena in real time at these timescales, RL needs to be deployed on-the-edge, namely on dedicated hardware located near the system it controls, without relying on a host CPU or cloud-based inference. In this work we present the design and deployment of an experience accumulator system in a particle accelerator. In this system, deep-RL algorithms run using hardware acceleration and act within a few microseconds, enabling the use of RL for control of phenomena like beam instabilities. The training uses the collected data offline to reduce the number of operations carried out on the acceleration hardware. The proposed architecture was tested in real experimental conditions at the Karlsruhe research accelerator, a synchrotron light source, where the system was used to control artificially induced horizontal betatron oscillations in real-time, with a control loop period of just 2.7 μs. The results showed a performance comparable to the commercial feedback system available at the accelerator, demonstrating the viability and potential of this approach. Due to the self-learning and reconfiguration capability of this implementation, a seamless application to other control problems is possible. Applications range from particle accelerators to large-scale research and industrial facilities.
Building 654 is physically located at the Lawrence Livermore National Laboratory (LLNL). LLNL is located roughly 45 minutes to the east of San Francisco at the edge of the SF Bay Area. The footprint for Lawrence Livermore National Laboratory is roughly a square mile. Building 654 was built in 2016 as part of the Livermore Computing Group. Building 654 supports unclassified computing at LLNL.
A computational system for estimation of nonlinear aerodynamic characteristics of wings at supersonic speeds was developed and was incorporated in a computer program. This corrected linearized theory method accounts for nonlinearities in the variation of basic pressure loadings with local surface slopes, predicts the degree of attainment of theoretical leading edge thrust, and provides an estimate of detached leading edge vortex loadings that result when the theoretical thrust forces are not fully realized.
Free Vortex Sheet theory has been applied to a variety of configurations for the estimation of three-dimensional pressure distributions for wings developing separation-induced leading-edge vortex flows. Correlations with experiment show reasonable estimates for the effects of compressibility, side-slip, side edges, swept-wing blast-induced loads, and leading-edge vortex flaps. Theoretical studies expand upon these correlations to show general aerodynamic trends. Consideration is also given to simple, yet effective techniques which expedite convergence and therefore reduce computational expense.
A computer method for detection and quantification of atherosclerosis from angiograms has been developed and used to measure lesion change in human clinical trials. The technique involves tracking the vessel edges and measuring individual lesions as well as the overall irregularity of the arterial image. Application of the technique to conventional arterial-injection femoral and coronary angiograms is outlined and an experimental study to extend the technique to analysis of intravenous angiograms of the carotid and cornary arteries is described.
Program developed for computing aerodynamic design of multistage axialflow compressor and associated blading geometry input for internal flow analysis. Aerodynamic solution gives velocity diagrams on selected streamlines of revolution at blade row edges. Program written in FORTRAN IV.
The results of an experimental and analytical study of the effects of circular holes on the postbuckling behavior of graphite-epoxy cylindrical panels loaded in axial compression are presented. The STAGSC-1 general shell analysis computer code is used to determine the buckling and postbuckling response of the panels. The loaded, curved ends of the specimens were clamped by fixtures and the unloaded, straight edges were simply supported by knife-edge restraints. The panels are loaded by uniform end shortening to several times the end shortening at buckling. The unstable equilibrium path of the postbuckling response is obtained analytically by using a method based on controlling an equilibrium-path-arc-length parameter instead of the traditional load parameter. The effects of hole diameter, panel radius, and panel thickness on postbuckling response are considered in the study. Experimental results are compared with the analytical results and the failure characteristics of the graphite-epoxy panels are described.
Many image compression or coding techniques have been developed to reduce the amount of bits of information needed to represent digital images. Among these, Vector Quantization (VQ) seems to have the edge; its theoretical distortion is lower than that of other block coding techniques at comparable bit rates. However, the application of Vector Quantization remains limited due to its high computational complexity. Presently, it is limited to low to medium quality image compression. In this paper it is shown that VQ can be mapped onto VLSI implementation via systolic type architecture, making real time application possible. In addition, it is shown that using multistage or cascade VQ high quality images can be obtained at very low bit rates for real time applications while using smaller codebooks than is necessary in single stage VQ. Examples of processed images are presented.
Unsteady Navier-Stokes simulations have been performed for vortical flows over an 'arrow-wing' configuration of a supersonic transport in the transonic regime. Computed steady pressures and integrated force coefficients with and without control surface deflection at a moderate angle of attack are compared with experiment. For unsteady cases, oscillating trailing-edge control surfaces are modeled by using moving grids. Response characteristics between symmetric and anti-symmetric oscillatory motions of the control surfaces on the left and right wings are studied. The anti-symmetric case produces higher lift than the steady case with no deflection, and the unsteady symmetric case produces higher lift than the anti-symmetric case. The detailed analysis of the wake structure revealed a strong interaction between the primary vortex and the wake vortex sheet from the flap region when the flap is deflected up.
We calculate distortions in the microwave background radiation from the Sunyaev-Zel'dovich effect, produced by hot gas in large (approximately 100 Mpc) pancakes. The large-scale distribution of the pancakes is taken to be that of a Voronoi foam. Fluctuations for this scenario are estimated to be on the order of delta T/T is approximately 10(exp -5). Using computer simulations, we produce several 32 deg x 32 deg images with 0.25 deg resolution. These images show characteristic linear features produced when a pancake is viewed nearly edge-on. By calculating the two-point and the degenerate three-point correlation functions, we are able to statistically detect such non-Gaussian features even in the presence of a relatively large amount of Gaussian noise. The degenerate three-point correlation function is found to be particularly useful since it is insensitive to correlated Gaussian noise. We also smooth our data over a 7 deg Full Width at Half Maximum (FWHM) Gaussian window to simulate the Cosmic Background Explorer Satellite (COBE) observations. We find that under such low-resolution conditions, the features are highly suppressed.
Unsteady Navier-Stokes simulations have been performed for vortical flows over an "arrow-wing" configuration of a supersonic transport in the transonic regime. Computed steady pressures and integrated force coefficients with and without control surface deflection at a moderate angle of attack are compared with experiment. For unsteady cases, oscillating trailing-edge control surfaces are modeled by using moving grids. Response characteristics between symmetric and antisymmetric oscillatory motions of the control surfaces on the left and right wings are studied. The antisymmetric case produces higher lift than the steady case with no deflection and the unsteady symmetric case produces higher lift than the antisymmetric case. The detailed analysis of the wake structure revealed a strong interaction between the primary vortex and the wake vortex sheet from the flap region when the flap is deflected up.
This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.
A knowledge-based aerodynamic design method, Constrained Direct Iterative Surface Cur-vature (CDISC), has been leveraged for the computational design exploration of a Common Research Model with Reduced-Sweep and Slotted Wings (CRMRS-SW). Cruise-slotted-wing airfoils include a slot near the trailing edge of a main airfoil component to introduce stream air to the low-momentum, upper-surface boundary layer on a flap airfoil component with the goal of allowing for a more aft loading, relative to supercritical airfoils, without shock-induced separation. Ultimately, the cruise slotted wing is a passive technology that allows for an in-crease in the drag divergence Mach number and/or an increase in aerodynamic efficiency at agiven cruise condition. These aerodynamic benefits may be realized at the vehicle level through a trade space that includes the following design options: increasing cruise Mach number, in-creasing wing thickness, decreasing wing sweep, increasing lift coefficient and/or decreasing drag coefficient. The present study aimed to evaluate the slotted-wing concept’s potential as adrag-saving technology in application to a single-aisle transonic transport aircraft at a given cruise condition. The CDISC design method was used to develop a better understanding of the slotted-wing design variables that have a significant impact on the variability in aircraft drag and leverage this newly-developed knowledge to quantify the aerodynamic performance benefits enabled by the cruise slotted wing.