Search NASA⌕ Search

SEARCH · Search NASA

Results for “limit logic”

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 235 records · Page 13

How many upper Eocene microspherule layers: More than we thought

The scientific controversy over the origin of upper Eocene tektites, microtektites and other microspherules cannot be logically resolved until it is determined just how many events are involved. The microspherule-bearing beds in marine sediments have been dated using standard biozonal techniques. Although a powerful stratigraphic tool, zonal biostratigraph has its limitations. One is that if an event, such as a microspherule occurrence, is observed to occur in a zone at one locality and then a similar event observed in the same zone at another locality, it still may be unwarranted to conclude that these events exactly correlate. To be in a zone a sample only need be between the fossil events that define the zone boundaries. It is often very difficult to accurately determine where within a zone one might be. Further, the zone defining events do not everywhere occur at the same points in time. That is, the ranges of the defining taxa are not always filled. Thus, the length of time represented by a zone (but not, of course, its chronozone) can vary from place to place. These problems can be offset by use of chronostratigraphic modelling techniques such as Graphic Correlation. This technique was used to build a Cretaceous and Cenozoic model containing fossil, magnetopolarity, and other events. The scale of the model can be demonstrated to be linear with time. This model was used to determine the chronostratigraphic position of upper Eocene microspherule layers.

Hazel, Joseph E.↗

Ground-Based Fabry-Perot Interferometry of the Terrestrial Nightglow with a Bare Charge-Coupled Device: Remote Field Site Deployment

The application of Fabry-Perot interferometers (FPIs) to the study of upper atmosphere thermodynamics has largely been restricted by the very low light levels in the terrestrial airglow as well as the limited range in wavelength of photomultiplier tube (PMT) technology. During the past decade, the development of the scientific grade charge-coupled device (CCD) has progressed to the stage in which this detector has become the logical replacement for the PMT. Small fast microcomputers have made it possible to "upgrade" our remote field sites with bare CCDs and not only retain the previous capabilities of the existing FPls but expand the data coverage in both temporal and wavelength domains. The problems encountered and the solutions applied to the deployment of a bare CCD, with data acquisition and image reduction techniques, are discussed. Sample geophysical data determined from the FPI fringe profiles are shown for our stations at Peach Mountain, Michigan, and Watson Lake, Yukon Territory.

Niciejewski, Rick↗

Development of the Variable Emittance Thermal Suite for the Space Technology 5 Microsatellite

The advent of very small satellites, such as nano and microsatellites, logically leads to a requirement for smaller thermal control subsystems. In addition, the thermal control needs of the smaller spacecraft/instrument may well be different from more traditional situations. For example, power for traditional heaters may be very limited or unavailable, mass allocations may be severely limited, and fleets of nano/microsatellites will require a generic thermal design as the cost of unique designs will be prohibitive. Some applications may require significantly increased power levels while others may require extremely low heat loss for extended periods. Small spacecraft will have low thermal capacitance thus subjecting them to large temperature swings when either the heat generation rate changes or the thermal sink temperature changes. This situation, combined with the need for tighter temperature control, will present a challenging situation during transient operation. The use of "off-the-shelf" commercial spacecraft buses for science instruments will also present challenges. Older thermal technology, such as heaters, thermostats, and heat pipes, will almost certainly not be sufficient to meet the requirements of these new spacecraft/instruments. They are generally too heavy, not scalable to very small sizes, and may consume inordinate amounts of power. Hence there is a strong driver to develop new technology to meet these emerging needs. Variable emittance coatings offer an exciting alternative to traditional control methodologies and are one of the technologies that will be flown on Space Technology 5, a mission of three microsatellites designed to validate "enabling" technologies. Several studies have identified variable emittance coatings as applicable to a wide range of spacecraft, and to potentially offer substantial savings in mass and/or power over traditional approaches. This paper discusses the development of the variable emittance thermal suite for ST-5. More specifically, it provides a description of and the infusion and validation plans for the variable emittance coatings.

Douglas, Donya M.↗

Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach

While many widely accepted methods and techniques exist for validation and verification of traditional controllers, at this time no solutions have been accepted for Fuzzy Logic Controllers (FLCs). Due to the highly nonlinear nature of such systems, and the fact that developing a valid FLC does not require a mathematical model of the system, it is quite difficult to use conventional techniques to prove controller stability. Since safety-critical systems must be tested and verified to work as expected for all possible circumstances, the fact that FLC controllers cannot be tested to achieve such requirements poses limitations on the applications for such technology. Therefore, alternative methods for verification and validation of FLCs needs to be explored. In this study, a novel approach using formal verification methods to ensure the stability of a FLC is proposed. Main research challenges include specification of requirements for a complex system, conversion of a traditional FLC to a piecewise polynomial representation, and using a formal verification tool in a nonlinear solution space. Using the proposed architecture, the Fuzzy Logic Controller was found to always generate negative feedback, but inconclusive for Lyapunov stability.

Fuzzy Logic Controller↗

Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach

While many widely accepted methods and techniques exist for validation and verification of traditional controllers, at this time no solutions have been accepted for Fuzzy Logic Controllers (FLCs). Due to the highly nonlinear nature of such systems, and the fact that developing a valid FLC does not require a mathematical model of the system, it is quite difficult to use conventional techniques to prove controller stability. Since safety-critical systems must be tested and verified to work as expected for all possible circumstances, the fact that FLC controllers cannot be tested to achieve such requirements poses limitations on the applications for such technology. Therefore, alternative methods for verification and validation of FLCs needs to be explored. In this study, a novel approach using formal verification methods to ensure the stability of a FLC is proposed. Main research challenges include specification of requirements for a complex system, conversion of a traditional FLC to a piecewise polynomial representation, and using a formal verification tool in a nonlinear solution space. Using the proposed architecture, the Fuzzy Logic Controller was found to always generate negative feedback, but inconclusive for Lyapunov stability.

Fuzzy Logic Controller↗

Multiplexing Technology for Acoustic Emission Monitoring of Aerospace Vehicles

The initiation and propagation of damage mechanisms such as cracks and delaminations generate acoustic waves, which propagate through a structure. These waves can be detected and analyzed to provide the location and severity of damage as part of a structural health monitoring (SHM) system. This methodology of damage detection is commonly known as acoustic emission (AE) monitoring, and is widely used on a variety of applications on civil structures. AE has been widely considered for SHM of aerospace vehicles. Numerous successful ground and flight test demonstrations have been performed, which show the viability of the technology for damage monitoring in aerospace structures. However, one significant current limitation for application of AE techniques on aerospace vehicles is the large size, mass, and power requirements for the necessary monitoring instrumentation. To address this issue, a prototype multiplexing approach has been developed and demonstrated in this study, which reduces the amount of AE monitoring instrumentation required. Typical time division multiplexing techniques that are commonly used to monitor strain, pressure and temperature sensors are not applicable to AE monitoring because of the asynchronous and widely varying rates of AE signal occurrence. Thus, an event based multiplexing technique was developed. In the initial prototype circuit, inputs from eight sensors in a linear array were multiplexed into two data acquisition channels. The multiplexer rapidly switches, in less than one microsecond, allowing the signals from two sensors to be acquired by a digitizer. The two acquired signals are from the sensors on either side of the trigger sensor. This enables the capture of the first arrival of the waves, which cannot be accomplished with the signal from the trigger sensor. The propagation delay to the slightly more distant neighboring sensors makes this possible. The arrival time from this first arrival provides a more accurate source location determination. The multiplexer also identifies which channels are acquired by encoding TTL logic pulses onto the latter portion of the signals. This prototype system was demonstrated using pencil lead break (Hsu-Neilsen) sources on an aluminum plate. It performed as designed providing rapid low noise trigger based switching with encoded channel identification. this multiplexing approach is not limited to linear arrays, but can be easily extended to monitor sensors in planar ot three dimensional arrays. A 32 channel multiplexing system is under development that will allow arbitrary sensor placement. Another benefit of this multiplexing system is the reduction in the expense of data acquisition hardware. In addition, the reduced weight and power requirements are of extreme importance for proposed AE systems on aerospace vehicles.

Prosser, William↗

Wavefront Analysis of Adaptive Telescope

The motivation for this work came from a NASA Headquarters interest in investigating design concepts for a large space telescope employing active optics technology. Current and foreseeable launch vehicles will be limited to carrying around 4-5 meter diameter objects. Thus, if a large, filled-aperture telescope (6-20 meters in diameter) is to be placed in space, it will be required to have a deployable primary mirror. Such a mirror may be an inflatable membrane or a segmented mirror consisting of many smaller pieces. In any case, it is expected that the deployed primary will not be of sufficient quality to achieve diffraction-limited performance for its aperture size. Thus, an active optics system will be needed to correct for initial as well as environmentally-produced primary figure errors. Marshall Space Flight Center has developed considerable expertise in the area of active optics with the PAMELA test-bed. The combination of this experience along with the Marshall optical shop's work in mirror fabrication made MSFC the logical choice to lead NASA's effort to develop active optics technology for large, space-based, astronomical telescopes. Furthermore, UAH's support of MSFC in the areas of optical design, fabrication, and testing of space-based optical systems placed us in a key position to play a major role in the development of this future-generation telescope. A careful study of the active optics components had to be carried out in order to determine control segment size, segment quality, and segment controllability required to achieve diffraction-limited resolution with a given primary mirror. With this in mind, UAH undertook the following effort to provide NASA/MSFC with optical design and analysis support for the large telescope study. All of the work performed under this contract has already been reported, as a team member with MSFC, to NASA Headquarters in a series of presentations given between May and December of 1995. As specified on the delivery order, this report simply summarizes the material with the various UAH-written presentation packages attached as appendices.

Hadaway, James B.↗

A full-scope, high-fidelity simulator-based hardware-in-the-loop testbed for comprehensive nuclear power plant cybersecurity research

Nuclear power plant (NPP) cybersecurity research often relies on hardware-in-the-loop (HIL) testbeds that integrate real hardware components into simulated environments. These testbeds allow researchers to identify vulnerabilities, evaluate attack impacts, and test security measures in a controlled setting. Furthermore, previous HIL testbeds lacked fidelity to accurately represent real nuclear systems, limiting the scope of cybersecurity analysis. This study presents the creation of a HIL testbed, devised upon a full-scope, high-fidelity NPP simulator, to facilitate realistic and comprehensive cybersecurity research. To demonstrate its capabilities, the control logic for the steam generator water level was migrated from the simulator to an external programmable logic controller. As a practical application of the developed testbed, supply chain attack scenarios were simulated by injecting malicious code into the controller logic, and the effects of manipulating sensor inputs and control commands were observed. While this HIL testbed provides more detailed simulations, enhanced realism, and wider applicability compared to other options utilizing a less complex simulator, it is also more intricate and costly. For this reason, we include a detailed comparison with some alternative architectures to aid fellow researchers and practitioners in the selection of a suitable HIL architecture based on specific research objectives.

47 OTHER INSTRUMENTATION↗

Supply Chain Binary Program Assessment Annual Report

Secure environments face a steadily increasing threat from the introduction of scientific equipment that includes extensive software components. Devices such as powerful microscopes, 3d printers, programmable logic controllers, and many others, increase our capability and scientific output. Unfortunately, they now frequently include an entire computing stack with custom software bundled along with entire operating systems. Our ability to introspect and understand binary software is extremely limited, opening up the possibility of malicious third-parties including software that compromises our critical missions.

42 ENGINEERING↗

The Fusion Driven Rocket: Nuclear Propulsion through Direct Conversion of Fusion Energy

The future of manned space exploration and development of space depends critically on the creation of a dramatically more efficient propulsion architecture for in-space transportation. A very persuasive reason for investigating the applicability of nuclear power in rockets is the vast energy density gain of nuclear fuel when compared to chemical combustion energy. The Fusion Driven rocket (FDR) represents a revolutionary approach to fusion propulsion where the power source releases its energy directly into the propellant, not requiring conversion to electricity. It employs a solid lithium propellant that requires no significant tankage mass. The propellant is rapidly heated and accelerated to high exhaust velocity (> 30 km/s), while having no substantial physical interaction with the spacecraft thereby avoiding damage to the rocket and limiting both the thermal heat load and radiator mass. The key to achieving this stems from research at MSNW and the UW on the magnetically driven implosion of metal foils onto a magnetized plasma target to obtain fusion conditions. A logical extension of this work leads to a method that utilizes these metal shells (or liners) to not only achieve fusion conditions, but to serve as the propellant as well. Several low-mass, magnetically driven metal liners are inductively driven to converge radially and axially and form a thick blanket surrounding the target plasmoid and compress the plasmoid to fusion conditions. Virtually all of the radiant, neutron and particle energy from the plasma is absorbed by the encapsulating, thick metal blanket thereby isolating the spacecraft from the fusion. This energy, in addition to the intense Ohmic heating at peak magnetic field compression, is adequate to vaporize and ionize the metal blanket. The expansion of this hot, ionized metal propellant through a magnetically insulated nozzle produces high thrust at the optimal Isp. The energy from the fusion process, along with the waste heat, is thus utilized at very high efficiency. The basic scheme for FDR is illustrated and described in the report (see Fig. 2) The two most critical issues in meeting challenges introduced employing magneto-inertial fusion as the power source is driver efficiency and “stand-off” – the ability to isolate and protect fusion and thruster from the resultant fusion energy. By employing metal shells for compression, it is possible to produce the desired convergent motion inductively by inserting the metal sheets along the inner surface of cylindrical or conically tapered coils. Both stand-off and energy efficiency issues are solved by this arrangement. 3 This two year effort focused on achieving three key criteria for the Fusion Driven Rocket to move forward for technological development: (1) the physics of the FDR must be fully understood and validated, (2) the design and technology development for the FDR required for its implementation in space must be fully characterized, and (3) an in-depth analysis of the rocket design and spacecraft integration as well as mission architectures enabled by the FDR need to be performed. A subscale, laboratory liner compression test facility was assembled at the University of Washington Plasma Dynamics Laboratory with sufficient liner kinetic energy (~ 0.5 MJ) to reach conditions required for fusion breakeven conditions. Detailed experimental studies of the dynamic behavior of the driven liners as well as liner convergence and magnetic compression were performed. The development of both the 1D liner dynamics code and the full 3D ANSYS® liner calculations was achieved. The characterization of both the FDR and spacecraft as well as a design architecture analysis was conducted that included an examination of a wide range of mission architectures and destinations for which this fusion propulsion system would be enabling or critical. In particular a rapid, single launch manned Mars mission was developed.

Energy↗

Will Stochastic Devices Play Nice With Others in Neuromorphic Hardware?: There’s More to a Probabilistic System Than Noisy Devices

Achieving brain-like efficiency in computing requires a co-design between the development of neural algorithms, brain-inspired circuit design, and careful consideration of how to use emerging devices. The recognition that leveraging device-level noise as a source of controlled stochasticity represents an exciting prospect of achieving brain-like capabilities in probabilistic neural algorithms, but the reality of integrating stochastic devices with deterministic devices in an already-challenging neuromorphic circuit design process is formidable. Here, we explore how the brain combines different signaling modalities into its neural circuits as well as consider the implications of more tightly integrated stochastic, analog, and digital circuits. Further, by acknowledging that a fully CMOS implementation is the appropriate baseline, we conclude that if mixing modalities is going to be successful for neuromorphic computing, it will be critical that device choices consider strengths and limitations at the overall circuit level.

42 ENGINEERING↗

MOSFET Switching Circuit Protects Shape Memory Alloy Actuators

A small-footprint, full surface-mount-component printed circuit board employs MOSFET (metal-oxide-semiconductor field-effect transistor) power switches to switch high currents from any input power supply from 3 to 30 V. High-force shape memory alloy (SMA) actuators generally require high current (up to 9 A at 28 V) to actuate. SMA wires (the driving element of the actuators) can be quickly overheated if power is not removed at the end of stroke, which can damage the wires. The new analog driver prevents overheating of the SMA wires in an actuator by momentarily removing power when the end limit switch is closed, thereby allowing complex control schemes to be adopted without concern for overheating. Either an integral pushbutton or microprocessor-controlled gate or control line inputs switch current to the actuator until the end switch line goes from logic high to logic low state. Power is then momentarily removed (switched off by the MOSFET). The analog driver is suited to use with nearly any SMA actuator.

Gummin, Mark A.↗

Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems

For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as well as persons and property on the ground. This necessity creates a natural requirement for UAS that can respond to uncertain environmental conditions and emergent failures in real-time, with robustness and resilience close enough to those of manned systems. We introduce a system that meets this requirement with the design of a real-time onboard system health management (SHM) capability to continuously monitor sensors, software, and hardware components. This system can detect and diagnose failures and violations of safety or performance rules during the flight of a UAS. Our approach to SHM is three-pronged, providing: (1) real-time monitoring of sensor and software signals; (2) signal analysis, preprocessing, and advanced on-the-fly temporal and Bayesian probabilistic fault diagnosis; and (3) an unobtrusive, lightweight, read-only, low-power realization using Field Programmable Gate Arrays (FPGAs) that avoids overburdening limited computing resources or costly re-certification of flight software. We call this approach rt-R2U2, a name derived from its requirements. Our implementation provides a novel approach of combining modular building blocks, integrating responsive runtime monitoring of temporal logic system safety requirements with model-based diagnosis and Bayesian network-based probabilistic analysis. We demonstrate this approach using actual flight data from the NASA Swift UAS.

Unmanned Aerial System↗

The Vertebrate Breed Ontology: Toward Effective Breed Data Standardization

Abstract Background Limited universally-adopted data standards in veterinary medicine hinder data interoperability and therefore integration and comparison; this ultimately impedes the application of existing information-based tools to support advancement in diagnostics, treatments, and precision medicine. Hypothesis/Objectives A single, coherent, logic-based standard for documenting breed names in health, production, and research-related records will improve data use capabilities in veterinary and comparative medicine. Animals No live animals were used. Methods The Vertebrate Breed Ontology (VBO) was created from breed names and related information compiled from the Food and Agriculture Organization of the United Nations, breed registries, communities, and experts, using manual and computational approaches. Each breed is represented by a VBO term that includes breed information and provenance as metadata. VBO terms are classified using description logic to allow computational applications and Artificial Intelligence–readiness. Results VBO is an open, community-driven ontology representing over 19 500 livestock and companion animal breed concepts covering 49 species. Breeds are classified based on community and expert conventions (e.g., cattle breed) and supported by relations to the breed's genus and species indicated by National Center for Biotechnology Information (NCBI) Taxonomy terms. Relationships between VBO terms (e.g., relating breeds to their foundation stock) provide additional context to support advanced data analytics. VBO term metadata includes synonyms, breed identifiers/codes, and attributed cross-references to other databases. Conclusion and Clinical Importance The adoption of VBO as a standard for breed names in databases and veterinary electronic health records enhances veterinary data interoperability and computability, supporting precision medicine.

Veterinary Sciences↗

Basin-Scale Structural Features Database

The Basin-Scale Structural Features database provides spatial datasets of faults, fractures, folds, and earthquakes compiled from public, authoritative sources (e.g., U.S. Geological Survey and State Geological Surveys) and aggregated into derivative forms to support subsurface assessments. Recognizing that characterizing basin-scale structural features requires interpreting data that are often ambiguous or lack key information, the source data were evaluated using a knowledge-data framework and geospatial fuzzy logic method (Justman et al., 2020) to represent both measured (observed) and predicted (inferred or potential) structural features as derivative datasets. This workflow employs conceptual models for known structural features and predicted structural features, incorporating geospatial data to estimate potential, even with limited data. The aim is to aid and support an understanding of basin-scale features and identify potential gaps in data and knowledge. As of 4/30/2025, the database includes resources for nine sedimentary basins: Appalachian, Denver, U.S. Gulf Coast, Illinois, Michigan, Permian, Sacramento, San Joquin and Williston. The database is organized by basin and then data category: 1) Faults, fractures, folds, 2) Earthquakes, 3) Topographic, 4) Structural contours and isopachs, 5) Geophysical, and 6) Structural feature density assessment maps.

basin scale↗

Open Radiation Monitoring: Histogram Builder Module Design

The Open Radiation Monitoring Project seeks to develop and demonstrate a modular radiation detection architecture designed specifically for use in arms control treaty verification (ACTV) applications that will facilitate rapid development of trusted systems to meet the needs of potential future treaties. A modular architecture can be used to reduce more complex systems to a series of single purpose building blocks, thereby facilitating equipment inspection and in turn building trust in the equipment by all treaty parties. Furthermore, a modular architecture can be used to control data flow within the measurement system, reducing the risk of "hidden switches" and constraining the amount of sensitive information that could potentially be inadvertently leaked. This report details the first revision of a prototype circuit that will convert analog pulses directly into a histogrammed data set for further processing. The circuit was designed with both spectroscopy and multiplicity analysis in mind but can, in principle, be used to reduce any raw data stream into a histogram. The number of output channels is limited, and the histogram bin ranges are user configurable to allow for non-uniform and discontinuous bins, which makes it possible to restrict the information being passed down stream if desired. Pulse processing relies entirely on analog circuitry and non- programmable logic, which enables operation without the need for a central processor or other programmable control unit. The circuit remains untested under the Open Radiation Monitoring project due to the closure of the sponsoring program. However, further development and testing is scheduled to take place in support of a purpose-built trusted verification system development effort known as COGNIZANT, which demonstrates the potential benefit of developing a suite of modular trusted system components.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Approach for Autonomous Control of Unmanned Aerial Vehicle Using Intelligent Agents for Knowledge Creation

This paper describes the development of a planned approach for Autonomous operation of an Unmanned Aerial Vehicle (UAV). A Hybrid approach will seek to provide Knowledge Generation thru the application of Artificial Intelligence (AI) and Intelligent Agents (IA) for UAV control. The application of many different types of AI techniques for flight will be explored during this research effort. The research concentration will be directed to the application of different AI methods within the UAV arena. By evaluating AI approaches, which will include Expert Systems, Neural Networks, Intelligent Agents, Fuzzy Logic, and Complex Adaptive Systems, a new insight may be gained into the benefits of AI techniques applied to achieving true autonomous operation of these systems thus providing new intellectual merit to this research field. The major area of discussion will be limited to the UAV. The systems of interest include small aircraft, insects, and miniature aircraft. Although flight systems will be explored, the benefits should apply to many Unmanned Vehicles such as: Rovers, Ocean Explorers, Robots, and autonomous operation systems. The flight system will be broken down into control agents that will represent the intelligent agent approach used in AI. After the completion of a successful approach, a framework of applying a Security Overseer will be added in an attempt to address errors, emergencies, failures, damage, or over dynamic environment. The chosen control problem was the landing phase of UAV operation. The initial results from simulation in FlightGear are presented.

Dufrene, Warren R., Jr.↗

Mapping Inundation from Hurricane Florence (2018) with L-Band Synthetic Aperture Radar, Commercial Imagery, and Ancillary Data via Random Forest Classification

Mapping the extent of floodwaters following extreme rainfall aids in the distribution of resources, recovery efforts, and damage assessment practices. Development of a land cover classification system focused on mapping inundation after major hurricane events using synthetic aperture radar (SAR) data could allow for the production of near-real-time inundation mapping, enabling government and emergency response entities to get a preliminary idea of a developing situation. In response to Hurricane Florence of 2018, NASA JPL collected numerous swaths of quad-pol L-band SAR data with the Uninhabited Aerial Vehicle Synthetic Aperture Radar (UAVSAR) instrument observing the record-setting river stages across North and South Carolina. The resulting fully-polarized SAR images allow for mapping of inundation extent at a high spatial resolution with a unique advantage over optical imaging stemming from the sensor’s ability to penetrate cloud cover and dense vegetation. This study seeks to determine how accurately maps of inundation can be generated from L-band SAR imagery through Random Forest classification. Once the extent of water and inundated vegetation is classified, cleanup operations are performed using fuzzy logic to reduce false detections. Estimates of water extent are then combined with datasets describing the distribution of population, buildings, and roads throughout the domain to evaluate societal impacts. Results from the Hurricane Florence case study will be discussed along with the limitations of available validation data for assessment of the classifier’s accuracy.

Alexander Melancon↗