Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “theoretical limits”

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

Halophytes, Algae, and Bacteria Food and Fuel Feedstocks

The constant, increasing demand for energy, freshwater, and food stresses our ability to meet these demands within reasonable cost and impact on climate while sustaining quality of life. This environmental Triangle of Conflicts between energy, food, and water--while provoked by anthropogenic monetary and power struggles--can be resolved through an anthropogenic paradigm shift in how we produce and use energy, water, and food. With world population (6.6 billion) projected to increase 40 percent in 40 to 60 yr, proper development of saline agriculture and aquaculture is required, as 43 percent of the Earth's landmass is arid or semi-arid and 97 percent of the Earth's water is seawater. In light of this, we seek fuel alternatives in plants that thrive in brackish and saltwater with the ability to survive in arid lands. The development and application of these plants (halophytes) become the primary focus. Herein we introduce some not-so-familiar halophytes and present a few of their benefits, cite a few research projects (including some on the alternatives algae and bacteria), and then set theoretical limits on biomass production followed by projections in terms of world energy demands. Based on diverse arid lands with a total size equivalent to the Sahara Desert (8.6(exp 8) ha, or 2.1(exp 9) acres), these projections show that halophyte agriculture and algae systems can provide for the projected world energy demand.

Hendricks, R. C.↗

The Spatial Vision Tree: A Generic Pattern Recognition Engine- Scientific Foundations, Design Principles, and Preliminary Tree Design

New foundational ideas are used to define a novel approach to generic visual pattern recognition. These ideas proceed from the starting point of the intrinsic equivalence of noise reduction and pattern recognition when noise reduction is taken to its theoretical limit of explicit matched filtering. This led us to think of the logical extension of sparse coding using basis function transforms for both de-noising and pattern recognition to the full pattern specificity of a lexicon of matched filter pattern templates. A key hypothesis is that such a lexicon can be constructed and is, in fact, a generic visual alphabet of spatial vision. Hence it provides a tractable solution for the design of a generic pattern recognition engine. Here we present the key scientific ideas, the basic design principles which emerge from these ideas, and a preliminary design of the Spatial Vision Tree (SVT). The latter is based upon a cryptographic approach whereby we measure a large aggregate estimate of the frequency of occurrence (FOO) for each pattern. These distributions are employed together with Hamming distance criteria to design a two-tier tree. Then using information theory, these same FOO distributions are used to define a precise method for pattern representation. Finally the experimental performance of the preliminary SVT on computer generated test images and complex natural images is assessed.

Rahman, Zia-ur↗

A Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present an outline of a deductive proof of the correctness of the protocol. A model of the protocol was mechanically verified using the Symbolic Model Verifier (SMV) for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period.

Malekpour, Mahyar R.↗

Magnetically Coupled Calorimeters

Calorimeters that utilize the temperature sensitivity of magnetism have been under development for over 20 years. They have targeted a variety of different applications that require very high resolution spectroscopy. I will describe the properties of this sensor technology that distinguish it from other low temperature detectors and emphasize the types of application to which they appear best suited. I will review what has been learned so far about the best materials, geometries, and read-out amplifiers and our understanding of the measured performance and theoretical limits. I will introduce some of the applications where magnetic calorimeters are being used and also where they are in development for future experiments. So far, most magnetic calorimeter research has concentrated on the use of paramagnets to provide temperature sensitivity; recent studies have also focused on magnetically coupled calorimeters that utilize the diamagnetic response of superconductors. I will present some of the highlights of this research, and contrast the properties of the two magnetically coupled calorimeter types.

Bandler, Simon↗

Correctness Proof of a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a deductive proof of a self-stabilizing distributed clock synchronization protocol. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present a deductive proof of the correctness of the protocol as it applies to the networks with unidirectional and bidirectional links. We also confirm the claims of determinism and linear convergence.

Malekpour, Mahyar R.↗

A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This paper presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. We present an outline of a deductive proof of the correctness of the protocol. A bounded model of the protocol was mechanically verified for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗

Closed-Loop Analysis of Soft Decisions for Serial Links

Modern receivers are providing soft decision symbol synchronization as radio links are challenged to push more data and more overhead through noisier channels, and software-defined radios use error-correction techniques that approach Shannon s theoretical limit of performance. The authors describe the benefit of closed-loop measurements for a receiver when paired with a counterpart transmitter and representative channel conditions. We also describe a real-time Soft Decision Analyzer (SDA) implementation for closed-loop measurements on single- or dual- (orthogonal) channel serial data communication links. The analyzer has been used to identify, quantify, and prioritize contributors to implementation loss in real-time during the development of software defined radios.

Lansdowne, Chatwin A.↗

Magnetically Coupled Microcalorimeters

Magnetic calorimeters have been under development for over 20 years targeting a wide variety of different applications that require very high resolution spectroscopy. They have a number of properties that distinguish them from other 10w temperature detectors. In this paper we review these properties and emphasize the types of application to which they are most suited. We will describe what has been learned about the best materials, geometries, and read-out amplifiers and our understanding of the measured performance and theoretical limits. While most magnetic calorimeter research has concentrated on the use of paramagnets to provide the temperature sensitivity, recently magnetically coupled microcalorimeters have been in development that utilize the diamagnetic response of superconductors. We will contrast some of the properties of the two different magnetic sensor types.

Bandler, S. R.↗

Model Checking A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs

This report presents the mechanical verification of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs in the absence of faults. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. The system under study is an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. This protocol deterministically converges within a time bound that is a linear function of the self-stabilization period. A bounded model of the protocol is verified using the Symbolic Model Verifier (SMV) for a subset of digraphs. Modeling challenges of the protocol and the system are addressed. The model checking effort is focused on verifying correctness of the bounded model of the protocol as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period.

Malekpour, Mahyar R.↗

Closed-Loop Analysis of Soft Decisions for Serial Links

We describe the benefit of using closed-loop measurements for a radio receiver paired with a counterpart transmitter. We show that real-time analysis of the soft decision output of a receiver can provide rich and relevant insight far beyond the traditional hard-decision bit error rate (BER) test statistic. We describe a Soft Decision Analyzer (SDA) implementation for closed-loop measurements on single- or dual- (orthogonal) channel serial data communication links. The analyzer has been used to identify, quantify, and prioritize contributors to implementation loss in live-time during the development of software defined radios. This test technique gains importance as modern receivers are providing soft decision symbol synchronization as radio links are challenged to push more data and more protocol overhead through noisier channels, and software-defined radios (SDRs) use error-correction codes that approach Shannon's theoretical limit of performance.

Lansdowne, Chatwin A.↗

Soft Decision Analyzer

We describe the benefit of using closed-loop measurements for a radio receiver paired with a counterpart transmitter. We show that real-time analysis of the soft decision output of a receiver can provide rich and relevant insight far beyond the traditional hard-decision bit error rate (BER) test statistic. We describe a Soft Decision Analyzer (SDA) implementation for closed-loop measurements on single- or dual- (orthogonal) channel serial data communication links. The analyzer has been used to identify, quantify, and prioritize contributors to implementation loss in live-time during the development of software defined radios. This test technique gains importance as modern receivers are providing soft decision symbol synchronization as radio links are challenged to push more data and more protocol overhead through noisier channels, and software-defined radios (SDRs) use error-correction codes that approach Shannon's theoretical limit of performance.

Lansdowne, Chatwin↗

Nano-Magnets and Additive Manufacturing for Electric Motors

High power density is required for application of electric motors in hybrid electric propulsion. Potential path to achieve high power density in electric motors include advanced materials, lightweight thermal management, lightweight structural concepts, high power density power electronics, and advanced manufacturing. This presentation will focus on two key technologies for achieving high power density, advanced magnets and additive manufacturing. The maximum energy product in current magnets is reaching their theoretical limits as a result of material and process improvements. Future improvements in the maximum energy product for magnets can be achieved through development of nanocomposite magnets combining the hard magnetic phase and soft magnetic phase at the nanoscale level. The presentation will provide an overview of the current state of development for nanocomposite magnets and the future path for doubling the maximum energy product. The other part of the presentation will focus on the role of additive manufacturing in fabrication of high power density electric motors. The presentation will highlight the potential opportunities for applying additive manufacturing to fabricate electric motors.

materials↗

Improving Free-Piston Stirling Engine Power Density

Analyses and experiments demonstrate the potential benefits of optimizing piston and displacer motion in a free piston Stirling Engine. Isothermal analysis shows the theoretical limits of power density improvement due to ideal motion in ideal Stirling engines. More realistic models based on nodal analysis show that ideal piston and displacer waveforms are not optimal, often producing less power than engines that use sinusoidal piston and displacer motion. Constrained optimization using nodal analysis predicts that Stirling engine power density can be increased by as much as 58% using optimized higher harmonic piston and displacer motion. An experiment is conducted in which an engine designed for sinusoidal motion is forced to operate with both second and third harmonics, resulting in a maximum piston power increase of 14%. Analytical predictions are compared to experimental data showing close agreement with indirect thermodynamic power calculations, but poor agreement with direct electrical power measurements.

Stirling engines↗

Improving Power Density of Free-Piston Stirling Engines

Analyses and experiments demonstrate the potential benefits of optimizing piston and displacer motion in a free-piston Stirling Engine. Isothermal analysis shows the theoretical limits of power density improvement due to ideal motion in ideal Stirling engines. More realistic models based on nodal analysis show that ideal piston and displacer waveforms are not optimal, often producing less power than engines that use sinusoidal piston and displacer motion. Constrained optimization using nodal analysis predicts that Stirling engine power density can be increased by as much as 58 percent using optimized higher harmonic piston and displacer motion. An experiment is conducted in which an engine designed for sinusoidal motion is forced to operate with both second and third harmonics, resulting in a piston power increase of as much as 14 percent. Analytical predictions are compared to experimental data and show close agreement with indirect thermodynamic power calculations, but poor agreement with direct electrical power measurements.

aerospace engineering↗

Improving Power Density of Free-Piston Stirling Engines

Analyses and experiments demonstrate the potential benefits of optimizing piston and displacer motion in a free piston Stirling Engine. Isothermal analysis shows the theoretical limits of power density improvement due to ideal motion in ideal Stirling engines. More realistic models based on nodal analysis show that ideal piston and displacer waveforms are not optimal, often producing less power than engines that use sinusoidal piston and displacer motion. Constrained optimization using nodal analysis predicts that Stirling engine power density can be increased by as much as 58 using optimized higher harmonic piston and displacer motion. An experiment is conducted in which an engine designed for sinusoidal motion is forced to operate with both second and third harmonics, resulting in a maximum piston power increase of 14. Analytical predictions are compared to experimental data showing close agreement with indirect thermodynamic power calculations, but poor agreement with direct electrical power measurements.

space technology↗

Conjunction Assessment Screening Volume Sizing and Event Filtering in Light of Natural Conjunction Event Development Behaviors

Conjunction Assessment screening volumes used in the protection of NASA satellites are constructed as geometric volumes about these satellites, of a size expected to capture a certain percentage of the serious conjunction events by a certain time before closest approach. However, the analyses that established these sizes were grounded on covariance-based projections rather than empirical screening results, did not tailor the volume sizes to ensure operational actionability of those results, and did not consider the adjunct ability to produce data that could provide prevenient assistance for maneuver planning. The present study effort seeks to reconsider these questions based on a six-month dataset of empirical screening results using an extremely large screening volume. The results, pursued here for a highly-populated orbit regime near 700 km altitude, identify theoretical limits of screening volume performance, explore volume configuration to facilitate both maneuver remediation planning as well as basic asset protection, and recommend sizing principles that maximize volume performance while minimizing the capture of "chaff" conjunctions that are unlikely ever to become serious events.

screening volume↗

Advanced Environmentally Resistant Lithium Fluoride Mirror Coatings for the Next Generation of Broadband Space Observatories

Recent advances in the physical vapor deposition (PVD) of protective fluoride films have raised the far-ultraviolet (FUV: 912-1600 A) reflectivity of aluminum-based mirrors closer to the theoretical limit. The greatest gains, at more than 20%, have come for lithium fluoride-protected aluminum, which has the shortest wavelength cutoff of any conventional overcoat. Despite the success of the NASA FUSE mission, the use of lithium fluoride (LiF)-based optics is rare, as LiF is hygroscopic and requires handling procedures that can drive risk. With NASA now studying two large mission concepts for astronomy, Large UV-Optical-IR Surveyor (LUVOIR) and the Habitable Exoplanet Imaging Mission (HabEx), which mandate throughput down to 1000 , the development of LiF-based coatings becomes crucial. This paper discusses steps that are being taken to qualify these new enhanced LiF-protected aluminum (eLiF) mirror coatings for flight. In addition to quantifying the hygroscopic degradation, we have developed a new method of protecting eLiF with an ultrathin (10-20 A) capping layer of a nonhygroscopic material to increase durability. We report on the performance of eLiF-based optics and assess the steps that need to be taken to qualify such coatings for LUVOIR, HabEx, and other FUV-sensitive space missions.

Fleming, Brian↗