Search NASA⌕ Search

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 559 records · Page 31

An Automated Method for Identifying Inconsistencies within Diagrammatic Software Requirements Specifications

The development of large-scale, composite software in a geographically distributed environment is an evolutionary process. Often, in such evolving systems, striving for consistency is complicated by many factors, because development participants have various locations, skills, responsibilities, roles, opinions, languages, terminology and different degrees of abstraction they employ. This naturally leads to many partial specifications or viewpoints. These multiple views on the system being developed usually overlap. From another aspect, these multiple views give rise to the potential for inconsistency. Existing CASE tools do not efficiently manage inconsistencies in distributed development environment for a large-scale project. Based on the ViewPoints framework the WHERE (Web-Based Hypertext Environment for requirements Evolution) toolkit aims to tackle inconsistency management issues within geographically distributed software development projects. Consequently, WHERE project helps make more robust software and support software assurance process. The long term goal of WHERE tools aims to the inconsistency analysis and management in requirements specifications. A framework based on Graph Grammar theory and TCMJAVA toolkit is proposed to detect inconsistencies among viewpoints. This systematic approach uses three basic operations (UNION, DIFFERENCE, INTERSECTION) to study the static behaviors of graphic and tabular notations. From these operations, subgraphs Query, Selection, Merge, Replacement operations can be derived. This approach uses graph PRODUCTIONS (rewriting rules) to study the dynamic transformations of graphs. We discuss the feasibility of implementation these operations. Also, We present the process of porting original TCM (Toolkit for Conceptual Modeling) project from C++ to Java programming language in this thesis. A scenario based on NASA International Space Station Specification is discussed to show the applicability of our approach. Finally, conclusion and future work about inconsistency management issues in WHERE project will be summarized.

Zhang, Zhong↗

Hand-Held Sunphotometers for High School Student Construction and Measuring Aerosol Optical Thickness

Science education is taking the teaching of science from a traditional (lecture) approach to a multidimensional sense-making approach which allows teachers to support students by providing exploratory experiences. Using projects is one way of providing students with opportunities to observe and participate in sense-making activity. We created a learning environment that fostered inquiry-based learning. Students were engaged in a variety of Inquiry activities that enabled them to work in cooperative planning teams where respect for each other was encouraged and their ability to grasp, transform and transfer information was enhanced. Summer, 1998: An air pollution workshop was conducted for high school students in the Medgar Evers College/Middle College High School Liberty Partnership Summer Program. Students learned the basics of meteorology: structure and composition of the atmosphere and the processes that cause weather. The highlight of this workshop was the building of hand-held sunphotometers, which measure the intensity of the sunlight striking the Earth. Summer, 1999: high school students conducted a research project which measured the mass and size of ambient particulates and enhanced our ability to observe through land based measurements changes in the optical depth of ambient aerosols over Brooklyn. Students used hand held Sunphotometers to collect data over a two week period and entered it into the NASA GISS database by way of the internet.

Almonor, Linda↗

The Constellation-X Observatory

The Constellation X-ray mission will revolutionize X-ray spectroscopy and will provide a key component of NASA's '!Beyond Einstein" program. Over the past 35 years, X-ray astronomy has grown from infancy to near-maturity and is now an indispensable astrophysical tool. Constellation-X will transform this field from the exploratory spectroscopic era of Chandra and XMM to an era of fully comprehensive spectroscopic studies. The mission will consist of four 1.6-meter X-ray telescopes orbiting the Earth/Sun system. By providing a factor of 100 increase in throughput over previous missions, as well as high spectral resolution and a broad energy bandpass, Constellation-X will obtain high quality spectra for all classes of X-ray sources over a wide range of luminosity and redshift. It will study the warping of space and time near black holes, determine the distribution of ordinary matter, dark matter and dark energy, and probe detailed physical processes that occur at temperatures, densities and pressures far beyond those achievable in Earth-bound laboratories.

Weaver, Kimberly↗

Conservation of Mass and Preservation of Positivity with Ensemble-Type Kalman Filter Algorithms

This paper considers the incorporation of constraints to enforce physically based conservation laws in the ensemble Kalman filter. In particular, constraints are used to ensure that the ensemble members and the ensemble mean conserve mass and remain nonnegative through measurement updates. In certain situations filtering algorithms such as the ensemble Kalman filter (EnKF) and ensemble transform Kalman filter (ETKF) yield updated ensembles that conserve mass but are negative, even though the actual states must be nonnegative. In such situations if negative values are set to zero, or a log transform is introduced, the total mass will not be conserved. In this study, mass and positivity are both preserved by formulating the filter update as a set of quadratic programming problems that incorporate non-negativity constraints. Simple numerical experiments indicate that this approach can have a significant positive impact on the posterior ensemble distribution, giving results that are more physically plausible both for individual ensemble members and for the ensemble mean. In two examples, an update that includes a non-negativity constraint is able to properly describe the transport of a sharp feature (e.g., a triangle or cone). A number of implementation questions still need to be addressed, particularly the need to develop a computationally efficient quadratic programming update for large ensemble.

EnKF↗

KSC Headquarters Building Area SWMU 104 Soil Interim Measure Report for LOC 2D and LOC 2E Kennedy Space Center, Florida

This Interim Measure (IM) Report for Location of Concern (LOC) 2D and LOC 2E summarizes the activities associated with implementation of an IM to address soil and concrete contamination at the Kennedy Space Center (KSC) Headquarters Building Area (KHQA) located at KSC, Florida. KHQA has been designated Solid Waste Management Unit (SWMU) 104 under KSC’s Resource Conservation and Recovery Act Corrective Action Program. The IM consisted of excavating/removing residual polychlorinated biphenyl (PCB) contamination in soil and concrete from two separate areas, LOC 2D and LOC 2E, which were associated with electrical transformer locations. IM activities were conducted in accordance with the Interim Measure Work Plan (IMWP), Revision 1, for KHQA dated June 2018, which was approved by the Florida Department of Environmental Protection in a correspondence letter dated April 2016 and the United States Environmental Protection Agency in a correspondence letter dated August 2018. The objective of the IM was to remove all remaining contaminated media with total PCB concentrations greater than the State of Florida Residential Soil Cleanup Target Level (RSCTL) (0.5 milligrams per kilogram [mg/kg]). This cleanup goal meets unrestrictive re-use conditions in Florida, and is below federal regulations for PCB Bulk Remediation Waste Cleanup of 1 mg/kg for high occupancy, unrestricted use areas, as outlined in 40 Code of Federal Regulations (CFR) 761.61(a). The timeline of the IM was coordinated with demolition of the former KSC Headquarters Building (demolished in 2021) in order to safely remove contaminated media after electrical equipment was de-energized and removed from the site. Excavation activities were conducted between January 10, 2022, and February 8, 2022, and included two waste streams for off-site disposal: (1) PCB-remediation waste greater than or equal to 50 mg/kg, and (2) PCB-remediation waste less than 50 mg/kg. A total of approximately 347 cubic yards (478 tons) of PCB-contaminated soil and concrete was initially removed from the LOC 2D and LOC 2E areas, as defined in the IMWP. An additional 4.35 tons of soil and concrete were removed based on verification sampling, which was conducted until the cleanup goal was achieved. The total area of excavation from both LOC 2D and LOC 2E was approximately 5,186 square feet (0.12 acres), and excavation depths ranged from 0.5 to 4.0 feet below land surface Excavated soils and concrete were stockpiled based on waste stream and subsequently transported and disposed of at Waste Connections of Osceola County, LLC – JED Landfill in St. Cloud, Florida (PCBs less than 50 mg/kg) or the Chemical Waste Management Landfill in Emelle, Alabama (PCBs greater than or equal to 50 mg/kg). Following excavation, clean backfill was brought to the site and provided to the Demolition Contractor to complete backfill and grading in conjunction with their final site restoration activities from building demolition. Post-IM groundwater sampling was conducted in May 2022 at three monitoring wells installed in April 2022 to confirm that PCBs did not leach into groundwater. These wells were installed where the highest PCB concentrations were detected at LOC 2D, LOC 2E, and from the Building Perimeter IM (previously completed in 2020). All PCB results in groundwater were non-detect. Volatile organic compounds were also analyzed based on potential past use of solvents in transformers with PCB-dielectric fluids and the potential release of dielectric fluids containing volatile organic compounds, and all results were non-detect. Based on completion of a successful IM at LOC 2D and LOC 2E, as well as previous remedial actions that have addressed other contamination at KHQA (SWMU 104), No Further Action without controls will be recommended for SWMU 104. NASA will submit separate Site Rehabilitation Completion Order request documentation for SWMU 104 to support an NFA without controls recommendation.

PCB↗

HelioSwarm: The Swarm is the Observatory

HelioSwarm will transform our understanding of space plasma turbulence by being the first-of-its-kind simultaneous, multiscale observatory comprising multiple spacecraft. HelioSwarm was competitively selected under the Heliophysics Explorers Program 2019 Medium-Class Explorer (MIDEX) Announcement of Opportunity. The central powered-ESPA hub spacecraft is co-orbited by eight SmallSat Node spacecraft, together moving through a High Earth Orbit to obtain data in various solar wind regimes. The mission architecture is that of hub-and-spoke, with the larger hub serving as a communications relay between the nodes and DSN. Mission operations, management, and technical oversight are provided by NASA Ames Research Center; the spacecraft are provided by Northrop Grumman and BCT. The instrument suite includes foreign-contributed instruments and U.S. ones, all under the oversight of University of New Hampshire (which is also the Principal Investigator’s home institution and Science Operations Center). The mission timeline from launch through conclusion of the one-year science mission is provided along with a summarized concept of operations, with particular emphasis on placing the nodes in their proper relative orbit loops to form the geometry needed for science collection at apogee. A brief discussion of how a combination of legacy tools and custom-created swarm analysis tools are used to design the swarm and sort and visualize the collected science data and telemetry in context is provided. Finally, an exploration of the pathfinding nature of HelioSwarm and some implications for future large scientific swarms is offered.

Heliophysics↗

HelioSwarm: The Swarm is the Observatory

The HelioSwarm Mission will transform our understanding of space plasma turbulence by being the first-of-its-kind simultaneous, multiscale observatory comprising multiple spacecraft. HelioSwarm was competitively selected under the Heliophysics Explorers Program 2019 Medium-Class Explorer (MIDEX) Announcement of Opportunity. The central powered-ESPA Hub spacecraft is co-orbited by eight SmallSat Node spacecraft, together moving through a High Earth Orbit to obtain data in various solar wind regimes. The mission architecture is that of hub-and-spoke, with the larger hub serving as a communications relay between the Nodes and DSN. Mission operations, management, and technical oversight are provided by NASA Ames Research Center; the spacecraft are provided by Northrop Grumman and BCT. The instrument suite includes foreign-contributed instruments and U.S. ones, all under the oversight of University of New Hampshire (which is also the Principal Investigator’s home institution and Science Operations Center). The mission timeline from launch through conclusion of the one-year science mission is provided along with a summarized concept of operations, with particular emphasis on placing the Nodes in their proper relative orbit loops to form the geometry needed for science collection at apogee. A brief discussion of how a combination of legacy tools and custom-created swarm analysis tools are used to design the swarm and sort and visualize the collected science data and telemetry in context is provided. Finally, an exploration of the pathfinding nature of HelioSwarm and some implications for future large scientific swarms is offered.

Heliophysics↗

PHOTCAL: The IRAF photometric calibration package

The IRAF photmetric calibration package PHOTCAL is discussed. PHOTCAL is a set of tasks designed to derive the transformation from the instrumental photometric system to the standard photometric system, and apply the transformation to the observations. The PHOTCAL package contains tasks for: (1) creating and/or editing standard star catalogs and observations catalogs, (2) creating, checking and editing the configuration file which specifies the format of the standard star and observations catalogs and the form of the transformation equations, (3) solving the transformation equations interactively or non-iteractively using non-linear least squares fitting routines, and (4) applying the transformation to the observations. PHOTCAL standard star and observations catalogs are simple text files, whose columns are delimited by whitespace, and whose first column contains the star names. This format makes it relatively easy to interface the output of non-IRAF photometry programs as well as the output of the IRAF APPHOT and DAOPHOT photometry packages to PHOTCAL. PHOTCAL maintains a standard star catalog directory for the convenience of the user, but users can easily create their own standard star catalogs and/or define their own standard star catalog directory. Separate observations files produced by APPHOT, DAOPHOT or a user program containing data for stellar fields taken through different filters, can be combined into observations catalogs using one of the PHOTCAL preprocessor tasks. The input configuration file required by PHOTCAL is a text file, consisting of a series of instructions written by the user in a mini-language understood by the PHOTCAL parser. These instructions: (1) assign names to the input data columns in the standard star and observations catalogs, (2) assign names and initial values to the parameters to be fit, (3) define and describe how to solve the transformation equations. The mini-language approach permits great flexibility in the format of the input catalogs and the form of the transformation equations.

Davis, L. E.↗

Simulation Tools Model Icing for Aircraft Design

Here s a simple science experiment to try: Place an unopened bottle of distilled water in your freezer. After 2-3 hours, if the water is pure enough, you will notice that it has not frozen. Carefully pour the water into a bowl with a piece of ice in it. When it strikes the ice, the water will instantly freeze. One of the most basic and commonly known scientific facts is that water freezes at around 32 F. But this is not always the case. Water lacking any impurities for ice crystals to form around can be supercooled to even lower temperatures without freezing. High in the atmosphere, water droplets can achieve this delicate, supercooled state. When a plane flies through clouds containing these droplets, the water can strike the airframe and, like the supercooled water hitting the ice in the experiment above, freeze instantly. The ice buildup alters the aerodynamics of the plane - reducing lift and increasing drag - affecting its performance and presenting a safety issue if the plane can no longer fly effectively. In certain circumstances, ice can form inside aircraft engines, another potential hazard. NASA has long studied ways of detecting and countering atmospheric icing conditions as part of the Agency s efforts to enhance aviation safety. To do this, the Icing Branch at Glenn Research Center utilizes a number of world-class tools, including the Center s Icing Research Tunnel and the NASA 607 icing research aircraft, a "flying laboratory" for studying icing conditions. The branch has also developed a suite of software programs to help aircraft and icing protection system designers understand the behavior of ice accumulation on various surfaces and in various conditions. One of these innovations is the LEWICE ice accretion simulation software. Initially developed in the 1980s (when Glenn was known as Lewis Research Center), LEWICE has become one of the most widely used tools in icing research and aircraft design and certification. LEWICE has been transformed over the years from strictly a research tool to one used routinely by industry and other government agencies. Glenn contractor William Wright has been the architect of this development, supported by a team of researchers investigating icing physics, creating validation data, and ensuring development according to standard software engineering practices. The program provides a virtual simulation environment for determining where water droplets strike an airfoil in flight, what kind of ice would result, and what shape that ice would take. Users can enter geometries for specific, two-dimensional cross sections of an airfoil or other airframe surface and then apply a range of inputs - different droplet sizes, temperatures, airspeeds, and more - to model how ice would build up on the surface in various conditions. The program s versatility, ease of use, and speed - LEWICE can run through complex icing simulations in only a few minutes - have contributed to it becoming a popular resource in the aviation industry.

Source record↗

Development of spectral analysis math models and software program and spectral analyzer, digital converter interface equipment design

Spectral analyses of angle-modulated communication systems is studied by: (1) performing a literature survey of candidate power spectrum computational techniques, determining the computational requirements, and formulating a mathematical model satisfying these requirements; (2) implementing the model on UNIVAC 1230 digital computer as the Spectral Analysis Program (SAP); and (3) developing the hardware specifications for a data acquisition system which will acquire an input modulating signal for SAP. The SAP computational technique uses extended fast Fourier transform and represents a generalized approach for simple and complex modulating signals.

Hayden, W. L.↗

Reduction of truncation errors in modal analysis

A condensation method and computer program are described for large discrete parameter vibration analysis of complex structures that greatly reduces truncation errors and provides accurate definition of modes in a selected frequency range. A dynamic transformation is obtained from the partitioned equations of motion that relates modes not explicitly in the condensed solution to the retained modes at a selected system frequency. The generalized mass and stiffness matrices, obtained with existing modal synthesis methods, are reduced using this transformation and solved. Revised solutions are then obtained using new transformations at the calculated eigenvalues and are also used to assess the accuracy of the results. Computations are made tractable by simplified forms of the transformation that result with various modal synthesis methods. Three examples using the dynamic transformation in conjunction with a General Electric stiffness coupling method and the method of Craig and Bampton indicate large reductions in truncation errors and demonstrate the method for sequential groups of modes.

Kuhar, E. J.↗

Preliminary design review package for the solar heating and cooling central data processing system

The Central Data Processing System (CDPS) is designed to transform the raw data collected at remote sites into performance evaluation information for assessing the performance of solar heating and cooling systems. Software requirements for the CDPS are described. The programming standards to be used in development, documentation, and maintenance of the software are discussed along with the CDPS operations approach in support of daily data collection and processing.

Source record↗

Research study for effects of case flexibility on bearing loads and rotor stability

Methods to evaluate the effect of casing flexibility on rotor stability and component loads were developed. Recent Rocketdyne turbomachinery was surveyed to determine typical properties and frequencies versus running speed. A small generic rotor was run with a flexible case with parametric variations in casing properties for comparison with a rotor attached to rigid supports. A program for the IBM personal computer for interactive evaluation of rotors and casings is developed. The Root locus method is extended for use in rotor dynamics for symmetrical systems by transforming all motion and coupling into a single plane and using a 90 degree criterion when plotting loci.

Fenwick, J. R.↗

A method for simulating a flux-locked DC SQUID

The authors describe a computationally efficient and accurate method for simulating a dc SQUID's V-Phi (voltage-flux) and I-V characteristics which has proven valuable in evaluating and improving various SQUID readout methods. The simulation of the SQUID is based on fitting of previously acquired data from either a real or a modeled device using the Fourier transform of the V-Phi curve. This method does not predict SQUID behavior, but rather is a way of replicating a known behavior efficiently with portability into various simulation programs such as SPICE. The authors discuss the methods used to simulate the SQUID and the flux-locking control electronics, and present specific examples of this approach. Results include an estimate of the slew rate and linearity of a simple flux-locked loop using a characterized dc SQUID.

Gutt, G. M.↗

MIT-NASA Workshop: Transformational Technologies

As a space faring nation, we are at a critical juncture in the evolution of space exploration. NASA has announced its Vision for Space Exploration, a vision of returning humans to the Moon, sending robots and eventually humans to Mars, and exploring the outer solar system via automated spacecraft. However, mission concepts have become increasingly complex, with the potential to yield a wealth of scientific knowledge. Meanwhile, there are significant resource challenges to be met. Launch costs remain a barrier to routine space flight; the ever-changing fiscal and political environments can wreak havoc on mission planning; and technologies are constantly improving, and systems that were state of the art when a program began can quickly become outmoded before a mission is even launched. This Conference Publication describes the workshop and featured presentations by world-class experts presenting leading-edge technologies and applications in the areas of power and propulsion; communications; automation, robotics, computing, and intelligent systems; and transformational techniques for space activities. Workshops such as this one provide an excellent medium for capturing the broadest possible array of insights and expertise, learning from researchers in universities, national laboratories, NASA field Centers, and industry to help better our future in space.

Mankins, J. C.↗

Empirical analytic transformations between geographic and corrected geomagnetic coordinates

Based upon a mathematical model of contours of constant corrected geomagnetic latitude in a polar projection of geographic coordinates, analytic equations are developed for converting geographic coordinates to corrected geomagnetic coordinates and vice versa. The equations were programmed for use on a small computer. This treatment is restricted to the Northern Hemisphere.

Comfort, R. H.↗

Optimization of self-acting step thrust bearings for load capacity and stiffness.

Linearized analysis of a finite-width rectangular step thrust bearing. Dimensionless load capacity and stiffness are expressed in terms of a Fourier cosine series. The dimensionless load capacity and stiffness were found to be a function of the dimensionless bearing number, the pad length-to-width ratio, the film thickness ratio, the step location parameter, and the feed groove parameter. The equations obtained in the analysis were verified. The assumptions imposed were substantiated by comparing the results with an existing exact solution for the infinite width bearing. A digital computer program was developed which determines optimal bearing configuration for maximum load capacity or stiffness. Simple design curves are presented. Results are shown for both compressible and incompressible lubrication. Through a parameter transformation the results are directly usable in designing optimal step sector thrust bearings.

Hamrock, B. J.↗

Machine processing of remotely sensed data; Proceedings of the Conference, Purdue University, West Lafayette, Ind., October 16-18, 1973

Topics discussed include the management and processing of earth resources information, special-purpose processors for the machine processing of remotely sensed data, digital image registration by a mathematical programming technique, the use of remote-sensor data in land classification (in particular, the use of ERTS-1 multispectral scanning data), the use of remote-sensor data in geometrical transformations and mapping, earth resource measurement with the aid of ERTS-1 multispectral scanning data, the use of remote-sensor data in the classification of turbidity levels in coastal zones and in the identification of ecological anomalies, the problem of feature selection and the classification of objects in multispectral images, the estimation of proportions of certain categories of objects, and a number of special systems and techniques. Individual items are announced in this issue.

Source record↗