Search NASA⌕ Search

SEARCH · Search NASA

Results for “Higher-Order”

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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

HFGMC Enhancement of MAC/GMC

Additional information about a mathematical model denoted the high-fidelity generalized method of cells (HFGMC) and implementation of the HFGMC within version 4.0 of the MAC/GMC software has become available. MAC/GMC (Micromechanics Analysis Code With Generalized Method of Cells) was a topic of several prior NASA Tech Briefs articles, version 4.0 having been described in "Comprehensive Micromechanics-Analysis Code - Version 4.0" (LEW-17495-1), NASA Tech Briefs, Vol. 29, No. 9 (September 2005), page 54. MAC/GMC predicts elastic and inelastic thermomechanical responses of composite materials. MAC/GMC utilizes the generalized method of cells (GMC) - a model of micromechanics that predicts macroscopic responses of a composite material as functions of the properties, sizes, shapes, and responses of its constituents (e.g., matrix and fibers). The accuracy of the GMC is limited by neglect of coupling between normal and shear stresses. The HFGMC was developed by combining elements of the GMC and a related model, denoted the higher-order theory for functionally graded materials (HOTFGM), that can account for this coupling. Hence, the HFGMC enables simulation of stress and strain with greater accuracy. Some alterations of the MAC/GMC data structure were necessitated by the greater computational complexity of the HFGMC.

Arnold, Steven M.↗
NASA NTRS2007

Surface-Emitting Distributed Feedback Terahertz Quantum-Cascade Lasers in Metal-Metal Waveguides

Single-mode surface-emitting distributed feedback terahertz quantumcascade lasers operating around 2.9 THz are developed in metal-metal waveguides. A combination of techniques including precise control of phase of reflection at the facets, and u e of metal on the sidewalls to eliminate higher-order lateral modes allow robust single-mode operation over a range of approximately 0.35 THz. Single-lobed far-field radiation pattern is obtained using a pi phase-shift in center of the second-order Bragg grating. A grating device operating at 2.93 THz lased up to 149 K in pulsed mode and a temperature tuning of 19 .7 GHz was observed from 5 K to 147 K. The same device lased up to 78 K in continuous-wave (cw) mode emitting more than 6 m W of cw power at 5 K. ln general, maximum temperature of pulsed operation for grating devices was within a few Kelvin of that of multi-mode Fabry-Perot ridge lasers

Kumar, Sushil↗
NASA NTRS2009

The Third SeaWiFS HPLC Analysis Round-Robin Experiment (SeaHARRE-3)

Seven international laboratories specializing in the determination of marine pigment concentrations using high performance liquid chromatography (HPLC) were intercompared using in situ samples and a mixed pigment sample. The field samples were collected primarily from oligotrophic waters, although mesotrophic and eutrophic waters were also sampled to create a dynamic range in chlorophyll concentration spanning approximately two orders of magnitude (0.020 1.366 mg m^{-3}) The intercomparisons were used to establish the following: a) the uncertainties in quantitating individual pigments and higher-order variables (sums, ratios, and indices); b) the reduction in uncertainties as a result of applying quality assurance (QA) procedures; c) the importance of establishing a properly defined referencing system in the computation of uncertainties; d) the analytical benefits of performance metrics, and e) the utility of a laboratory mix in understanding method performance. In addition, the remote sensing requirements for the in situ determination of total chlorophyll a were investigated to determine whether or not the average uncertainty for this measurement is being satisfied.

Hooker, Stanford B.↗
NASA NTRS2010

Formal Methods at Intel - An Overview

Since the 1990s, Intel has invested heavily in formal methods, which are now deployed in several domains: hardware, software, firmware, protocols etc. Many different formal methods tools and techniques are in active use, including symbolic trajectory evaluation, temporal logic model checking, SMT-style combined decision procedures, and interactive higher-order logic theorem proving. I will try to give a broad overview of some of the formal methods activities taking place at Intel, and describe the challenges of extending formal verification to new areas and of effectively using multiple formal techniques in combination

Harrison, John↗
NASA NTRS2009

Theorem Proving in Intel Hardware Design

For the past decade, a framework combining model checking (symbolic trajectory evaluation) and higher-order logic theorem proving has been in production use at Intel. Our tools and methodology have been used to formally verify execution cluster functionality (including floating-point operations) for a number of Intel products, including the Pentium(Registered TradeMark)4 and Core(TradeMark)i7 processors. Hardware verification in 2009 is much more challenging than it was in 1999 - today s CPU chip designs contain many processor cores and significant firmware content. This talk will attempt to distill the lessons learned over the past ten years, discuss how they apply to today s problems, outline some future directions.

O'Leary, John↗
NASA NTRS2001

A Decade of Growth

This paper examines the Space Surveillance Network catalog's growth in low Earth orbit (LEO) and the geosynchronous Earth orbit (GEO) over the decade 1990-2000. During this time, innovative space utilization concepts, e.g. the Iridium and Globalstar commercial communication satellite constellations, have increased the public's consciousness of space. At the same time, however, these constellations have increased spatial density per 10 km altitude bin by factors of two and three respectively. While not displaying as spectacular a growth in spatial density, other regions of space have grown steadily in terms of number, mass, size, and operational lifetime. In this work we categorize launch traffic by type (e.g. payload, rocket body, operational debris, fragmentation debris, or anomalous debris), mass, and size so as to present the observed growth numerically, in terms of mass, and in terms of cross-sectional area. GEO traffic is further categorized by operational longitude. Because growth itself defines only the instantaneous environment, we also examine the higher-order derivatives of growth. In addition, we compare the last decade's growth with modeling results to illustrate the subtle effects of inclination, eccentricity, and size, in addition to spatial densities, on estimating the collision probability. We identify those regions of space most subject to accidental collision.

Johnson, Nicholas L.↗
NASA NTRS2010

The Fourth SeaWiFS HPLC Analysis Round-Robin Experiment (SeaHARRE-4)

Ten international laboratories specializing in the determination of marine pigment concentrations using high performance liquid chromatography (HPLC) were intercompared using in situ samples and a mixed pigment sample. Although prior Sea-viewing Wide Field-of-view Sensor (SeaWiFS) High Performance Liquid Chromatography (HPLC) Round-Robin Experiment (SeaHARRE) activities conducted in open-ocean waters covered a wide dynamic range in productivity, and some of the samples were collected in the coastal zone, none of the activities involved exclusively coastal samples. Consequently, SeaHARRE-4 was organized and executed as a strictly coastal activity and the field samples were collected from primarily eutrophic waters within the coastal zone of Denmark. The more restrictive perspective limited the dynamic range in chlorophyll concentration to approximately one and a half orders of magnitude (previous activities covered more than two orders of magnitude). The method intercomparisons were used for the following objectives: a) estimate the uncertainties in quantitating individual pigments and higher-order variables formed from sums and ratios; b) confirm if the chlorophyll a accuracy requirements for ocean color validation activities (approximately 25%, although 15% would allow for algorithm refinement) can be met in coastal waters; c) establish the reduction in uncertainties as a result of applying QA procedures; d) show the importance of establishing a properly defined referencing system in the computation of uncertainties; e) quantify the analytical benefits of performance metrics, and f) demonstrate the utility of a laboratory mix in understanding method performance. In addition, the remote sensing requirements for the in situ determination of total chlorophyll a were investigated to determine whether or not the average uncertainty for this measurement is being satisfied.

Hooker, Stanford B.↗
NASA NTRS2005

One-Dimensional Photonic Crystal Superprisms

Theoretical calculations indicate that it should be possible for one-dimensional (1D) photonic crystals (see figure) to exhibit giant dispersions known as the superprism effect. Previously, three-dimensional (3D) photonic crystal superprisms have demonstrated strong wavelength dispersion - about 500 times that of conventional prisms and diffraction gratings. Unlike diffraction gratings, superprisms do not exhibit zero-order transmission or higher-order diffraction, thereby eliminating cross-talk problems. However, the fabrication of these 3D photonic crystals requires complex electron-beam substrate patterning and multilayer thin-film sputtering processes. The proposed 1D superprism is much simpler in structural complexity and, therefore, easier to design and fabricate. Like their 3D counterparts, the 1D superprisms can exhibit giant dispersions over small spectral bands that can be tailored by judicious structure design and tuned by varying incident beam direction. Potential applications include miniature gas-sensing devices.

Ting, David↗
NASA NTRS2005

Computing Gravitational Fields of Finite-Sized Bodies

A computer program utilizes the classical theory of gravitation, implemented by means of the finite-element method, to calculate the near gravitational fields of bodies of arbitrary size, shape, and mass distribution. The program was developed for application to a spacecraft and to floating proof masses and associated equipment carried by the spacecraft for detecting gravitational waves. The program can calculate steady or time-dependent gravitational forces, moments, and gradients thereof. Bodies external to a proof mass can be moving around the proof mass and/or deformed under thermoelastic loads. An arbitrarily shaped proof mass is represented by a collection of parallelepiped elements. The gravitational force and moment acting on each parallelepiped element of a proof mass, including those attributable to the self-gravitational field of the proof mass, are computed exactly from the closed-form equation for the gravitational potential of a parallelepiped. The gravitational field of an arbitrary distribution of mass external to a proof mass can be calculated either by summing the fields of suitably many point masses or by higher-order Gauss-Legendre integration over all elements surrounding the proof mass that are part of a finite-element mesh. This computer program is compatible with more general finite-element codes, such as NASTRAN, because it is configured to read a generic input data file, containing the detailed description of the finiteelement mesh.

Quadrelli, Marco↗
NASA NTRS2004

NASA Tech Briefs, May 2004

Topics include: Embedded Heaters for Joining or Separating Plastic Parts; Curing Composite Materials Using Lower-Energy Electron Beams; Aluminum-Alloy-Matrix/Alumina-Reinforcement Composites; Fibrous-Ceramic/Aerogel Composite Insulating Tiles; Urethane/Silicone Adhesives for Bonding Flexing Metal Parts; Scalable Architecture for Multihop Wireless ad Hoc Networks; Improved Thermoplastic/Iron-Particle Transformer Cores; Cooperative Lander-Surface/Aerial Microflyer Missions for Mars Exploration Dual-Frequency Airborne Scanning Rain Radar Antenna System Eight-Channel Continuous Timer Reduction of Phase Ambiguity in an Offset-QPSK Receiver Ambient-Light-Canceling Camera Using Subtraction of Frames Lightweight, Flexible, Thin, Integrated Solar-Power Packs Windows(Registered Trademark)-Based Software Models Cyclic Oxidation Behavior Software for Analyzing Sequences of Flow-Related Images Improved Ball-and-Socket Docking Mechanism Two-Stage Solenoid Ordered Nanostructures Made Using Chaperonin Polypeptides Low-Temperature Plasma Functionalization of Carbon Nanotubes Improved Cryostat for Cooling a Wide Panel Current Pulses Momentarily Enhance Thermoelectric Cooling Hand-Held Color Meters Based on Interference Filters Calculating Mass Diffusion in High-Pressure Binary Fluids Fresnel Lenses for Wide-Aperture Optical Receivers Increasing Accuracy in Computed Inviscid Boundary Conditions Higher-Order Finite Elements for Computing Thermal Radiation Radar for Monitoring Hurricanes from Geostationary Orbit Time-Transfer System for Two Orbiting Spacecraft

Source record↗
NASA NTRS2004

Increasing Accuracy in Computed Inviscid Boundary Conditions

A technique has been devised to increase the accuracy of computational simulations of flows of inviscid fluids by increasing the accuracy with which surface boundary conditions are represented. This technique is expected to be especially beneficial for computational aeroacoustics, wherein it enables proper accounting, not only for acoustic waves, but also for vorticity and entropy waves, at surfaces. Heretofore, inviscid nonlinear surface boundary conditions have been limited to third-order accuracy in time for stationary surfaces and to first-order accuracy in time for moving surfaces. For steady-state calculations, it may be possible to achieve higher accuracy in space, but high accuracy in time is needed for efficient simulation of multiscale unsteady flow phenomena. The present technique is the first surface treatment that provides the needed high accuracy through proper accounting of higher-order time derivatives. The present technique is founded on a method known in art as the Hermitian modified solution approximation (MESA) scheme. This is because high time accuracy at a surface depends upon, among other things, correction of the spatial cross-derivatives of flow variables, and many of these cross-derivatives are included explicitly on the computational grid in the MESA scheme. (Alternatively, a related method other than the MESA scheme could be used, as long as the method involves consistent application of the effects of the cross-derivatives.) While the mathematical derivation of the present technique is too lengthy and complex to fit within the space available for this article, the technique itself can be characterized in relatively simple terms: The technique involves correction of surface-normal spatial pressure derivatives at a boundary surface to satisfy the governing equations and the boundary conditions and thereby achieve arbitrarily high orders of time accuracy in special cases. The boundary conditions can now include a potentially infinite number of time derivatives of surface-normal velocity (consistent with no flow through the boundary) up to arbitrarily high order. The corrections for the first-order spatial derivatives of pressure are calculated by use of the first-order time derivative velocity. The corrected first-order spatial derivatives are used to calculate the second- order time derivatives of velocity, which, in turn, are used to calculate the corrections for the second-order pressure derivatives. The process as described is repeated, progressing through increasing orders of derivatives, until the desired accuracy is attained.

Dyson, Roger↗
NASA NTRS2010

The Atacama Cosmology Telescope: A Measurement of the Cosmic Microwave Background Power Spectrum at 148 AND 218 GHz from the 2008 Southern Survey

We present measurements of the cosmic microwave background (CMB) power spectrum made by the Atacama Cosmology Telescope at 148 GHz and 218 GHz, as well as the cross-frequency spectrum between the two channels. Our results dearly show the second through the seventh acoustic peaks in the CMB power spectrum. The measurements of these higher-order peaks provide an additional test of the ACDM cosmological model. At l > 3000, we detect power in excess of the primary anisotropy spectrum of the CMB. At lower multipoles 500 < l < 3000, we find evidence for gravitational lensing of the CMB in the power spectrum at the 2.8(sigma) level. We also detect a low level of Galactic dust in our maps, which demonstrates that we can recover known faint, diffuse signals.

Das, Sudeep↗
NASA NTRS2009

Head Pose Estimation Using Multilinear Subspace Analysis for Robot Human Awareness

Mobile robots, operating in unconstrained indoor and outdoor environments, would benefit in many ways from perception of the human awareness around them. Knowledge of people's head pose and gaze directions would enable the robot to deduce which people are aware of the its presence, and to predict future motions of the people for better path planning. To make such inferences, requires estimating head pose on facial images that are combination of multiple varying factors, such as identity, appearance, head pose, and illumination. By applying multilinear algebra, the algebra of higher-order tensors, we can separate these factors and estimate head pose regardless of subject's identity or image conditions. Furthermore, we can automatically handle uncertainty in the size of the face and its location. We demonstrate a pipeline of on-the-move detection of pedestrians with a robot stereo vision system, segmentation of the head, and head pose estimation in cluttered urban street scenes.

Ivanov, Tonislav↗
NASA NTRS2007

Primary Objective Grating Astronomical Telescope

It has been 370 years since a seventeenth century French mathematician, Mersenne, presciently sketched out an astronomical telescope based on dual parabolic reflectors. Since that time the concept of the primary objective has been virtually unchanged. Now a new class of astronomical telescope with a primary objective grating (POG) has been studied as an alternative. The POG competes with mirrors, in part, because diffraction gratings provide the very chromatic dispersion that mirrors defeat. The resulting telescope deals effectively with long-standing restrictions on multiple object spectroscopy (MOS). Other potential benefits include unprecedented apertures and collection areas. The new design also favors space deployment as a gossamer membrane. The inventor, Tom Ditto, first discovered that higher-order diffraction images contain hidden depth cues, for which he was granted a seminal range finding patent in 1987. Subsequently, he invented and patented 3D localizers, profilometers and microscopes using POGs. The POG telescope was placed in the public domain to expedite research. The function of a telescopes primary objective is to collect flux and to deliver images. Both functions dictate that size matters, and bigger is better. For that reason, there has been a steady push over the past century to ramp up the size of the primary mirror. However, for every doubling of mirror diameter, the elapsed time between initial effort and first light has also doubled. Meanwhile, costs escalated beyond the mirror alone, because larger instruments required larger enclosures and better pointing mechanisms. One key catalog of observation, spectrographic data, is far more difficult to amass than two-dimensional imagery. While the number of observable objects has increased with mirror size, the capacity to take spectra has not increased proportionately. In the best of circumstances, spectrograms are available for one per cent of the all objects surveyed. Spectroscopy was a historical afterthought introduced in the nineteenth century shortly after the invention of the diffraction grating and over a century after Newtons 1670 telescope. Spectroscopy is generally accomplished using a diffraction grating as the disperser in the secondary. The light being delivered to the spectrograph is first captured by a primary mirror which provides no chromatic magnification by itself. Sizeable spectrographs could not be deployed while diffraction gratings were rare commodities scribed using mechanical ruling engines that produced one grating line at a time. Today diffraction gratings are commonplace. Their recent availability is a product of both the invention of holography and the mass replication of surface microstructures. Holography permits all lines in a grating to be made simultaneously in a single photographic exposure. Holograms can then be reproduced by embossing processes. The improvement in replication is analogous to how Gutenberg changed the availability of books. The masters may be expensive, but the copies are not. Computer science is another technology that emerged in the second half of the twentieth century without which our proposed spectrographic instrument could not function due to the complexity of image processing required in data reduction. The employment of very large diffraction gratings as primary objectives for astronomical telescopes requires a novel

spectroscopy↗
NASA NTRS2010

TPSAS-NF1676L-9990-DND

PVS (Prototype Veri cation System)1 is an interactive environment for the specification and verification of systems. PVS provides a strongly typed specification language, which is based on Higher-Order Logic. The type system of PVS supports: sub-typing, dependent-types, abstract data types, parametric types, records, unions, and tuples. The PVS theorem prover includes decision procedures for a variety of theories such as linear arithmetic, propositional logic, and temporal logic. This seminar will provide a gentle introduction to the basic and advanced features of PVS, including: theory interpretations, real number proving, batch proving, rapid prototyping, and strategy development. All these features are illustrated with simple examples and exercises.

César Muñoz↗
NASA NTRS1995

The Dynamics of Ultrasonically Levitated Drops in an Electric Field

Ultrasonic and electrostatic leviation techniques have allowed the experimental investigation of the nonlinear oscillatory dynamics of free droplets with diameter between 0.1 and 0.4 cm. The measurement of the resonance frequencies of the first three normal modes of large amplitude shape oscillations in an electric field of varying magnitude has been carried out with and without surface charges for weakly conducting liquids in air. These oscillations of nonspherical levitated drops have been driven by either modulating the ultrasonic field or by using a time-varying electric field, and the free decay from the oscillatory state has been recorded. A decrease in the resonance frequency of the driven fundamental quadrupole mode has been measured for increasing oblate deformation in the absence of an electric field. Similarly, a decrease in this frequency has also been found for increasing DC electric field magnitude. A soft nonlinearity exists in the amplitude dependence of the resonant mode frequencies for freely decaying as well as ultrasonically and electrically driven uncharged drops. This decrease in resonance frequency is accentuated by the presence of free surface charge on the drop. Subharmonic resonance excitation has been observed for drops in a time-varying electric field, and hysteresis exists for resonant modes driven to large amplitude. Mode coupling from lower-order resonances to higher-order modes has been found to be very weak, even for fairly large amplitude shape oscillations. Most of these results are in general agreement with predictions from recent analytical and numerical investigations.

Ultrasonically↗
NASA NTRS2002

Overview of SIM external calibration

Like all astrometric instruments, the Space Interferometry Mission (SIM) suffers from field-dependent errors requiring calibration. Diffraction effects in the delay line, polarization rotations on comer cubes, and beam walk across imperfect optics, all contribute to field-distortion that is significantly larger than is acceptable. The bulk of the systematic error is linear across the field - that is, it results in a magnification error. We show that the linear terms are inconsequential to the performance of SIM because they are inseparable from baseline length and orientation errors. One approach to calibrating the higher-order terms is to perform external' calibration; that is, SIM periodically makes differential measurements of a field of bright stars whose positions are not precisely known. We describe the requirements and constraints on the external calibration process and lay the groundwork for a specific procedure detailed in accompanying papers.

Space↗
NASA NTRS1996

Nonlinear Multi-Window Controllers

In many control designs the error signal is split into parallel channels which are tailored to be significant over distinct frequency ranges and are then recombined. Often, at least one channel contains nonlinear elements, The most common example is a PID controller with an anti-windup nonlinearity in the I-channel. A more general example using higher-order compensators is presented, which is a thermal controller for a spacecraft-mounted telescope.

PID↗