Search NASA⌕ Search

SEARCH · Search NASA

Results for “concurrency programming”

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 109 records · Page 6

A software toolbox for robotics

A system of programs was developed to simulate the concurrent command/response interaction between a parallel jaw end effector and the LISP program controlling it. The overall structure of the simulation system was described in a paper submitted to the IEEE Conference on Automation and Robotics. A user's guide for the system was written. A line numbering program on the VAX (Pascal), a program for aiding in file transfer from the VAX to an LSI11 over the RTNET (FORTRAN), and a file scanning program (a crude SCAN) for the LSI11 (FORTRAN) were also developed.

Bynum, W. L.↗

A transputer based finite element solver

The feasibility of performing FEM structural-mechanics analyses on transputer systems is investigated experimentally. Transputers are programmable microprocessors equipped with local memory and point-to-point communication links; they can be joined in a large concurrent system via a programming language which supports distributed processing; this permits parallel processing at relatively low hardware cost. The computational tasks required by FEM programs are reviewed; the hardware (one PC, one master transputer, and 12 slave transputers) employed in the test calculations is described; and results demonstrating the speed and efficiency of the transputer array in assembling a global stiffness matrix and performing Gauss-Jordan matrix inversion are presented in graphs. It is predicted that larger transputer networks could approach the power of supercomputers at minicomputer costs.

Favenesi, J. A.↗

Decision Support Systems for Research and Management in Advanced Life Support

Decision support systems have been implemented in many applications including strategic planning for battlefield scenarios, corporate decision making for business planning, production planning and control systems, and recommendation generators like those on Amazon.com(Registered TradeMark). Such tools are reviewed for developing a similar tool for NASA's ALS Program. DSS are considered concurrently with the development of the OPIS system, a database designed for chronicling of research and development in ALS. By utilizing the OPIS database, it is anticipated that decision support can be provided to increase the quality of decisions by ALS managers and researchers.

Rodriquez, Luis F.↗

Lander Lighting Solution to Reduce Pilot & Autonomous Approach Errors

The south pole lighting environment will have harsh low inclination sunlight, making overhead judgement of surface features difficult. Autonomous solutions are great, however, the need for visual monitoring and independent go/no-go decisions remain. Our project proposes that lunar landing systems will be better served by including a powerful landing light system that improves visibility of surfaces from overhead by illuminating the ground at critical distances for the crew to make last minute decisions regarding an approach. The project utilized computer-based optical modeling software to predict requirements for a potential landing light system. The analysis based the lamp prediction from commercially available LED chip sets and lamp optics. The goal was to illustrate a method to raise the surface contrast of a landing site within an acceptable contrast threshold for most camera systems and human observers to recognize hazards that would not be noticed with low inclination sunlight alone. The Apollo lunar landings benefitted from overhead sun or dark conditions. The surface lighting at the Lunar South Pole is a harsh environment where surfaces are lit from a low inclination angle by the sun (from the side). This change in lighting condition precipitates a need for updated lunar landing systems that facilitate improved recognition of landing sites, and thereby increase pilot awareness of landing hazards. The reliance on LIDAR and other autonomous mechanisms alone is risky given the known usage of visual monitoring for operator concurrence on current spacecraft programs and present-day autonomous land-based vehicles. Visual monitoring via cameras or windows requires the surface contrast to be within 3 orders of magnitude for reasonable recognition of objects. Artificial overhead illumination, when sufficiently sized, provides a means to even out contrast problems created by low inclination sunlight, potentially reducing piloting errors. Current vehicle requirements do not specify this type of guidance for the purpose of increasing mission success. An optical ray-trace simulation model was developed in Zemax Optics Studio to predict the best combination of LED power, LED optics, lamp quantity, and lamp location to raise the surface contrast to within 2 orders of magnitude from 3 orders required to further increased visibility and reduce risk. The project considered the following design constraints: potential base diameter of lander, approach distance(s) for a go-no-go decision point (200 meter), solar inclination angle (2-7), lunar surface reflectance (10%), LED chip sets, LED focusing optics, LED power, lamp quantity, lamp locations, and illumination diameter of lunar surface landing zone. The results can be used to establish minimum design constraints for vehicle landing light systems. With a solar inclination angle ranging from 2-7 degrees, the horizontal illumination of the lunar surface is attenuated by about 10% when compared to overhead illumination from the Sun. This modifies the sun's maximum of 130,000 lux to 13,000 lux horizontal illuminance. The artificial lighting system was designed to provide an 18-meter-wide illumination zone, to create viewing clearances around a 6-meter-wide lander. The system provides an average illuminance of 300 lux, meeting the 2 orders of magnitude criteria. The solution utilized modern Chip On Board LEDs, that each utilized 17 watts, with focusing Total Internal Reflection (TIR) lenses. A lighting system of 300 LEDs was arrayed along the "bottom" of a “lander”. With 17 watts per LED, the system is estimated to require 5100 watts. This is a large amount of power, but it would only be needed during critical phases during the landing. LED lighting systems can be dimmed, and it is assumed that as the lander arrives closer to the landing site, the lighting system power can be adjusted as needed to produce the necessary surface illuminance. The designed reduction of contrast improves reliability of safety assessments using real time visible light camera systems and out the window viewing by the crew.

T A Clark↗

Utilizing multimodal high-intensity interval training for a firefighter training academy during the COVID-19 pandemic

Firefighters typically undergo a 16–24-week training academy during which they perform a variety of traditional exercise programs such as cardiovascular, resistance, and concurrent training. Because of limited facility access, some fire departments seek alternative exercise programs, such as multimodal high-intensity interval training (MM-HIIT), which essentially combines resistance and interval training. Here, the primary purpose of this study was to assess the effect of MM-HIIT on body composition and physical fitness in firefighter recruits who completed a training academy during the coronavirus (COVID-19) pandemic. A secondary purpose was to compare the effects of MM-HIIT to previous training academies that implemented traditional exercise programs. Healthy and recreationally-trained recruits (n=12) participated in 2-3 days/week of MM-HIIT for 12 weeks and had several components of body composition and physical fitness measured before and after the program. Because of COVID-19-related gym closures, all MM-HIIT sessions were performed outdoors at a fire station with minimal equipment. These data were retroactively compared to a control group (CG) that previously completed training academies with traditional exercise programs. Subjects in the MM-HIIT group significantly improved several components of body composition and fitness, including fat mass, fat-free mass, body fat percentage, aerobic capacity, and muscular endurance (p < 0.005). Moreover, there were no significant differences for any dependent variable when MM-HIIT was compared to the CG (p≥0.005). These results suggest that MM-HIIT may serve as an effective substitute for traditional concurrent training paradigms that are typically used for firefighter academies.

60 APPLIED LIFE SCIENCES↗

Command/response protocols and concurrent software

A version of the program to control the parallel jaw gripper is documented. The parallel jaw end-effector hardware and the Intel 8031 processor that is used to control the end-effector are briefly described. A general overview of the controller program is given and a complete description of the program's structure and design are contained. There are three appendices: a memory map of the on-chip RAM, a cross-reference listing of the self-scheduling routines, and a summary of the top-level and monitor commands.

Bynum, W. L.↗

Microbiological sampling of spacecraft cabling, antennas, solar panels and thermal blankets

Sampling procedures and techniques described resulted from various flight project microbiological monitoring programs of unmanned planetary spacecraft. Concurrent with development of these procedures, compatibility evaluations were effected with the cognizant spacecraft subsystem engineers to assure that degradation factors would not be induced during the monitoring program. Of significance were those areas of the spacecraft configuration for which special handling precautions and/or nonstandard sample gathering techniques were evolved. These spacecraft component areas were: cabling, high gain antenna, solar panels, and thermal blankets. The compilation of these techniques provides a historical reference for both the qualification and quantification of sampling parameters as applied to the Mariner Spacecraft of the late 1960's and early 1970's.

Koukol, R. C.↗

Proceedings of the Seventh International Space University Alumni Conference

The Seventh Alumni Conference of the International Space University, coordinated by the ISU U.S. Alumni Organization (IUSAO), was held at Cleveland State University in Cleveland, Ohio on Friday, July 24, 1998. These proceedings are a record of the presentations. The following topics are included: Remote sensing education in developing countries; Integrated global observing strategy; NASA's current earth science program; Europe's lunar initiative; Lunarsat: Searching for the South Polar cold traps; Asteroid hazards; ESA exobiological activities; Space testbed for photovoltaics; Teledesic Space infrastructure; Space instrument's concurrent design; NASA advanced fuel program; Mission preparation and training for the European Robotic Arm (ERA); and Global access to remote sensing systems.

Bailey, Sheila↗

A rigorous approach to self-checking programming

Self-checking programming is shown to be an effective concurrent error detection technique. The reliability of a self-checking program however relies on the quality of its assertion statements. A self-checking program written without formal guidelines could provide a poor coverage of the errors. A constructive technique for self-checking programming is presented. A Structured Program Design Language (SPDL) suitable for self-checking software development is defined. A set of formal rules, was also developed, that allows the transfromation of SPDL designs into self-checking designs to be done in a systematic manner.

Hua, Kien A.↗

Design of a verifiable subset for HAL/S

An attempt to evaluate the applicability of program verification techniques to the existing programming language, HAL/S is discussed. HAL/S is a general purpose high level language designed to accommodate the software needs of the NASA Space Shuttle project. A diversity of features for scientific computing, concurrent and real-time programming, and error handling are discussed. The criteria by which features were evaluated for inclusion into the verifiable subset are described. Individual features of HAL/S with respect to these criteria are examined and justification for the omission of various features from the subset is provided. Conclusions drawn from the research are presented along with recommendations made for the use of HAL/S with respect to the area of program verification.

Browne, J. C.↗

Apparel Manufacture

Marshall Space Flight Center teamed with the University of Alabama in Huntsville (UAH) in 1989 on a program involving development of advanced simulation software. Concurrently, the State of Alabama chartered UAH to conduct a technology advancement program in support of the state's apparel manufacturers. In 1992, under contract to Marshall, UAH developed an apparel-specific software package that allows manufacturers to design and analyze modules without making an actual investment -- it functions on ordinary PC equipment. By 1995, Marshall had responded to requests for the package from more than 400 companies in 36 states; some of which reported savings up to $2 million. The National Garment Company of Missouri, for example, uses the system to design and balance a modular line before committing to expensive hardware; for setting up sewing lines; and for determining the composition of a new team.

Source record↗

A survey of functional programming language principles

Research in the area of functional programming languages has intensified in the 8 years since John Backus' Turing Award Lecture on the topic was published. The purpose of this paper is to present a survey of the ideas of functional programming languages. The paper assumes the reader is comfortable with mathematics and has knowledge of the basic principles of traditional programming languages, but does not assume any prior knowledge of the ideas of functional languages. A simple functional language is defined and used to illustrate the basic ideas. Topics discussed include the reasons for developing functional languages, methods of expressing concurrency, the algebra of functional programming languages, program transformation techniques, and implementations of functional languages. Existing functional languages are also mentioned. The paper concludes with the author's opinions as to the future of functional languages. An annotated bibliography on the subject is also included.

Holloway, C. M.↗

Finite elements and the method of conjugate gradients on a concurrent processor

An algorithm for the iterative solution of finite element problems on a concurrent processor is presented. The method of conjugate gradients is used to solve the system of matrix equations, which is distributed among the processors of a MIMD computer according to an element-based spatial decomposition. This algorithm is implemented in a two-dimensional elastostatics program on the Caltech Hypercube concurrent processor. The results of tests on up to 32 processors show nearly linear concurrent speedup, with efficiencies over 90% for sufficiently large problems.

Lyzenga, G. A.↗

Finite elements and the method of conjugate gradients on a concurrent processor

An algorithm for the iterative solution of finite element problems on a concurrent processor is presented. The method of conjugate gradients is used to solve the system of matrix equations, which is distributed among the processors of a MIMD computer according to an element-based spatial decomposition. This algorithm is implemented in a two-dimensional elastostatics program on the Caltech Hypercube concurrent processor. The results of tests on up to 32 processors show nearly linear concurrent speedup, with efficiencies over 90 percent for sufficiently large problems.

Lyzenga, G. A.↗

Software modifications to the Demonstration Advanced Avionics Systems (DAAS)

Critical information required for the design of integrated avionics suitable for generation aviation is applied towards software modifications for the Demonstration Advanced Avionics System (DAAS). The program emphasizes the use of data busing, distributed microprocessors, shared electronic displays and data entry devices, and improved functional capability. A demonstration advanced avionics system (DAAS) is designed, built, and flight tested in a Cessna 402, twin engine, general aviation aircraft. Software modifications are made to DAAS at Ames concurrent with the flight test program. The changes are the result of the experience obtained with the system at Ames, and the comments of the pilots who evaluated the system.

Nedell, B. F.↗

MESA: Scalable Runtime Verification Tool Using Actors

This work presents our runtime verification approach implemented by the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in linear temporal logic and finite state machines.We employ the actor programing model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper also presents a case study where MESA is used to monitor flights in National Airspace System of United States using live air traffic data stream. The case study which motivated this work in the first place shows that our approach is effective.We also perform empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing.This paper describes our experiments, evaluates our results,and discusses challenges faced during the study. The evaluation shows our approach is scalable.

runtime verification, concurrency, actor programin↗

Taking the Heat Off Thermal Loads

Under an SBIR (Small Business Innovative Research) contract with Goddard Space Flight Center, (NAS5-32730), Frederick A. Costello, Inc., has developed a low cost computer program for integrating thermal modeling with other engineering disciplines. TCON(tm) Concurrent Engineering Software enables graphical user-interface programs to create three dimensional models. This technology reduces time, and facilitates accuracy while performing these applications. TCON(tm) has been sold to NASA and major US industries.

Source record↗

Analysis and Design of Ex-Service Garter Spring Irradiation Capsules in the High Flux Isotope Reactor

Nickel-based super alloys such as Inconel X-750 are used to fabricate internal components for various reactor systems. Recent efforts to research and understand the effects of long-term neutron radiation damage on this material are crucial for quantifying the performance (radiation-induced creep and embrittlement) of such materials under extended use. The CANDU® ex-service garter spring irradiation program was instituted to investigate such effects on various types of Inconel X-750 garter springs, tensile specimens, and fatigue specimens. Conventional irradiation programs use rabbits, which are capsules that are generally loaded with non radioactive irradiation specimens. These rabbits are designed to realize various specimen temperatures while irradiated to high neutron fluences in the Oak Ridge National Laboratory (ORNL) High Flux Isotope Reactor (HFIR). To accelerate the irradiation schedule of this program, two types of material — unirradiated and previously irradiated ex-service garter spring material — were both included in the irradiation program test matrix. These two material conditions are expected to provide intermediate and end-of-life neutron dose experimental results concurrently to accelerate the overall irradiation program schedule. This document describes the B8J18 garter spring design and the supporting work required to successfully fabricate, assemble, and qualify subsequent irradiation capsules.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗