Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming 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,567 records · Page 87
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Traceability Through Automatic Program Generation

Program synthesis is a technique for automatically deriving programs from specifications of their behavior. One of the arguments made in favour of program synthesis is that it allows one to trace from the specification to the program. One way in which traceability information can be derived is to augment the program synthesis system so that manipulations and calculations it carries out during the synthesis process are annotated with information on what the manipulations and calculations were and why they were made. This information is then accumulated throughout the synthesis process, at the end of which, every artifact produced by the synthesis is annotated with a complete history relating it to every other artifact (including the source specification) which influenced its construction. This approach requires modification of the entire synthesis system - which is labor-intensive and hard to do without influencing its behavior. In this paper, we introduce a novel, lightweight technique for deriving traceability from a program specification to the corresponding synthesized code. Once a program has been successfully synthesized from a specification, small changes are systematically made to the specification and the effects on the synthesized program observed. We have partially automated the technique and applied it in an experiment to one of our program synthesis systems, AUTOFILTER, and to the GNU C compiler, GCC. The results are promising: 1. Manual inspection of the results indicates that most of the connections derived from the source (a specification in the case of AUTOFILTER, C source code in the case of GCC) to its generated target (C source code in the case of AUTOFILTER, assembly language code in the case of GCC) are correct. 2. Around half of the lines in the target can be traced to at least one line of the source. 3. Small changes in the source often induce only small changes in the target.

Richardson, Julian↗
NASA NTRS1972

Nonlinear programming in design of control systems with specified handling qualities.

A method is described for using nonlinear programing in the computer-aided design of aircraft control systems. It is assumed that the quality of such systems depends on many criteria. These criteria are included in the constraints vector, and the design proceeds through a sequence of nonlinear programing solutions in which the designer varies the specification of sets of requirements levels. The method is applied to design of a lateral stability augmentation system (SAS) for a fighter aircraft, in which the requirements vector is chosen from the official handling-qualities specifications. Results are shown for several simple SAS configurations designed to obtain desirable handling qualities over all design flight conditions with minimum feedback gains.

Schy, A. A.↗
NASA NTRS1988

Space station payload operations scheduling with ESP2

The Mission Analysis Division of the Systems Analysis and Integration Laboratory at the Marshall Space Flight Center is developing a system of programs to handle all aspects of scheduling payload operations for Space Station. The Expert Scheduling Program (ESP2) is the heart of this system. The task of payload operations scheduling can be simply stated as positioning the payload activities in a mission so that they collect their desired data without interfering with other activities or violating mission constraints. ESP2 is an advanced version of the Experiment Scheduling Program (ESP) which was developed by the Mission Integration Branch beginning in 1979 to schedule Spacelab payload activities. The automatic scheduler in ESP2 is an expert system that embodies the rules that expert planners would use to schedule payload operations by hand. This scheduler uses depth-first searching, backtracking, and forward chaining techniques to place an activity so that constraints (such as crew, resources, and orbit opportunities) are not violated. It has an explanation facility to show why an activity was or was not scheduled at a certain time. The ESP2 user can also place the activities in the schedule manually. The program offers graphical assistance to the user and will advise when constraints are being violated. ESP2 also has an option to identify conflict introduced into an existing schedule by changes to payload requirements, mission constraints, and orbit opportunities.

Stacy, Kenneth L.↗
NASA NTRS2006

Assessment of Lithium-based Battery Electrolytes Developed under the NASA PERS Program

Recently, NASA formally completed the Polymer Energy Rechargeable System (PERS) Program, which was established in 2000 in collaboration with the Air Force Research Laboratory (AFRL) to support the development of polymer-based, lithium-based cell chemistries and battery technologies to address the next generation of aerospace applications and mission needs. The goal of this program was to ultimately develop an advanced, space-qualified battery technology, which embodied a solid polymer electrolyte (SPE) and complementary components, with improved performance characteristics that would address future aerospace battery requirements. Programmatically, the PERS initiative exploited both interagency collaborations to address common technology and engineering issues and the active participation of academia and private industry. The initial program phases focused on R&D activities to address the critical technical issues and challenges at the cell level. A variety of cell and polymeric electrolyte concepts were pursued as part of the development efforts undertaken at numerous governmental, industrial and academic laboratories. Numerous candidate electrolyte materials were developed, synthesized and optimized for evaluation. Utilizing the component screening facility and the "standardized" test procedures developed at the NASA Glenn Research Center, electrochemical screening and performance evaluations of promising candidate materials were completed. This overview summarizes test results for a variety of candidate electrolyte materials that were developed under the PERS Program. Electrolyte properties are contrasted and compared to the original project goals, and the strengths and weaknesses of the electrolyte chemistries are discussed. Limited cycling data for full-cells using lithium metal and vanadium oxide electrodes are also presented. Based on measured electrolyte properties, the projected performance characteristics and temperature limitations of batteries utilizing the advanced electrolytes and components have been estimated. Limitations for the achievement of practical performance levels are also discussed, as well as needs for future research and development.

Bennett, William R.↗
NASA NTRS1989

System-Reliability Cumulative-Binomial Program

Cumulative-binomial computer program, NEWTONP, one of set of three programs, calculates cumulative binomial probability distributions for arbitrary inputs. NEWTONP, CUMBIN (NPO-17555), and CROSSER (NPO-17557), used independently of one another. Program finds probability required to yield given system reliability. Used by statisticians and users of statistical procedures, test planners, designers, and numerical analysts. Program written in C.

Scheuer, Ernest M.↗
NASA NTRS1990

Advanced program development management software system. Software description and user's manual

The objectives of this project were to apply emerging techniques and tools from the computer science discipline of paperless management to the activities of the Space Transportation and Exploration Office (PT01) in Marshall Space Flight Center (MSFC) Program Development, thereby enhancing the productivity of the workforce, the quality of the data products, and the collection, dissemination, and storage of information. The approach used to accomplish the objectives emphasized the utilization of finished form (off-the-shelf) software products to the greatest extent possible without impacting the performance of the end product, to pursue developments when necessary in the rapid prototyping environment to provide a mechanism for frequent feedback from the users, and to provide a full range of user support functions during the development process to promote testing of the software.

Source record↗
NASA NTRSDate not supplied

Integrating Human System Information with the Systems Platform for Aggregating and Relating Capabilities (SPARC)

Within Human Health and Performance, there exists a wealth of human system information that’s used a regular basis in support of NASA human exploration objectives, but the challenge is that all of this information was stored in multiple different locations and organized for specific uses, limiting its effectiveness and straining communication across multiple groups. To address this challenge, our project, the Systems Platform for Aggregating and Relating Capabilities (SPARC) was tasked with developing a new NASA internal web application that aggregates and relates multiple programs’ human system products, such as technical standards, program requirements and verifications, human system risks, research and evidence, and exploration capabilities, into one centralized platform that addresses the needs of human health and performance from multiple different perspectives. Using agile development methodologies, user-experience (UX) driven design principles, data visualization, and a strong emphasis on continuous improvement though consistent stakeholder engagement, the SPARC project released a beta version in less than 4 months, broadly launched version 1.0.0 Agency-wide three months after the beta, and has over 180 users in the first year of development. Our second year of development will see us moving from our initial capabilities to increasingly robust and complex integrations and visualizations, including Directed Acyclical Graphs (DAGs), natural language processing (NLP) for dynamic generation of relationships between the sources of truth, and an expansion into hierarchical levels of system design in support of the human exploration programs.

Data science↗
NASA NTRS1996

40 HP Electro-Mechanical Actuator

This report summarizes the work performed on the 40 BP electro-mechanical actuator (EMA) system developed on NASA contract NAS3-25799 for the NASA National Launch System and Electrical Actuation (ELA) Technology Bridging Programs. The system was designed to demonstrate the capability of large, high power linear ELA's for applications such as Thrust Vector Control (TVC) on rocket engines. It consists of a motor controller, high frequency power source, drive electronics and a linear actuator. The power source is a 25kVA 20 kHz Mapham inverter. The drive electronics are based on the pulse population modulation concept and operate at a nominal frequency of 40 kHz. The induction motor is a specially designed high speed, low inertia motor capable of a 68 peak HP. The actuator was originally designed by MOOG Aerospace under an internal R & D program to meet Space Shuttle Main Engine (SSME) TVC requirements. The design was modified to meet this programs linear rate specification of 7.4 inches/second. The motor and driver were tested on a dynamometer at the Martin Marietta Space Systems facility. System frequency response and step response tests were conducted at the Marshall Space Flight Center facility. A complete description of the system and all test results can be found in the body of the report.

Fulmer, Chris↗
NASA NTRS1994

(abstract) JPL Cryocooler Development and Test Program Overview

Many near-term and future space-instrument programs within NASA and the Ballistic Missile Defense Organization (BMDO) depend on the successful development of long-life, low-vibration space cryocoolers. The most demanding near-term programs include a number of science instruments selected for NASA's Earth Observing System (Eos) program, and a number of space reconnaissance instruments associated with the BMDO's Brilliant Eyes program; both of these programs require delivery of similar types of flight coolers in the next few years. To help ensure the success of these cooler commitments, JPL has implemented an extensive cryocooler program in support of the NASA/JPL AIRS project, the Air Force Phillips Laboratory (AFPL), and the Air Force Space and Missiles Systems Division (SMC). This program is directed at assisting industry in developing advanced cryocoolers that successfully address the broad array of complex performance requirements needed for NASA and BMDO long-life space instruments. The JPL cryocooler program includes extensive characterization and life testing of industry-developed cryocoolers, development and flight testing of advanced sorption cooler systems for detector cooling to 10 K , development of mechanical cryocooler enhancement technologies, and flight tests of advanced low-vibration Stirling-cooler systems.

development design testing↗
NASA NTRS2016

Habitation Concepts for Human Missions Beyond Low-Earth-Orbit

The Advanced Concepts Office at the NASA Marshall Space Flight Center has been engaged for several years in a variety of study activities to help define various options for deep space habitation. This work includes study activities supporting asteroid, lunar and Mars mission activities for the Human spaceflight Architecture Team (HAT), the Deep Space Habitat (DSH) project, and the Exploration Augmentation Module (EAM) project through the NASA Advanced Exploration Systems (AES) Program. The missions under consideration required human habitation beyond low-Earth-orbit (LEO) including deep space habitation in the lunar vicinity to support asteroid retrieval missions, human and robotic lunar surface missions, deep space research facilities, Mars vehicle servicing, and Mars transit missions. Additional considerations included international interest and near term capabilities through the International Space Station (ISS) and Space Launch System (SLS) programs. A variety of habitat layouts have been considered, including those derived from the existing ISS systems, those that could be fabricated from SLS components, and other approaches. This paper presents an overview of several leading designs explored in late fiscal year (FY) 2015 for asteroid, lunar, and Mars mission habitats and identifies some of the known advantages and disadvantages inherent in each. Key findings indicate that module diameters larger than those used for ISS can offer lighter structures per unit volume, and sufficient volume to accommodate consumables for long-duration missions in deep space. The information provided with the findings includes mass and volume data that should be helpful to future exploration mission planning and deep space habitat design efforts.

Smitherman, David V.↗
NASA NTRS1987

FLUINT - General fluid system analysis with SINDA '85

This paper introduces FLUINT (FLUid INTegrator), a general fluid system simulation program that works in conjunction with SINDA '85 (Systems Improved Numerical Differencing Analyzer, 1985 version). FLUINT solves arbitrary networks representing internal fluid systems while SINDA '85 simultaneously solves traditional thermal networks. This transportable program is intended to provide spacecraft thermal management engineers with the analytic tools needed to simulate single- and two-phase coolant loops. The fundamental concepts for fluid system modeling are described, and methods of modeling complex, hardware-specific components are outlined. Underlying correlations and solution methods are briefly discussed. Example analyses and comparisons to test data are provided.

Cullimore, B. A.↗
NASA NTRS1993

Workshop on Advanced Technologies for Planetary Instruments, part 1

This meeting was conceived in response to new challenges facing NASA's robotic solar system exploration program. This volume contains papers presented at the Workshop on Advanced Technologies for Planetary Instruments on 28-30 Apr. 1993. This meeting was conceived in response to new challenges facing NASA's robotic solar system exploration program. Over the past several years, SDIO has sponsored a significant technology development program aimed, in part, at the production of instruments with these characteristics. This workshop provided an opportunity for specialists from the planetary science and DoD communities to establish contacts, to explore common technical ground in an open forum, and more specifically, to discuss the applicability of SDIO's technology base to planetary science instruments.

Appleby, John F.↗
NASA NTRS1974

The technology application process as applied to a firefighter's breathing system

The FBS Program indicated that applications of advanced technology can result in an improved FBS that will satisfy the requirements defined by municipal fire departments. To accomplish this technology transfer, a substantial commitment of resources over an extended period of time has been required. This program has indicated that the ability of NASA in terms of program management such as requirement definition, system analysis, and industry coordination may play as important a role as specific sources of hardware technology. As a result of the FBS program, a sequence of milestones was passed that may have applications as generalized milestones and objectives for any technical application program.

Mclaughlan, P. B.↗
NASA NTRS2012

Personal Computer Transport Analysis Program

The Personal Computer Transport Analysis Program (PCTAP) is C++ software used for analysis of thermal fluid systems. The program predicts thermal fluid system and component transients. The output consists of temperatures, flow rates, pressures, delta pressures, tank quantities, and gas quantities in the air, along with air scrubbing component performance. PCTAP s solution process assumes that the tubes in the system are well insulated so that only the heat transfer between fluid and tube wall and between adjacent tubes is modeled. The system described in the model file is broken down into its individual components; i.e., tubes, cold plates, heat exchangers, etc. A solution vector is built from the components and a flow is then simulated with fluid being transferred from one component to the next. The solution vector of components in the model file is built at the initiation of the run. This solution vector is simply a list of components in the order of their inlet dependency on other components. The component parameters are updated in the order in which they appear in the list at every time step. Once the solution vectors have been determined, PCTAP cycles through the components in the solution vector, executing their outlet function for each time-step increment.

DiStefano, Frank, III↗
NASA NTRS1985

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