Search NASA⌕ Search

SEARCH · Search NASA

Results for “matching problem”

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 577 records · Page 32

High-Order Simulation of Non-Linear Oscillations and Shocks in the Solar Atmosphere

The solar atmosphere presents a rich source of highly non-linear magneto-hydrodynamic phenomena: strong gradients and forcing terms result in both large shocks and oscillations. The additional requirements of energy balance and initialization in hydrostatic equilibrium compound the challenge of this problem. A wealth of observational data allows us to check the results of our simulations. The problem of simulating the solar atmosphere provides, in addition to an interesting system in its own right, a challenging testbed for high-order shock-capturing methods. We discuss the challenge of simulating solar atmospheric phenomena, concentrating on various high-order central methods ranging from second to fourth order. Our method is based on the central-upwind scheme of Kurganov, Noelle and Petrova, which we extend to high order via various interpolants. We investigate various initial data for our simulations, corresponding to observed conditions in different regions of the solar surface: the normal quiet sun and sunspots. When non-oscillatory using second- and third-order methods, we are able to reproduce non-trivial observational results. In particular we find a correlation between initial data and both the shock speeds and particle oscillation spectra that match observations in the corresponding regions. When using fourth-order WENO interpolants, we find that while the individual shock profiles at any given time appear non-oscillatory, spurious oscillations appear in the fields after long time integrations. The issue of initialization in hydrostatic equilibrium raises difficult issues. Careful treatment of the gravitational source term can reduce violations of hydrostatic equilibrium, but difficulties remain, primarily due to discontinuities in the piecewise-polynomial reconstructions. In the case of the Euler equations in gravity, the use of high-order methods reduces the violation of hydrostatic equilibrium to a sufficiently low level for the above described results to be obtained. Including various energy flux terms in the equations, however, leads to severe instability when hydrostatic balance is violated. We discuss various strategies to address this problem, including adaptive grid methods.

Bryson, S.↗

Implementation of nonreflective boundary condition at the outflow boundary

Numerical techniques for the solution of free surface flows about a disturbance on or near a free surface were developed. Any disturbance moving on or near a liquid surface generates surface waves that propagate away from the disturbance. The potential flow problems in which the evolution of free surface waves is the principal phenomenon of interest are considered. The distinct feature of these problems is that the position of the surface is also unknown and is to be determined as part of the solution. Two boundary conditions are required at the free surface since there are two unknown functions there, the free surface height and the potential function. The required boundary conditions are satisfied by the kinematic condition which states that no flow can cross the surface and the dynamic condition which matches the fluid pressure to the pressure acting on the surface through Bernoulli's equation.

Hall, D. R.↗

Application and systems software in Ada: Development experiences

In its most basic sense software development involves describing the tasks to be solved, including the given objects and the operations to be performed on those objects. Unfortunately, the way people describe objects and operations usually bears little resemblance to source code in most contemporary computer languages. There are two ways around this problem. One is to allow users to describe what they want the computer to do in everyday, typically imprecise English. The PRODOC methodology and software development environment is based on a second more flexible and possibly even easier to use approach. Rather than hiding program structure, PRODOC represents such structure graphically using visual programming techniques. In addition, the program terminology used in PRODOC may be customized so as to match the way human experts in any given application area naturally describe the relevant data and operations. The PRODOC methodology is described in detail.

Kuschill, Jim↗

Excitation of a Parallel Plate Waveguide by an Array of Rectangular Waveguides

This work addresses the problem of excitation of a parallel plate waveguide by an array of rectangular waveguides that arises in applications such as the continuous transverse stub (CTS) antenna and dual-polarized parabolic cylindrical reflector antennas excited by a scanning line source. In order to design the junction region between the parallel plate waveguide and the linear array of rectangular waveguides, waveguide sizes have to be chosen so that the input match is adequate for the range of scan angles for both polarizations. Electromagnetic wave scattered by the junction of a parallel plate waveguide by an array of rectangular waveguides is analyzed by formulating coupled integral equations for the aperture electric field at the junction. The integral equations are solved by the method of moments. In order to make the computational process efficient and accurate, the method of weighted averaging was used to evaluate rapidly oscillating integrals encountered in the moment matrix. In addition, the real axis spectral integral is evaluated in a deformed contour for speed and accuracy. The MoM results for a large finite array have been validated by comparing its reflection coefficients with corresponding results for an infinite array generated by the commercial finite element code, HFSS. Once the aperture electric field is determined by MoM, the input reflection coefficients at each waveguide port, and coupling for each polarization over the range of useful scan angles, are easily obtained. Results for the input impedance and coupling characteristics for both the vertical and horizontal polarizations are presented over a range of scan angles. It is shown that the scan range is limited to about 35 for both polarizations and therefore the optimum waveguide is a square of size equal to about 0.62 free space wavelength.

Rengarajan, Sembiam↗

Formal Verification of Large Software Systems

We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a different lemma for each distinct element and proving each lemma independently, we obtain the important benefit that the proof scales easily for large systems. We present details of the approach and an illustration of its application on a challenge problem from the security domain

Yin, Xiang↗

Multiobjective Multidisciplinary Optimization of Low-Boom Supersonic Transports Using Multifidelity Models

A multidisciplinary optimization (MDO) method has been developed to design a computational fluid dynamics (CFD) based low-boom configuration that can be obtained from a Pareto solution of a low-fidelity multiobjective MDO problem with mission constraints. This paper refines the developed MDO method using multifidelity models for CFD-based multiobjective MDO. The refined MDO method can generate a low-boom configuration that satisfies the mission requirements, has the lowest takeoff gross weight and the longest range for the low-boom mission, trims the low-boom cruise flight with fuel redistributions, and has a reversed equivalent area distribution closely matching a low-boom target with ground noise level below 70 PLdB. The validity of the refined MDO method is demonstrated by a design study of a low-boom supersonic transport that carries 40 passengers, flies a low-boom mission with cruise Mach of 1.7 and range of 3500 nm, and cruises overwater at Mach 1.8 with range of 3882 nm. Moreover, the refined MDO method eliminates the difference between the assumed cruise weight for CFD-based low-boom inverse design optimization and the estimated cruise weight of the optimal inverse design solution with respect to the mission requirements.

multidisciplinary optimization↗

A Low-Cost and Low-Risk Testbed for Control Design of Launch Vehicles and Landing Systems

This research seeks to bridge the gap between the simulation/theory and the flight-testing phases of control algorithmdesign for launch vehicles (LVs) and landing systems (LSs). Thispaper reviews contemporary testbeds for LV and LS control sys-tem design with an emphasis on reducing costs and risks. Also, anew low-cost and low-risk testbed utilizing a quadcopter, flexibleinverted pendulum, and a hanging pendulum is proposed. It is shown that the planar dynamic response of this proposed testbedcan match the planar dynamic response of an LV. As mission objectives for frequent cislunar and interplanetary travel become more complex, the algorithms that control LVs and LSs need to become more advanced to ensure mission safety and success. These control systems are slow to mature because it is difficult to perform experiments in an environment relevant to the mission in a safe and cost-effective manner. A solution to this problem frequently leveraged in the aviation andsatellite industries involves mimicking the dynamic response ofthe vehicle with a test platform that is low-cost and low-risk.

William J Elke III↗

Status of LDEF ionizing radiation measurements and analysis

At this symposium significant new data and analyses were reported in cosmic ray research, radiation dosimetry, induced radioactivity, and radiation environment modeling. Measurements of induced radioactivity and absorbed dose are nearly complete, but much analysis and modeling remains. Measurements and analyses of passive nuclear track detectors (PNTD), used to derive the cosmic ray composition and spectra, and linear energy transfer (LET) spectra, are only a few percent complete, but important results have already emerged. As one might expect at this stage of the research, some of the new information has produced questions rather than answers. Low-energy heavy nuclei detected by two experiments are not compatible with known solar or cosmic components. Various data sets on absorbed dose are not consistent, and a new trapped proton environment model does not match the absorbed dose data. A search for cosmogenic nuclei other than Be-7 on Long Duration Exposure Facility (LDEF) surfaces has produced an unexpected result, and some activation data relating to neutrons is not yet understood. Most of these issues will be resolved by the analysis of further experiment data, calibrations, or the application of the large LDEF data set that offers alternate data or analysis techniques bearing on the same problem. The scope of the papers at this symposium defy a compact technical summary. I have attempted to group the new information that I noted into the following groups: induced radioactivity; absorbed dose measurements; LET spectra and heavy ion dosimetry; environment modeling and three dimensional shielding effects; cosmogenic nuclei; and cosmic rays and other heavy ions. The papers generally are expository and have excellent illustrations, and I refer to their figures rather than reproduce them here. The general program and objectives of ionizing radiation measurements and analyses on LDEF has been described previously.

Parnell, Thomas A.↗

NASA Langley's Approach to the Sandia's Structural Dynamics Challenge Problem

The objective of this challenge is to develop a data-based probabilistic model of uncertainty to predict the behavior of subsystems (payloads) by themselves and while coupled to a primary (target) system. Although this type of analysis is routinely performed and representative of issues faced in real-world system design and integration, there are still several key technical challenges that must be addressed when analyzing uncertain interconnected systems. For example, one key technical challenge is related to the fact that there is limited data on target configurations. Moreover, it is typical to have multiple data sets from experiments conducted at the subsystem level, but often samples sizes are not sufficient to compute high confidence statistics. In this challenge problem additional constraints are placed as ground rules for the participants. One such rule is that mathematical models of the subsystem are limited to linear approximations of the nonlinear physics of the problem at hand. Also, participants are constrained to use these models and the multiple data sets to make predictions about the target system response under completely different input conditions. Our approach involved initially the screening of several different methods. Three of the ones considered are presented herein. The first one is based on the transformation of the modal data to an orthogonal space where the mean and covariance of the data are matched by the model. The other two approaches worked solutions in physical space where the uncertain parameter set is made of masses, stiffnesses and damping coefficients; one matches confidence intervals of low order moments of the statistics via optimization while the second one uses a Kernel density estimation approach. The paper will touch on all the approaches, lessons learned, validation 1 metrics and their comparison, data quantity restriction, and assumptions/limitations of each approach. Keywords: Probabilistic modeling, model validation, uncertainty quantification, kernel density

Horta, Lucas G.↗

Acoustic Mechanical Feedthroughs

Electromagnetic motors can have problems when operating in extreme environments. In addition, if one needs to do mechanical work outside a structure, electrical feedthroughs are required to transport the electric power to drive the motor. In this paper, we present designs for driving rotary and linear motors by pumping stress waves across a structure or barrier. We accomplish this by designing a piezoelectric actuator on one side of the structure and a resonance structure that is matched to the piezoelectric resonance of the actuator on the other side. Typically, piezoelectric motors can be designed with high torques and lower speeds without the need for gears. One can also use other actuation materials such as electrostrictive, or magnetostrictive materials in a benign environment and transmit the power in acoustic form as a stress wave and actuate mechanisms that are external to the benign environment. This technology removes the need to perforate a structure and allows work to be done directly on the other side of a structure without the use of electrical feedthroughs, which can weaken the structure, pipe, or vessel. Acoustic energy is pumped as a stress wave at a set frequency or range of frequencies to produce rotary or linear motion in a structure. This method of transferring useful mechanical work across solid barriers by pumping acoustic energy through a resonant structure features the ability to transfer work (rotary or linear motion) across pressure or thermal barriers, or in a sterile environment, without generating contaminants. Reflectors in the wall of barriers can be designed to enhance the efficiency of the energy/power transmission. The method features the ability to produce a bi-directional driving mechanism using higher-mode resonances. There are a variety of applications where the presence of a motor is complicated by thermal or chemical environments that would be hostile to the motor components and reduce life and, in some instances, not be feasible. A variety of designs that have been designed, fabricated and tested will be presented

piezoelectric devices↗

Controlled thermal expansion printed wiring boards based on liquid crystal polymer dielectrics

Dielectric materials based on innovative Liquid Crystal Polymers (LCP's) have been used to fabricate surface mount printed wiring boards (PWB's) with a coefficient of thermal expansion matched to leadless ceramic chip carriers. Proprietary and patented polymer processing technology has resulted in self reinforcing material with balanced in-plane mechanical properties. In addition, LCP's possess excellent electrical properties, including a low dielectric constant (less than 2.9) and very low moisture absorption (less than 0.02%). LCP-based multilayer boards processed with conventional drilling and plating processes show improved performance over other materials because they eliminate the surface flatness problems of glass or aramid reinforcements. Laser drilling of blind vias in the LCP dielectric provides a very high density for use in direct chip attach and area array packages. The material is ideally suited for MCM-L and PCMCIA applications fabricated with very thin dielectric layers of the liquid crystal polymer.

Knoll, Thomas E.↗

Challenge Problem 1: Preliminary Results of the Direct Numerical Simulation of Transient Flows

This report presents the first direct numerical simulations (DNS) of transient mixed convection in an idealized downcomer-like channel (Challenge Problem 1, Phase II). Using the GPU-accelerated NekRS solver, we modeled a sudden decay in driving pressure, mimicking loss-of-flow events, and tracked the resulting evolution of Reynolds number, boundary-layer structure, turbulence statistics, and heat-transfer metrics. Key findings include the systematic thickening and eventual asymmetry of velocity and thermal boundary layers under buoyant deceleration; minimal “memory” lag in Reynolds shear stress and TKE profiles when sampled at matching Re, yet clear shifts of peak locations toward the cooled wall; overshoots in transient eddy-viscosity and eddy-diffusivity (and corresponding sub-unity turbulent Prandtl numbers) on the cooled side; and a pronounced transient Nusselt-number enhancement driven by wall-temperature inertia and residual eddy mixing. These effects combined to offer a temporary cooling margin above steady-state predictions during reactor LOF transients. Future work will extend this work to a more complex “Case II” geometry (90° turn + lower plenum) and generate multi-Re/Pr datasets for data-driven turbulence closures.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

MANN: A program to transfer designs for diffractive optical elements to a MANN photolithographic mask generator

There are two basic areas of interest for diffractive optics. In the first, the property of wavefront division is exploited for achieving optical fanout, analogous to the more familiar electrical fanout of electronic circuitry. The basic problem here is that when using a simple uniform diffraction grating the energy input is divided unevenly among the output beams. The other area of interest is the use of diffractive elements to replace or supplement standard refractive elements such as lenses. Again, local grating variations can be used to control the amount of bending imparted to optical rays, and the efficiency of the diffractive element will depend on how closely the element can be matched to the design requirements. In general, production restrictions limit how closely the element approaches the design, and for the common case of photolithographic production, a series of binary masks is required to achieve high efficiency. The actual design process is much more involved than in the case of elements for optical fanout, as the desired phase of the optical wavefront over some reference plane must be specified and the phase alteration to be introduced at each point by the diffraction element must be known. This generally requires the utilization of a standard optical design program. Two approaches are possible. In the first approach, the diffractive element is treated as a special type of lens and the ordinary optical design equations are used. Optical design programs tend to follow a second approach, namely, using the equations of optical interference derived from holographic theory and then allowing the introduction of phase front corrections in the form of polynomial equations. By using either of these two methods, diffractive elements can be used not only to compensate for distortions such as chromatic or spherical aberration, but also to perform the work of a variety of other optical elements such as null correctors, beam shapers, etc. The main focus of the project described in this report is how the design information from the lens design program is incorporated into the photolithographic process. It is shown that the MANN program, a photolithographic mask generator, fills the need for a link between lens design programs and mask generation controllers.The generated masks can be used to expose a resist-coated substrate which is etched and then must be re-coated, re-exposed, and re-etched for making copies, just as in the electronics industry.

Matthys, Donald R.↗

Room-temperature-operation visible-emission semiconductor diode lasers

There were two main approaches taken to develop shorter wavelength lasers. (1) Based on (AlGa)As and liquid-phase epitaxy, significant new results were obtained: Properties of these laser diodes (power output, spectra, and beam patterns), materials considerations, laser theory, and growth problems are discussed. The design of (AlGa)As layers is discussed from the vertical point of view, and various design curves are given. Horizontal structural requirements are also discussed. Experimental results from measurements done as a function of hydrostatic pressure are correlated with other results. (2) The first heterojunction laser structures using GaAs sub l-x P sub x and In sub y Ga sub l-y P at compositions, where the lattice constants are matched, were grown using vapor-phase growth technology and are described in detail, including experimental device results. Threshold current densities from 3,000 to 5,000 A per sq cm. and emission wavelengths from 6,520 A to 6,640 A were obtained at 77 K. The limiting factor in these devices is nonradiative recombination at the heterojunctions. Life tests on facet-coated (AlGa)As CW diodes are reported.

Ladany, I.↗

Efficient diagnosis of multiprocessor systems under probabilistic models

The problem of fault diagnosis in multiprocessor systems is considered under a probabilistic fault model. The focus is on minimizing the number of tests that must be conducted in order to correctly diagnose the state of every processor in the system with high probability. A diagnosis algorithm that can correctly diagnose the state of every processor with probability approaching one in a class of systems performing slightly greater than a linear number of tests is presented. A nearly matching lower bound on the number of tests required to achieve correct diagnosis in arbitrary systems is also proven. Lower and upper bounds on the number of tests required for regular systems are also presented. A class of regular systems which includes hypercubes is shown to be correctly diagnosable with high probability. In all cases, the number of tests required under this probabilistic model is shown to be significantly less than under a bounded-size fault set model. Because the number of tests that must be conducted is a measure of the diagnosis overhead, these results represent a dramatic improvement in the performance of system-level diagnosis techniques.

Blough, Douglas M.↗

Feasibility of Coupling Between a Single-Mode Elliptical-Core Fiber and a Single Mode Rib Waveguide Over Temperature

To determine the feasibility of coupling the output of an optical fiber to a rib waveguide in a temperature environment ranging from 20 C to 300 C, a theoretical calculation of the coupling efficiency between the two was investigated. This is a significant problem which needs to be addressed to determine whether an integrated optic device can function in a harsh temperature environment. Because the behavior of the integrated-optic device is polarization sensitive, a polarization-preserving optic fiber, via its elliptical core, was used to couple light with a known polarization into the device. To couple light energy efficiently from an optical fiber into a channel waveguide, the design of both components should provide for well-matched electric field profiles. The rib waveguide analyzed was the light input channel of an integrated-optic pressure sensor. Due to the complex geometry of the rib waveguide, there is no analytical solution to the wave equation for the guided modes. Approximation or numerical techniques must be utilized to determine the propagation constants and field patterns of the guide. In this study, three solution methods were used to determine the field profiles of both the fiber and guide: the effective-index method (EIM), Marcatili's approximation, and a Fourier method. These methods were utilized independently to calculate the electric field profile of a rib channel waveguide and elliptical fiber at two temperatures, 20 C and 300 C. These temperatures were chosen to represent a nominal and a high temperature that the device would experience. Using the electric field profile calculated from each method, the theoretical coupling efficiency between the single-mode optical fiber and rib waveguide was calculated using the overlap integral and results of the techniques compared. Initially, perfect alignment was assumed and the coupling efficiency calculated. Then, the coupling efficiency calculation was repeated for a range of transverse offsets at both temperatures. Results of the calculation indicate a high coupling efficiency can be achieved when the two components were properly aligned. The coupling efficiency was more sensitive to alignment offsets in the y direction than the x, due to the elliptical modal profile of both components. Changes in the coupling efficiency over temperature were found to be minimal.

Tuma, Margaret L.↗

Information for Successful Interaction with Autonomous Systems

Interaction in heterogeneous mission operations teams is not well matched to classical models of coordination with autonomous systems. We describe methods of loose coordination and information management in mission operations. We describe an information agent and information management tool suite for managing information from many sources, including autonomous agents. We present an integrated model of levels of complexity of agent and human behavior, which shows types of information processing and points of potential error in agent activities. We discuss the types of information needed for diagnosing problems and planning interactions with an autonomous system. We discuss types of coordination for which designs are needed for autonomous system functions.

Malin, Jane T.↗

High power densities from high-temperature materials interactions

Thermionic energy converters and metallic-fluid heat pipes are well suited to serve together synergistically. The two operating cycles appear as simple and isolated as their material problems seem forebodingly deceptive and complicated. Simplified equations verify material properties and interactions as primary influences on the operational effectiveness of both. Each experiences flow limitations in thermal emission and vaporization because of temperature restrictions redounding from thermophysicochemical stability considerations. Topics discussed include: (1) successful limitation of alkali-metal corrosion; (2) protection against external hot corrosive gases; (3) coping with external and internal vaporization; (4) controlling interfacial reactions and diffusion; and (5) meeting other thermophysical challenges; expansion matches and creep.

Morris, J. F.↗