Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Computer Systems”

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 1,747 records · Page 97

The development of a CFD potential method for the analysis of tilt-rotors

A new CFD potential code, FPX (eXtended Full-Potential), has been developed for application to both helicopters and tilt-rotors. The code solves the unsteady, three-dimensional full potential equation and is an extension of the rotor code, FPR. Both entropy and viscosity corrections are included to enhance the physical modeling capabilities. A number of efficiency related modifications have yielded a factor of two speed-up in the code. An axial flow capability has been added to treat tilt-rotor in forward flight (cruise mode). In order to employ streamwise periodicity and accurately solve for the propagation of acoustic signals in the tip region, an H-H topology has been added to the basic O-H grid system. Computations are performed for the XV-15 Standard and ATB blades at high-speed conditions. Comparisons are made for the blade aerodynamics and the induced fuselage cabin pressure for a range of Mach numbers. Grid generation, wake treatment, and far-field wall treatment are identified as problem areas with recommendations for future research.

Bridgeman, John O.↗

Integrated multidisciplinary analysis of segmented reflector telescopes

The present multidisciplinary telescope-analysis approach, which encompasses thermal, structural, control and optical considerations, is illustrated for the case of an IR telescope in LEO; attention is given to end-to-end evaluations of the effects of mechanical disturbances and thermal gradients in measures of optical performance. Both geometric ray-tracing and surface-to-surface diffraction approximations are used in the telescope's optical model. Also noted is the role played by NASA-JPL's Integrated Modeling of Advanced Optical Systems computation tool, in view of numerical samples.

Briggs, Hugh C.↗

A performance assessment of a byzantine resilient fault-tolerant computer

This report presents the results of a performance analysis of a quad-redundant Fault-Tolerant Processor (FTP). The FTP is a computing system specifically designed for applications where very high reliability is required. Examples of such applications are flight control systems, nuclear power systems, and spacecraft control systems. The FTP performance was analyzed in a hierarchical manner encompassing the hardware, the operating system, and the application. At the hardware level, the hardware organization and design was assessed in relation to system throughput and response. Analysis at the operating system level revealed that the scheduler took only 3.2 percent of each 40ms frame, while the redundancy management software took 10.4 percent. The application level performance was analyzed via a synthetic workload and a representative flight control model. The estimated throughput for this application was found to be 317.6 KIPS if not exercising the voter. Exercising the voter to ensure fault tolerance will diminish this number linearly as the number of votes is increased. This performance analysis method was proven effective by uncovering undesirable behavior and anomalies in the FTP system.

Young, Steven D.↗

Site partitioning for distributed redundant disk arrays

Distributed redundant disk arrays can be used in a distributed computing system or database system to provide recovery in the presence of temporary and permanent failures of single sites. In this paper, we look at the problem of partitioning the sites into redundant arrays in such way that the communication costs for maintaining the parity information are minimized. We show that the partitioning problem is NP-complete and we propose two heuristic algorithms for finding approximate solutions.

Mourad, Antoine N.↗

Displacement analysis of the interior walls of a pipe using panoramic holo-interferometry

Standard phase-displacement equations, used for both double exposure and real time holo-interferometry, are combined with the geometrical mapping and optical characteristics of panoramic annular lenses to accurately measure surface displacement on the interior wall of a pipe. In this approach, one panoramic annular lens is used to illuminate the surface with coherent light, and the resulting intensity distribution is holographically recorded through a second panoramic annular lens. Interference fringes are obtained in real-time by comparing holograms recorded before and after the pipe is displaced. The annular images and the holographic fringes are acquired and stored digitally in a computer system. Image transformation algorithms are applied to remove optical distortions in the holographic pattern and fringe loci are compared to those predicted on the basis of theory.

Gilbert, John A.↗

Measurement and calibration of static distortion of position data from 3D trackers

Three-dimensional trackers are becoming increasingly important as user inputs in interactive computer systems. These trackers output the three-dimensional position, and often the orientation, of a sensor in space. The three-dimensional tracking is often, however, highly distorted and inaccurate. The purpose of this paper is to discuss methods for the measurement and characterization of the static distortion of the position data. When the distortion is constant, various methods can be used to calibrate the data from the tracker to increase accuracy. Several preliminary methods are discussed in this paper, including polynomial and weighted lookup methods. The measurement and calibration methods are applied to the Polhemus electromagnetic tracking system, but are applicable to tracking systems based on other technologies.

Bryson, Steve↗

Program Trains NASTRAN Users

Rockwell Environment and NASTRAN Trainer (RENT) computer program developed to assist new and current users of NASTRAN finite-element computer code. Provides organized, systematic collection of IBM(R) features consisting of panels, clists, skeletons, and messages, along with FORTRAN and Pascal programs and example NASTRAN data files. Enables each user to learn at his or her own pace. Written in VS/FORTRAN, VS/ Pascal, and IBM(R) job-control language for an IBM(R) computer system.

Grooms, H. R.↗

MATH77, Version 4.0

MATH77 is high-quality library of ANSI FORTRAN 77 subprograms implementing contemporary algorithms for basic computational processes of science and engineering. Release 4.0 of MATH77 contains 454 user-callable and 136 lower-level subprograms. MATH77 release 4.0 subroutine library designed to be usable on any computer system supporting full ANSI standard FORTRAN 77 language.

Lawson, Charles L.↗

Dual-Arm Generalized Compliant Motion With Shared Control

Dual-Arm Generalized Compliant Motion (DAGCM) primitive computer program implementing improved unified control scheme for two manipulator arms cooperating in task in which both grasp same object. Provides capabilities for autonomous, teleoperation, and shared control of two robot arms. Unifies cooperative dual-arm control with multi-sensor-based task control and makes complete task-control capability available to higher-level task-planning computer system via large set of input parameters used to describe desired force and position trajectories followed by manipulator arms. Some concepts discussed in "A Generalized-Compliant-Motion Primitive" (NPO-18134).

Backes, Paul G.↗

Myths and realities: Defining re-engineering for a large organization

This paper describes the background and results of three studies concerning software reverse engineering, re-engineering, and reuse (R3) hosted by the Internal Revenue Service in 1991 and 1992. The situation at the Internal Revenue--aging, piecemeal computer systems and outdated technology maintained by a large staff--is familiar to many institutions, especially among management information systems. The IRS is distinctive for the sheer magnitude and diversity of its problems; the country's tax records are processed using assembly language and COBOL and spread across tape and network DBMS files. How do we proceed with replacing legacy systems? The three software re-engineering studies looked at methods, CASE tool support, and performed a prototype project using re-engineering methods and tools. During the course of these projects, we discovered critical issues broader than the mechanical definitions of methods and tool technology.

Yin, Sandra↗

Neurophysiological study on visuo-vestibular control of posture and movement in fish during adaptation to weightlessness

We can stand upright and walk smoothly without paying any particular attention to it. This is because we have established in ourselves an integration center that controls our body subconsciously in response to input from eyes, muscles, joints, foot soles, and also from the gravity sensor in the inner ear (the otolith organ). It has been shown that the cerebellum plays an important role for the establishment of the integration center and that the control pattern is comparable to that of a highly sophisticated computer system. The programming for the control, however, may well be acquired for the 1-g ground condition and does not cover the 0-g in space. Although each of the above organs function as it does on the ground, the signal pattern sent to the center must be different under 0-g and, in addition, complementary signals from the otolith organ are missing, leading to confusion in the integration center and causing a variety of symptoms similar to those of car-sickness or sea-sickness. After exposure to microgravity an immediate process of re-programming will begin and be completed in 2-4 days. There is strong supporting evidence for this sensory conflict theory as an explanation for space motion sickness (SMS) episodes. Fish were selected as test organisms for this investigation because they swim around freely in three dimensions and have well-developed organs for vision and gravity detection. They also have an innate nature to orient their back toward a light source. Actually, on the ground, the fish tilts its vertical axis toward the light when illuminated laterally, and the tilt angle is a function of the intensity of light and the magnitude of gravity, while its posture is completely light-dependent in the low-gravity environment produced by aircraft parabolic flight or when the otolith organs are removed. This implies that fish posture is entirely under visual and otolithic control. In this case, the cerebellum will also contribute to the control. In the space shuttle experiment, two fish (one with otolith-removed and the other with intact otoliths) are onboard for 7 days. The arrangement of the experiment is shown. Lamps illuminate each fish alternately from different directions at a duration of 20 seconds for 10 minutes totally, twice a day. The video images and the brain waves from the cerebellum are analyzed later. If the sensory conflict theory is acceptable, then the confusion at the onset and the following recovery process will be manifested both in the light-dependent behavior and also in the cerebellar activity. In addition, there should be some variation in response between the two fish. Even if the results are positive in the present fish experiment, they would not be extensive enough to allow us to understand the complete mechanisms of SMS. However, what is currently needed is a collection of evidence based on animal experiments on which to base future investigations. Countermeasures for SMS are mandatory since SMS-induced vomiting occurring within a space suit could be fatal for a crew member during extravehicular activities. We expect that countermeasures will be developed before the space station era starts, and that the results of these studies will be applied to improving human welfare.

Mori, Shigeo↗

Reactive system verification case study: Fault-tolerant transputer communication

A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.

Crane, D. Francis↗

General Monte Carlo reliability simulation code including common mode failures and HARP fault/error-handling

A Monte Carlo Fortran computer program was developed that uses two variance reduction techniques for computing system reliability applicable to solving very large highly reliable fault-tolerant systems. The program is consistent with the hybrid automated reliability predictor (HARP) code which employs behavioral decomposition and complex fault-error handling models. This new capability is called MC-HARP which efficiently solves reliability models with non-constant failures rates (Weibull). Common mode failure modeling is also a specialty.

Platt, M. E.↗

Neural network for processing both spatial and temporal data with time based back-propagation

Neural networks are computing systems modeled after the paradigm of the biological brain. For years, researchers using various forms of neural networks have attempted to model the brain's information processing and decision-making capabilities. Neural network algorithms have impressively demonstrated the capability of modeling spatial information. On the other hand, the application of parallel distributed models to the processing of temporal data has been severely restricted. The invention introduces a novel technique which adds the dimension of time to the well known back-propagation neural network algorithm. In the space-time neural network disclosed herein, the synaptic weights between two artificial neurons (processing elements) are replaced with an adaptable-adjustable filter. Instead of a single synaptic weight, the invention provides a plurality of weights representing not only association, but also temporal dependencies. In this case, the synaptic weights are the coefficients to the adaptable digital filters. Novelty is believed to lie in the disclosure of a processing element and a network of the processing elements which are capable of processing temporal as well as spacial data.

Villarreal, James A.↗

Towards the formal verification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the Higher-Order Logic (HOL) listings of the partial verification of the requirements and design for a commercially developed processor interface unit (PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault tolerant computer system. This system, the Fault Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU verification as it currently exists. Section two of this report contains general-purpose HOL theories and definitions that support the PIU verification. These include arithmetic theories dealing with inequalities and associativity, and a collection of tactics used in the PIU proofs. Section three contains the HOL listings for the completed PIU design verification. Section 4 contains the HOL listings for the partial requirements verification of the P-Port.

Fura, David A.↗

Atmospheric numerical modeling resource enhancement and model convective parameterization/scale interaction studies

Research will be undertaken in this contract in the area of Modeling Resource and Facilities Enhancement to include computer, technical and educational support to NASA investigators to facilitate model implementation, execution and analysis of output; to provide facilities linking USRA and the NASA/EADS Computer System as well as resident work stations in ESAD; and to provide a centralized location for documentation, archival and dissemination of modeling information pertaining to NASA's program. Additional research will be undertaken in the area of Numerical Model Scale Interaction/Convective Parameterization Studies to include implementation of the comparison of cloud and rain systems and convective-scale processes between the model simulations and what was observed; and to incorporate the findings of these and related research findings in at least two refereed journal articles.

Cushman, Paula P.↗

Towards the formal specification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the HOL listings of the specification of the design and major portions of the requirements for a commercially developed processor interface unit (or PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU specification as it currently exists. Section two of this report contains general-purpose HOL theories that support the PIU specification. These theories include definitions for the hardware components used in the PIU, our implementation of bit words, and our implementation of temporal logic. Section three contains the HOL listings for the PIU design specification. Aside from the PIU internal bus (I-Bus), this specification is complete. Section four contains the HOL listings for a major portion of the PIU requirements specification. Specifically, it contains most of the definition for the PIU behavior associated with memory accesses initiated by the local processor.

Fura, David A.↗

Multimission image processing and science data visualization

The Operational Science Analysis (OSA) Functional area supports science instrument data display, analysis, visualization and photo processing in support of flight operations of planetary spacecraft managed by the Jet Propulsion Laboratory (JPL). This paper describes the data products generated by the OSA functional area, and the current computer system used to generate these data products. The objectives on a system upgrade now in process are described. The design approach to development of the new system are reviewed, including use of the Unix operating system and X-Window display standards to provide platform independence, portability, and modularity within the new system, is reviewed. The new system should provide a modular and scaleable capability supporting a variety of future missions at JPL.

Green, William B.↗