Search NASA⌕ Search

SEARCH · Search NASA

Results for “paradigms”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Transformational derivation of programs using the Focus system

A program derivation support system called Focus is being constructed. It will formally derive programs using the paradigm of program transformation. The following issues are discussed: (1) the integration of validation and program derivation activities in the Focus system; (2) its tree-based user interface; (3) the control of search spaces in program derivation; and (4) the structure and organization of program derivation records. The inference procedures of the system are based on the integration of functional and logic programming principles. This brings about a synthesis of paradigms that were heretofore considered far apart, such as logical and executable specifications and constructive and transformational approaches to program derivation. A great emphasis has been placed, in the design of Focus, on achieving small search spaces during program derivation. The program manipulation operations such as expansion, simplification and rewriting were designed with this objective. The role of operations that are expensive in search spaces, such as folding, has been reduced. Program derivations are documented in Focus in a way that the high level descriptions of derivations are expressed only using program level information. All the meta-level information, together with dependencies between derivations of program components, is automatically recorded by the system at a lower level of description for its own use in replay.

Reddy, Uday S.↗
NASA NTRS1989

DEVS representation of dynamical systems - Event-based intelligent control

It is shown how systems can be advantageously represented as discrete-event models by using DEVS (discrete-event system specification), a set-theoretic formalism. Such DEVS models provide a basis for the design of event-based logic control. In this control paradigm, the controller expects to receive confirming sensor responses to its control commands within definite time windows determined by its DEVS model of the system under control. The event-based contral paradigm is applied in advanced robotic and intelligent automation, showing how classical process control can be readily interfaced with rule-based symbolic reasoning systems.

Zeigler, Bernard P.↗
NASA NTRS1990

DEVS-based intelligent control of space adapted fluid mixing

The development is described of event-based intelligent control system for a space-adapted mixing process by employing the DEVS (Discrete Event System Specification) formalism. In this control paradigm, the controller expects to receive confirming sensor responses to its control commands within definite time windows determined by its DEVS model of the system under control. The DEVS-based intelligent control paradigm was applied in a space-adapted mixing system capable of supporting the laboratory automation aboard a Space Station.

Chi, Sung-Do↗
NASA NTRS1991

Fusion of monocular cues to detect man-made structures in aerial imagery

The extraction of buildings from aerial imagery is a complex problem for automated computer vision. It requires locating regions in a scene that possess properties distinguishing them as man-made objects as opposed to naturally occurring terrain features. It is reasonable to assume that no single detection method can correctly delineate or verify buildings in every scene. A cooperative-methods paradigm is useful in approaching the building extraction problem. Using this paradigm, each extraction technique provides information which can be added or assimilated into an overall interpretation of the scene. Thus, the main objective is to explore the development of computer vision system that integrates the results of various scene analysis techniques into an accurate and robust interpretation of the underlying three dimensional scene. The problem of building hypothesis fusion in aerial imagery is discussed. Building extraction techniques are briefly surveyed, including four building extraction, verification, and clustering systems. A method for fusing the symbolic data generated by these systems is described, and applied to monocular image and stereo image data sets. Evaluation methods for the fusion results are described, and the fusion results are analyzed using these methods.

Shufelt, Jefferey↗
NASA NTRS1991

Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

Models of real-time systems using a single paradigm often turn out to be inadequate, whether the paradigm is based on states, rules, event sequences, or logic. A model-based approach to reasoning about real-time systems is presented in which a temporal interval logic called TIL is employed to define constraints on a new type of high level automata. The combination, called hierarchical multi-state (HMS) machines, can be used to model formally a real-time system, a dynamic set of requirements, the environment, heuristic knowledge about planning-related problem solving, and the computational states of the reasoning mechanism. In this framework, mathematical techniques were developed for: (1) proving the correctness of a representation; (2) planning of concurrent tasks to achieve goals; and (3) scheduling of plans to satisfy complex temporal constraints. HMS machines allow reasoning about a real-time system from a model of how truth arises instead of merely depending of what is true in a system.

Gabrielian, Armen↗
NASA NTRS1991

Terrestrial biogeochemical cycles - Global interactions with the atmosphere and hydrology

A review is presented of developments in ecosystem theory, remote sensing, and geographic information systems that support new endeavors in spatial modeling. A paradigm has emerged to predict ecosystem behavior based on understanding responses to multiple resources. Ecosystem models couple primary production to decomposition and nutrient availability utilizing this paradigm. It is indicated that coupling of transport and ecosystem processes alters the behavior of earth system components (terrestrial ecosystems, hydrology, and the atmosphere) from that of an uncoupled model.

Schimel, David S.↗
NASA NTRS1991

Language Research Center's Computerized Test System (LRC-CTS) - Video-formatted tasks for comparative primate research

Automation of a computerized test system for comparative primate research is shown to improve the results of learning in standard paradigms. A mediational paradigm is used to determine the degree to which criterion in the learning-set testing reflects stimulus-response associative or mediational learning. Rhesus monkeys are shown to exhibit positive transfer as the criterion levels are shifted upwards, and the effectiveness of the computerized testing system is confirmed.

Rumbaugh, Duane M.↗
NASA NTRS1992

Self-Aligning Optical Measurement Systems

The paper discusses how to teach a system of neural networks to respond to the alignment clues used by a human operator in performing routine, initial alignments. A paradigm is proposed for automating the alignment of the components of optical measurement systems. The paradigm which was tested on a spatial filter has proved to be successful for optical alignment.

Decker, Arthur J.↗
NASA NTRS1993

Training high performance skills using above real-time training

The Above Real-Time Training (ARTT) concept is a unique approach to training high performance skills. ARTT refers to a training paradigm that places the operator in a simulated environment that functions at faster than normal time. Such a training paradigm represents a departure from the intuitive, but not often supported, feeling that the best practice is determined by the training environment with the highest fidelity. This approach is hypothesized to provide greater 'transfer value' per simulation trial, by incorporating training techniques and instructional features into the simulator. These techniques allow individuals to acquire these critical skills faster and with greater retention. ARTT also allows an individual trained in 'fast time' to operate at what appears to be a more confident state, when the same task is performed in a real-time environment. Two related experiments are discussed. The findings appear to be consistent with previous findings that show positive effects of task variation during training. Moreover, ARTT has merit in improving or maintaining transfer with sharp reductions in training time. There are indications that the effectiveness of ARTT varies as a function of task content and possibly task difficulty. Other implications for ARTT are discussed along with future research directions.

Guckenberger, Dutch↗
NASA NTRS1992

Transfer of training and simulator qualification or myth and folklore in helicopter simulation

Transfer of training studies at Fort Rucker using the backward-transfer paradigm have shown that existing flight simulators are not entirely adequate for meeting training requirements. Using an ab initio training research simulator, a simulation of the UH-1, training effectiveness ratios were developed. The data demonstrate it to be a cost-effective primary trainer. A simulator qualification method was suggested in which a combination of these transfer-of-training paradigms is used to determine overall simulator fidelity and training effectiveness.

Dohme, Jack↗
NASA NTRS1991

Expert system development for probabilistic load simulation

A knowledge based system LDEXPT using the intelligent data base paradigm was developed for the Composite Load Spectra (CLS) project to simulate the probabilistic loads of a space propulsion system. The knowledge base approach provides a systematic framework of organizing the load information and facilitates the coupling of the numerical processing and symbolic (information) processing. It provides an incremental development environment for building generic probabilistic load models and book keeping the associated load information. A large volume of load data is stored in the data base and can be retrieved and updated by a built-in data base management system. The data base system standardizes the data storage and retrieval procedures. It helps maintain data integrity and avoid data redundancy. The intelligent data base paradigm provides ways to build expert system rules for shallow and deep reasoning and thus provides expert knowledge to help users to obtain the required probabilistic load spectra.

Ho, H.↗
NASA NTRS1992

High level cognitive information processing in neural networks

Two related research efforts were addressed: (1) high-level connectionist cognitive modeling; and (2) local neural circuit modeling. The goals of the first effort were to develop connectionist models of high-level cognitive processes such as problem solving or natural language understanding, and to understand the computational requirements of such models. The goals of the second effort were to develop biologically-realistic model of local neural circuits, and to understand the computational behavior of such models. In keeping with the nature of NASA's Innovative Research Program, all the work conducted under the grant was highly innovative. For instance, the following ideas, all summarized, are contributions to the study of connectionist/neural networks: (1) the temporal-winner-take-all, relative-position encoding, and pattern-similarity association techniques; (2) the importation of logical combinators into connection; (3) the use of analogy-based reasoning as a bridge across the gap between the traditional symbolic paradigm and the connectionist paradigm; and (4) the application of connectionism to the domain of belief representation/reasoning. The work on local neural circuit modeling also departs significantly from the work of related researchers. In particular, its concentration on low-level neural phenomena that could support high-level cognitive processing is unusual within the area of biological local circuit modeling, and also serves to expand the horizons of the artificial neural net field.

Barnden, John A.↗
NASA NTRS1991

MAX - An advanced parallel computer for space applications

MAX is a fault-tolerant multicomputer hardware and software architecture designed to meet the needs of NASA spacecraft systems. It consists of conventional computing modules (computers) connected via a dual network topology. One network is used to transfer data among the computers and between computers and I/O devices. This network's topology is arbitrary. The second network operates as a broadcast medium for operating system synchronization messages and supports the operating system's Byzantine resilience. A fully distributed operating system supports multitasking in an asynchronous event and data driven environment. A large grain dataflow paradigm is used to coordinate the multitasking and provide easy control of concurrency. It is the basis of the system's fault tolerance and allows both static and dynamical location of tasks. Redundant execution of tasks with software voting of results may be specified for critical tasks. The dataflow paradigm also supports simplified software design, test and maintenance. A unique feature is a method for reliably patching code in an executing dataflow application.

Lewis, Blair F.↗
NASA NTRS1993

Activity-induced regulation of myosin isoform distribution - Comparison of two contractile activity programs

This study examined the role of specific types of contractile activity in regulating myosin heavy chain (MHC) isoform expression in rodent soleus. A combination of hindlimb suspension (SN) and two programmed contractile training activity paradigms, either isometric contractile activity (ST-IM) or high-load slowly shortening isovelocity activity, were utilized. Both training paradigms increased muscle mass compared with SN alone. However, only ST-IM resulted in a partial prevention of the suspension-induced decrease in type I MHC. With the use of a fluorescently labeled antibody to type IIa MHC, the distribution of MHCs among fibers was examined immunohistochemically. In SN, the percentage of cells staining positive for type IIa MHC was increased but the staining intensity of the positively staining cells was unchanged compared with control cells. In the ST-IM soleus, the percentage of positively staining fibers was unchanged but the intensity of the positively staining cells was decreased compared with SN values. These results suggest that 1) isometric contractile activity is more effective than isovelocity activity in preventing suspension-induced shifts in soleus MHC distribution and 2) changes associated with both suspension and training occur in only a small number of fibers, with the majority of fibers apparently unresponsive to these interventions.

Diffee, Gary M.↗
NASA NTRS1993

Searching gamma-ray bursts for gravitational lensing echoes - Implications for compact dark matter

The first available 44 gamma-ray bursts (GRBs) detected by the Burst and Transient Source Experiment on board the Compton Gamma-Ray Observatory have been inspected for echo signals following shortly after the main signal. No significant echoes have been found. Echoes would have been expected were the GRBs distant enough and the universe populated with a sufficient density of compact objects composing the dark matter. Constraints on dark matter abundance and GRB redshifts from the present data are presented and discussed. Based on these preliminary results, a universe filled to critical density of compact objects between 10 exp 6.5 and 10 exp 8.1 solar masses are now marginally excluded, or the most likely cosmological distance paradigm for GRBs is not correct. We expect future constraints to be able either to test currently popular cosmological dark matter paradigms or to indicate that GRBs do not lie at cosmological distances.

Nemiroff, R. J.↗
NASA NTRS1993

Intelligent tutoring and aiding in satellite ground control

In supervisory control systems such as satellite ground control, there is a need for human-centered automation where the focus is to understand and enhance the human-system interaction experience in the complex task environment. Operator support in the form of off-line intelligent tutoring and on-line intelligent aiding is one approach towards this effort. The tutor/aid paradigm is proposed here as a design approach that integrates the two aspects of operator support in one system for technically oriented adults in complex domains. This paper also presents GT-VITA, a proof-of-concept graphical, interactive, intelligent tutoring system that is a first attempt to illustrate the tutoring aspect of the tutor/aid paradigm in the domain of satellite ground control. Evaluation on GT-VITA is conducted with NASA personnel with very positive results. GT-VITA is presented being fielded as it is at Goddard Space Flight Center.

Chu, Rose W.↗
NASA NTRS1994

The Personal Software Process: Downscaling the factory

It is argued that the next wave of software process improvement (SPI) activities will be based on a people-centered paradigm. The most promising such paradigm, Watts Humphrey's personal software process (PSP), is summarized and its advantages are listed. The concepts of the PSP are shown also to fit a down-scaled version of Basili's experience factory. The author's data and lessons learned while practicing the PSP are presented along with personal experience, observations, and advice from the perspective of a consultant and teacher for the personal software process.

Roy, Daniel M.↗
NASA NTRS1995

The role of the vestibular system in manual target localization

Astronauts experience perceptual and sensory-motor disturbances during spaceflight and immediately after return to the 1-g environment of Earth. During spaceflight, sensory information from the eyes, limbs and vestibular organs is reinterpreted by the central nervous system so that astronauts can produce appropriate body movements in microgravity. Alterations in sensory-motor function may affect eye-head-hand coordination and, thus, the crewmember's ability to manually locate objects in extrapersonal space. Previous reports have demonstrated that crewmembers have difficulty in estimating joint and limb position and in pointing to memorized target positions on orbit and immediately postflight. One set of internal cues that may assist in the manual localization of objects is information from the vestibular system. This system contributes to our sense of the body's position in space by providing information on head position and movement and the orientation of the body with respect to gravity. Research on the vestibular system has concentrated on its role in oculo-motor control. Little is known about the role that vestibular information plays in manual motor control, such as reaching and pointing movements. Since central interpretation of vestibular information is altered in microgravity, it is important to determine its role in this process. This summer, we determined the importance of vestibular information in a subject's ability to point accurately toward a target in extrapersonal space. Subjects were passively rotated across the earth-vertical axis and then asked to point back to a previously-seen target. In the first paradigm, the subjects used both visual and vestibular cues for the pointing response, while, in the second paradigm, subjects used only vestibular information. Subjects were able to point with 85 percent accuracy to a target using vestibular information alone. We infer from this result that vestibular input plays a role in the spatial programming of manual responses.

Barry, Susan R.↗