SEARCH · Engineering Papers

Results for “branching orientation”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1994

Extended field observations of cirrus clouds using a ground-based cloud observing system

The evolution of synoptic-scale dynamics associated with a middle and upper tropospheric cloud event that occurred on 26 November 1991 is examined. The case under consideration occurred during the FIRE CIRRUS-II Intensive Field Observing Period held in Coffeyville, KS during Nov. and Dec., 1991. Using data from the wind profiler demonstration network and a temporally and spatially augmented radiosonde array, emphasis is given to explaining the evolution of the kinematically-derived ageostrophic vertical circulations and correlating the circulation with the forcing of an extensively sampled cloud field. This is facilitated by decomposing the horizontal divergence into its component parts through a natural coordinate representation of the flow. Ageostrophic vertical circulations are inferred and compared to the circulation forcing arising from geostrophic confluence and shearing deformation derived from the Sawyer-Eliassen Equation. It is found that a thermodynamically indirect vertical circulation existed in association with a jet streak exit region. The circulation was displaced to the cyclonic side of the jet axis due to the orientation of the jet exit between a deepening diffluent trough and building ridge. The cloud line formed in the ascending branch of the vertical circulation with the most concentrated cloud development occurring in conjunction with the maximum large-scale vertical motion. The relationship between the large scale dynamics and the parameterization of middle and upper tropospheric clouds in large-scale models is discussed and an example of ice water contents derived from a parameterization forced by the diagnosed vertical motions and observed water vapor contents is presented.

Ackerman, Thomas P.↗

NASA NTRS1992

Statistics of backscatter radar return from vegetation

The statistical characteristics of radar return from vegetation targets are investigated through a simulation study based upon the first-order scattered field. For simulation purposes, the vegetation targets are modeled as a layer of randomly oriented and spaced finite cylinders, needles, or discs, or a combination of them. The finite cylinder is used to represent a branch or a trunk, the needle for a stem or a coniferous leaf, and the disc for a decidous leaf. For a plane wave illuminating a vegetation canopy, simulation results show that the signal returned from a layer of disc- or needle-shaped leaves follows the Gamma distribution, and that the signal returned from a layer of branches resembles the log normal distribution. The Gamma distribution also represents the signal returned from a layer of a mixture of branches and leaves regardless of the leaf shapes. Results also indicate that the polarization state does not have a significant impact on signal distribution.

Karam, M. A.↗

NASA NTRSDate not supplied

Evolution of Dendritic Extended 3D Patterns during Directional Solidification: Microgravity Experiments in DECLIC-DSI onboard ISS and Phase-field Modeling

To characterize the dynamical formation of three-dimensional (3D) arrays of dendrites under diffusive growth conditions, in situ monitoring of a series of experiments on a transparent succinonitrile – 0.46 wt% camphor model alloy was carried out under low gravity in the DECLIC Directional Solidification Insert onboard the International Space Station. These experiments offer continuous interface observation and enable the construction of space-time evolution maps of dendrite location and primary spacing during directional solidification. We present the evolution of dendritic extended 3D patterns for a large range of parameters displaying different levels of side branching in both experiments and phase-field simulations. The combined and separate effects of macroscopic interface curvature and crystal mis-orientation are evidenced and detailed. In addition, the aligned dendritic array caused by the invasion of dendrites formed at the edge of the crucible border is investigated.

Kaihua Ji↗

NASA NTRS2012

Virtual Machine Language 2.1

VML (Virtual Machine Language) is an advanced computing environment that allows spacecraft to operate using mechanisms ranging from simple, time-oriented sequencing to advanced, multicomponent reactive systems. VML has developed in four evolutionary stages. VML 0 is a core execution capability providing multi-threaded command execution, integer data types, and rudimentary branching. VML 1 added named parameterized procedures, extensive polymorphism, data typing, branching, looping issuance of commands using run-time parameters, and named global variables. VML 2 added for loops, data verification, telemetry reaction, and an open flight adaptation architecture. VML 2.1 contains major advances in control flow capabilities for executable state machines. On the resource requirements front, VML 2.1 features a reduced memory footprint in order to fit more capability into modestly sized flight processors, and endian-neutral data access for compatibility with Intel little-endian processors. Sequence packaging has been improved with object-oriented programming constructs and the use of implicit (rather than explicit) time tags on statements. Sequence event detection has been significantly enhanced with multi-variable waiting, which allows a sequence to detect and react to conditions defined by complex expressions with multiple global variables. This multi-variable waiting serves as the basis for implementing parallel rule checking, which in turn, makes possible executable state machines. The new state machine feature in VML 2.1 allows the creation of sophisticated autonomous reactive systems without the need to develop expensive flight software. Users specify named states and transitions, along with the truth conditions required, before taking transitions. Transitions with the same signal name allow separate state machines to coordinate actions: the conditions distributed across all state machines necessary to arm a particular signal are evaluated, and once found true, that signal is raised. The selected signal then causes all identically named transitions in all present state machines to be taken simultaneously. VML 2.1 has relevance to all potential space missions, both manned and unmanned. It was under consideration for use on Orion.

Riedel, Joseph E.↗

NASA NTRS1994

Software Management Environment (SME): Components and algorithms

This document presents the components and algorithms of the Software Management Environment (SME), a management tool developed for the Software Engineering Branch (Code 552) of the Flight Dynamics Division (FDD) of the Goddard Space Flight Center (GSFC). The SME provides an integrated set of visually oriented experienced-based tools that can assist software development managers in managing and planning software development projects. This document describes and illustrates the analysis functions that underlie the SME's project monitoring, estimation, and planning tools. 'SME Components and Algorithms' is a companion reference to 'SME Concepts and Architecture' and 'Software Engineering Laboratory (SEL) Relationships, Models, and Management Rules.'

Hendrick, Robert↗

NASA NTRS1995

Looking around: 35 years of oculomotor modeling

Eye movements have attracted an unusually large number of researchers from many disparate fields, especially over the past 35 years. The lure of this system stemmed from its apparent simplicity of description, measurement, and analysis, as well as the promise of providing a "window in the mind." Investigators in areas ranging from biological control systems and neurological diagnosis to applications in advertising and flight simulation expected eye movements to provide clear indicators of what the sensory-motor system was accomplishing and what the brain found to be of interest. The parallels between compensatory eye movements and perception of spatial orientation have been a subject for active study in visual-vestibular interaction, where substantial knowledge has accumulated through experiments largely guided by the challenge of proving or disproving model predictions. Even though oculomotor control has arguably benefited more from systems theory than any other branch of motor control, many of the original goals remain largely unfulfilled. This paper considers some of the promising potential benefits of eye movement research and compares accomplishments with anticipated results. Four topics are considered in greater detail: (i) the definition of oculomotor system input and output, (ii) optimization of the eye movement system, (iii) the relationship between compensatory eye movements and spatial orientation through the "internal model," and (iv) the significance of eye movements as measured in (outer) space.

Flight Experiment↗

NASA NTRS1993

Application of Cloude's target decomposition theorem to polarimetric imaging radar data

In this paper we applied Cloude's decomposition to imaging radar polarimetry. We show in detail how the decomposition results can guide the interpretation of scattering from vegetated areas. For multifrequency polarimetric radar measurements of a clear-cut area, the decomposition leads us to conclude that the vegetation is probably thin compared to even the C-band radar wavelength of 6 cm. For a frosted area, we notice an increased amount of even number of reflection scattering at P-band and L-band, probably the result of penetration through the coniferous canopy resulting in trunk-ground double reflection scattering. However, the scattering for the forested area is still dominated by scattering from randomly oriented cylinders. It is found that these cylinders are thicker than in the case of clear-cut areas, leading us to conclude that scattering from the branches probably dominates in this case.

Vanzyl, Jakob J.↗

NASA NTRS1993

Application of Cloude's target decomposition theorem to polarimetric imaging radar data

We apply Cloude's decomposition to imaging radar polarimetry. We derive the general expressions for the eigenvalues and eigenvectors for the case of terrain with reflection symmetry, and show in detail how the decomposition results can guide the interpretation of scattering from vegetated areas. For multi-frequency polarimetric radar measurements of a clear-cut area, the decomposition leads us to conclude that the vegetation is probably thin compared to even the C-band radar wavelength of 6 cm. For a forested area, we notice an increased amount of even number of reflection scattering at P-band and L-band, probably the result of penetration through the coniferous canopy resulting in trunk-ground double reflection scattering. The scattering for the forested area is still dominated by scattering from randomly oriented cylinders, however. It is found that these cylinders are thicker than in the case of clear-cut areas, leading us to conclude that scattering from the branches probably dominate in this case.

Vanzyl, Jakob J.↗

NASA NTRS2008

Three-Dimensional Signatures of Intermittent Magnetic Reconnection in Global Simulations of Dayside Magnetosphere Dynamics

We performed high resolution global MHD simulations of THEMIS dayside crossings events in May -June 2007. We found that magnetopause surface is not in steady-state even during extended periods of steady solar wind conditions. The so-called tilted reconnection lines become unstable due to formation of pressure bubbles, strong core field flux tubes, vortices, and traveling magnetic field cavities. The topology of FTEs differ from that in two dimension cartoons representing obliquely oriented quasi-2D flux rope. The structure of FTE is changing at spatial scales of 1 -2 Re. Closely located space probes can observe completely different signatures. Branches of bent flux rope can move in opposite directions. THEMIS and Cluster observations are consistent with signatures predicted by simulations.

Kuznetsova, M.M.↗

NASA NTRS1995

Forced three-dimensional magnetic reconnection due to linkage of magnetic flux tubes

During periods of southward interplanetary magnetic field (IMF) orientation the magnetic field geometry at the dayside magnetopause is susceptible to magnetic reconnection. It has been suggested that reconnection may occur in a localized manner at several patches on the magnetopause. A major problem with this picture is the interaction of magnetic flux ropes which are generated by different reconnection processes. An individual flux rope is bent elbowlike where it intersects the magnetopause and the magnetic field changes from magnetospheric to interplanetary magnetic field orientation. Multiple patches of reconnection can lead to the formation of interlinked magnetic flux tubes. Although the corresponding flux is connected to the IMF the northward and southward connected branches are hooked into each other and cannot develop independently. We have studied this problem in the framework of three-dimensional magnetohydrodynamic simulations. The results indicate that a singular current sheet forms at the interface of two interlinked flux tubes if no resistivity is present in the simulation. This current sheet is strongly tilted compared to the original current sheet. In the presence of resistivity the interaction of the two flux tubes forces a fast reconnection process which generates helically twisted closed magnetospheric flux. This linkage induced reconnection generates a boundary layer with layers of open and closed magnetospheric flux and may account for the brightening of auroral arcs poleward of the boundary between open and closed magnetic flux.

Otto, A.↗

NASA NTRS1991

A fully polarimetric scattering model for a coniferous forest

For an elliptically polarized plane wave exciting a coniferous forested canopy a fully polarimetric scattering model has been developed to account for the size and orientation distributions of each forest constituent. A canopy is divided into three layers over a rough interface. The upper two layers represent the crown with its constituents (leaves, stems, and branches). The lower layer stands for the trunks and the rough interface is the canopy-ground interface. For a plane wave exciting the canopy, the explicit expressions for the bistatic scattering coefficient associated with each scattering mechanism are given. For an elliptically polarized incidence wave, the present model can be recast in a form suitable for polarimetric wave synthesis. The model validation is justified by comparing the measured and the calculated values of the backscattering coefficients for a linearly polarized incident wave. The comparison is made over a wide range of frequencies and incident angles. Numerical simulations are conducted to calculate the radar polarization signature of the canopy for different incident frequencies and angles.

Karam, M. A.↗

NASA NTRS1998

Modeling of Branched (L, T and Y) Carbon Nanotubes

Models for connecting two or three carbon nanotubes (CNT) using topological defects (i.e., pentagons and heptagons) are presented for the characterization of experimentally observed L, T and Y CNT junctions. The effects of the separation and orientation of the topological defects on the structures and energetics of these junctions are investigated using the nonlocal density function theory (DFT) and semi-empirical molecular orbital (AM1) calculations, and the Brenner empirical potential molecular mechanics simulations. The potential applications of L, Y and T CNT junctions in nanoelectronic devices are also discussed.

Han, Jie↗

NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

NASA NTRS1998

Identification of Complex Carbon Nanotube Structures

A variety of complex carbon nanotube (CNT) structures have been observed experimentally. These include sharp bends, branches, tori, and helices. They are believed to be formed by using topological defects such as pentagons and heptagons to connect different CNT. The effects of type, number, and arrangement (separation and orientation) of defects on atomic structures and energetics of complex CNT are investigated using topology, quantum mechanics and molecular mechanics calculations. Energetically stable models are derived for identification of observed complex CNT structures.

Han, Jie↗

NASA NTRS1991

Stacking-sequence optimization for buckling of laminated plates by integer programming

Integer-programming formulations for the design of symmetric and balanced laminated plates under biaxial compression are presented. Both maximization of buckling load for a given total thickness and the minimization of total thickness subject to a buckling constraint are formulated. The design variables that define the stacking sequence of the laminate are zero-one integers. It is shown that the formulation results in a linear optimization problem that can be solved on readily available software. This is in contrast to the continuous case, where the design variables are the thicknesses of layers with specified ply orientations, and the optimization problem is nonlinear. Constraints on the stacking sequence such as a limit on the number of contiguous plies of the same orientation and limits on in-plane stiffnesses are easily accommodated. Examples are presented for graphite-epoxy plates under uniaxial and biaxial compression using a commercial software package based on the branch-and-bound algorithm.

Haftka, Raphael T.↗

NASA NTRS1991

Stacking-sequence optimization for buckling of laminated plates by integer programming

Integer-programming formulations for the design of symmetric and balanced laminated plates under biaxial compression are presented. Both maximization of buckling load for given total thickness, and the minimization of total thickness subject to a buckling constraint are formulated. The design variables that define the stacking sequence of the laminate are zero-one integers. It is shown that the formulation results in a linear optimization problem that can be solved on readily aviable software. Constraints on the stacking sequence such as a limit on the number of contiguous plies of the same orientation and limits on in-plane stiffnesses are easily accommodated. Examples are presented for graphite-epoxy plates under uniaxial and biaxial compression using a commercial software package based on the branch-and-bound algorithm.

Haftka, Raphael T.↗

NASA NTRS1988

Fatique crack growth behavior of a single crystal alloy as observed through an in situ fatigue loading stage

An in situ fatigue loading stage inside a scanning electron microscope (SEM) was used to determine the fatigue crack growth behavior of a PWA 1480 single-crystal nickel-based superalloy. The loading stage permits real-time viewing of the fatigue damage processes at high magnification. The PWA 1480 single-crystal, single-edge notch specimens were tested with the load axis parallel to the (100) orientation. Two distinct fatigue failure mechanisms were identified. The crack growth rate differed substantially when the failure occurred on a single slip system in comparison to multislip system failure. Two processes by which crack branching is produced were identified and are discussed. Also discussed are the observed crack closure mechanisms.

Telesman, Jack↗

NASA NTRS1988

Fatigue crack growth behavior of a single crystal alloy as observed through an in situ fatigue loading stage

Telesman, Jack↗