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 145 records · Page 8

All sources NASA NTRS DOE OSTI

NASA NTRS1982

LSI/VLSI design for testability analysis and general approach

The incorporation of testability characteristics into large scale digital design is not only necessary for, but also pertinent to effective device testing and enhancement of device reliability. There are at least three major DFT techniques, namely, the self checking, the LSSD, and the partitioning techniques, each of which can be incorporated into a logic design to achieve a specific set of testability and reliability requirements. Detailed analysis of the design theory, implementation, fault coverage, hardware requirements, application limitations, etc., of each of these techniques are also presented.

Lam, A. Y.↗

NASA NTRS2013

ISRU Propellant Selection for Space Exploration Vehicles

Chemical propulsion remains the only viable solution as technically matured technology for the near term human space transportation to Lunar and Mars. Current mode of space travel requires us to "take everything we will need", including propellant for the return trip. Forcing the mission designers to carry propellant for the return trip limits payload mass available for mission operations and results in a large and costly (and often unaffordable) design. Producing propellant via In-Situ Resource Utilization (ISRU) will enable missions with chemical propulsion by the "refueling" of return-trip propellant. It will reduce vehicle propellant mass carrying requirement by over 50%. This mass reduction can translates into increased payload to enhance greater mission capability, reduces vehicle size, weight and cost. It will also reduce size of launch vehicle fairing size as well as number of launches for a given space mission and enables exploration missions with existing chemical propulsion. Mars remains the ultimate destination for Human Space Exploration within the Solar System. The Mars atmospheric consist of 95% carbon dioxide (CO2) and the presence of Ice (water) was detected on Mars surfaces. This presents a basic chemical building block for the ISRU propellant manufacturing. However, the rationale for the right propellant to produce via ISRU appears to be limited to the perception of "what we can produce" as oppose to "what is the right propellant". Methane (CH4) is often quoted as a logical choice for Mars ISRU propellant, however; it is believed that there are better alternatives available that can result in a better space transportation architecture. A system analysis is needed to determine on what is the right propellant choice for the exploration vehicle. This paper examines the propellant selection for production via ISRU method on Mars surfaces. It will examine propellant trades for the exploration vehicle with resulting impact on vehicle performance, size, and on launch vehicles. It will investigate propellant manufacturing techniques that will be applicable on Mars surfaces and address related issues on storage, transfer, and safety. Finally, it will also address the operability issues associated with the impact of propellant selection on ground processing and launch vehicle integration.

Chen, Timothy T.↗

NASA NTRS2017

Climatic History of the Northeastern United States During the Past 3000 Years

Many ecosystem processes that influence Earth system feedbacks - vegetation growth, water and nutrient cycling, disturbance regimes - are strongly influenced by multidecadal- to millennial-scale climate variations that cannot be directly observed. Paleoclimate records provide information about these variations, forming the basis of our understanding and modeling of them. Fossil pollen records are abundant in the NE US, but cannot simultaneously provide information about paleoclimate and past vegetation in a modeling context because this leads to circular logic. If pollen data are used to constrain past vegetation changes, then the remaining paleoclimate archives in the northeastern US (NE US) are quite limited. Nonetheless, a growing number of diverse reconstructions have been developed but have not yet been examined together. Here we conduct a systematic review, assessment, and comparison of paleotemperature and paleohydrological proxies from the NE US for the last 3000 years. Regional temperature reconstructions (primarily summer) show a long-term cooling trend (1000BCE - 1700CE) consistent with hemispheric-scale reconstructions, while hydroclimate data show gradually wetter conditions through the present day. Multiple proxies suggest that a prolonged, widespread drought occurred between 550 and 750CE. Dry conditions are also evident during the Medieval Climate Anomaly, which was warmer and drier than the Little Ice Age and drier than today. There is some evidence for an acceleration of the longer-term wetting trend in the NE US during the past century; coupled with an abrupt shift from decreasing to increasing temperatures in the past century, these changes could have wide-ranging implications for species distributions, ecosystem dynamics, and extreme weather events. More work is needed to gather paleoclimate data in the NE US to make inter-proxy comparisons and to improve estimates of uncertainty in reconstructions.

Marlon, Jennifer R.↗

NASA NTRS1973

Phase jitter in a differential phase experiment.

Austin (1971) had concluded that, because of the 'phase jitter,' the differential phase experiment is useful over a more limited height range than the differential absorption experiment. Several observations are presented to show that this conclusion is premature. It is pointed out that the logical basis of the differential absorption experiment also requires that the O- and X-mode echoes, at a given time, come from the same irregularities. Austin's calculations are believed to contain a systematic error above 80 km.

Tanenbaum, B. S.↗

NASA NTRS1973

On the Design and Test of a Liquid Injection Electric Thruster

A liquid injection electric thruster (LINJET) was designed and tested. The results of the tests were very encouraging with thruster performance levels well in excess of design goals. Supporting activities to the engine design and test included a five-million pulse life test on the main capacitor, a 46-million pulse test on the trigger electronics, design and fabrication of a zero resistance torque connector for use with the torsional pendulum thrust stand, design and fabrication of a logic box for control of engine firing, and a physical and chemical properties characterization of the perfluorocarbon propellant. While the results were encouraging, testing was limited, as many problems existed with the design. The most significant problem was involved with excessive propellant flow which contributed to false triggering and shorting. Low power active thermal control of the propellant storage cavity, coupled with a re-evaluation of the injection ring pore size and area exposed to the main capacitor discharge are areas that should be investigated should this design be carried forward.

Jones, T. A.↗

NASA NTRS1986

Towards a science of expert systems

Developments in the field of AI are discussed. The components and applications of expert systems, which are computer systems designed to simulate the problem-solving behavior of a person expert in a narrow field, are examined. Two types of expert systems, shallow and deep, are described and examples are given. A logic programming system, rule-based system, and framed-based system are utilized as means of representing the expert system's data base. The limitations of expert systems are considered.

Denning, P. J.↗

NASA NTRS1994

Literacity: A multimedia adult literacy package combining NASA technology, recursive ID theory, and authentic instruction theory

An important part of NASA's mission involves the secondary application of its technologies in the public and private sectors. One current application under development is LiteraCity, a simulation-based instructional package for adults who do not have functional reading skills. Using fuzzy logic routines and other technologies developed by NASA's Information Systems Directorate and hypermedia sound, graphics, and animation technologies the project attempts to overcome the limited impact of adult literacy assessment and instruction by involving the adult in an interactive simulation of real-life literacy activities. The project uses a recursive instructional development model and authentic instruction theory. This paper describes one component of a project to design, develop, and produce a series of computer-based, multimedia instructional packages. The packages are being developed for use in adult literacy programs, particularly in correctional education centers. They use the concepts of authentic instruction and authentic assessment to guide development. All the packages to be developed are instructional simulations. The first is a simulation of 'finding a friend a job.'

Willis, Jerry↗

NASA NTRS2001

The Need for Optical Means as an Alternative for Electronic Computing

An increasing demand for faster computers is rapidly growing to encounter the fast growing rate of Internet, space communication, and robotic industry. Unfortunately, the Very Large Scale Integration technology is approaching its fundamental limits beyond which the device will be unreliable. Optical interconnections and optical integrated circuits are strongly believed to provide the way out of the extreme limitations imposed on the growth of speed and complexity of nowadays computations by conventional electronics. This paper demonstrates two ultra-fast, all-optical logic gates and a high-density storage medium, which are essential components in building the future optical computer.

Adbeldayem, Hossin↗

NASA NTRS2005

Formal Safety Certification of Aerospace Software

In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

Denney, Ewen↗

NASA NTRS2013

Multi-User Space Link Extension (SLE) System

The Multi-User Space (MUS) Link Extension system, a software and data system, provides Space Link Extension (SLE) users with three space data transfer services in timely, complete, and offline modes as applicable according to standards defined by the Consultative Committee for Space Data Systems (CCSDS). MUS radically reduces the schedule, cost, and risk of implementing a new SLE user system, minimizes operating costs with a lights-out approach to SLE, and is designed to require no sustaining engineering expense during its lifetime unless changes in the CCSDS SLE standards, combined with new provider implementations, force changes. No software modification to MUS needs to be made to support a new mission. Any systems engineer with Linux experience can begin testing SLE user service instances with MUS starting from a personal computer (PC) within five days. For flight operators, MUS provides a familiar-looking Web page for entering SLE configuration data received from SLE. Operators can also use the Web page to back up a space mission's entire set of up to approximately 500 SLE service instances in less than five seconds, or to restore or transfer from another system the same amount of data from a MUS backup file in about the same amount of time. Missions operate each MUS SLE service instance independently by sending it MUS directives, which are legible, plain ASCII strings. MUS directives are usually (but not necessarily) sent through a TCP-IP (Transmission Control Protocol Internet Protocol) socket from a MOC (Mission Operations Center) or POCC (Payload Operations Control Center) system, under scripted control, during "lights-out" spacecraft operation. MUS permits the flight operations team to configure independently each of its data interfaces; not only commands and telemetry, but also MUS status messages to the MOC. Interfaces can use single- or multiple-client TCP/IP server sockets, TCP/IP client sockets, temporary disk files, the system log, or standard in, standard out, or standard error as applicable. By defining MUS templates in ASCII, the flight operations team can include any MUS system variable in telemetry or command headers or footers, and/or in status messages. Data fields can be arranged within messages in different sequences, according to the mission s needs. The only constraints imposed are on the format of MUS directive strings, and some bare minimum logical requirements that must be met in order for MUS to read the mission control center's spacecraft command inputs. The MUS system imposes no limits or constraints on the numbers and combinations of missions and SLE service instances that it will support simultaneously. At any time, flight operators may add, change, delete, bind, connect, or disconnect.

Perkins, Toby↗

NASA NTRS2002

A Rewriting-Based Approach to Trace Analysis

We present a rewriting-based algorithm for efficiently evaluating future time Linear Temporal Logic (LTL) formulae on finite execution traces online. While the standard models of LTL are infinite traces, finite traces appear naturally when testing and/or monitoring red applications that only run for limited time periods. The presented algorithm is implemented in the Maude executable specification language and essentially consists of a set of equations establishing an executable semantics of LTL using a simple formula transforming approach. The algorithm is further improved to build automata on-the-fly from formulae, using memoization. The result is a very efficient and small Maude program that can be used to monitor program executions. We furthermore present an alternative algorithm for synthesizing probably minimal observer finite state machines (or automata) from LTL formulae, which can be used to analyze execution traces without the need for a rewriting system, and can hence be used by observers written in conventional programming languages. The presented work is part of an ambitious runtime verification and monitoring project at NASA Ames, called PATHEXPLORER, and demonstrates that rewriting can be a tractable and attractive means for experimenting and implementing program monitoring logics.

Havelund, Klaus↗

NASA NTRS1990

Probabilistic fatigue methodology for six nines reliability

Fleet readiness and flight safety strongly depend on the degree of reliability that can be designed into rotorcraft flight critical components. The current U.S. Army fatigue life specification for new rotorcraft is the so-called six nines reliability, or a probability of failure of one in a million. The progress of a round robin which was established by the American Helicopter Society (AHS) Subcommittee for Fatigue and Damage Tolerance is reviewed to investigate reliability-based fatigue methodology. The participants in this cooperative effort are in the U.S. Army Aviation Systems Command (AVSCOM) and the rotorcraft industry. One phase of the joint activity examined fatigue reliability under uniquely defined conditions for which only one answer was correct. The other phases were set up to learn how the different industry methods in defining fatigue strength affected the mean fatigue life and reliability calculations. Hence, constant amplitude and spectrum fatigue test data were provided so that each participant could perform their standard fatigue life analysis. As a result of this round robin, the probabilistic logic which includes both fatigue strength and spectrum loading variability in developing a consistant reliability analysis was established. In this first study, the reliability analysis was limited to the linear cumulative damage approach. However, it is expected that superior fatigue life prediction methods will ultimately be developed through this open AHS forum. To that end, these preliminary results were useful in identifying some topics for additional study.

Everett, R. A., Jr.↗

NASA NTRS2000

Unsteady Aerodynamic Effects on the Flight Characteristics of an F-16XL Configuration

Unsteady aerodynamic models based on windtunnel forced oscillation test data and analyzed with a fuzzy logic algorithm arc incorporated into an F-16XL flight simulation code. The reduced frequency needed in the unsteady models is numerically calculated by using a limited prior time history of state variables in a least-square sense. Numerical examples arc presented to show the accuracy of the calculated reduced frequency. Oscillatory control inputs are employed to demonstrate the differences in the flight characteristics based on unsteady and quasi-steady aerodynamic models. Application of the unsteady aerodynamic models is also presented and the results are compared with one set of F16XIL longitudinal maneuver flight data. It is shown that the main differences in dynamic response are in the lateral-directional characteristics, with the quasi-steady model being more stable than the flight vehicle, while the unsteady model being more unstable. Similar conclusions can also be made in a simulated rapid sideslipping roll. To improve unsteady aerodynamic modeling, it is recommended to acquire test data with coupled motions in pitch, roll and yaw.

Wang, Zhongjun↗

NASA NTRS2003

Block QCA Fault-Tolerant Logic Gates

Suitably patterned arrays (blocks) of quantum-dot cellular automata (QCA) have been proposed as fault-tolerant universal logic gates. These block QCA gates could be used to realize the potential of QCA for further miniaturization, reduction of power consumption, increase in switching speed, and increased degree of integration of very-large-scale integrated (VLSI) electronic circuits. The limitations of conventional VLSI circuitry, the basic principle of operation of QCA, and the potential advantages of QCA-based VLSI circuitry were described in several NASA Tech Briefs articles, namely Implementing Permutation Matrices by Use of Quantum Dots (NPO-20801), Vol. 25, No. 10 (October 2001), page 42; Compact Interconnection Networks Based on Quantum Dots (NPO-20855) Vol. 27, No. 1 (January 2003), page 32; Bit-Serial Adder Based on Quantum Dots (NPO-20869), Vol. 27, No. 1 (January 2003), page 35; and Hybrid VLSI/QCA Architecture for Computing FFTs (NPO-20923), which follows this article. To recapitulate the principle of operation (greatly oversimplified because of the limitation on space available for this article): A quantum-dot cellular automata contains four quantum dots positioned at or between the corners of a square cell. The cell contains two extra mobile electrons that can tunnel (in the quantummechanical sense) between neighboring dots within the cell. The Coulomb repulsion between the two electrons tends to make them occupy antipodal dots in the cell. For an isolated cell, there are two energetically equivalent arrangements (denoted polarization states) of the extra electrons. The cell polarization is used to encode binary information. Because the polarization of a nonisolated cell depends on Coulomb-repulsion interactions with neighboring cells, universal logic gates and binary wires could be constructed, in principle, by arraying QCA of suitable design in suitable patterns. Heretofore, researchers have recognized two major obstacles to realization of QCA-based logic gates: One is the need for (and the difficulty of attaining) operation of QCA circuitry at room temperature or, for that matter, at any temperature above a few Kelvins. It has been theorized that room-temperature operation could be made possible by constructing QCA as molecular-scale devices. However, in approaching the lower limit of miniaturization at the molecular level, it becomes increasingly imperative to overcome the second major obstacle, which is the need for (and the difficulty of attaining) high precision in the alignments of adjacent QCA in order to ensure the correct interactions among the quantum dots.

Firjany, Amir↗

NASA NTRS1980

Alternative approach to multisensor navigation

An alternative to the Kalman filtering technique, based on logical rather than numerical techniques, is presented. It can be implemented on one or more microprocessors (with a fixed communications protocol between the individual microprocessors); requires only limited preprocessing of the input data; can have its constituent subsystem changed without major revision to the combiner as new or better navigation techniques, such as the global positioning system (GPS) or Loran-C, become available; and tolerates a wide variety of sensor, hardware, and software errors. The basic structure of the method and results of simulations of its performance in the presence of errors common to low-cost sensors (such as VOR or basic Omega) are presented, along with a discussion of possible extensions.

Cannon, M. J.↗

NASA NTRS2007

Oxygen Concentration Flammability Thresholds of Selected Aerospace Materials Considered for the Constellation Program

Materials selection for spacecraft is based on an upward flammability test conducted in a quiescent environment in the highest expected oxygen concentration environment. The test conditions and its pass/fail test logic do not provide sufficient quantitative materials flammability information for an advanced space exploration program. A modified approach has been suggested determination of materials self-extinguishment limits. The flammability threshold information will allow NASA to identify materials with increased flammability risk from oxygen concentration and total pressure changes, minimize potential impacts, and allow for development of sound requirements for new spacecraft and extraterrestrial landers and habitats. This paper provides data on oxygen concentration self-extinguishment limits under quiescent conditions for selected materials considered for the Constellation Program.

Hirsch, David B.↗

NASA NTRS1984

Breadboard stellar tracker system test report

BASD has, in the past, developed several unique position tracking algorithms for charge transfer device (CTD) sensors. These algorithms provide an interpixel transfer function with the following characteristics: (1) high linearity; (2) simplified track logic; (3) high gain; and (4) high noise rejection. A previous test program using the GE charge injection device (CID) showed that accuracy for BASD's breadboard was limited to approximately 2% of a pixel (1 sigma) whereas analysis and simulation indicated the limit should be less than 0.5% of a pixel, assuming the limit to be detector response and dark current noise. The test program was conducted under NASA contract No. NAS8-34263. The test approach for that program did not provide sufficient data to identify the sources of error and left open the amount of contribution from parameters such as image distribution, geometric distortion and system alignment errors.

Kollodge, J. C.↗

NASA NTRS1991

On the estimation of jet-induced fountain lift and additional suckdown in hover for two-jet configurations

Currently available methods for estimating the net suckdown induced on jet V/STOL aircraft hovering in ground effect are based on a correlation of available force data and are, therefore, limited to configurations similar to those in the data base. Experience with some of these configurations has shown that both the fountain lift and additional suckdown are overestimated but these effects cancel each other for configurations within the data base. For other configurations, these effects may not cancel and the net suckdown could be grossly overestimated or underestimated. Also, present methods do not include the prediction of the pitching moments associated with the suckdown induced in ground effect. An attempt to develop a more logically based method for estimating the fountain lift and suckdown based on the jet-induced pressures is initiated. The analysis is based primarily on the data from a related family of three two-jet configurations (all using the same jet spacing) and limited data from two other two-jet configurations. The current status of the method, which includes expressions for estimating the maximum pressure induced in the fountain regions, and the sizes of the fountain and suckdown regions is presented. Correlating factors are developed to be used with these areas and pressures to estimate the fountain lift, the suckdown, and the related pitching moment increments.

Kuhn, Richard E.↗