Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Edge Computing”

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

Modelling of environmentally induced discharges in geosynchronous satellites

The NASCAP computer code is used to compute the charging and discharging characteristics of a typical communications satellite in geosynchronous orbit. For the case of a severe substorm, satellite surface differential charging in sunlight is found to be substantially less than that required to produce discharges in ground simulation studies. A discharge process is postulated involving discharges triggered at edges (or imperfection) followed by discharges to space. The characteristics of such discharges are parametrically varied to evaluate the possible effects on the satellite. It has been found that discharge characteristics inferred from satellite monitors could be caused by predicted space discharges, that single cell discharges to space can reduce surface potential over entire satellite, and that low-density electron trajectory computations indicate that discharge generated electrons may not return to the satellite by long trajectories. Current transients predicted do not agree with the available ground simulation results indicating that additional work must be done both analytically and experimentally to understand and fully explain these discrepancies.

Stevens, N. J.↗

Hydrodynamic Stability and Magnetic Reconnection in Disks and Stars

The purpose of this grant is to study parametric instability. The simplest example of parametric instability is a harmonic oscillator with a periodic modulation of the spring constant. If the modulation frequency is close to twice the natural frequency of the oscillator, the amplitude of oscillation tends to grow exponentially. The growth rate is proportional to the strength of the modulation, but it also depends upon the closeness to resonance of the two frequencies, and upon natural damping rate or "Q" of the oscillator. Parametric instabilities are very common in physics. A familiar example is a jogger's ponytail--normally a very strongly damped pendulum, it can be destabilized by the variation in effective gravity during the jogger's stride. Observation confirms that the period of the pendulum is half that of the jogger's vertical motion. In astrophysics, parametric instability may occur by external tidal forcing, or by interaction among eigenmodes. In the latter case, an energetic eigenmode may destabilize modes of half its frequency, provided some weak nonlinearity exists to couple them. Under a previous Astrophysical Theory grant (NAGW-2419), the PI discovered a parametric instability of tidally forced disks such as the accretion disks in cataclysmic variables and X ray binaries [2]. The destabilized modes are tightly-wound, incompressible, three-dimensional waves analogous to g-modes and r-modes in stars. Later work has confirmed our analysis [4]. It was hoped that these modes might provide a source of turbulence and angular momentum transport in accretion disks. However, a follow-up investigation of this instability by local numerical simulations, although confirming the analytically estimated growth rates, found negligible angular momentum flux [3]. Other work, partly supported by the ATP, now strongly indicates that the transport mechanism in such disks is magnetohydrodynamic turbulence [6]. Nevertheless, the parametric mechanism may truncate the outer edges of disks in close binaries [2], and it may be important in disks of very low ionization such as protostellar disks, or even cataclysmic-variable disks in quiescence where the MHD mechanism may be ineffective [5]. All analyses up to 1996 were done in a local approximation where the orbital frequency, shear rate, and tidal field were treated as constants. The locally computed growth rate turns out to depend strongly on radius, and it was unclear how to average these local rates to obtain the correct global rate. This is a critical issue for accretion disks in close binaries, because the local growth rate is comparable to the orbital frequency towards the outer edge of the disk but decreases rapidly inwards. Paper #1 examined this issue in a simplified global model where the destabilizing terms vary with position. We found that the global growth rate is essentially equal to the maximum local rate, provided that the latter is smoothed over a radial range equal to the distance that the destabilized wave propagates at its group speed in one growth time. Thus, in an accretion disk, waves would grow rapidly in the outer parts but would propagate both inwards and outwards at a maximum group speed of order the disk thickness divided by the orbital period.

Goodman, Jeremy↗

Numerical simulation of the flow about the F-18 HARV at high angle of attack

This research has been aimed at validating numerical methods for computing the flow about the complete F-18 HARV at alpha = 30 deg and alpha = 45 deg. At 30 deg angle of attack, the flow about the F-18 is dominated by the formation, and subsequent breakdown, of strong vortices over the wing leading-edge extensions (LEX). As the angle of attack is increased to alpha = 45 deg, the fuselage forebody of the F-18 contains significant laminar and transitional regions which are not present at alpha = 30 deg. Further, the flow over the LEX at alpha = 45 deg is dominated by an unsteady shedding in time, rather than strong coherent vortices. This complex physics, combined with the complex geometry of a full-aircraft configuration, provides a challenge for current computational fluid dynamics (CFD) techniques. The following sections present the numerical method and grid generation scheme that was used, a review of prior research done to numerically model the F-18 HARV, and a discussion of the current research. The current research is broken into three main topics; the effect of engine-inlet mass-flow rate on the F-18 vortex breakdown position, the results using a refined F-18 computational model to compute the flow at alpha = 30 deg and alpha = 45 deg, and research done using the simplified geometry of an ogive-cylinder configuration to investigate the physics of unsteady shear-layer shedding. The last section briefly summarizes the discussion.

Murman, Scott M.↗

Computer simulation of the motion of a straight dislocation line in concentrated solid solutions. II

An investigation was undertaken to determine if the size and modulus interaction of a solute atom with a screw dislocation and the modulus interaction with an edge dislocation contributed to strengthening, in addition to the size interaction with an edge dislocation. The results indicate that the size interaction between solute atom and an edge dislocation accounts for most of the solid solution strengthening in f.c.c. alloys. The contribution to the yield stress from the modulus interaction with an edge dislocation is less than 15%. The interaction between a solute atom and a screw dislocation is much less than that between a solute atom and an edge dislocation.

Kuo, C. T. K.↗

A Novel Automated Method for Analyzing Cylindrical Computed Tomography Data

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.

Roth, D. J.↗

Estimation of wing nonlinear aerodynamic characteristics at supersonic speeds

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.

Carlson, H. W.↗

Recent advances in applying Free Vortex Sheet theory to the estimation of vortex flow aerodynamics

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.

Luckring, J. M.↗

Computer assessment of atherosclerosis from angiographic images

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.

Selzer, R. H.↗

Design of Multistage Axial-Flow Compressors

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.

Crouse, J. E.↗

Postbuckling behavior of axially compressed graphite-epoxy cylindrical panels with circular holes

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.

Knight, N. F., Jr.↗

A high quality image compression scheme for real-time applications

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.

Ramamoorthy, P. A.↗

Navier-Stokes computations on full-span wing-body configuration with oscillating control surfaces

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.

Obayashi, Shigeru↗

Microwave background fluctuations due to the Sunyaev-Zel'dovich effects in pancakes

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.

Subbarao, M. U.↗

Navier-Stokes Computations on Full Wing-Body Configuration with Oscillating Control Surfaces

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.

Obayashi, Shigeru↗

Proceedings of the Second NASA Formal Methods Symposium

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.

Munoz, Cesar↗

Design Exploration of a Slotted-Wing Common Research Model

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.

Brett R. Hiller↗

Expanding Repository Data Available For Sharing and Knowledge Discovery

Some of the hardest space biology and space health challenges require data-intensive, bioinformatic, meta-analytical, and computer-assisted research approaches. These challenges include examining interdisciplinary space life science research across experiments and across interacting spaceflight hazards (radiation, altered gravity, confinement, hostile-closed environments, distance-duration from Earth). The approaches to confront these challenges involve mining multiple datasets simultaneously from various hierarchical organizations of biological complexity, all while concurrently evaluating how experimental design factors affect endpoints of standard assays. To enable this field, it is essential that principal investigators (PIs) submit data in a structure so it can be maximally re-used. The purpose of the NASA Ames Life Sciences Data Archive (ALSDA) is to collect, curate, and make publicly available all non-human space-relevant biological data. ALSDA must also ensure data are open-access, and maximally findable, accessible, interoperable, and reusable (FAIR). The scope of ALSDA data collected and submitted by PIs include subject and study design metadata, assay metadata parameters, raw and processed assay data, assay imagery/video, and subject-experienced mission data telemetry (radiation, temperature, humidity, acoustics, vibrations, etc.). ALSDA recently integrated into a collaborative group of Open Science projects to facilitate a suite of new tools and workflows that will improve data submission, accessibility, and reusability by implementing digital data submission agreements, and adopting the data management system originally developed by NASA GeneLab. ALSDA intends to bring current biological repository data and all future collected data into this new scientific data reuse reality. This new suite of tools will enable ALSDA to deploy a science curation system using scientific assay configurations for the data submission portal. It will capture essential assay parameters according to established standards in each sub-field within biology. The submission portal expedites data collection by enhancing ease of PI data submission, providing a user interface and specificity for which data is to be submitted. Data submissions can be brought into cutting-edge informatic analysis portals to enable mining of physiological, behavioral, biochemical, and imaging datasets in conjunction with ‘omics-level datasets. As ALSDA datasets are submitted, curated, and published (e.g., micro-computed tomography, histology, pulse oximetry, serum metabolites, magnetic resonance imaging, intraocular pressure, novel object recognition, etc.), the merging together of spaceflight data along this multi-hierarchical complexity of biology will enable informatics and data-intensive approaches resulting in knowledge discoveries across missions, space hazards, and biological disciplines.

Biology↗