Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “functional properties”

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 685 records · Page 38
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Novel Phenylethynyl Imide Silanes as Coupling Agents for Titanium Alloy

The durability of titanium (Ti) alloys bonded with high temperature adhesives such as polyimides has failed to attain the level of performance required for many applications. The problem to a large part is attributed to the instability of the surface treatment on the Ti substrate. Although Ti alloy adhesive specimens with surface treatments such as chromic acid anodization, Pasa-Jell, Turco, etc. have provided high initial mechanical properties, these properties have decreased as a function of aging at ambient temperature and faster, when aged at elevated temperatures or in a hot-wet environment. As part of the High Speed Civil Transport program where Ti honeycomb sandwich structure must perform for 60,000 hours at 177 C, work was directed to the development of environmentally safe, durable Ti alloy surface treatments.

Park, C.↗
NASA NTRS2005

Evaluation of Power Electronic Components and Systems at Cryogenic Temperatures For Space Missions

Power electronic circuits and systems designed for deep space applications and outer planetary exploration are required to operate reliably and efficiently under extreme temperature conditions. This requirement is dictated by the fact that the operational environments associated with some of the space missions would encompass temperatures as low as -183 C. The development and utilization of electronics capable of low temperature operation would not only fulfill the advanced technology requirements, but also would contribute to improving circuit performance, increasing system efficiency, and reducing development and launch costs. These benefits are generally achieved by the improved intrinsic properties of some of the electronic materials at low temperature, reduced device losses, and the elimination of heating elements used in conventional systems at low temperatures. Power electronic circuits are widely used in space power systems in the areas of power management, conditioning, and control. In this work, the performance of certain power electronic components and systems was investigated under low temperature. These include inductors, capacitors, pulse-width-modulation (PWM) controllers, and advanced commercial DC/DC converter modules. Different properties were determined as a function of temperature in the range of 20 C to -140 C, at various current and voltages levels. The experimental procedures along with the experimental data obtained are presented and discussed in this paper.

Elbuluk, Malik E.↗
NASA NTRS2007

Charge dissipative dielectric for cryogenic devices

A Superconducting Quantum Interference Device (SQUID) is disclosed comprising a pair of resistively shunted Josephson junctions connected in parallel within a superconducting loop and biased by an external direct current (dc) source. The SQUID comprises a semiconductor substrate and at least one superconducting layer. The metal layer(s) are separated by or covered with a semiconductor material layer having the properties of a conductor at room temperature and the properties of an insulator at operating temperatures (generally less than 100 Kelvins). The properties of the semiconductor material layer greatly reduces the risk of electrostatic discharge that can damage the device during normal handling of the device at room temperature, while still providing the insulating properties desired to allow normal functioning of the device at its operating temperature. A method of manufacturing the SQUID device is also disclosed.

Cantor, Robin Harold↗
NASA NTRS2010

Reduced Uncertainties in the Flutter Analysis of the Aerostructures Test Wing

Tuning the finite element model using measured data to minimize the model uncertainties is a challenging task in the area of structural dynamics. A test validated finite element model can provide a reliable flutter analysis to define the flutter placard speed to which the aircraft can be flown prior to flight flutter testing. Minimizing the difference between numerical and experimental results is a type of optimization problem. Through the use of the National Aeronautics and Space Administration Dryden Flight Research Center s (Edwards, California, USA) multidisciplinary design, analysis, and optimization tool to optimize the objective function and constraints; the mass properties, the natural frequencies, and the mode shapes are matched to the target data and the mass matrix orthogonality is retained. The approach in this study has been applied to minimize the model uncertainties for the structural dynamic model of the aerostructures test wing, which was designed, built, and tested at the National Aeronautics and Space Administration Dryden Flight Research Center. A 25-percent change in flutter speed has been shown after reducing the uncertainties

Pak, Chan-gi↗
NASA NTRS2011

Reduced Uncertainties in the Flutter Analysis of the Aerostructures Test Wing

Tuning the finite element model using measured data to minimize the model uncertainties is a challenging task in the area of structural dynamics. A test validated finite element model can provide a reliable flutter analysis to define the flutter placard speed to which the aircraft can be flown prior to flight flutter testing. Minimizing the difference between numerical and experimental results is a type of optimization problem. Through the use of the National Aeronautics and Space Administration Dryden Flight Research Center's (Edwards, California) multidisciplinary design, analysis, and optimization tool to optimize the objective function and constraints; the mass properties, the natural frequencies, and the mode shapes are matched to the target data, and the mass matrix orthogonality is retained. The approach in this study has been applied to minimize the model uncertainties for the structural dynamic model of the aerostructures test wing, which was designed, built, and tested at the National Aeronautics and Space Administration Dryden Flight Research Center. A 25 percent change in flutter speed has been shown after reducing the uncertainties.

Pak, Chan-Gi↗
NASA NTRS2011

Kinetic-Scale Magnetic Turbulence and Finite Larmor Radius Effects at Mercury

We use a nonstationary generalization of the higher-order structure function technique to investigate statistical properties of the magnetic field fluctuations recorded by MESSENGER spacecraft during its first flyby (01/14/2008) through the near-Mercury space environment, with the emphasis on key boundary regions participating in the solar wind - magnetosphere interaction. Our analysis shows, for the first time, that kinetic-scale fluctuations play a significant role in the Mercury's magnetosphere up to the largest resolvable timescale (approx.20 s) imposed by the signal nonstationariry, suggesting that turbulence at this plane I is largely controlled by finite Larmor radius effects. In particular, we report the presence of a highly turbulent and extended foreshock system filled with packets of ULF oscillations, broad-band intermittent fluctuations in the magnetosheath, ion-kinetic turbulence in the central plasma sheet of Mercury's magnetotail, and kinetic-scale fluctuations in the inner current sheet encountered at the outbound (dawn-side) magnetopause. Overall, our measurements indicate that the Hermean magnetosphere, as well as the surrounding region, are strongly affected by non-MHD effects introduced by finite sizes of cyclotron orbits of the constituting ion species. Physical mechanisms of these effects and their potentially critical impact on the structure and dynamics of Mercury's magnetic field remain to be understood.

Uritsky, V. M.↗
NASA NTRS2008

Discrete Element Modeling of Triboelectrically Charged Particles

Tribocharging of particles is common in many processes including fine powder handling and mixing, printer toner transport and dust extraction. In a lunar environment with its high vacuum and lack of water, electrostatic forces are an important factor to consider when designing and operating equipment. Dust mitigation and management is critical to safe and predictable performance of people and equipment. The extreme nature of lunar conditions makes it difficult and costly to carry out experiments on earth which are necessary to better understand how particles gather and transfer charge between each other and with equipment surfaces. DEM (Discrete Element Modeling) provides an excellent virtual laboratory for studying tribocharging of particles as well as for design of devices for dust mitigation and for other purposes related to handling and processing of lunar regolith. Theoretical and experimental work has been performed pursuant to incorporating screened Coulombic electrostatic forces into EDEM, a commercial DEM software package. The DEM software is used to model the trajectories of large numbers of particles for industrial particulate handling and processing applications and can be coupled with other solvers and numerical models to calculate particle interaction with surrounding media and force fields. While simple Coulombic force between two particles is well understood, its operation in an ensemble of particles is more complex. When the tribocharging of particles and surfaces due to frictional contact is also considered, it is necessary to consider longer range of interaction of particles in response to electrostatic charging. The standard DEM algorithm accounts for particle mechanical properties and inertia as a function of particle shape and mass. If fluid drag is neglected, then particle dynamics are governed by contact between particles, between particles and equipment surfaces and gravity forces. Consideration of particle charge and any tribocharging and electric field effects requires calculation of the forces due to these effects.

Hogue, Michael D.↗
NASA NTRS2017

Lessons for Interstellar Travel from the Guidance and Control Design of the Near Earth Asteroid Scout Solar Sail Mission

NASA is developing the Near Earth Asteroid (NEA) Scout mission that will use a solar sail to travel to an asteroid where it will perform a slow flyby to acquire science imagery. A guidance and control system was developed to meet the science and trajectory requirements. The NEA Scout design process can be applied to an interstellar or precursor mission that uses a beam propelled sail. The scientific objectives are met by accurately targeting the destination trajectory position and velocity. The destination is targeted by understanding the force on the sail from the beam (or sunlight in the case of NEA Scout) over the duration of the thrust maneuver. The propulsive maneuver is maintained by accurate understanding of the torque on the sail, which is a function of sail shape, optical properties, and mass properties, all of which apply to NEA Scout and beam propelled sails. NEA Scout uses active control of the sail attitude while trimming the solar torque, which could be used on a beamed propulsion sail if necessary. The biggest difference is that NEA Scout can correct for uncertainties in sail thrust modeling, spacecraft orbit, and target orbit throughout the flight to the target, while beamed propulsion needs accurate operation for the short duration of the beamed propulsion maneuver, making accurate understanding of the sail thrust and orbits much more critical.

Diedrich, Benjamin↗
NASA NTRS2017

Lessons for Interstellar Travel from the G&C Design of the NEA Scout Solar Sail Mission

NASA is developing the Near Earth Asteroid (NEA) Scout mission that will use a solar sail to travel to an asteroid where it will perform a slow flyby to acquire science imagery. A guidance and control system was developed to meet the science and trajectory requirements. The NEA Scout design process can be applied to an interstellar or precursor mission that uses a beam-propelled sail. The scientific objectives are met by accurately targeting the destination trajectory position and velocity. The destination is targeted by understanding the force on the sail from the beam (or sunlight in the case of NEA Scout) over the duration of the thrust maneuver. The propulsive maneuver is maintained by accurate understanding of the torque on the sail, which is a function of sail shape, optical properties, and mass properties, all of which apply to NEA Scout and beam propelled sails. NEA Scout uses active control of the sail attitude while trimming the solar torque, which could be used on a beamed propulsion sail if necessary. The biggest difference is that NEA Scout can correct for uncertainties in sail thrust modeling, spacecraft orbit, and target orbit throughout the flight to the target, while beamed propulsion needs accurate operation for the short duration of the beamed propulsion maneuver, making accurate understanding of the sail thrust and orbits much more critical.

Heaton, Andrew↗
NASA NTRS2017

R2U2: Tool Overview

R2U2 (Realizable, Responsive, Unobtrusive Unit) is an extensible framework for runtime System HealthManagement (SHM) of cyber-physical systems. R2U2 can be run in hardware (e.g., FPGAs), or software; can monitorhardware, software, or a combination of the two; and can analyze a range of different types of system requirementsduring runtime. An R2U2 requirement is specified utilizing a hierarchical combination of building blocks: temporal formula runtime observers (in LTL or MTL), Bayesian networks, sensor filters, and Boolean testers. Importantly, the framework is extensible; it is designed to enable definitions of new building blocks in combination with the core structure. Originally deployed on Unmanned Aerial Systems (UAS), R2U2 is designed to run on a wide range of embedded platforms, from autonomous systems like rovers, satellites, and robots, to human-assistive ground systems and cockpits. R2U2 is named after the requirements it satisfies; while the exact requirements vary by platform and mission, the ability to formally reason about realizability, responsiveness, and unobtrusiveness is necessary for flight certifiability, safety-critical system assurance, and achievement of technology readiness levels for target systems. Realizability ensures that R2U2 is suficiently expressive to encapsulate meaningful runtime requirements while maintaining adaptability to run on different platforms, transition between different mission stages, and update quickly between missions. Responsiveness entails continuously monitoring the system under test, real-time reasoning, reporting intermediate status, and as-early-as-possible requirements evaluations. Unobtrusiveness ensures compliance with the crucial properties of the target architecture: functionality, certifiability, timing, tolerances, cost, or other constraints.

Rozier, Kristin Y.↗
NASA NTRS2022

A Scalable Framework for Post Fire Debris Flow Hazard Assessment Using Satellite Precipitation Data

Wildfire is a global phenomenon that has dramatic effects on erosion and flood potential. On steep slopes, burned areas are more likely to experience significant overland flow during heavy rainfall leading to post fire debris flows (PFDFs). Previous work establishes methods for PFDF hazard assessment, often relying on regional-scale parameterizations with in-situ rainfall measurements to categorize hazard as a function of meteorological and surface properties. We present a globally scalable approach to extend the benefit these models provide to new areas. Our new model relies on publicly available satellite-based inputs with a global extent to provide first order hazard assessments of recently burned areas. Our results show it is possible to identify the conditions relevant for PFDF-initiation processes across a variety of physiographic settings. Improvements to satellite borne rainfall intensity data and increased availability of PFDF occurrence data worldwide are expected to enhance model skill and applicability further.

Wildfire↗
NASA NTRS1979

Optimal estimation of large structure model errors

In-flight estimation of large structure model errors is usually required as a means of detecting inevitable deficiencies in large structure controller/estimator models. The present paper deals with a least-squares formulation which seeks to minimize a quadratic functional of the model errors. The properties of these error estimates are analyzed. It is shown that an arbitrary model error can be decomposed as the sum of two components that are orthogonal in a suitably defined function space. Relations between true and estimated errors are defined. The estimates are found to be approximations that retain many of the significant dynamics of the true model errors. Current efforts are directed toward application of the analytical results to a reference large structure model.

Rodriguez, G.↗
NASA NTRS2010

A Study of Parallels Between Antarctica South Pole Traverse Equipment and Lunar/Mars Surface Systems

The parallels between an actual Antarctica South Pole re-supply traverse conducted by the National Science Foundation (NSF) Office of Polar Programs in 2009 have been studied with respect to the latest mission architecture concepts being generated by the United States National Aeronautics and Space Administration (NASA) for lunar and Mars surface systems scenarios. The challenges faced by both endeavors are similar since they must both deliver equipment and supplies to support operations in an extreme environment with little margin for error in order to be successful. By carefully and closely monitoring the manifesting and operational support equipment lists which will enable this South Pole traverse, functional areas have been identified. The equipment required to support these functions will be listed with relevant properties such as mass, volume, spare parts and maintenance schedules. This equipment will be compared to space systems currently in use and projected to be required to support equivalent and parallel functions in Lunar and Mars missions in order to provide a level of realistic benchmarking. Space operations have historically required significant amounts of support equipment and tools to operate and maintain the space systems that are the primary focus of the mission. By gaining insight and expertise in Antarctic South Pole traverses, space missions can use the experience gained over the last half century of Antarctic operations in order to design for operations, maintenance, dual use, robustness and safety which will result in a more cost effective, user friendly, and lower risk surface system on the Moon and Mars. It is anticipated that the U.S Antarctic Program (USAP) will also realize benefits for this interaction with NASA in at least two areas: an understanding of how NASA plans and carries out its missions and possible improved efficiency through factors such as weight savings, alternative technologies, or modifications in training and operations.

Mueller, Robert P.↗
NASA NTRS1995

Formal development of a clock synchronization circuit

This talk presents the latest stage in formal development of a fault-tolerant clock synchronization circuit. The development spans from a high level specification of the required properties to a circuit realizing the core function of the system. An abstract description of an algorithm has been verified to satisfy the high-level properties using the mechanical verification system EHDM. This abstract description is recast as a behavioral specification input to the Digital Design Derivation system (DDD) developed at Indiana University. DDD provides a formal design algebra for developing correct digital hardware. Using DDD as the principle design environment, a core circuit implementing the clock synchronization algorithm was developed. The design process consisted of standard DDD transformations augmented with an ad hoc refinement justified using the Prototype Verification System (PVS) from SRI International. Subsequent to the above development, Wilfredo Torres-Pomales discovered an area-efficient realization of the same function. Establishing correctness of this optimization requires reasoning in arithmetic, so a general verification is outside the domain of both DDD transformations and model-checking techniques. DDD represents digital hardware by systems of mutually recursive stream equations. A collection of PVS theories was developed to aid in reasoning about DDD-style streams. These theories include a combinator for defining streams that satisfy stream equations, and a means for proving stream equivalence by exhibiting a stream bisimulation. DDD was used to isolate the sub-system involved in Torres-Pomales' optimization. The equivalence between the original design and the optimized verified was verified in PVS by exhibiting a suitable bisimulation. The verification depended upon type constraints on the input streams and made extensive use of the PVS type system. The dependent types in PVS provided a useful mechanism for defining an appropriate bisimulation.

Miner, Paul S.↗
NASA NTRS1994

On-line, adaptive state estimator for active noise control

Dynamic characteristics of airframe structures are expected to vary as aircraft flight conditions change. Accurate knowledge of the changing dynamic characteristics is crucial to enhancing the performance of the active noise control system using feedback control. This research investigates the development of an adaptive, on-line state estimator using a neural network concept to conduct active noise control. In this research, an algorithm has been developed that can be used to estimate displacement and velocity responses at any locations on the structure from a limited number of acceleration measurements and input force information. The algorithm employs band-pass filters to extract from the measurement signal the frequency contents corresponding to a desired mode. The filtered signal is then used to train a neural network which consists of a linear neuron with three weights. The structure of the neural network is designed as simple as possible to increase the sampling frequency as much as possible. The weights obtained through neural network training are then used to construct the transfer function of a mode in z-domain and to identify modal properties of each mode. By using the identified transfer function and interpolating the mode shape obtained at sensor locations, the displacement and velocity responses are estimated with reasonable accuracy at any locations on the structure. The accuracy of the response estimates depends on the number of modes incorporated in the estimates and the number of sensors employed to conduct mode shape interpolation. Computer simulation demonstrates that the algorithm is capable of adapting to the varying dynamic characteristics of structural properties. Experimental implementation of the algorithm on a DSP (digital signal processing) board for a plate structure is underway. The algorithm is expected to reach the sampling frequency range of about 10 kHz to 20 kHz which needs to be maintained for a typical active noise control application.

Lim, Tae W.↗
NASA NTRSDate not supplied

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗
NASA NTRS1973

Optical properties of Apollo 12 moon samples.

We present the photometric phase function, color, normal albedo, polarimetric phase function, and spectrophotometry of the Apollo 12 soil. With a few minor exceptions, the optical properties of the Apollo 12 soil are very similar to those of the Apollo 11 soil and of lunar mare surfaces.

O'Leary, B.↗
NASA NTRS2009

Dielectrophoresis-based particle sensor using nanoelectrode arrays

A method for concentrating or partly separating particles of a selected species from a liquid or fluid containing these particles and flowing in a channel, and for determining if the selected species particle is present in the liquid or fluid. A time varying electrical field E, having a root-mean-square intensity E.sup.2.sub.rms with a non-zero gradient in a direction transverse to the liquid or fluid flow direction, is produced by a nanostructure electrode array, with a very high magnitude gradient near exposed electrode tips. A dielectrophoresis force causes the selected particles to accumulate near the electrode tips, if the medium and selected particles have substantially different dielectric constants. An insulating material surrounds most of each of the nanostructure electrodes, and a region of the insulating material surface is functionalized to promote attachment of the selected species particles to the surface. An electrical property value Z(meas) is measured at the functionalized surface and is compared with a reference value Z(ref) to determine if the selected species particles are attached to the functionalized surface.

Li, Jun↗