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.

SourceResearch connectionFrom yearThrough year

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

At least 163 records · Page 9

All sources NASA NTRS DOE OSTI

NASA NTRS1991

MPD work at MIT

MPD work at MIT is presented in the form of the view-graphs. The following subject areas are covered: the MIT program, its goals, achievements, and roadblocks; quasi one-dimensional modeling; two-dimensional modeling - transport effects and Hall effect; microscopic instabilities in MPD flows and modified two stream instability; electrothermal stability theory; separation of onset and anode depletion; exit plane spectroscopic measurements; phenomena of onset as performance limiter; explanations of onset; geometry effects on onset; onset at full ionization and its consequences; relationship to anode depletion; summary on self-field MPD; applied field MPD - the logical growth path; the case for AF; the challenges of AF MPD; and recommendations.

Martinez-Sanchez, Manuel↗

NASA NTRS1990

Towards a mature measurement environment: Creating a software engineering research environment

Software engineering researchers are building tools, defining methods, and models; however, there are problems with the nature and style of the research. The research is typically bottom-up, done in isolation so the pieces cannot be easily logically or physically integrated. A great deal of the research is essentially the packaging of a particular piece of technology with little indication of how the work would be integrated with other prices of research. The research is not aimed at solving the real problems of software engineering, i.e., the development and maintenance of quality systems in a productive manner. The research results are not evaluated or analyzed via experimentation or refined and tailored to the application environment. Thus, it cannot be easily transferred into practice. Because of these limitations we have not been able to understand the components of the discipline as a coherent whole and the relationships between various models of the process and product. What is needed is a top down experimental, evolutionary framework in which research can be focused, logically and physically integrated to produce quality software productively, and evaluated and tailored to the application environment. This implies the need for experimentation, which in turn implies the need for a laboratory that is associated with the artifact we are studying. This laboratory can only exist in an environment where software is being built, i.e., as part of a real software development and maintenance organization. Thus, we propose that Software Engineering Laboratory (SEL) type activities exist in all organizations to support software engineering research. We describe the SEL from a researcher's point of view, and discuss the corporate and government benefits of the SEL. The discussion focuses on the benefits to the research community.

Basili, Victor R.↗

NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗

NASA NTRS1993

Enhancement effects in polarimetric radar returns: Phase difference statistics

The probability density functions (pdfs) of the co- and cross-polarized phase differences are derived for backscatter from vegetation using the coherent and incoherent scattering theories. Unlike previous derivations, no assumptions or observations other than the applicability of the Central Limit Theorem (CLT), the low fractional volume of the medium, the reciprocity of the scatterers, and the azimuthal symmetry of the scatterer's orientation statistics are employed. Everything else follows logically via the mathematics. The difference between the coherent theory and the incoherent theory is referred to as the backscatter enhancement effect. The influence of this enhancement effect on the phase difference pdfs is examined and found to be important under combined conditions of scatterer anisotropy and appropriate reflection coefficient values.

Lang, R. H.↗

NASA NTRS1976

The design of digital-adaptive controllers for VTOL aircraft

Design procedures for VTOL automatic control systems have been developed and are presented. Using linear-optimal estimation and control techniques as a starting point, digital-adaptive control laws have been designed for the VALT Research Aircraft, a tandem-rotor helicopter which is equipped for fully automatic flight in terminal area operations. These control laws are designed to interface with velocity-command and attitude-command guidance logic, which could be used in short-haul VTOL operations. Developments reported here include new algorithms for designing non-zero-set-point digital regulators, design procedures for rate-limited systems, and algorithms for dynamic control trim setting.

Stengel, R. F.↗

NASA NTRS1983

A new algorithm for constrained nonlinear least-squares problems, part 1

A Gauss-Newton algorithm is presented for solving nonlinear least squares problems. The problem statement may include simple bounds or more general constraints on the unknowns. The algorithm uses a trust region that allows the objective function to increase with logic for retreating to best values. The computations for the linear problem are done using a least squares system solver that allows for simple bounds and linear constraints. The trust region limits are defined by a box around the current point. In its current form the algorithm is effective only for problems with small residuals, linear constraints and dense Jacobian matrices. Results on a set of test problems are encouraging.

Hanson, R. J.↗

NASA NTRS1990

Long-wave morphological instabilities in the directional solidification of a dilute binary mixture

Long-wave instabilities in a directionally-solidified binary mixture may occur in several limits. Sivashinsky (1983) identified a small-segregation-coefficient limit and obtained a weakly nonlinear evolution equation governing subcritical two-dimensional bifurcation. Brattkus and Davis (1988) identified a near-absolute-stability limit and obtained a strongly nonlinear evolution equation governing supercritical two-dimensional bifurcation. The present investigation identifies a third strongly nonlinear evolution equation, arising in the small-segregation-coefficient, large-surface-energy limit. This equation links both of the former and describes the change from the sub- to super-critical bifurcations. This study sets the previous long-wave analyses into a logical framework.

Riley, D. S.↗

NASA NTRS2013

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

Unmanned aerial systems (UASs) can only be deployed if they can effectively complete their missions and respond to failures and uncertain environmental conditions while maintaining safety with respect to other aircraft as well as humans and property on the ground. In this paper, we design a real-time, on-board system health management (SHM) capability to continuously monitor sensors, software, and hardware components for detection and diagnosis of 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/or software signals; (2) signal analysis, preprocessing, and advanced on the- fly temporal and Bayesian probabilistic fault diagnosis; (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 due to instrumentation. 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 data from the NASA Swift UAS, an experimental all-electric aircraft.

System & Software Health Management↗

NASA NTRS2004

A Revised Approach to the ULDB Design

The National Aeronautics and Space Administration Balloon Program has experienced problems in the scaling up of the proposed Ultra Long Duration Balloon. Full deployment of the balloon envelope has been the issue for the larger balloons. There are a number of factors that contribute to this phenomenon. Analytical treatments of the deployment issue are currently underway. It has also been acknowledged that the current fabrication approach using foreshortening is costly, labor intensive, and requires significant handling during production thereby increasing the chances of inducing damage to the envelope. Raven Industries has proposed a new design and fabrication approach that should increase the probability of balloon deployment, does not require foreshortening, will reduce the handling, production labor, and reduce the final balloon cost. This paper will present a description of the logic and approach used to develop this innovation. This development consists of a serial set of steps with decision points that build upon the results of the previous steps. The first steps include limited material development and testing. This will be followed by load testing of bi-axial reinforced cylinders to determine the effect of eliminating the foreshortening. This series of tests have the goal of measuring the strain in the material as it is bi-axially loaded in a condition that closely replicated the application in the full-scale balloon. Constant lobe radius pumpkin shaped test structures will be designed and analyzed. This matrix of model tests, in conjunction with the deployment analyses, will help develop a curve that should clearly present the deployment relationship for this kind of design. This will allow the "design space" for this type of balloon to be initially determined. The materials used, analyses, and ground testing results of both cylinders and small pumpkin structures will be presented. Following ground testing, a series of test flights, staged in increments of increasing suspended load and balloon volume, will be conducted. The first small scale test flight has been proposed for early Spring 2004. Results of this test flight of this new design and approach will presented. Two additional domestic test flights from Ft. Sumner, New Mexico, and Palestine, Texas, and one circumglobal test flight from Australia are planned as part of this development. Future plans for both ground testing and test flights will also be presented.

Smith, Michael↗

NASA NTRS1975

Landsat 2 on-board computer

The Landsat Spacecraft Project (formerly known as ERTS) was based essentially on the use of Nimbus spacecraft hardware. It was soon recognized that the availability of only 30 stored command locations (which were sufficient for the Nimbus mission) would limit the operation of the Landsat 1 mission with much higher power sensors, recorders, and wideband communications being cycled on and off throughout the orbit. The solution described is a simple memory with hard wired logic, of a design that can interface with the existing hardware, without modifications. The design was implemented using an existing APO (Advanced Onboard Processor) and a 4096 word X 18 bit plated wire memory. (The AOP has been subsequently designated the NASA Standard Spacecraft Computer.)

Lesko, J. G., Jr.↗

NASA NTRS2002

Quantum metrology

This paper addresses the formal equivalence between the Mach-Zehnder interferometer, the Ramsey spectroscope, and a specific quantum logical gate. Based on this equivalence we introduce the quantum Rosetta Stone, and we describe a projective measurement scheme for generating the desired correlations between the interferometric input states in order to achieve Heisenberg-limited sensitivity.

quantum interferometry lithography projective meas↗

NASA NTRS1988

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.↗

NASA NTRS1994

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↗

NASA NTRS2001

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.↗

NASA NTRS2017

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↗

NASA NTRS2017

Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach

Fuzzy Logic Controller↗

NASA NTRS2003

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↗

NASA NTRS1997

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.↗