Search NASA⌕ Search

SEARCH · Search NASA

Results for “concurrency”

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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Spot: A Programming Language for Verified Flight Software

The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.

validation↗
NASA NTRS1962

VISUAL CONTROL OF RENDEZVOUS

Space rendezvous involving human occupants will be required in many phases of space flight. In order that rendezvous capability be concurrent with other phases of manned space flight to insure that such tasks as the rotation and addition of crews for manned space station, supply of stations and launching complexes for deep-space probes, and the emergency rescue of personnel may be carried out, it is desirable to determine the ability of a human pilot to control the rendezvous maneuver. The National Aeronautics and Space Administration has conducted a study program to determine vehicle requirements and control techniques for a number of proposed methods for performing piloted space rendezvous. The final step in each phase of the rendezvous study program has been a simulation of the man-machine combination to test its feasibility. Initially, an analytical study was conducted to determine a range of conditions that would exist at the beginning of the terminal phase of rendezvous (ref. 1). Piloted systems were investigated for rendezvous control using these initial conditions. One such study of piloted rendezvous in which all the required control information was displayed to the simulator pilot on instruments is presented in reference 2. While the control of the rendezvous maneuver by use of the instrument display was shown to be feasible, the sufficiently accurate measurement of the necessary information to operate the instrument was realized to be a difficult problem. Consideration was therefore given to the possibility of maneuvering range and range rate required for the control of the rendezvous from visual sightings made during the initial control application. To provide this capability, an analytical study was made. This analytical study, presented in reference 3, derived three techniques for obtaining range and range rate visually and conducted a simplified preliminary situation to test the three analytical techniques. The study reported herein is a continuation of the simulation work begun in reference 3, and is aimed at determining the ability of a pilot to use visual information to reduce or eliminate the need for some or all of the data that would normally be displayed on instruments.

Rendezvous↗
NASA NTRS1962

Dyna-Soar Bioastronautics

Dyna-Soar is a manned boost-orbit-glide vehicle. Conventional booster and guidance systems will place the glider on a course at the proper altitude and velocity with the resultant energy to accomplish the planned mission. After boost termination, the pilot verifies the course during orbit and controls the flight path during reentry, approach, and landing. The flight profiles and over-all flight regime for the Dyna-Soar's single-orbit mission will impose no new or extreme environmental hazards on the pilot. '!he environmental parameters of a normal space flight will not expose the pilot to stress magnitudes as great as pilots have experienced in the Mercury flights. Under presently planned flights, the pilot should be in an environment that is well within known human tolerances. We will present the calculated environmental stress to be imposed on the pilot in both normal and emergency conditions and the design techniques .developed to provide a cockpit that will keep the pilot well within his tolerance limits. The various primary environmental parameters will be discussed separately. The solution for each parameter will be discussed in a concurrent manner. No significance is attached to the order in which the specific parameters of the environment are considered.

Spacecraft↗
NASA NTRS1964

Biomedical and Human Factors Requirements for a Manned Earth Orbiting Station

The primary objective of this study is to determine which biomedical and human factors measurements must be made aboard a space station to assure adequate evaluation of the astronaut's health and performance during prolonged space flights. The study has employed, where possible, a medical and engineering systems analysis to define the pertinent life sciences and space station design parameters and their influence on a measurement program. The major areas requiring evaluation in meeting the study objectives include a definition of the space environment, man's response to the environment, selection of measurement and data management techniques, experimental program, space station design requirements, and a trade-off analysis with final recommendations. The space environment factors that are believed to have a significant effect on man were evaluated. This includes those factors characteristic of the space environment (e. g. weightlessness, radiation) as well as those created within the space station (e. g. toxic contaminants, capsule atmosphere). After establishing the general features of the environment, an appraisal was made of the anticipated response of the astronaut to each of these factors. For thoroughness, the major organ systems and functions of the body were delineated, and a determination was made of their anticipated response to each of the environmental categories. A judgment was then made on the medical significance or importance of each response, which enabled a determination of which physiological and psychological effects should be monitored. Concurrently, an extensive list of measurement techniques and methods of data management was evaluated for applicability to the space station program. The various space station configurations and design parameters were defined in terms of the biomedical and human factors requirements to provide the measurements program. Research design of experimental programs for various station configurations, mission durations, and crew sizes were prepared, and, finally, a trade-off analysis of the critical variables in the station planning was completed with recommendations to enhance the confidence in the measurement program.

EARTH ORBIT↗
NASA NTRS1970

Precision control system for engine fuel

System controls two or more pneumatically operated metering valves from common pneumatic source without interaction between valve controls. Unit affords independent metering of liquid from single source to two concurrent applications. Calibration and testing demonstrate complete absence of interaction between valves and corresponding flow rates.

Hawkins, D. E.↗
NASA NTRS1968

Apollo Program Management, Kennedy Space Center, Florida

The evolution of the Kennedy Space Center as the launch organization for Apollo/ Saturn V involved the concurrent solution of numerous complex problems. A significant increase in manpower was involved. Large and complex checkout and launch facilities were to be designed and constructed. Expansion of operational capabilities required the establishment and integration of a Government-Contractor operational team. From an initial cadre of approximately 200 civil service personnel of the Army Ballistic Missile Agency, transferred to NASA in 1960 following its establishment, expansion to the present civil service level of 2,900 occurred in the last seven years. Established within NASA as a directorate of the Marshall Space Flight Center, KSC achieved center status in 1962. With its designation as a Center, KSC accomplished the development and staffing of an organization that could perform procurement, resources, financial, and other management requirements formerly provided by the parent organization. In addition to continuing launch operations for established programs, KSC undertook the design and construction of large, new, and unique launch facilities for Apollo/Saturn V. With the expansion of the civil service work force, KSC integrated contractor organizations employing 23,000 personnel at the Center to perform specific operational and support missions under the technical supervision and observation of the Government team. The management techniques, organizational concepts, and continuing efforts utilized to meet the Apollo goals and challenges are discussed in this document.

Source record↗
NASA NTRS1971

Plating by glass-bead peening

Technique permits plating of primarily metallic substrates with either metals or nonmetals at normal temperature. Peening uses compressed air to apply concurrent streams of small glass beads and powdered plating material to the substrate.

Babecki, A. J.↗
NASA NTRS1972

Spectral analysis of multiple time series

Application of spectral analysis for mathematically determining relationship of random vibrations in structures and concurrent events in electric circuits, physiology, economics, and seismograms is discussed. Computer program for performing spectral analysis of multiple time series is described.

Dubman, M. R.↗
NASA NTRS1971

Topics in atomic hydrogen standard research and applications

Hydrogen maser based frequency and time standards have been in continuous use at NASA tracking stations since February 1970, while laboratory work at Goddard has continued in the further development and improvement of hydrogen masers. Concurrently, experimental work has been in progress with a new frequency standard based upon the hydrogen atom using the molecular beam magnetic resonance method. Much of the hydrogen maser technology is directly applicable to the new hydrogen beam standard, and calculations based upon realistic data indicate that the accuracy potential of the hydrogen atomic beam exceeds that of either the cesium beam tube or the hydrogen maser, possibly by several orders of magnitude. In addition, with successful development, the hydrogen beam standard will have several other performance advantages over other devices, particularly exceptional stability and long continuous operating life. Experimental work with a new laboratory hydrogen beam device has recently resulted in the first resonance transition curves, measurements of relative state populations, beam intensities, etc. The most important aspects of both the hydrogen maser and the hydrogen beam work are covered.

Peters, H. E.↗
NASA NTRS1971

The effect of variable calcium and very low calcium diets on human calcium metabolism

The effects of a very low calcium diet, with variable high and low protein intake, on the dynamics of calcium metabolism and the mechanism of calciuretics, are examined. The experiment, using male subjects, was designed to study the role of intestinal calcium absorption on urinary calcium excretion, and the rate of production of endogeneously secreted calcium in the gastrointestinal tract. The study showed an average of 70% fractional absorption rate during very low calcium intake, and that a decrease in renal tubular reabsorption of calcium is responsible for calciuretic effects of high protein intake. The study also indicates that there is a tendency to develop osteoporosis after long periods of low calcium intake, especially with a concurrent high protein intake.

Chu, J.↗