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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 109 records · Page 6

All sources NASA NTRS DOE OSTI

NASA NTRS1987

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.↗

NASA NTRS1973

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.↗

NASA NTRS1998

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↗

NASA NTRS1986

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.↗

NASA NTRS1979

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.↗

NASA NTRS1995

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↗

NASA NTRS1986

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.↗

NASA NTRS1984

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.↗

NASA NTRS1985

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

Lyzenga, G. A.↗

NASA NTRS1984

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.↗

NASA NTRSDate not supplied

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↗

NASA NTRS1998

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↗

NASA NTRS1993

Opportunity for early science return by the Artemis Program

The purpose of the Artemis Program is to gather vital scientific and engineering data by conducting robotic exploration missions on the lunar surface both prior to and concurrent with human missions. The Artemis Program includes rapid, near-term development of a variety of small experimental and operational payloads, a low-cost capacity to deliver these payloads to any location on the lunar surface, and the analysis of the data returned. The Artemis Program will provide opportunities to improve the understanding of lunar geosciences, to demonstrate the Moon's unique capacity as an astronomical platform to study the universe, to conduct scientific and technology development experiments, and to prepare for and complement human missions.

Meyer, Charles↗

NASA NTRS2007

Development of a Deployable Nonmetallic Boom for Reconfigurable Systems of Small Spacecraft

In 2005, NASA commenced Phase 1 of the Modular Reconfigurable High Energy Technology Demonstrator (MRHE) program to investigate reconfigurable systems of small spacecraft. During that year, Lockheed Martin's Advanced Technology Center (ATC) led an accelerated effort to develop a 1-g MRHE concept demonstration featuring robotic spacecraft simulators equipped with docking mechanisms and deployable booms. The deployable boom built for MRHE was the result of a joint effort in which ATK was primarily responsible for developing and fabricating the Collapsible Rollable Tube (CRT patent pending) boom while Lockheed Martin designed and built the motorized Boom Deployment Mechanism (BDM) under a concurrent but separate IR&D program. Tight coordination was necessary to meet testbed integration and functionality requirements. This paper provides an overview of the CRT boom and BDM designs and presents preliminary results of integration and testing to support the MRHE demonstration.

Rehnmark, Fredrik↗

NASA NTRS1993

Utilization of CAD/CAE for concurrent design of structural aircraft components

The feasibility of installing the Stratospheric Observatory for Infrared Astronomy telescope (named SOFIA) into an aircraft for NASA astronomy studies is investigated using CAD/CAE equipment to either design or supply data for every facet of design engineering. The aircraft selected for the platform was a Boeing 747, chosen on the basis of its ability to meet the flight profiles required for the given mission and payload. CAD models of the fuselage of two of the aircraft models studied (747-200 and 747 SP) were developed, and models for the component parts of the telescope and subsystems were developed by the various concurrent engineering groups of the SOFIA program, to determine the requirements for the cavity opening and for design configuration. It is noted that, by developing a plan to use CAD/CAE for concurrent engineering at the beginning of the study, it was possible to produce results in about two-thirds of the time required using traditional methods.

Kahn, William C.↗

DOE OSTI2024

Enabling Capabilities and Resources: 2024 Principal Investigator Meeting Proceedings

As a major supporter of basic genome-enabled research, BER’s Biological Systems Science Division (BSSD) fosters scientific discovery by funding - fundamental biological research across disciplines in conjunction with enabling investigational tools and computational capabilities that include world-class user facilities. The overarching goal of BSSD is to provide the necessary fundamental science to understand, predict, manipulate, and design biological systems that underpin innovations for bioenergy and bioproduct production and enhance understanding of natural, DOE-relevant environmental processes (Biological Systems Science Division Strategic Plan, 2021). To accelerate the U.S. bioeconomy, BSSD pursues innovative science underpinning advances in sustainable biofuels and bioproducts and the development of next-generation technologies and computational resources for systems biology research. The 2024 BSSD Enabling Capabilities and Resources (ECR) Principal Investigator (PI) meeting brought together PIs across the BSSD ECR portfolio to confer on shared interests and opportunities. The meeting was held concurrently with the Genomic Science program (GSP) PI meeting to optimize collaboration on research to advance bioenergy and the bioeconomy. Rick Stevens of Argonne National Laboratory gave a keynote on How Generative Artificial Intelligence Can Impact Biological Research (see Keynote: How Generative Artificial Intelligence Can Impact Biological Research, this page). Plenary presentations included several joint sessions that illuminated the integration and understanding of the larger BSSD mission. GSP’s objective is to provide systems-level understanding of plants, microbes, and their communities through its Bioenergy Research, Biosystems Design, and Environmental Microbiome Research portfolios. The objective of the ECR portfolio is to support development of computational and instrumental platforms to advance fundamental GSP research—and BER more broadly— toward the overall goal of understanding the functional principles of living systems and their response to environmental challenges.

59 BASIC BIOLOGICAL SCIENCES↗

NASA NTRS1984

Summary of progress at the Poker Flat Observatory in Alaska

A description of the status of the Poker Flat MST Radar as of early 1983 is included in the 1983 mesosphere-stratosphere-troposphere MST Workshop Proceedings. The Observatory continues to operate in a continuous data-taking mode, except for a three-week planned campaign experiment concurrent with the STATE rocket program during June 1983. Construction of the digital preprocessing system mentioned in the last status report is all but complete. This additional improvement should be operational by late summer. The possibility of steering the array also mentioned in the last status report is being investigated. A project is underway to electronically steer the one-quarter vertical section of the array. Steering will be in finite steps within about + or - 5 deg of vertical. Successful testing of this modification may lead to eventually steering the entire array in this manner. Data analysis of the data base (now more than four years in length) continues with well over one dozen extramural scientific groups participating.

Balsley, B. B.↗

NASA NTRS1989

Transputer parallel processing at NASA Lewis Research Center

The transputer parallel processing lab at NASA Lewis Research Center (LeRC) consists of 69 processors (transputers) that can be connected into various networks for use in general purpose concurrent processing applications. The main goal of the lab is to develop concurrent scientific and engineering application programs that will take advantage of the computational speed increases available on a parallel processor over the traditional sequential processor. Current research involves the development of basic programming tools. These tools will help standardize program interfaces to specific hardware by providing a set of common libraries for applications programmers. The thrust of the current effort is in developing a set of tools for graphics rendering/animation. The applications programmer currently has two options for on-screen plotting. One option can be used for static graphics displays and the other can be used for animated motion. The option for static display involves the use of 2-D graphics primitives that can be called from within an application program. These routines perform the standard 2-D geometric graphics operations in real-coordinate space as well as allowing multiple windows on a single screen.

Ellis, Graham K.↗