Search NASA⌕ Search

SEARCH · Search NASA

Results for “Embedded interface”

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 127 records · Page 7

Polarimetric backscattering from sea ice

Polarimetric backscattering from sea ice is presented. Theoretical models for backscattering are first presented for various ice types. Then, theoretical results are compared with experimental data for new thin ice, first-year ice, and multi-year ice. Sea ice is modeled as a layer medium containing random scatterers and rough interfaces. For multi-year sea ice with snow cover, the sea ice layer is modeled as an ice background with embedded spheroidal air bubbles and the snow layer as air with ice grains. The hummocky topography on multi-year ice is characterized by a Gaussian distribution which has an averaging effect on backscattering coefficients. First-year sea ice is described by an ice medium hosting ellipsoidal brine inclusions. These inclusions are oriented preferentially in the vertical direction due to the columnar structure of first-year sea ice. Azimuthally, the orientation of the brine pockets are random corresponding to the random c-axes in sea ice, unless the axes are oriented by sea currents. For thin ice in newly opened leads, it has been observed that there exists a thin brine layer with very high salinity on the top surface of the new ice. This brine layer is depicted as a medium with high permittivity which can significantly affect electromagnetic scattering signatures from the lower thin ice layer, with a higher fractional volume of brine inclusions due to higher salinity as compared to thick first-year sea ice. The rough medium interfaces are described as Gaussian rough surfaces characterized by root-mean-square heights and surface correlation lengths. The contribution from rough surface, calculated under the Kirchhoff approximation or small perturbation method, is assumed to be independent from volume scattering. The total loss including absorption and scattering losses in the scattering media is represented by the imaginary part of effective permittivity obtained from the strong fluctuation theory. The polarimetric scattering coefficients for different ice types are then derived under the distorted Born approximation.

Nghiem, S. V.↗

Traction in smooth muscle cells varies with cell spreading

Changes in cell shape regulate cell growth, differentiation, and apoptosis. It has been suggested that the regulation of cell function by the cell shape is a result of the tension in the cytoskeleton and the distortion of the cell. Here we explore the association between cell-generated mechanical forces and the cell morphology. We hypothesized that the cell contractile force is associated with the degree of cell spreading, in particular with the cell length. We measured traction fields of single human airway smooth muscle cells plated on a polyacrylamide gel, in which fluorescent microbeads were embedded to serve as markers of gel deformation. The traction exerted by the cells at the cell-substrate interface was determined from the measured deformation of the gel. The traction was measured before and after treatment with the contractile agonist histamine, or the relaxing agonist isoproterenol. The relative increase in traction induced by histamine was negatively correlated with the baseline traction. On the contrary, the relative decrease in traction due to isoproterenol was independent of the baseline traction, but it was associated with cell shape: traction decreased more in elongated than in round cells. Maximum cell width, mean cell width, and projected area of the cell were the parameters most tightly coupled to both baseline and histamine-induced traction in this study. Wide and well-spread cells exerted larger traction than slim cells. These results suggest that cell contractility is controlled by cell spreading.

Non-NASA Center↗

Towards the formal specification of the requirements and design of a processor interface unit

Work to formally specify the requirements and design of a Processor Interface Unit (PIU), a single-chip subsystem providing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system, is described. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance free operation, or both. The approaches that were developed for modeling the PIU requirements and for composition of the PIU subcomponents at high levels of abstraction are described. These approaches were used to specify and verify a nontrivial subset of the PIU behavior. The PIU specification in Higher Order Logic (HOL) is documented in a companion NASA contractor report entitled 'Towards the Formal Specification of the Requirements and Design of a Processor Interfacs Unit - HOL Listings.' The subsequent verification approach and HOL listings are documented in NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit' and NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings.'

Fura, David A.↗

A direct-interface, fusible heat sink for astronaut cooling

Astronaut cooling during extravehicular activity is a critical design issue in developing a portable life support system that meets the requirements of a space station mission. Some of the requirements are that the cooling device can be easily regenerable and nonventing during operation. In response to this, a direct-interface, fusible heat sink prototype with freezable quick-disconnects was developed. A proof-of-concept prototype was constructed and tested that consists of an elastic container filled with normal tap water and having two quick-disconnects embedded in a wall. These quick-disconnects are designed so that they may be frozen with the ice and yet still be joined to the cooling system, allowing an immediate flow path. The inherent difficulties in a direct-interface heat sink have been overcome, i.e., (1) establishing an initial flow path; (2) avoiding low-flow freeze-up; and (3) achieving adequate heat-transfer rates at the end of the melting process. The requirements, design, fabrication, and testing are discussed.

Lomax, Curtis↗

A direct-interface fusible heat sink for astronaut cooling

Astronaut cooling during extravehicular activity is a critical design issue in developing a portable life support system that meets the requirements of a space station mission. Some the requirements are that the cooling device can be easily regenerable and nonventing during operation. In response to this, a direct-interface, fusible heat sink prototpye with freezable quick-disconnects was developed. A proof-of-concept prototype was constructed and tested that consists of an elastic container filled with normal tap water and having two quick-disconnects embedded in a wall. These quick-disconnects are designed so that they may be frozen with the ice and yet still be joined to the cooling system, allowing an immediate flow path. The inherent difficulties in a direct-interface heat sink have been overcome, i.e., (1) establishing an initial flow path; (2) avoiding low-flow freeze-up; and (3) achieving adequate heat-transfer rates at the end of the melting process. The requirements, design, fabrication, and testing are discussed.

Lomax, Curtis↗

Copper-Multiwall Carbon Nanotubes and Copper-Diamond Composites for Advanced Rocket Engines

This paper reports on the research effort to improve the thermal conductivity of the copper-based alloy NARloy-Z (Cu-3 wt.%Ag-0.5 wt.% Zr), the state-of-the-art alloy used to make combustion chamber liners in regeneratively-cooled liquid rocket engines, using nanotechnology. The approach was to embed high thermal conductivity multiwall carbon nanotubes (MWCNTs) and diamond (D) particles in the NARloy-Z matrix using powder metallurgy techniques. The thermal conductivity of MWCNTs and D have been reported to be 5 to 10 times that of NARloy-Z. Hence, 10 to 20 vol. % MWCNT finely dispersed in NARloy-Z matrix could nearly double the thermal conductivity, provided there is a good thermal bond between MWCNTs and copper matrix. Quantum mechanics-based modeling showed that zirconium (Zr) in NARloy-Z should form ZrC at the MWCNT-Cu interface and provide a good thermal bond. In this study, NARloy-Z powder was blended with MWCNTs in a ball mill, and the resulting mixture was consolidated under high pressure and temperature using Field Assisted Sintering Technology (FAST). Microstructural analysis showed that the MWCNTs, which were provided as tangles of MWCNTs by the manufacturer, did not detangle well during blending and formed clumps at the prior particle boundaries. The composites made form these powders showed lower thermal conductivity than the base NARloy-Z. To eliminate the observed physical agglomeration, tangled multiwall MWCNTs were separated by acid treatment and electroless plated with a thin layer of chromium to keep them separated during further processing. Separately, the thermal conductivities of MWCNTs used in this work were measured, and the results showed very low values, a major factor in the low thermal conductivity of the composite. On the other hand, D particles embedded in NARloy-Z matrix showed much improved thermal conductivity. Elemental analysis showed migration of Zr to the NARloy-Z-D interface to form ZrC, which appeared to provide a low contact thermal resistance. These results are consistent with the quantum mechanics-based model predictions. NARloy-Z-D composites have relatively high thermal conductivities and are promising for further development.

Bhat, Biliyar N.↗

Copper Multiwall Carbon Nanotubes and Copper-Diamond Composites for Advanced Rocket Engines

This paper reports on the research effort to improve the thermal conductivity of the copper-based alloy NARloy-Z (Cu-3 wt.%Ag-0.5 wt.% Zr), the state-of-the-art alloy used to make combustion chamber liners in regeneratively-cooled liquid rocket engines, using nanotechnology. The approach was to embed high thermal conductivity multiwall carbon nanotubes (MWCNTs) and diamond (D) particles in the NARloy-Z matrix using powder metallurgy techniques. The thermal conductivity of MWCNTs and D have been reported to be 5 to 10 times that of NARloy-Z. Hence, 10 to 20 vol. % MWCNT finely dispersed in NARloy-Z matrix could nearly double the thermal conductivity, provided there is a good thermal bond between MWCNTs and copper matrix. Quantum mechanics-based modeling showed that zirconium (Zr) in NARloy-Z should form ZrC at the MWCNT-Cu interface and provide a good thermal bond. In this study, NARloy-Z powder was blended with MWCNTs in a ball mill, and the resulting mixture was consolidated under high pressure and temperature using Field Assisted Sintering Technology (FAST). Microstructural analysis showed that the MWCNTs, which were provided as tangles of MWCNTs by the manufacturer, did not detangle well during blending and formed clumps at the prior particle boundaries. The composites made form these powders showed lower thermal conductivity than the base NARloy-Z. To eliminate the observed physical agglomeration, tangled multiwall MWCNTs were separated by acid treatment and electroless plated with a thin layer of chromium to keep them separated during further processing. Separately, the thermal conductivities of MWCNTs used in this work were measured, and the results showed very low values, a major factor in the low thermal conductivity of the composite. On the other hand, D particles embedded in NARloy-Z matrix showed much improved thermal conductivity. Elemental analysis showed migration of Zr to the NARloy-Z-D interface to form ZrC, which appeared to provide a low contact thermal resistance. These results are consistent with the quantum mechanics-based model predictions. NARloy-Z-D composites have relatively high thermal conductivities and are promising for further development.

Bhat, Biliyar N.↗

Advanced development of the boundary element method for steady-state heat conduction

Considerable progress has been made in recent years toward advancing the state-of-the-art in solid mechanics boundary element technology. In the present work, much of this new technology is applied in the development of a general-purpose boundary element method (BEM) for steady-state heat conduction. In particular, the BEM implementation involves the use of higher-order conforming elements, self-adaptive integration and multi-region capability. Two- and three-dimensional, as well as axisymmetric analysis, are incorporated within a unified framework. In addition, techniques are introduced for the calculation of boundary flux, and for the inclusion of thermal resistance across interfaces. As a final extension, an efficient formulation is developed for the analysis of solid three-dimensional bodies with embedded holes. For this last class of problems, the new BEM formulation is particularly attractive, since use of the alternatives (i.e. finite element or finite difference methods) is not practical. A number of detailed examples illustrate the suitability and robustness of the present approach for steady-state heat conduction.

Dargush, G. F.↗

Towards the formal verification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the Higher-Order Logic (HOL) listings of the partial verification of the requirements and design for a commercially developed processor interface unit (PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault tolerant computer system. This system, the Fault Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU verification as it currently exists. Section two of this report contains general-purpose HOL theories and definitions that support the PIU verification. These include arithmetic theories dealing with inequalities and associativity, and a collection of tactics used in the PIU proofs. Section three contains the HOL listings for the completed PIU design verification. Section 4 contains the HOL listings for the partial requirements verification of the P-Port.

Fura, David A.↗

Large Amplitude IMF Fluctuations in Corotating Interaction Regions: Ulysses at Midlatitudes

Corotating Interaction Regions (CIRs), formed by high-speed corotating streams interacting with slow speed streams, have been examined from -20 deg to -36 deg heliolatitudes. The high-speed streams emanate from a polar coronal hole that Ulysses eventually becomes fully embedded in as it travels towards the south pole. We find that the trailing portion of the CIR, from the interface surface (IF) to the reverse shock (RS), contains both large amplitude transverse fluctuations and magnitude fluctuations. Similar fluctuations have been previously noted to exist within CIRs detected in the ecliptic plane, but their existence has not been explained. The normalized magnetic field component variances within this portion of the CIR and in the trailing high-speed stream are approximately the same, indicating that the fluctuations in the CIR are compressed Alfven waves. Mirror mode structures with lower intensities are also observed in the trailing portion of the CIR, presumably generated from a local instability driven by free energy associated with compression of the high-speed solar wind plasma. The mixture of these two modes (compressed Alfven waves and mirror modes) plus other modes generated by three wave processes (wave-shock interactions) lead to a lower Alfvenicity within the trailing portion of the CfR than in the high-speed stream proper. The results presented in this paper suggest a mechanism for generation of large amplitude B(sub z) fluctuations within CIRS. Such phenomena have been noted to be responsible for the generation of moderate geomagnetic storms during the declining phase of the solar cycle.

Tsurutani, Bruce T.↗

Sailing Towards an Expressive Scheduling Language for Europa Clipper

The mission planners for NASA's Europa Clipper deep-space mission use automated scheduling software to generate activity plans and command sequences for multiple instruments and subsystems before sending the sequences for execution on board. Both science and engineering planners must translate their intents into expressions of mission constraints, goals, and preferences that the scheduling engine understands. This paper describes the ongoing development of a dedicated domain-specific java-embedded language that can efficiently and accurately capture such concerns for the Europa Clipper mission, along with a user-interface companion for the language.

Schaffer, Steve↗

Embedded Web Technology: Internet Technology Applied to Real-Time System Control

The NASA Lewis Research Center is developing software tools to bridge the gap between the traditionally non-real-time Internet technology and the real-time, embedded-controls environment for space applications. Internet technology has been expanding at a phenomenal rate. The simple World Wide Web browsers (such as earlier versions of Netscape, Mosaic, and Internet Explorer) that resided on personal computers just a few years ago only enabled users to log into and view a remote computer site. With current browsers, users not only view but also interact with remote sites. In addition, the technology now supports numerous computer platforms (PC's, MAC's, and Unix platforms), thereby providing platform independence.In contrast, the development of software to interact with a microprocessor (embedded controller) that is used to monitor and control a space experiment has generally been a unique development effort. For each experiment, a specific graphical user interface (GUI) has been developed. This procedure works well for a single-user environment. However, the interface for the International Space Station (ISS) Fluids and Combustion Facility will have to enable scientists throughout the world and astronauts onboard the ISS, using different computer platforms, to interact with their experiments in the Fluids and Combustion Facility. Developing a specific GUI for all these users would be cost prohibitive. An innovative solution to this requirement, developed at Lewis, is to use Internet technology, where the general problem of platform independence has already been partially solved, and to leverage this expanding technology as new products are developed. This approach led to the development of the Embedded Web Technology (EWT) program at Lewis, which has the potential to significantly reduce software development costs for both flight and ground software.

Daniele, Carl J.↗

An Embedded Statistical Method for Coupling Molecular Dynamics and Finite Element Analyses

The coupling of molecular dynamics (MD) simulations with finite element methods (FEM) yields computationally efficient models that link fundamental material processes at the atomistic level with continuum field responses at higher length scales. The theoretical challenge involves developing a seamless connection along an interface between two inherently different simulation frameworks. Various specialized methods have been developed to solve particular classes of problems. Many of these methods link the kinematics of individual MD atoms with FEM nodes at their common interface, necessarily requiring that the finite element mesh be refined to atomic resolution. Some of these coupling approaches also require simulations to be carried out at 0 K and restrict modeling to two-dimensional material domains due to difficulties in simulating full three-dimensional material processes. In the present work, a new approach to MD-FEM coupling is developed based on a restatement of the standard boundary value problem used to define a coupled domain. The method replaces a direct linkage of individual MD atoms and finite element (FE) nodes with a statistical averaging of atomistic displacements in local atomic volumes associated with each FE node in an interface region. The FEM and MD computational systems are effectively independent and communicate only through an iterative update of their boundary conditions. With the use of statistical averages of the atomistic quantities to couple the two computational schemes, the developed approach is referred to as an embedded statistical coupling method (ESCM). ESCM provides an enhanced coupling methodology that is inherently applicable to three-dimensional domains, avoids discretization of the continuum model to atomic scale resolution, and permits finite temperature states to be applied.

Saether, E.↗

Formal design specification of a Processor Interface Unit

This report describes work to formally specify the requirements and design of a processor interface unit (PIU), a single-chip subsystem providing memory-interface bus-interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. The need for high-quality design assurance in such applications is an undisputed fact, given the disastrous consequences that even a single design flaw can produce. Thus, the further development and application of formal methods to fault-tolerant systems is of critical importance as these systems see increasing use in modern society.

Fura, David A.↗

Towards the formal specification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the HOL listings of the specification of the design and major portions of the requirements for a commercially developed processor interface unit (or PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU specification as it currently exists. Section two of this report contains general-purpose HOL theories that support the PIU specification. These theories include definitions for the hardware components used in the PIU, our implementation of bit words, and our implementation of temporal logic. Section three contains the HOL listings for the PIU design specification. Aside from the PIU internal bus (I-Bus), this specification is complete. Section four contains the HOL listings for a major portion of the PIU requirements specification. Specifically, it contains most of the definition for the PIU behavior associated with memory accesses initiated by the local processor.

Fura, David A.↗

New Developments in the Embedded Statistical Coupling Method: Atomistic/Continuum Crack Propagation

A concurrent multiscale modeling methodology that embeds a molecular dynamics (MD) region within a finite element (FEM) domain has been enhanced. The concurrent MD-FEM coupling methodology uses statistical averaging of the deformation of the atomistic MD domain to provide interface displacement boundary conditions to the surrounding continuum FEM region, which, in turn, generates interface reaction forces that are applied as piecewise constant traction boundary conditions to the MD domain. The enhancement is based on the addition of molecular dynamics-based cohesive zone model (CZM) elements near the MD-FEM interface. The CZM elements are a continuum interpretation of the traction-displacement relationships taken from MD simulations using Cohesive Zone Volume Elements (CZVE). The addition of CZM elements to the concurrent MD-FEM analysis provides a consistent set of atomistically-based cohesive properties within the finite element region near the growing crack. Another set of CZVEs are then used to extract revised CZM relationships from the enhanced embedded statistical coupling method (ESCM) simulation of an edge crack under uniaxial loading.

Saether, E.↗

Computer implemented method, and apparatus for controlling a hand-held tool

The invention described here in is a computer-implemented method and apparatus for controlling a hand-held tool. In particular, the control of a hand held tool is for the purpose of controlling the speed of a fastener interface mechanism and the torque applied to fasteners by the fastener interface mechanism of the hand-held tool and monitoring the operating parameters of the tool. The control is embodied in intool software embedded on a processor within the tool which also communicates with remote software. An operator can run the tool, or through the interaction of both software, operate the tool from a remote location, analyze data from a performance history recorded by the tool, and select various torque and speed parameters for each fastener.

Wagner, Kenneth William↗

Fabricating Composite-Material Structures Containing SMA Ribbons

An improved method of designing and fabricating laminated composite-material (matrix/fiber) structures containing embedded shape-memory-alloy (SMA) actuators has been devised. Structures made by this method have repeatable, predictable properties, and fabrication processes can readily be automated. Such structures, denoted as shape-memory-alloy hybrid composite (SMAHC) structures, have been investigated for their potential to satisfy requirements to control the shapes or thermoelastic responses of themselves or of other structures into which they might be incorporated, or to control noise and vibrations. Much of the prior work on SMAHC structures has involved the use SMA wires embedded within matrices or within sleeves through parent structures. The disadvantages of using SMA wires as the embedded actuators include (1) complexity of fabrication procedures because of the relatively large numbers of actuators usually needed; (2) sensitivity to actuator/ matrix interface flaws because voids can be of significant size, relative to wires; (3) relatively high rates of breakage of actuators during curing of matrix materials because of sensitivity to stress concentrations at mechanical restraints; and (4) difficulty of achieving desirable overall volume fractions of SMA wires when trying to optimize the integration of the wires by placing them in selected layers only.

Turner, Travis L.↗