Search NASASearch

SEARCH · Search NASA

Results for “Program Transformation”

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 73 records · Page 4

Task Description Language

Task Description Language (TDL) is an extension of the C++ programming language that enables programmers to quickly and easily write complex, concurrent computer programs for controlling real-time autonomous systems, including robots and spacecraft. TDL is based on earlier work (circa 1984 through 1989) on the Task Control Architecture (TCA). TDL provides syntactic support for hierarchical task-level control functions, including task decomposition, synchronization, execution monitoring, and exception handling. A Java-language-based compiler transforms TDL programs into pure C++ code that includes calls to a platform-independent task-control-management (TCM) library. TDL has been used to control and coordinate multiple heterogeneous robots in projects sponsored by NASA and the Defense Advanced Research Projects Agency (DARPA). It has also been used in Brazil to control an autonomous airship and in Canada to control a robotic manipulator.

Simmons, Reid

Space Launch System Spacecraft and Payload Elements: Making Progress Toward First Launch

Significant and substantial progress continues to be accomplished in the design, development, and testing of the Space Launch System (SLS), the most powerful human-rated launch vehicle the United States has ever undertaken. Designed to support human missions into deep space, SLS is one of three programs being managed by the National Aeronautics and Space Administration's (NASA's) Exploration Systems Development directorate. The Orion spacecraft program is developing a new crew vehicle that will support human missions beyond low Earth orbit, and the Ground Systems Development and Operations program is transforming Kennedy Space Center into next-generation spaceport capable of supporting not only SLS but also multiple commercial users. Together, these systems will support human exploration missions into the proving ground of cislunar space and ultimately to Mars. SLS will deliver a near-term heavy-lift capability for the nation with its 70 metric ton (t) Block 1 configuration, and will then evolve to an ultimate capability of 130 t. The SLS program marked a major milestone with the successful completion of the Critical Design Review in which detailed designs were reviewed and subsequently approved for proceeding with full-scale production. This marks the first time an exploration class vehicle has passed that major milestone since the Saturn V vehicle launched astronauts in the 1960s during the Apollo program. Each element of the vehicle now has flight hardware in production in support of the initial flight of the SLS -- Exploration Mission-1 (EM-1), an un-crewed mission to orbit the moon and return. Encompassing hardware qualification, structural testing to validate hardware compliance and analytical modeling, progress in on track to meet the initial targeted launch date in 2018. In Utah and Mississippi, booster and engine testing are verifying upgrades made to proven shuttle hardware. At Michoud Assembly Facility in Louisiana, the world's largest spacecraft welding tool is producing tanks for the SLS core stage. This paper will particularly focus on work taking place at Marshall Space Flight Center (MSFC) and United Launch Alliance in Alabama, where upper stage and adapter elements of the vehicle are being constructed and tested. Providing the Orion crew capsule/launch vehicle interface and in-space propulsion via a cryogenic upper stage, the Spacecraft/Payload Integration and Evolution (SPIE) Element serves a key role in achieving SLS goals and objectives. The SPIE element marked a major milestone in 2014 with the first flight of original SLS hardware, the Orion Stage Adapter (OSA) which was used on Exploration Flight Test-1 with a design that will be used again on EM-1. Construction is already underway on the EM-1 Interim Cryogenic Propulsion Stage (ICPS), an in-space stage derived from the Delta Cryogenic Second Stage. Manufacture of the Orion Stage Adapter and the Launch Vehicle Stage Adapter is set to begin at the Friction Stir Facility located at MSFC while structural test articles are either completed (OSA) or nearing completion (Launch Vehicle Stage Adapter). An overview is provided of the launch vehicle capabilities, with a specific focus on SPIE Element qualification/testing progress, as well as efforts to provide access to deep space regions currently not available to the science community through a secondary payload capability utilizing CubeSat-class satellites.

Schorr, Andrew A.

Space Launch System Spacecraft and Payload Elements: Making Progress Toward First Launch

Significant and substantial progress continues to be accomplished in the design, development, and testing of the Space Launch System (SLS), the most powerful human-rated launch vehicle the United States has ever undertaken. Designed to support human missions into deep space, SLS is one of three programs being managed by the National Aeronautics and Space Administration's (NASA's) Exploration Systems Development directorate. The Orion spacecraft program is developing a new crew vehicle that will support human missions beyond low Earth orbit, and the Ground Systems Development and Operations (GSDO) program is transforming Kennedy Space Center (KSC) into next-generation spaceport capable of supporting not only SLS but also multiple commercial users. Together, these systems will support human exploration missions into the proving ground of cislunar space and ultimately to Mars. SLS will deliver a near-term heavy-lift capability for the nation with its 70 metric ton Block 1 configuration, and will then evolve to an ultimate capability of 130 metric tons. The SLS program marked a major milestone with the successful completion of the Critical Design Review in which detailed designs were reviewed and subsequently approved for proceeding with full-scale production. This marks the first time an exploration class vehicle has passed that major milestone since the Saturn V vehicle launched astronauts in the 1960s during the Apollo program. Each element of the vehicle now has flight hardware in production in support of the initial flight of the SLS - Exploration Mission-1 (EM-1), an uncrewed mission to orbit the moon and return, and progress in on track to meet the initial targeted launch date in 2018. In Utah and Mississippi, booster and engine testing are verifying upgrades made to proven shuttle hardware. At Michoud Assembly Facility (MAF) in Louisiana, the world's largest spacecraft welding tool is producing tanks for the SLS core stage. This paper will particularly focus on work taking place at Marshall Space Flight Center (MSFC) and United Launch Alliance (ULA) in Alabama, where upper stage and adapter elements of the vehicle are being constructed and tested. Providing the Orion crew capsule/launch vehicle interface and in-space propulsion via a cryogenic upper stage, the Spacecraft/Payload Integration and Evolution (SPIE) Element serves a key role in achieving SLS goals and objectives. The SPIE element marked a major milestone in 2014 with the first flight of original SLS hardware, the Orion Stage Adapter (OSA) which was used on Exploration Flight Test-1 with a design that will be used again on EM-1. Construction is already underway on the EM-1 Interim Cryogenic Propulsion Stage (ICPS), an in-space stage derived from the Delta Cryogenic Second Stage. Manufacture of the Orion Stage Adapter and the Launch Vehicle Stage Adapter is set to begin at the Friction Stir Facility located at MSFC while structural test articles are either completed (OSA) or nearing completion (Launch Vehicle Stage Adapter). An overview is provided of the launch vehicle capabilities, with a specific focus on SPIE Element qualification/testing progress, as well as efforts to provide access to deep space regions currently not available to the science community through a secondary payload capability utilizing CubeSat-class satellites.

Schorr, Andrew A.

Extending reliability: Transformational tailoring of abstract mathematical software

Methods for automatically constructing concrete executable programs from an abstract prototype program by applying transformations based on theorems of matrix algebra and on algebraic properties of programming languages are described. These methods provide a user with highly efficient programs tailored to his environment while maintaining the advantages of high reliability and low cost associated with routines from the best mathematical software libraries. Also, the transformations which produce such programs represent a formal codification of rules for writing linear algebra programs.

Boyle, J. M.

Reference manual for the Thermal Analyst's Help Desk Expert System

This document provides technical information and programming guidance for the maintenance and future development of the Thermal Analyst's Help Desk. Help Desk is an expert system that operates within the EXSYSTM expert system shell, and is used to determine first approximations of thermal capacity for spacecraft and instruments. The five analyses supported in Help Desk are: (1) surface area required for a radiating surface, (2) equilibrium temperature of a surface, (3) enclosure temperature and heat loads for a defined position in orbit, (4) enclosure temperature and heat loads over a complete orbit and, (5) selection of appropriate surface properties. The two geometries supported by Help Desk are a single flat plate and a rectangular box enclosure. The technical information includes the mathematical approach and analytical derivations used in the analyses such as: radiation heat balance, view factor calculation, and orbit determination with coordinate transformation. The programming guide for developers describes techniques for enhancement of Help Desk. Examples are provided showing the addition of new features, user interface development and enhancement, and external program interfaces.

Ormsby, Rachel A.

Space Launch System Spacecraft and Payload Elements: Progress Toward Crewed Launch and Beyond

While significant and substantial progress continues to be accomplished toward readying the Space Launch System (SLS) rocket for its first test flight, work is already also underway on preparations for the second flight - using an upgraded version of the vehicle - and beyond. Designed to support human missions into deep space, Space Launch System (SLS), is the most powerful human-rated launch vehicle the United States has ever undertaken, and is one of three programs being managed by the National Aeronautics and Space Administration's (NASA's) Exploration Systems Development division. The Orion spacecraft program is developing a new crew vehicle that will support human missions beyond low Earth orbit (LEO), and the Ground Systems Development and Operations program is transforming Kennedy Space Center into a next-generation spaceport capable of supporting not only SLS but also multiple commercial users. Together, these systems will support human exploration missions into the proving ground of cislunar space and ultimately to Mars. For its first flight, SLS will deliver a near-term heavy-lift capability for the nation with its 70-metric-ton (t) Block 1 configuration. Each element of the vehicle now has flight hardware in production in support of the initial flight of the SLS, which will propel Orion around the moon and back. Encompassing hardware qualification, structural testing to validate hardware compliance and analytical modeling, progress in on track to meet the initial targeted launch date. In Utah and Mississippi, booster and engine testing are verifying upgrades made to proven shuttle hardware. At Michoud Assembly Facility in Louisiana, the world's largest spacecraft welding tool is producing tanks for the SLS core stage. Providing the Orion crew capsule/launch vehicle interface and in-space propulsion via a cryogenic upper stage, the Spacecraft/Payload Integration and Evolution (SPIE) element serves a key role in achieving SLS goals and objectives. The SPIE element marked a major milestone in 2014 with the first flight of original SLS hardware, the Orion Stage Adapter (OSA) which was used on Exploration Flight Test-1 with a design that will be used again on the first flight of SLS. The element has overseen production of the Interim Cryogenic Propulsion Stage (ICPS), an in-space stage derived from the Delta Cryogenic Second Stage, which was manufactured at United Launch Alliance in Decatur, Alabama, prior to being shipped to Florida for flight preparations. Manufacture of the Orion Stage Adapter and the Launch Vehicle Stage Adapter (LVSA) took place at the Friction Stir Facility located at Marshall Space Flight Center in Huntsville, Alabama. Marshall is also home to the Integrated Structural Test of the ICPS, LVSA, and OSA, subjecting the stacked components to simulated stresses of launch. The SPIE Element is also overseeing integration of 13 "CubeSat" secondary payloads that will fly on the first flight of SLS, providing access to deep space regions in a way currently not available to the science community. At the same time as this preparation work is taking place toward the first launch of SLS, however, the Space Launch System Program is actively working toward its second launch. For its second flight, SLS will be upgraded to the more-capable Block 1B configuration. While the Block 1 configuration is capable of delivering more than 70 metric tons to low Earth orbit, the Block 1B vehicle will increase that capability to 105 t. For that flight, the new configuration introduces two major new elements to the vehicle - an Exploration Upper Stage (EUS) that will be used for both ascent and in-space propulsion, and a Universal Stage Adapter (USA) that serves as a "payload bay" for the rocket, allowing the launch of large exploration systems along with the Orion spacecraft. Already, flight hardware is being prepared for the Block 1B vehicle. Welding is taking place on the second rocket's core stage. Flight hardware production has begun on booster components. An RS-25 engine slated for that flight has been tested. Development work is taking place on the Exploration Upper Stage, with contracts in place for both the stage and the RL10 engines which will power it. (The EUS will use four RL10 engines, an increase from one on the ICPS.) For the crew configuration of the Block 1B vehicle, the SLS SPIE element is managing the USA and accompanying Payload Adapter, which will accommodate both large payloads co-manifested with Orion and small-satellite secondary payloads. This co-manifested payload capacity will be instrumental for missions into the Proving Ground around the moon, where NASA will test new systems and demonstrate new capabilities needed for human exploration farther into deep space.

Schorr, Andrew A.

Space Launch System Spacecraft and Payload Elements: Progress Toward Crewed Launch and Beyond

While significant and substantial progress continues to be accomplished toward readying the Space Launch System (SLS) rocket for its first test flight, work is already underway on preparations for the second flight - using an upgraded version of the vehicle - and beyond. Designed to support human missions into deep space, SLS is the most powerful human-rated launch vehicle the United States has ever undertaken, and is one of three programs being managed by the National Aeronautics and Space Administration's (NASA's) Exploration Systems Development division. The Orion spacecraft program is developing a new crew vehicle that will support human missions beyond low Earth orbit (LEO), and the Ground Systems Development and Operations (GSDO) program is transforming Kennedy Space Center (KSC) into a next-generation spaceport capable of supporting not only SLS but also multiple commercial users. Together, these systems will support human exploration missions into the proving ground of cislunar space and ultimately to Mars. For its first flight, SLS will deliver a near-term heavy-lift capability for the nation with its 70-metric-ton (t) Block 1 configuration. Each element of the vehicle now has flight hardware in production in support of the initial flight of the SLS, which will propel Orion around the moon and back. Encompassing hardware qualification, structural testing to validate hardware compliance and analytical modeling, progress is on track to meet the initial targeted launch date. In Utah and Mississippi, booster and engine testing are verifying upgrades made to proven shuttle hardware. At Michoud Assembly Facility (MAF) in Louisiana, the world's largest spacecraft welding tool is producing tanks for the SLS core stage. Providing the Orion crew capsule/launch vehicle interface and in-space propulsion via a cryogenic upper stage, the Spacecraft/Payload Integration and Evolution (SPIE) element serves a key role in achieving SLS goals and objectives. The SPIE element marked a major milestone in 2014 with the first flight of original SLS hardware, the Orion Stage Adapter (OSA) which was used on Exploration Flight Test-1 with a design that will be used again on the first flight of SLS. The element has overseen production of the Interim Cryogenic Propulsion Stage (ICPS), an in-space stage derived from the Delta Cryogenic Second Stage, which was manufactured at United Launch Alliance (ULA) in Decatur, Alabama, prior to being shipped to Florida for flight preparations. Manufacture of the OSA and the Launch Vehicle Stage Adapter (LVSA) took place at the Friction Stir Facility located at Marshall Space Flight Center (MSFC) in Huntsville, Alabama. Marshall is also home to the Integrated Structural Test of the ICPS, LVSA, and OSA, subjecting the stacked components to simulated stresses of launch. The SPIE Element is also overseeing integration of 13 "CubeSat" secondary payloads that will fly on the first flight of SLS, providing access to deep space regions in a way currently not available to the science community. At the same time as this preparation work is taking place toward the first launch of SLS, however, the Space Launch System Program is actively working toward its second launch. For its second flight, SLS will be upgraded to the more-capable Block 1B configuration. While the Block 1 configuration is capable of delivering more than 70 t to LEO, the Block 1B vehicle will increase that capability to 105 t. For that flight, the new configuration introduces two major new elements to the vehicle - an Exploration Upper Stage (EUS) that will be used for both ascent and in-space propulsion, and a Universal Stage Adapter (USA) that serves as a "payload bay" for the rocket, allowing the launch of large exploration systems along with the Orion spacecraft. Already, flight hardware is being prepared for the Block 1B vehicle. Welding is taking place on the second rocket's core stage. Flight hardware production has begun on booster components. An RS-25 engine slated for that flight has been tested. Development work is taking place on the EUS, with contracts in place for both the stage and the RL10 engines which will power it. (The EUS will use four RL10 engines, an increase from one on the ICPS.) For the crew configuration of the Block 1B vehicle, the SLS SPIE element is managing the USA and accompanying Payload Adapter, which will accommodate both large payloads co-manifested with Orion and small-satellite secondary payloads. This co-manifested payload capacity will be instrumental for missions into the proving ground around the moon, where NASA will test new systems and demonstrate new capabilities needed for human exploration farther into deep space.

Schorr, Andrew A.

Alignment switching in 3D-printed smectic liquid crystal elastomers

Extrusion-based additive manufacturing has emerged as a powerful platform for designing shape-morphing materials through controlled orientation. However, existing approaches primarily rely on a single mode of flow-induced alignment, limiting orientation programmability. Herein, we present a direct-ink-writing approach for smectic liquid crystal elastics that exploits two distinct alignment modes within a single ink. The smectic ink exhibits shear- and temperature-dependent orientation switching, enabling molecular alignment either perpendicular or parallel to the print direction. Combined rheological, X-ray, and molecular dynamics analyses reveal that this alignment inversion arises from the preservation or collapse of smectic layers under flow. This reversible switching encodes both contractile and elongational actuation within individual filaments, greatly expanding the design freedom of printed liquid crystal elastomers. We demonstrate 2D and 3D structures with diverse programmed shape transformations, highlighting the potential of this platform for adaptive soft actuators and architected functional materials.

Lee, Jin Hyeong [Pusan National University, Busan,

Computer program provides linear sampled- data analysis for high order systems

Computer program performs transformations in the order S-to W-to Z to allow arithmetic to be completed in the W-plane. The method is based on a direct transformation from the S-plane to the W-plane. The W-plane poles and zeros are transformed into Z-plane poles and zeros using the bilinear transformation algorithm.

Bunn, D. B.

Scientific programming

Scientific programming of transformations of direction fields and autonomous systems of ordinary differential equations - Optimization of electron-optical potential for star tracker

STAR TRACKER

Computer program for fast Karhunen Loeve transform algorithm

The fast KL transform algorithm was applied for data compression of a set of four ERTS multispectral images and its performance was compared with other techniques previously studied on the same image data. The performance criteria used here are mean square error and signal to noise ratio. The results obtained show a superior performance of the fast KL transform coding algorithm on the data set used with respect to the above stated perfomance criteria. A summary of the results is given in Chapter I and details of comparisons and discussion on conclusions are given in Chapter IV.

Jain, A. K.

Shuttle Program. Euler angles, quaternions, and transformation matrices working relationships

A brief mathematical development of the relationship between the Euler angles and the transformation matrix, the quaternion and the transformation matrix, and the Euler angles and the quaternion is presented. The analysis and equations presented apply directly to current space shuttle problems. The twelve three-axis Euler transformation matrices are given as functions of the Euler angles, the equations for the quaternion as a funtion of the Euler angles, and the Euler angles as a function of the transformation matrix elements.

Henderson, D. M.

Transforming AdaPT to Ada9x

How the concepts of AdaPT can be transformed into programs using the object oriented features proposed in the preliminary mapping for Ada9x are described. Emphasizing, as they do, the importance of data types as units of program, these features match well with the development of partitions as translations into Abstract Data Types which was exploited in the Ada83 translation covered in report R3. By providing a form of polymorphic type, the Ada83 version also gives support for the conformant partition idea which could be achieved in Ada83 only by using UNCHECKED CONVERSIONS. It is assumed that the reader understands AdaPT itself, but the translation into Ada83 is briefly reviewed, by applying it to a small example. This is then used to show how the same translation would be achieved in the 9x version. It is important to appreciate that the distribution features which are proposed in current mapping are not used or discussed in any detail, as those are not well matched to the AdaPT approach. Critical evaluation and comparison of these approaches is given in a separate report.

Goldsack, Stephen J.

Propagating orientation constraints for the Hubble Space Telescope

An observing program on the Hubble Space Telescope (HST) is described in terms of exposures that are obtained by one or more of the instruments onboard the HST. Many requested exposures might specify orientation requirements and accompanying ranges. Orientation refers to the amount of roll (in degrees) about the line of sight. The range give the permissible tolerance (also in degrees). These requirements may be (1) absolute (in relation to the celestial coordinate system), (2) relative to the nominal roll angle for HST during that exposure, or (3) relative (in relation to other exposures in the observing program). The TRANSformation expert system converts proposals for astronomical observations with HST into detailed observing plans. Part of the conversion involves grouping exposures into higher level structures based on exposure characteristics. Exposures constrained to be at different orientations cannot be grouped together. Because relative orientation requirements cause implicit constraints, orientation constraints have to be propagated. TRANS must also identify any inconsistencies that may exist so they can be corrected. We have designed and implemented an orientation constraint propagator as part of TRANS. The propagator is based on an informal algebra that facilitates the setting up and propagation of the orientation constraints. The constraint propagator generates constraints between directly related exposures, and propagates derived constraints between exposures that are related indirectly. It provides facilities for path-consistency checking, identification of unsatisfiable constraints, and querying of orientation relationships. The system has been successfully operational as part of TRANS for over seven months. The solution has particular significance to space applications in which satellite/telescope pointing and attitude are constrained and relationships exist between multiple configurations.

Bose, Ashim

Developing Formal Correctness Properties from Natural Language Requirements

This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.

requirements engineering