Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Programming Framework”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

NASA Smallsat Technology Advancement and Rapid Test Program

In the heart of Silicon Valley, NASA Ames Research Center has been at the forefront of nanosat development and adoption for the past 20 years. Continuing these efforts, a new program has begun focused on advancing smallsat technologies by on-orbit demonstration of new capabilities in sensors, subsystems and components with a rapid deployment cadence. The initial goal is to have at least two experiment platforms launched every year and to increase the cadence from there. We intend to bridge the TRL valley of death and make incremental progress with actual on-orbit demonstration. New technologies that will enable future NASA, commercial and DoD missions and leveraging SBIR efforts will be targeted and prioritized for flight opportunities. The workshop and labs developing these systems will rely on COTS technology as much as possible and have a great degree of freedom with development practices and policies. Success will be determined by the series of experiments over multiple flights, not by the performance of any one experiment. Lessons learned from the TechEdSat program will be used to incorporate student involvement to enhance the creativity and energy of the program while working alongside experienced engineers. In this presentation, we lay out the framework for this program and invite the community to participate in advancing all of our interests.

Vaughan, R.↗
NASA NTRS2002

The Impact of Urbanization on the Precipitation Component of the Water Cycle: A New Perspective

It is estimated that by the year 2025, 60% of the world s population will live in cities (UNFP, 1999). As cities continue to grow, urban sprawl (e.g., the expansion of urban surfaces outward into rural surroundings) creates unique problems related to land use, transportation, agriculture, housing, pollution, and development. Urban expansion also has measurable impacts on environmental processes. Urban areas modify boundary layer processes through the creation of an urban heat island (UHI). The literature indicates that the signature of the urban heat island effect may be resolvable in rainfall patterns over and downwind of metropolitan areas. However, a recent U.S. Weather Research Program panel concluded that more observational and modeling research is needed in this area (Dabberdt et al. 2000). NASA and other agencies initiated programs such as the Atlanta Land-use Analysis: Temperature and Air Quality Project (ATLANTA) (Quattrochi et al. 1998) which aimed to identify and understand how urban heat islands impact the environment. However, a comprehensive assessment of the role of urban-induced rainfall in the global water and energy cycle (GWEC) and cycling of freshwater was not a primary focus of these efforts. NASA's Earth Science Enterprise (ESE) seeks to develop a scientific understanding of the Earth system and its response to natural or human-induced changes to enable improved prediction capability for climate, weather, and natural hazards (NASA, 2000). Within this mission, the ESE has three basic thrusts: science research to increase Earth system knowledge; an applications program to transfer science knowledge to practical use in society; and a technology program to enable new, better, and cheaper capabilities for observing the earth. Within this framework, a research program is underway to further address the co-relationship between land cover use and change (e.g. urban development) and its impact on key components of the GWEC (e.g., precipitation). This presentation discusses the feasibility of using the TRMM or GPM satellite to identify precipitation anomalies likely caused by urbanization (Shepherd et al. 2002). Recent results from analyses of TRMM data around several major U.S. cities (e.g. Dallas, Atlanta, Houston) will be discussed. The presentation also summarizes a NASA-funded research effort to investigate the phenomenon of urban-induced precipitation anomalies using TRMM (future GPM) satellite-based remote sensing, an intensive ground observation/validation effort near Atlanta, and coupled atmosphere-land numerical modeling techniques.

Shephard, J. Marshal↗
NASA NTRS2016

Deductive Evaluation: Implicit Code Verification With Low User Burden

We describe a framework for symbolically evaluating C code using a deductive approach that discovers and proves program properties. The framework applies Floyd-Hoare verification principles in its treatment of loops, with a library of iteration schemes serving to derive loop invariants. During evaluation, theorem proving is performed on-the-fly, obviating the generation of verification conditions normally needed to establish loop properties. A PVS-based prototype is presented along with results for sample C functions.

Di Vito, Ben L.↗
NASA NTRS2009

Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

This NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.

Ewen, Denney, W.↗
NASA NTRS2007

C++ Programming Language

C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.

Shaykhian, Gholam Ali↗
NASA NTRSDate not supplied

Connecting Community Scientific Hypotheses to Mars Sample Science

The proposed Mars Sample Return (MSR) program seeks to bring back to Earth a set of specially curated samples from the surface of Mars. The first segment of the MSR program is presently under-way; the Mars 2020 rover Perseverance has, to date, collected 24 samples of martian rock, regolith, and at-mosphere within Jezero crater. Its geologically diverse rock sample set can provide insight into the time evolu-tion of the Jezero environment, including the possible preservation of ancient biosignatures. Presently, a cache of 10 samples has been deposited in the Three Forks region on the floor of Jezero crater. These sam-ples, deemed scientifically return worthy by the Mars science community [1], are intended as a contingency sample set, as Perseverance has subsequently obtained more samples, and is therefore storing a more compre-hensive and scientifically valuable set of samples that will grow as the rover ascends to the rim of Jezero crater. The return of samples from Mars has been identi-fied as the highest priority planetary mission in the past three National Academies Decadal Surveys [2-4]. Sub-stantial work has gone into establishing science objec-tives for an MSR program, an overall framework for sample retrieval and analysis, and the expected impact on future Mars science and exploration (e.g., [5]). These objectives have been established at a relatively high level, e.g., “Interpret the primary geologic pro-cesses and history that formed the martian geologic rec-ord, with an emphasis on the role of water.” (Objective 1 in [5]) and are designed to encapsulate the broad sci-entific priorities of, and lay the groundwork for, inves-tigation strategies and measurements to be conducted by a future MSR program. It is from this overarching framework that the Connecting Community Scientific Hypotheses to Mars Sample Science workshop (‘The Workshop’) was conceived, with the purpose of distil-ling these high-level scientific objectives into discrete, testable hypotheses across a range of scientific disci-plines. The output of the workshop is meant to be a ‘hy-pothesis document’ serving as a starting point for cata-loging and condensing specific hypotheses for consid-eration by the scientific community. The template for this approach is based on the “driving hypotheses” de-veloped by the OSIRIS-REx team as part of their Sam-ple Analysis Plan [6].

Michael A Mischna↗
NASA NTRS1985

NASA Small Business Innovation Research program

NASA activities in the framework of the 11-agency federal Small Business Innovation Research program are outlined in tables and graphs and briefly characterized. Statistics on the program are given; the technical topics covered are listed; and the procedures involved in evaluating applications for support are discussed. A number of typical defects in proposals are indicated, and recommendations for avoiding them are provided.

Johnson, Harry W.↗
NASA NTRS2024

Evolution of NASA’s Nuclear Flight Safety Program to Infuse Risk Leadership and Assurance Framework Concepts

In recent years, the United States (U.S.) Government has issued several new National policies that fundamentally change the approach to nuclear flight safety for aerospace applications, including the complete revision of the Federal policy for handling launch of spacecraft containing space nuclear systems. In response, the National Aeronautics and Space Administration (NASA) is updating its nuclear flight safety program while still maintaining consistency with other Federal policies, international conventions, and NASA’s own policies. To achieve this evolution, NASA is factoring in an objectives-driven and assurance case mindset to develop a risk-informed and performance-based program. NASA and others have successfully applied this mindset in other disciplines and contexts and it is being pursued here via broad cooperation within NASA and with external stakeholders. This paper will briefly describe how the NASA nuclear flight safety program is evolving to meet these changing needs.

Matthew J. Forsbacka↗
NASA NTRS2004

A Decision Support Framework for Feasibility Analysis of International Space Station (ISS) Research Capability Enhancing Options

The assembly and operation of the ISS has generated significant challenges that have ultimately impacted resources available to the program's primary mission: research. To address this, program personnel routinely perform trade-off studies on alternative options to enhance research. The approach, content level of analysis and resulting outputs of these studies vary due to many factors, however, complicating the Program Manager's job of selecting the best option. To address this, the program requested a framework be developed to evaluate multiple research-enhancing options in a thorough, disciplined and repeatable manner, and to identify the best option on the basis of cost, benefit and risk. The resulting framework consisted of a systematic methodology and a decision-support toolset. The framework provides quantifiable and repeatable means for ranking research-enhancing options for the complex and multiple-constraint domain of the space research laboratory. This paper describes the development, verification and validation of this framework and provides observations on its operational use.

Ortiz, James N.↗
NASA NTRS1999

Multidisciplinary Optimization Branch Experience Using iSIGHT Software

The Multidisciplinary Optimization (MDO) Branch at NASA Langley Research Center is investigating frameworks for supporting multidisciplinary analysis and optimization research. An optimization framework call improve the design process while reducing time and costs. A framework provides software and system services to integrate computational tasks and allows the researcher to concentrate more on the application and less on the programming details. A framework also provides a common working environment and a full range of optimization tools, and so increases the productivity of multidisciplinary research teams. Finally, a framework enables staff members to develop applications for use by disciplinary experts in other organizations. Since the release of version 4.0, the MDO Branch has gained experience with the iSIGHT framework developed by Engineous Software, Inc. This paper describes experiences with four aerospace applications: (1) reusable launch vehicle sizing, (2) aerospike nozzle design, (3) low-noise rotorcraft trajectories, and (4) acoustic liner design. All applications have been successfully tested using the iSIGHT framework, except for the aerospike nozzle problem, which is in progress. Brief overviews of each problem are provided. The problem descriptions include the number and type of disciplinary codes, as well as all estimate of the multidisciplinary analysis execution time. In addition, the optimization methods, objective functions, design variables, and design constraints are described for each problem. Discussions on the experience gained and lessons learned are provided for each problem. These discussions include the advantages and disadvantages of using the iSIGHT framework for each case as well as the ease of use of various advanced features. Potential areas of improvement are identified.

Padula, S. L.↗
NASA NTRS1999

Multidisciplinary Optimization Branch Experience Using iSIGHT Software

The Multidisciplinary Optimization (MDO) Branch at NASA Langley is investigating frameworks for supporting multidisciplinary analysis and optimization research. A framework provides software and system services to integrate computational tasks and allows the researcher to concentrate more on the application and less on the programming details. A framework also provides a common working environment and a full range of optimization tools, and so increases the productivity of multidisciplinary research teams. Finally, a framework enables staff members to develop applications for use by disciplinary experts in other organizations. This year, the MDO Branch has gained experience with the iSIGHT framework. This paper describes experiences with four aerospace applications, including: (1) reusable launch vehicle sizing, (2) aerospike nozzle design, (3) low-noise rotorcraft trajectories, and (4) acoustic liner design. Brief overviews of each problem are provided, including the number and type of disciplinary codes and computation time estimates. In addition, the optimization methods, objective functions, design variables, and constraints are described for each problem. For each case, discussions on the advantages and disadvantages of using the iSIGHT framework are provided as well as notes on the ease of use of various advanced features and suggestions for areas of improvement.

Padula, S. L.↗
NASA NTRS2006

Analysis of System-Wide Investment in the National Airspace System: A Portfolio Analytical Framework and an Example

In this paper, the authors review the FAA s current program investments and lay out a preliminary analytical framework to undertake projects that may address some of the noted deficiencies. By drawing upon the well developed theories from corporate finance, an analytical framework is offered that can be used for choosing FAA s investments taking into account risk, expected returns and inherent dependencies across NAS programs. The framework can be expanded into taking multiple assets and realistic values for parameters in drawing an efficient risk-return frontier for the entire FAA investment programs.

Bhadra, Dipasis↗
NASA NTRS1989

Parallel processors and nonlinear structural dynamics algorithms and software

A nonlinear structural dynamics finite element program was developed to run on a shared memory multiprocessor with pipeline processors. The program, WHAMS, was used as a framework for this work. The program employs explicit time integration and has the capability to handle both the nonlinear material behavior and large displacement response of 3-D structures. The elasto-plastic material model uses an isotropic strain hardening law which is input as a piecewise linear function. Geometric nonlinearities are handled by a corotational formulation in which a coordinate system is embedded at the integration point of each element. Currently, the program has an element library consisting of a beam element based on Euler-Bernoulli theory and trianglar and quadrilateral plate element based on Mindlin theory.

Belytschko, Ted↗
NASA NTRS2002

Software Engineering Support of the Third Round of Scientific Grand Challenge Investigations: An Earth Modeling System Software Framework Strawman Design that Integrates Cactus and UCLA/UCB Distributed Data Broker

One of the most significant challenges in large-scale climate modeling, as well as in high-performance computing in other scientific fields, is that of effectively integrating many software models from multiple contributors. A software framework facilitates the integration task. both in the development and runtime stages of the simulation. Effective software frameworks reduce the programming burden for the investigators, freeing them to focus more on the science and less on the parallel communication implementation, while maintaining high performance across numerous supercomputer and workstation architectures. This document proposes a strawman framework design for the climate community based on the integration of Cactus, from the relativistic physics community, and UCLA/UCB Distributed Data Broker (DDB) from the climate community. This design is the result of an extensive survey of climate models and frameworks in the climate community as well as frameworks from many other scientific communities. The design addresses fundamental development and runtime needs using Cactus, a framework with interfaces for FORTRAN and C-based languages, and high-performance model communication needs using DDB. This document also specifically explores object-oriented design issues in the context of climate modeling as well as climate modeling issues in terms of object-oriented design.

Talbot, Bryan↗
NASA NTRS2002

Software Engineering Support of the Third Round of Scientific Grand Challenge Investigations: Earth System Modeling Software Framework Survey

One of the most significant challenges in large-scale climate modeling, as well as in high-performance computing in other scientific fields, is that of effectively integrating many software models from multiple contributors. A software framework facilitates the integration task, both in the development and runtime stages of the simulation. Effective software frameworks reduce the programming burden for the investigators, freeing them to focus more on the science and less on the parallel communication implementation. while maintaining high performance across numerous supercomputer and workstation architectures. This document surveys numerous software frameworks for potential use in Earth science modeling. Several frameworks are evaluated in depth, including Parallel Object-Oriented Methods and Applications (POOMA), Cactus (from (he relativistic physics community), Overture, Goddard Earth Modeling System (GEMS), the National Center for Atmospheric Research Flux Coupler, and UCLA/UCB Distributed Data Broker (DDB). Frameworks evaluated in less detail include ROOT, Parallel Application Workspace (PAWS), and Advanced Large-Scale Integrated Computational Environment (ALICE). A host of other frameworks and related tools are referenced in this context. The frameworks are evaluated individually and also compared with each other.

Talbot, Bryan↗
NASA NTRS1993

A programming environment for distributed complex computing. An overview of the Framework for Interdisciplinary Design Optimization (FIDO) project. NASA Langley TOPS exhibit H120b

The Framework for Interdisciplinary Design Optimization (FIDO) is a general programming environment for automating the distribution of complex computing tasks over a networked system of heterogeneous computers. For example, instead of manually passing a complex design problem between its diverse specialty disciplines, the FIDO system provides for automatic interactions between the discipline tasks and facilitates their communications. The FIDO system networks all the computers involved into a distributed heterogeneous computing system, so they have access to centralized data and can work on their parts of the total computation simultaneously in parallel whenever possible. Thus, each computational task can be done by the most appropriate computer. Results can be viewed as they are produced and variables changed manually for steering the process. The software is modular in order to ease migration to new problems: different codes can be substituted for each of the current code modules with little or no effect on the others. The potential for commercial use of FIDO rests in the capability it provides for automatically coordinating diverse computations on a networked system of workstations and computers. For example, FIDO could provide the coordination required for the design of vehicles or electronics or for modeling complex systems.

Townsend, James C.↗
NASA NTRS2006

X-Windows Socket Widget Class

The X-Windows Socket Widget Class ("Class" is used here in the object-oriented-programming sense of the word) was devised to simplify the task of implementing network connections for graphical-user-interface (GUI) computer programs. UNIX Transmission Control Protocol/Internet Protocol (TCP/IP) socket programming libraries require many method calls to configure, operate, and destroy sockets. Most X Windows GUI programs use widget sets or toolkits to facilitate management of complex objects. The widget standards facilitate construction of toolkits and application programs. The X-Windows Socket Widget Class encapsulates UNIX TCP/IP socket-management tasks within the framework of an X Windows widget. Using the widget framework, X Windows GUI programs can treat one or more network socket instances in the same manner as that of other graphical widgets, making it easier to program sockets. Wrapping ISP socket programming libraries inside a widget framework enables a programmer to treat a network interface as though it were a GUI.

Barry, Matthew R.↗
NASA NTRS1972

Meteor research program, executive summary

A framework statement is provided of three problems together with brief comments on advances made during the course of this research. The problems discussed are: (1) generic relationships among comets, asteroids, meteorites, and meteoroids; (2) meteor physics; and (3) meteoroid hazard and the spatial distribution of meteoroid material. A summary of results is included.

Source record↗