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.
Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The assertions were written and embedded in the code, then errors were inserted (seeded) one at a time and the code executed. Results indicate that assertion testing is an effective and efficient method of detecting errors in flight software. Most errors are eliminate at an earlier stage in the development than before.
The results of a study of a low-cost structurally efficient minimum-gage shear-panel design that can be used in light helicopters are presented. The shear-panel design is based on an integrally stiffened syntactic-foam stabilized-skin with an all-bias-ply tape construction for stabilized-skin concept with an all-bias-ply tape construction for the skins. This sandwich concept is an economical way to increase the panel bending stiffness weight penalty. The panels considered in the study were designed to be buckling resistant up to 100 lbs/in. of shear load and to have an ultimate strength of 300 lbs/in. The panel concept uses unidirectional carbon-epoxy tape on a syntactic adhesive as a stiffener that is co-cured with the skin and is an effective concept for improving panel buckling strength. The panel concept also uses pultruded carbon-epoxy rods embedded in a syntactic adhesive and over-wrapped with a bias-ply carbon-epoxy tape to form a reinforcing beam which is an effective method for redistributing load around rectangular cutout. The buckling strength of the reinforced panels is 83 to 90 percent of the predicted buckling strength based on a linear buckling analysis. The maximum experimental deflection exceeds the maximum deflection predicted by a nonlinear analysis by approximately one panel thickness. The failure strength of the reinforced panels was two and a half to seven times of the buckling strength. This efficient shear-panel design concept exceeds the required ultimate strength requirement of 300 lbs/in by more than 100 percent.
In this paper the Finite Element Method (FEM) is presented for mass/volume gauging of a fluid in a tank subjected to zero or microgravity conditions. In this approach first mutual capacitances between electrodes embedded inside the tank are measured. Assuming the medium properties the mutual capacitances are also estimated using FEM approach. Using proper non-linear optimization the assumed properties are updated by minimizing the mean square error between estimated and measured capacitances values. Numerical results are presented to validate the present approach.
Optical emission spectroscopy is employed to correlate BN insulator erosion with high-power Hall thruster operation. Specifically, actinometry leveraging excited xenon states is used to normalize the emission spectra of ground state boron as a function of thruster operating condition. Trends in the strength of the boron signal are correlated with thruster power, discharge voltage, and discharge current. In addition, the technique is demonstrated on metallic coupons embedded in the walls of the HiVHAc EM thruster. The OES technique captured the overall trend in the erosion of the coupons which boosts credibility in the method since there are no data to which to calibrate the erosion rates of high-power Hall thrusters. The boron signals are shown to trend linearly with discharge voltage for a fixed discharge current as expected. However, the boron signals of the higher-power NASA 300M and NASA 457Mv2 trend with discharge current and show an unexpectedly weak to inverse dependence on discharge voltage. Electron temperatures measured optically in the near-field plume of the thruster agree well with Langmuir probe data. However, the optical technique used to determine Te showed unacceptable sensitivity to the emission intensities. Near-field, single-frequency imaging of the xenon neutrals is also presented as a function of operating condition for the NASA 457 Mv2.
A numerical technique that solves the parabolized form of the Navier-Stokes equations is presented. Such a method makes it possible to obtain very detailed descriptions of the flowfield in a relatively modest CPU time. The present approach is based on a space-marching technique, uses a finite volume discretization and an upwind flux-difference splitting scheme for the evaluation of the inviscid fluxes. Second order accuracy is achieved following the guidelines of the the ENO schemes. The methodology is used to investigate three-dimensional supersonic viscous flows over symmetric corners. Primary and secondary streamwise vortical structures embedded in the boundary layer and originated by the interaction with shock waves are detected and studied. For purpose of validation, results are compared with experimental data extracted from literature. The agreement is found to be satisfactory. In conclusion, the numerical method proposed seems to be promising as it permits, at a reasonable computational expense, investigation of complex three-dimensional flowfields in great detail.
A DJOINT solutions of the governing flow equations are becoming increasingly important for the development of efficient analysis and optimization algorithms. A well-known use of the adjoint method is gradient-based shape. Given an objective function that defines some measure of performance, such as the lift and drag functionals, its gradient is computed at a cost that is essentially independent of the number of design variables (e.g., geometric parameters that control the shape). Classic aerodynamic applications of gradient-based optimization include the design of cruise configurations for transonic and supersonic flow, as well as the design of high-lift systems. are perhaps the most promising approach for addressing the issues of flow solution automation for aerodynamic design problems. In these methods, the discretization of the wetted surface is decoupled from that of the volume mesh. This not only enables fast and robust mesh generation for geometry of arbitrary complexity, but also facilitates access to geometry modeling and manipulation using parametric computer-aided design (CAD). In previous work on Cartesian adjoint solvers, Melvin et al. developed an adjoint formulation for the TRANAIR code, which is based on the full-potential equation with viscous corrections. More recently, Dadone and Grossman presented an adjoint formulation for the two-dimensional Euler equations using a ghost-cell method to enforce the wall boundary conditions. In Refs. 18 and 19, we presented an accurate and efficient algorithm for the solution of the adjoint Euler equations discretized on Cartesian meshes with embedded, cut-cell boundaries. Novel aspects of the algorithm were the computation of surface shape sensitivities for triangulations based on parametric-CAD models and the linearization of the coupling between the surface triangulation and the cut-cells. The accuracy of the gradient computation was verified using several three-dimensional test cases, which included design variables such as the free stream parameters and the planform shape of an isolated wing. The objective of the present work is to extend our adjoint formulation to problems involving general shape changes. Factors under consideration include the computation of mesh sensitivities that provide a reliable approximation of the objective function gradient, as well as the computation of surface shape sensitivities based on a direct-CAD interface. We present detailed gradient verification studies and then focus on a shape optimization problem for an Apollo-like reentry vehicle. The goal of the optimization is to enhance the lift-to-drag ratio of the capsule by modifying the shape of its heat-shield in conjunction with a center-of-gravity (c.g.) offset. This multipoint and multi-objective optimization problem is used to demonstrate the overall effectiveness of the Cartesian adjoint method for addressing the issues of complex aerodynamic design.
A consortium of innovative experts in additive manufacturing (AM) comprising Northrup Grumman Technical Services, University of Texas at El Paso (UTEP), Configurable Space Microsystems Innovations & Applications Center (COSMIAC), NASA Glenn Research Center (GRC), and Youngstown State University, have made significant breakthroughs in the goal of creating the first complete 3D printed small satellite. Since AM machines are relatively inexpensive, this should lead to many entrepreneurial opportunities for the small satellite community. Our technology advancements are focused on the challenges of embedding key components within the structure of the article. We have demonstrated, using advanced fused deposition modeling techniques, complex geometric shapes which optimize the spacecraft design. The UTEP Keck Center has developed a method that interrupts the printing process to insert components into specific cavities, resulting in a spacecraft that has minimal internal space allocated for what traditionally were functional purposes. This allows us to increase experiment and instrument capability by provided added volume in a confined small satellite space. Leveraging initial progress made on a NASA contract, the team investigated the potential of new materials that exploit the AM process, producing candidate compositions that exceed the capabilities of traditional materials. These "new materials" being produced and tested include some that have improved radiation shielding, increased permeability, enhanced thermal properties, better conductive properties, and increased structural performance. The team also investigated materials that were previously not possible to be made. Our testing included standard mechanical tests such as vibration, tensile, thermal cycling, and impact resistance as well as radiation and electromagnetic tests. The initial results of these products and their performance will be presented and compared with standard properties. The new materials with the highest probability to disrupt the future of small satellite systems by driving down costs will be highlighted, in conjunction with the electronic embedding process.
A numerical method has been developed to compute transonic flows about realistic wing-fuselage configurations. The finite difference scheme employs an improved small disturbance flow equation. A unique grid embedding technique, which was heretofore applied to airfoils and wings, has been extended to include the treatment of both body and wing-body shapes. The resulting high-density mesh is shown to be a valuable asset in resolving details of the three-dimensional flow. A mathematical modeling system is used to process arbitrary fuselage geometries for body boundary conditions. Correlations with experimental data for simple isolated bodies, an isolated fuselage, and wing-fuselage combinations are included.
Silicon and metal are coevaporated onto a silicon substrate in a molecular beam epitaxy system with a larger than stoichiometric amount of silicon so as to epitaxially grow columns of metal silicide embedded in a matrix of single crystal, epitaxially grown silicon. Higher substrate temperatures and lower deposition rates yield larger columns that are farther apart while more silicon produces smaller columns. Column shapes and locations are selected by seeding the substrate with metal silicide starting regions. A variety of three-dimensional, exemplary electronic devices are disclosed.
Silicon and metal are coevaporated onto a silicon substrate in a molecular beam epitaxy system with a larger than stoichiometric amount of silicon so as to epitaxially grow columns of metal silicide embedded in a matrix of single crystal, epitaxially grown silicon. Higher substrate temperatures and lower deposition rates yield larger columns that are farther apart while more silicon produces smaller columns. Column shapes and locations are selected by seeding the substrate with metal silicide starting regions. A variety of 3-dimensional, exemplary electronic devices are disclosed.
Nephele is a small atmospheric probe mission concept to determine whether the Venus clouds contain organic matter. Nephele complements larger missions that seek to conduct Venus atmospheric analyses, such as DAVINCI, Venera-D, and the Morning Star missions, by directly sampling and analyzing cloud and haze particles. AERACEPT is an aerosol sampling technology designed to minimize the mass, volume, and complexity required for in situ planetary atmosphere characterization. A single aeroshell functions as a combined entry vehicle, descent probe, and instrumented sonde, combining recent advances in thermal protection materials with heritage technology from planetary and airborne science. The velocity of descent drives aerosol through inlets embedded in the aeroshell’s thermal protection material; inertial separation isolates the particles from the gas stream; and the particle capture surface doubles as the analysis substrate. This method can work without heat shield separation, descent control, or active sample handling; these advantages trade against a smaller sample volume, higher risk of sample heating, and shorter time for analysis and data return. AERACEPT further benefits from modeling of the internal and external flow to understand the particle capture efficiency and bias for size and concentration distributions. AERACEPT is well suited for a Venus mission such as Nephele, where a passive descent trajectory is both subsonic over the altitudes of interest and provides sufficient velocity and pressure differential for the particle sizes of interest. A thermal and flow toolchain developed in-house (Traj→ DPLR→ PATO→ openFOAM) was used to model an 80-cm aeroshell with science operations 63–39 km. These models indicate that AERACEPT will provide ~24 µL accumulated sample of particles ≥ 0.2 µm, substantially above the 2 µL threshold requirement. The worst-case particle heating will be ~14 K above ambient, for the smallest particles at the lowest altitude; most particles will experience ≤ 1 K rise, at which almost all analytes of interest will be unaffected. Plasma jet testing of a small-scale aeroshell-material inlet was recently conducted to validate the thermal model parameters; wind tunnel testing to validate the flow model parameters is underway.
Silicon and metal are coevaporated onto a silicon substrate in a molecular beam epitaxy system with a larger than stoichiometric amount of silicon so as to epitaxially grow particles of metal silicide embedded in a matrix of single crystal epitaxially grown silicon. The particles interact with incident photons by resonant optical absorption at the surface plasmon resonance frequency. Controlling the substrate temperature and deposition rate and time allows the aspect ratio of the particles to be tailored to desired wavelength photons and polarizations. The plasmon energy may decay as excited charge carriers or phonons, either of which can be monitored to indicate the amount of incident radiation at the selected frequency and polarization.
Stochastic Marked Graphs are a concurrent decision free formalism provided with a powerful synchronization mechanism generalizing conventional Fork Join Queueing Networks. In some particular cases the analysis of the throughput can be done analytically. Otherwise the analysis suffers from the classical state explosion problem. Embedded in the divide and conquer paradigm, approximation techniques are introduced for the analysis of stochastic marked graphs and Macroplace/Macrotransition-nets (MPMT-nets), a new subclass introduced herein. MPMT-nets are a subclass of Petri nets that allow limited choice, concurrency and sharing of resources. The modeling power of MPMT is much larger than that of marked graphs, e.g., MPMT-nets can model manufacturing flow lines with unreliable machines and dataflow graphs where choice and synchronization occur. The basic idea leads to the notion of a cut to split the original net system into two subnets. The cuts lead to two aggregated net systems where one of the subnets is reduced to a single transition. A further reduction leads to a basic skeleton. The generalization of the idea leads to multiple cuts, where single cuts can be applied recursively leading to a hierarchical decomposition. Based on the decomposition, a response time approximation technique for the performance analysis is introduced. Also, delay equivalence, which has previously been introduced in the context of marked graphs by Woodside et al., Marie's method and flow equivalent aggregation are applied to the aggregated net systems. The experimental results show that response time approximation converges quickly and shows reasonable accuracy in most cases. The convergence of Marie's method and flow equivalent aggregation are applied to the aggregated net systems. The experimental results show that response time approximation converges quickly and shows reasonable accuracy in most cases. The convergence of Marie's is slower, but the accuracy is generally better. Delay equivalence often fails to converge, while flow equivalent aggregation can lead to potentially bad results if a strong dependence of the mean completion time on the interarrival process exists.
The twisting stiffness of a rectangular cross section consisting of a single row of solid circular cross-section fibers embedded in a matrix is analyzed. The problem is formulated as a Dirichlet torsion problem of a multielement region and solved by the boundary-point least-squares method. Numerical results for a single-fiber square cross section compare favorably with previous relaxation-method results. New numerical results for three and five-fiber composites suggest that the torsional rigidity of a multifiber composite can be approximated from the torsional rigidities of single and three-fiber models.
A method is presented for computing the probability of failure of a unit during the next usage or mission based on sound statistical techniques. With the use of logit regression embedded in Lotus 1-2-3 macros, this package computes the probability of unit failure based upon a historical data base. Using this computed probability of failure, the package then makes a replacement recommendation based upon the experts acceptable risk parameters.
Dynamic delamination fracture toughness in a (90/0)5s T300/934 graphite/epoxy laminate was investigated using impact loading. Delamination cracks of three different sizes were embedded at the midplane of the composite specimen. The threshold impact velocity that causes propagation of the delamination crack was used in the dynamic analysis with the finite element method. From the finite element solution, the time-history of the strain energy release rate was calculated. The critical strain energy release rate was taken to equal the maximum value of the response history.
One model for computing in the future is ubiquitous, embedded computational devices analogous to embedded electrical motors. Many of these computers will control physical objects and processes. Such hidden computerized environments introduce new safety and correctness concerns whose treatment go beyond present Formal Methods. In particular, one has to begin to speak about Real Space software in analogy with Real Time software. By this we mean, computerized systems which have to meet requirements expressed in the real geometry of space. How to translate such requirements into ordinary software specifications and how to carry out proofs is a major challenge. In this talk we propose a research program based on the use of no-standard analysis. Much detail remains to be carried out. The purpose of the talk is to inform the Formal Methods community that Non-Standard Analysis provides a possible avenue to attack which we believe will be fruitful.
The simulation of sound generation and propagation in three space dimensions with realistic aircraft components is a very large time dependent computation with fine details. Simulations in open domains with embedded objects require accurate and robust algorithms for propagation, for artificial inflow and outflow boundaries, and for the definition of geometrically complex objects. The development, implementation, and validation of methods for solving these demanding problems is being done to support the NASA pillar goals for reducing aircraft noise levels. Our goal is to provide algorithms which are sufficiently accurate and efficient to produce usable results rapidly enough to allow design engineers to study the effects on sound levels of design changes in propulsion systems, and in the integration of propulsion systems with airframes. There is a lack of design tools for these purposes at this time. Our technical approach to this problem combines the development of new, algorithms with the use of Mathematica and Unix utilities to automate the algorithm development, code implementation, and validation. We use explicit methods to ensure effective implementation by domain decomposition for SPMD parallel computing. There are several orders of magnitude difference in the computational efficiencies of the algorithms which we have considered. We currently have new artificial inflow and outflow boundary conditions that are stable, accurate, and unobtrusive, with implementations that match the accuracy and efficiency of the propagation methods. The artificial numerical boundary treatments have been proven to have solutions which converge to the full open domain problems, so that the error from the boundary treatments can be driven as low as is required. The purpose of this paper is to briefly present a method for developing highly accurate algorithms for computational aeroacoustics, the use of computer automation in this process, and a brief survey of the algorithms that have resulted from this work. A review of computational aeroacoustics has recently been given by Lele.