Search NASA⌕ Search

SEARCH · Search NASA

Results for “LOGIC NETWORK”

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS2015

R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, REALIZABLE, RESPONSIVE, UNOBTRUSIVE Unit for security threat detection. R2U2 is designed to continuously monitor inputs from the GPS and the ground control station, sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for linear and metric temporal logics for property monitoring and Bayesian networks for diagnosis of security threats. We discuss the design and implementation that now enables R2U2 to handle security threats and present simulation results of several attack scenarios on the NASA DragonEye UAS.

Formal Methods↗
NASA NTRS1985

A synchronous fiber optic ring local area network for multigigabit/s mixed-traffic communication

A synchronous-ring fiber optic local area network is reported that facilitates the simultaneous transmission of packet and real-time traffic at gigabit/s rates, minimizes the amount of high-speed logic, and simplifies the user interface to the network. The novelty of the technique is based on (1) suspending in transit around the ring's circumference an integral number of data frames and (2) achieving this condition by skewing the frame clock rate a small amount. Rather than use the whole data frame as one packet destined to a specific user, many individual channels are instead time-multiplexed into the data frame. This technique only becomes feasible for local networks as data rates approach the Gbit/s range. This departure from other synchronous rings results in several advantages both in terms of system performance and hardware simplicity.

Bergman, L. A.↗
NASA NTRS1991

Method and apparatus for eliminating unsuccessful tries in a search tree

A circuit switching system in an M-ary, n-cube connected network completes a best-first path from an originating node to a destination node by latching valid legs of the path as the path is being sought out. Each network node is provided with a routing hyperswitch sub-network, (HSN) connected between that node and bidirectional high capacity communication channels of the n-cube network. The sub-networks are all controlled by routing algorithms which respond to message identification headings (headers) on messages to be routed along one or more routing legs. The header includes information embedded therein which is interpreted by each sub-network to route and historically update the header. A logic circuit, available at every node, implements the algorithm and automatically forwards or back-tracks the header in the network legs of various paths until a completed path is latched.

Peterson, John C.↗
NASA NTRS2005

Fuzzy/Neural Software Estimates Costs of Rocket-Engine Tests

The Highly Accurate Cost Estimating Model (HACEM) is a software system for estimating the costs of testing rocket engines and components at Stennis Space Center. HACEM is built on a foundation of adaptive-network-based fuzzy inference systems (ANFIS) a hybrid software concept that combines the adaptive capabilities of neural networks with the ease of development and additional benefits of fuzzy-logic-based systems. In ANFIS, fuzzy inference systems are trained by use of neural networks. HACEM includes selectable subsystems that utilize various numbers and types of inputs, various numbers of fuzzy membership functions, and various input-preprocessing techniques. The inputs to HACEM are parameters of specific tests or series of tests. These parameters include test type (component or engine test), number and duration of tests, and thrust level(s) (in the case of engine tests). The ANFIS in HACEM are trained by use of sets of these parameters, along with costs of past tests. Thereafter, the user feeds HACEM a simple input text file that contains the parameters of a planned test or series of tests, the user selects the desired HACEM subsystem, and the subsystem processes the parameters into an estimate of cost(s).

Douglas, Freddie↗
NASA NTRS1988

Heat exchanger expert system logic

The reduction is described of the operation and fault diagnostics of a Deep Space Network heat exchanger to a rule base by the application of propositional calculus to a set of logic statements. The value of this approach lies in the ease of converting the logic and subsequently implementing it on a computer as an expert system. The rule base was written in Process Intelligent Control software.

Cormier, R.↗
NASA NTRS1998

A Self-Tuning Kalman Filter for Autonomous Spacecraft Navigation

Most navigation systems currently operated by NASA are ground-based, and require extensive support to produce accurate results. Recently developed systems that use Kalman Filter and Global Positioning System (GPS) data for orbit determination greatly reduce dependency on ground support, and have potential to provide significant economies for NASA spacecraft navigation. Current techniques of Kalman filtering, however, still rely on manual tuning from analysts, and cannot help in optimizing autonomy without compromising accuracy and performance. This paper presents an approach to produce a high accuracy autonomous navigation system fully integrated with the flight system. The resulting system performs real-time state estimation by using an Extended Kalman Filter (EKF) implemented with high-fidelity state dynamics model, as does the GPS Enhanced Orbit Determination Experiment (GEODE) system developed by the NASA Goddard Space Flight Center. Augmented to the EKF is a sophisticated neural-fuzzy system, which combines the explicit knowledge representation of fuzzy logic with the learning power of neural networks. The fuzzy-neural system performs most of the self-tuning capability and helps the navigation system recover from estimation errors. The core requirement is a method of state estimation that handles uncertainties robustly, capable of identifying estimation problems, flexible enough to make decisions and adjustments to recover from these problems, and compact enough to run on flight hardware. The resulting system can be extended to support geosynchronous spacecraft and high-eccentricity orbits. Mathematical methodology, systems and operations concepts, and implementation of a system prototype are presented in this paper. Results from the use of the prototype to evaluate optimal control algorithms implemented are discussed. Test data and major control issues (e.g., how to define specific roles for fuzzy logic to support the self-learning capability) are also discussed. In addition, architecture of a complete end-to-end candidate flight system that provides navigation with highly autonomous control using data from GPS is presented.

Truong, Son H.↗
NASA NTRS1973

On-line diagnosis of sequential systems

A model for on-line diagnosis was investigated for discrete-time systems, and resettable sequential systems. Generalized notions of a realization are discussed along with fault tolerance and errors. Further investigation into the theory of on-line diagnosis is recommended for three levels: binary state-assigned level, logical circuit level, and the subsystem-network level.

Sundstrom, R. J.↗
NASA NTRS1981

CADAT network translator

Program converts cell-net data into logic-gate models for use in test and simulation programs. Input consists of either Place, Route, and Fold (PRF) or Place-and-Route-in-Two-Dimensions (PR2D) layout data deck. Output consists of either Test Pattern Generator (TPG) or Logic-Simulation (LOGSIM) logic circuitry data deck. Designer needs to build only logic-gate-model circuit description since program acts as translator. Language is FORTRAN IV.

Pitts, E. R.↗
NASA NTRS1991

Autonomous rendezvous and capture system design

Marshall Space Flight Center has a long history of involvement in the design of Autonomous Rendezvous and Capture (AR&C) systems. The first extensive studies were begun in the late seventies, incrementally leading to the development of an assortment of Guidance, Navigation, and Control (GN&C) concepts and algorithms suitable for a variety of mission requirements and spacecraft capabilities, with a strong emphasis placed upon flexible system-level design. These efforts have led to the development of sophisticated algorithms for docking with tumbling targets, and simple but efficient algorithms for stabilized spacecraft; each has been tested and validated using dynamic system simulation, with hardware in the loop when practical. Recent investigations include the use of neural networks for video image interpretation, and fuzzy logic for control system implementation.

Dabney, Richard W.↗
NASA NTRS1990

Optimized testing of meshes

Efficient testing techniques for two-dimensional mesh interconnection networks are presented. The tests cover faults in the arbitration logic of the switches; this includes an examination of fault detection in the data paths, routing, and control circuitry, including the conflict resolution capabilities of mesh interconnection networks using topological test methods. The proposed methods are not implementation specific and can be applied to any design with a mesh topology. The topology and behavior of the network are described and definitions are presented. The fault model is defined and parallel testing methods for the entire network are given.

Malek, Miroslaw↗
NASA NTRS1989

The structure of the clouds distributed operating system

A novel system architecture, based on the object model, is the central structuring concept used in the Clouds distributed operating system. This architecture makes Clouds attractive over a wide class of machines and environments. Clouds is a native operating system, designed and implemented at Georgia Tech. and runs on a set of generated purpose computers connected via a local area network. The system architecture of Clouds is composed of a system-wide global set of persistent (long-lived) virtual address spaces, called objects that contain persistent data and code. The object concept is implemented at the operating system level, thus presenting a single level storage view to the user. Lightweight treads carry computational activity through the code stored in the objects. The persistent objects and threads gives rise to a programming environment composed of shared permanent memory, dispensing with the need for hardware-derived concepts such as the file systems and message systems. Though the hardware may be distributed and may have disks and networks, the Clouds provides the applications with a logically centralized system, based on a shared, structured, single level store. The current design of Clouds uses a minimalist philosophy with respect to both the kernel and the operating system. That is, the kernel and the operating system support a bare minimum of functionality. Clouds also adheres to the concept of separation of policy and mechanism. Most low-level operating system services are implemented above the kernel and most high level services are implemented at the user level. From the measured performance of using the kernel mechanisms, we are able to demonstrate that efficient implementations are feasible for the object model on commercially available hardware. Clouds provides a rich environment for conducting research in distributed systems. Some of the topics addressed in this paper include distributed programming environments, consistency of persistent data and fault-tolerance.

Dasgupta, Partha↗
NASA NTRS1993

Test pattern generation for ILA sequential circuits

An efficient method of generating test patterns for sequential machines implemented using one-dimensional, unilateral, iterative logic arrays (ILA's) of BTS pass transistor networks is presented. Based on a transistor level fault model, the method affords a unique opportunity for real-time fault detection with improved fault coverage. The resulting test sets are shown to be equivalent to those obtained using conventional gate level models, thus eliminating the need for additional test patterns. The proposed method advances the simplicity and ease of the test pattern generation for a special class of sequential circuitry.

Feng, YU↗
NASA NTRS1961

Analytical Investigation of an Adaptive Flight-Control System Using a Sinusoidal Test Signal

An analytical study was made of an adaptive flight-control system which measures vehicle response to small-amplitude control-surface deflections produced by a sinusoidal test signal. Changes in the response to this signal are related to environmental changes,, and the system is continuously altered to maintain this response equal to a preselected value. The system is suitable for use in high-performance aircraft and missiles and requires only the addition of a signal generator and a logic circuit consisting of a filter-rectifier network and a comparator-integrator network to a basic command-control system. Thus, it presents a relatively simple approach to the problem. The effects on system performance of variation in flight condition, system-gain level, test-signal frequency, and sensor location are included in the analysis. Longitudinal control of a high-performance research aircraft over flight conditions ranging from landing approach to a Mach number of 5.8 at an altitude of 150,000 feet, and longitudinal control of a four-stage solid-fuel missile including the first bending mode over the atmospheric portion of a launch trajectory constituted the basis for the analytical study. Results of an analog-computer study using time-varying coefficients are presented to compare the control obtained with the adaptive system with-that obtained with a fixed-gain system during the atmospheric portion of a missile launch trajectory. The system has demonstrated an ability to maintain satisfactory vehicle control-system stability over wide ranges of environmental change.

Harris, Jack E.↗
NASA NTRS2003

The Integration of Fieldbus Devices to an Existing DCS

Existing analog strain gauge transducers and signal conditioners were replaced with new Foundation Fieldbus Transmitters in the Distributed Control System, DCS, at the NASA Glenn Research Center (GRC). The reasons for implementing this upgrade and an evaluation of the results of the project are the subjects of this paper. Problems and advantages with the original transducers and the newly installed transmitters are described and compared. Detail of the physical network layer between the Foundation Fieldbus Transmitters, Programmable Logic Controllers (PLCs), Multipurpose Micro-Processor (MMPs) and the operator workstations are illustrated. The complex nature of the facility and methods of future control of the associated processes are also discussed.

Sadhukhan, Debashis↗
NASA NTRS2010

Constellation Program Electrical Ground Support Equipment Research and Development

At the Kennedy Space Center, I engaged in the research and development of electrical ground support equipment for NASA's Constellation Program. Timing characteristics playa crucial role in ground support communications. Latency and jitter are two problems that must be understood so that communications are timely and consistent within the Kennedy Ground Control System (KGCS). I conducted latency and jitter tests using Alien-Bradley programmable logic controllers (PLCs) so that these two intrinsic network properties can be reduced. Time stamping and clock synchronization also play significant roles in launch processing and operations. Using RSLogix 5000 project files and Wireshark network protocol analyzing software, I verified master/slave PLC Ethernet module clock synchronization, master/slave IEEE 1588 communications, and time stamping capabilities. All of the timing and synchronization test results are useful in assessing the current KGCS operational level and determining improvements for the future.

McCoy, Keegan S.↗
NASA NTRS1988

Using AGNESS (A Generalized Network-based Expert System Shell) for matching images

The image correspondence problem is considered the most difficult step in both stereo and motion analysis. Stereo vision is useful in determining the 3-D positions of points on visible surface in a scene. Motion analysis is useful in determining the spatial and temporal relationships of objects in an environment. Besides stereo and motion analysis, there is the image correspondence problem. Most of this work is based on point or local area properties of the observed gray level values in 2-D images. A global and general approach to this problem is described by using a knowledge-based system. The knowledge it uses consists of both physical properties and spatial relationships of the edges and regions extracted from the given images. The physical component depends on features of the edge or region) in isolation. The spatial component involves the set of edges and regions adjacent to a given edge (or region) of the first image and the set of edges and regions adjacent to each potentially matching edge (or region) of the second image; thus the spatial context of each edge or region is considered. A computational network is used to represent this knowledge, it allows the computation of the likelihood of matching two edges or regions with logical and heuristic operators. An expert system shell called AGNESS (A Generalized Network-based Expert System Shell) is used to build a prototype system.

Pong, Ting-Chuen↗
NASA NTRSDate not supplied

Surviving and Thriving in Space and on Earth's Oceans - Human Logistics and Sustainability Comparisons and Considerations

The human species has a yearning for exploration as evidenced by the extensive historical ocean voyages and expeditions which have led to a massive advancement in the scientific and geodetic knowledge about planet Earth. These global explorations via the oceans have also had strategic, economic, cultural and religious implications and impacts, which have drastically changed the state of humanity and its condition. The transportation network created by ships traveling across the oceans has been supplemented by other transportation networks on land and in the air, creating a global economy that, in general, has improved the human condition leading to better health, longer lives, lower child mortality, better education, political freedom, higher gross national product (GNP) and improved hygiene. The logical extension of this societal trend is to extend the transportation network and human civilization into outer space, beyond the cradle of planet Earth. Our solar system contains vast amounts of natural resources which can be harnessed and used to bootstrap a space economy and related infrastructure by using advanced technologies. Sailing journeys from hundreds of years ago required large vessels and large crews, (in comparison with today’s space capsules). Modern sailors of today are able to complete large voyages, in small vessels, with a minimal crew, comparable in magnitude to modern space travel. This paper will use a systems engineering approach (e.g. using the NASA Human Integration Design Handbook (HIDH), NASA-SP-2010-3407, 2010 and the “Advanced Life Support Baseline Values and Assumptions Document, (BVAD)” NASA-CR-2004-208941, 2004.), to examine and compare the logistics and sustainability aspects of a small crew traveling on Earth's oceans in sailing vessels versus humans traveling in space. The “Mālama Honua Worldwide Voyage” of the Hokule’a, a replica of an ancient Hawaiian double hulled sailing canoe, will be used as a case study. This is the best comparison case since the Polynesian exploration of the vast (and virtually empty) Pacific Ocean is the closest analogue to modern space travel. “"Both are voyages of exploration.” –Shuttle astronaut Lacy Veach. Minimizing waste and maximizing re-use and re-cycling will lead to more efficient logistics and sustainability. In addition, In-Situ Resource Utilization (ISRU) strategies, based on successful Earth based strategies used for many years by sailors will be considered and evaluated for their usefulness. For example, human logistics for a typical space mission are shown in Table 1 and Table 2 (Lopez et al, 2015). Studies show that typical human water consumption in space is projected to be 3.2 kg/day per crew member as shown in Table 2. Data from human sailing voyages around the globe will be examined. Anecdotal evidence indicates that knowledgeable and well-equipped modern sailors, who conserve water, can comfortably live using 1.5 to 5 kg/day per person. This paper will investigate key logistics and sustainability aspects of living in space and compare them quantitatively to similar aspects of living on ocean faring sailing vessels on Earth. Mutually beneficial observations, advanced technologies and modern considerations will be applied within confines of a remote sailing environment, which could be of immense value to both the space faring community and the ocean sailing community.

Space↗