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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 217 records · Page 12

All sources NASA NTRS DOE OSTI

NASA NTRSDate not supplied

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗

NASA NTRS2007

Reusable, Extensible High-Level Data-Distribution Concept

A framework for high-level specification of data distributions in data-parallel application programs has been conceived. [As used here, distributions signifies means to express locality (more specifically, locations of specified pieces of data) in a computing system composed of many processor and memory components connected by a network.] Inasmuch as distributions exert a great effect on the performances of application programs, it is important that a distribution strategy be flexible, so that distributions can be adapted to the requirements of those programs. At the same time, for the sake of productivity in programming and execution, it is desirable that users be shielded from such error-prone, tedious details as those of communication and synchronization. As desired, the present framework enables a user to refine a distribution type and adjust it to optimize the performance of an application program and conceals, from the user, the low-level details of communication and synchronization. The framework provides for a reusable, extensible, data-distribution design, denoted the design pattern, that is independent of a concrete implementation. The design pattern abstracts over coding patterns that have been found to be commonly encountered in both manually and automatically generated distributed parallel programs. The following description of the present framework is necessarily oversimplified to fit within the space available for this article. Distributions are among the elements of a conceptual data-distribution machinery, some of the other elements being denoted domains, index sets, and data collections (see figure). Associated with each domain is one index set and one distribution. A distribution class interface (where "class" is used in the object-oriented-programming sense) includes operations that enable specification of the mapping of an index to a unit of locality. Thus, "Map(Index)" specifies a unit, while "LocalLayout(Index)" specifies the local address within that unit. The distribution class can be extended to enable specification of commonly used distributions or novel user-defined distributions. A data collection can be defined over a domain. The term "data collection" in this context signifies, more specifically, an abstraction of mappings from index sets to variables. Since the index set is distributed, the addresses of the variables are also distributed.

James, Mark↗

NASA NTRS2003

Web Program for Development of GUIs for Cluster Computers

WIGLAF (a Web Interface Generator and Legacy Application Facade) is a computer program that provides a Web-based, distributed, graphical-user-interface (GUI) framework that can be adapted to any of a broad range of application programs, written in any programming language, that are executed remotely on any cluster computer system. WIGLAF enables the rapid development of a GUI for controlling and monitoring a specific application program running on the cluster and for transferring data to and from the application program. The only prerequisite for the execution of WIGLAF is a Web-browser program on a user's personal computer connected with the cluster via the Internet. WIGLAF has a client/server architecture: The server component is executed on the cluster system, where it controls the application program and serves data to the client component. The client component is an applet that runs in the Web browser. WIGLAF utilizes the Extensible Markup Language to hold all data associated with the application software, Java to enable platform-independent execution on the cluster system and the display of a GUI generator through the browser, and the Java Remote Method Invocation software package to provide simple, effective client/server networking.

Czikmantory, Akos↗

NASA NTRS1994

Array distribution in data-parallel programs

We consider distribution at compile time of the array data in a distributed-memory implementation of a data-parallel program written in a language like Fortran 90. We allow dynamic redistribution of data and define a heuristic algorithmic framework that chooses distribution parameters to minimize an estimate of program completion time. We represent the program as an alignment-distribution graph. We propose a divide-and-conquer algorithm for distribution that initially assigns a common distribution to each node of the graph and successively refines this assignment, taking computation, realignment, and redistribution costs into account. We explain how to estimate the effect of distribution on computation cost and how to choose a candidate set of distributions. We present the results of an implementation of our algorithms on several test problems.

Chatterjee, Siddhartha↗

NASA NTRS1998

Estimating Soil Moisture from Satellite Microwave Observations

Cooperative research in microwave remote sensing between the Hydrological Sciences Branch of the NASA Goddard Space Flight Center and the Earth Sciences Faculty of the Vrije Universiteit Amsterdam began with the Botswana Water and Energy Balance Experiment and has continued through a series of highly successful International Research Programs. The collaboration between these two research institutions has resulted in significant scientific achievements, most notably in the area of satellite-based microwave remote sensing of soil moisture. The Botswana Program was the first joint research initiative between these two institutions, and provided a unique data base which included historical data sets of Scanning Multifrequency Microwave Radiometer (SN4NM) data, climate information, and extensive soil moisture measurements over several large experimental sites in southeast Botswana. These data were the basis for the development of new approaches in physically-based inverse modelling of soil moisture from satellite microwave observations. Among the results from this study were quantitative estimates of vegetation transmission properties at microwave frequencies. A single polarization modelling approach which used horizontally polarized microwave observations combined with monthly composites of Normalized Difference Vegetation Index was developed, and yielded good results. After more precise field experimentation with a ground-based radiometer system, a dual-polarization approach was subsequently developed. This new approach realized significant improvements in soil moisture estimation by satellite. Results from the Botswana study were subsequently applied to a desertification monitoring study for the country of Spain within the framework of the European Community science research programs EFEDA and RESMEDES. A dual frequency approach with only microwave data was used for this application. The Microwave Polarization Difference Index (MPDI) was calculated from 37 GHz data and used to derive the one-way canopy transmissivity. Using a simple radiative transfer model, this information was combined with horizontally polarized 6.6 GHz SMMR observations to derive a 9-year time series of soil moisture for all of Spain at a one quarter degree spatial scale. Both day and night SMMR observations were used independently, in order to check the consistency of the results. A first order Fourier Transform was performed on the mean monthly soil moisture values to identify major characteristics of time series such as trend, amplitude, and phase shift.

Owe, M.↗

NASA NTRS2003

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗

NASA NTRS1996

Visualization of Real-Time Data

In this project we explored various approaches to presenting real-time data from the numerous systems monitored on the space shuttle to computer users. We examined the approach that several projects at the Kennedy Space Center (KSC) used to accomplish this. We undertook to build a prototype system to demonstrate that the Internet and the Java programming language could be used to present the real-time data conveniently. Several Java programs were developed that presented real-time data in different forms including one form that emulated the display screens of the PC GOAL system which is familiar to many at KSC. Also, we developed several communications programs to supply the data continuously. Furthermore, a framework was created using the World Wide Web (WWW) to organize the collection and presentation of the real-time data. We believe our demonstration project shows the great flexibility of the approach. We had no particular use of the data in mind, instead we wanted the most general and the least complex framework possible. People who wish to view data need only know how to use a WWW browser and the address (the URL). People wanting to build WWW documents containing real-time data need only know the values of a few parameters, they do not need to program in Java or any other language. These are stunning advantages over more monolithic systems.

Stansifer, Ryan↗

NASA NTRS2023

Exploration Systems Development Mission Directorate (ESDMD) Moon-to-Mars Architecture Definition Document

There are many opportunities in executing the ambitious Moon-to-Mars efforts through an integrated architecture. NASA addresses this in its Moon-to-Mars Strategy and Objectives Development2 document (hereafter referred to as the M2M Strategy). Many of these opportunities involve establishing a system engineering framework that can support the breadth of necessary program and system contributions. By applying these needs to nearer-term lunar development, NASA will be instituting the process, procedures, and techniques needed to enable longer-term Mars goals and more. Some of the challenges being addressed in the M2M Strategy are associated with the architecture definition and include broad/changing goals, funding, and external pressures/influences. This document and the methodology outlined for architecture definition have been crafted to contend with these using an iterative and adaptable framework. The primary purpose of the Architecture Definition Document (ADD) is to capture the methodology, organization, and decomposition necessary to translate the broad objectives outlined in the M2M Strategy into functions and use cases that can be allocated to implementable programs and projects. Inherent in this process will be the need to communicate the long-term vision, maintain traceability to responsible parties, and iterate on the architectural implementation as innovations and solutions develop. This document will be updated and improved in conjunction with the Architecture Concept Review (ACR) which will be held annually to help unify the Agency and to get buy-in and input from across the Agency on the human exploration architecture. The annual nature of the process provides the opportunity to continually incorporate new developments in technologies and new partnerships, whether they be with industry, the U.S. Government, international entities, or academia.

Moon-to-Mars Strategy↗

NASA NTRS2024

A Distributed Simulation Framework Applied to Artemis Analysis, Studies, Integration, and Test

The National Aeronautics and Space Administration (NASA) established the Artemis Program, a series of missions to return humans to the Moon and explore further than before. To execute the Artemis missions, NASA is collaborating with commercial and international partners to create the necessary infrastructure and logistics plan that will establish a long term presence on the Moon ahead of exploring Mars. NASA and its partners are developing a collection of space and surface systems to support crewed missions to the lunar surface that will provide the mobility, habitation, logistics, and exploration support necessary for Artemis mission successes which includes robust scientific investigations. This paper details the design, capabilities, and uses of the Artemis Distributed Simulation (ADS) being developed by the NASA Exploration Systems Simulations (NExSyS) Team to support Artemis architecture studies. ADS utilizes international interoperability standards to connect a collection of independent vehicle and service simulations; these include but are not limited to elements such as rovers, landers, and habitation elements along with services like communications, environment, visualization, and data logging. ADS’s distributed nature allows for the complex aggregation of constituent Artemis elements; this includes efficient scenario modification with the addition or removal of individual simulations representing Artemis elements or services. This capability provides support for the rapid performance of various Artemis mission trade studies exploring alternate configurations. Currently, ADS uses NASA developed simulations for development and testing; however, through the use of international simulation interoperability standards, ADS provides an integration framework to incorporate dissimilar authoritative vendor simulations as Artemis systems mature and vendor simulations become available. Vendor simulations will be able to join ADS and interact with other Artemis elements and vehicles while limiting the exposure of proprietary data. This paper describes the expansion of an existing distributed simulation infrastructure to accommodate a collaborative and dynamic framework for the Artemis Program. This work includes updated federation designs, integration into existing NASA facilities, advancements in visualizations, and advancements in human driven inputs. This paper will also outline recently completed and ongoing support and collaboration with NASA studies and testing, namely results from energetics and Human-In-The-Loop (HITL) studies. The paper concludes with a plan for future developments and facility integration to enable enhanced studies in preparation for a return of humans to the lunar surface.

Artemis↗

NASA NTRS1970

Hypersonic Research Facilities Study - Volume IV, Part 1: Phase III Final Studies Flight Research Facilities

The Phase III analyses of Flight Research Facilities performed as a portion of the Hypersonic Research Facilities (HYFAC) Study are presented herein. Two attractive flight research vehicle concepts, geared to the development needs of future (1980-2n00) operational hypersonic aircraft systems, are defined. The inherent research capability of each concept is further expanded by incorporating provisions within the basic vehicle design to accommodate the testing of several additional research options. The design feasibility of this approach to achieving increased research flexibility is examined. Near term propulsion systems are employed as the basic power plants to shorten acquisition time, reduce development costs, and provide high confidence in attaining the performance capability desired, Performance is determined for each basic vehicle and for the vehicles when incorporating several optional research packages. Total program cost estimates are developed for each vehicle and for the various research options. This study provides the necessary framework for the formulation of an attractive and needed flight research program which is a key element in the systematic development of an overall advanced research plan.

Source record↗

NASA NTRS1974

Computational aspects of maximum likelihood estimation and reduction in sensitivity function calculations

This paper discusses numerical aspects of computing maximum likelihood estimates for linear dynamical systems in state-vector form. Different gradient-based nonlinear programming methods are discussed in a unified framework and their applicability to maximum likelihood estimation is examined. The problems due to singular Hessian or singular information matrix that are common in practice are discussed in detail and methods for their solution are proposed. New results on the calculation of state sensitivity functions via reduced order models are given. Several methods for speeding convergence and reducing computation time are also discussed.

Gupta, N. K.↗

NASA NTRS1980

Technology alternatives for the SPS

Emerging technologies may offer advantages over those selected for the reference design adopted for the SPS. While it is not possible to list all the technological innovations that may affect the SPS, it is feasible to develop a systematic methodology for assessing technical alternatives. This may be of value in evaluating proposed technologies and identifying high priority areas for research. Such a methodology includes involves (1) variation of guidelines; (2) analysis of system functions; (3) analysis of system sensitivity; (4) analysis of technology status and risk; and (5) external costs, problem areas, and criticisms of the SPS concept. The methodology is a first step towards the creation of a formal decision analytic framework which can support design choices and program decisions as development proceeds.

Glaser, P.↗

NASA NTRS1983

An interval logic for higher-level temporal reasoning

Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to express very high level abstract requirements that a program or system is to satisfy. Based on experience with those primitives, this report describes an Interval Logic that is more suitable for expressing such higher level temporal properties. The report provides a formal semantics for the Interval Logic, and several examples of its use. A description of decision procedures for the logic is also included.

Schwartz, R. L.↗

NASA NTRS1991

International cooperation in the Space Station programme - Assessing the experience to date

The origins and framework for cooperation in the Space Station program are outlined. Particular attention is paid to issues and commitments between the countries and to the political context of the Station partnership. A number of conclusions concerning international cooperation in space are drawn based on the Space Station experience. Among these conclusions is the assertion that an international partnership requires realistic assesments, mutual trust, and strong commitments in order to work.

Logsdon, John M.↗

NASA NTRS1995

Heterogeneous concurrent computing with exportable services

Heterogeneous concurrent computing, based on the traditional process-oriented model, is approaching its functionality and performance limits. An alternative paradigm, based on the concept of services, supporting data driven computation, and built on a lightweight process infrastructure, is proposed to enhance the functional capabilities and the operational efficiency of heterogeneous network-based concurrent computing. TPVM is an experimental prototype system supporting exportable services, thread-based computation, and remote memory operations that is built as an extension of and an enhancement to the PVM concurrent computing system. TPVM offers a significantly different computing paradigm for network-based computing, while maintaining a close resemblance to the conventional PVM model in the interest of compatibility and ease of transition Preliminary experiences have demonstrated that the TPVM framework presents a natural yet powerful concurrent programming interface, while being capable of delivering performance improvements of upto thirty percent.

Sunderam, Vaidy↗

NASA NTRS2007

Organization and Management of the International Space Station (ISS) Multilateral Medical Operations

The goal of this work is to review the principles, design, and function of the ISS multilateral medical authority and the medical support system of the ISS Program. Multilateral boards and panels provide operational framework, direct, and supervise the ISS joint medical operational activities. The Integrated Medical Group (IMG) provides front-line medical support of the crews. Results of ongoing activities are reviewed weekly by physician managers. A broader status review is conducted monthly to project the state of crew health and medical support for the following month. All boards, panels, and groups function effectively and without interruptions. Consensus prevails as the primary nature of decisions made by all ISS medical groups, including the ISS medical certification board. The sustained efforts of all partners have resulted in favorable medical outcomes of the initial fourteen long-duration expeditions. The medical support system appears to be mature and ready for further expansion of the roles of all Partners, and for the anticipated increase in the size of ISS crews.

Duncan, J. M.↗

NASA NTRS2010

CASTOR: Cathode/Anode Satellite Thruster for Orbital Repositioning

The purpose of CASTOR (Cathode/Anode Satellite Thruster for Orbital Repositioning) satellite is to demonstrate in Low Earth Orbit (LEO) a nanosatellite that uses a Divergent Cusped Field Thruster (DCFT) to perform orbital maneuvers representative of an orbital transfer vehicle. Powered by semi-deployable solar arrays generating 165W of power, CASTOR will achieve nearly 1 km/s of velocity increment over one year. As a technology demonstration mission, success of CASTOR in LEO will pave the way for a low cost, high delta-V orbital transfer capability for small military and civilian payloads in support of Air Force and NASA missions. The educational objective is to engage graduate and undergraduate students in critical roles in the design, development, test, carrier integration and on-orbit operations of CASTOR as a supplement to their curricular activities. This program is laying the foundation for a long-term satellite construction program at MIT. The satellite is being designed as a part of AFRL's University Nanosatellite Program, which provides the funding and a framework in which student satellite teams compete for a launch to orbit. To this end, the satellite must fit within an envelope of 50cmx50cmx60cm, have a mass of less than 50kg, and meet stringent structural and other requirements. In this framework, the CASTOR team successfully completed PDR in August 2009 and CDR in April 2010 and will compete at FCR (Flight Competition Review) in January 2011. The complexity of the project requires implementation of many systems engineering techniques which allow for development of CASTOR from conception through FCR and encompass the full design, fabrication, and testing process.

Mruphy, Gloria A.↗

NASA NTRS2012

NASA KSC Intern Final Paper

I am finishing up my internship with the Application & Simulation group at NASA Kennedy Space Center (KSC). During this internship I was working with the Plant Habitat development team. The Plant Habitat provides a large enclosed, environmentally controlled chamber designed to support commercial and fundamental plant research onboard the International Space Station (ISS). The work that I did was for the prototype of the Graphical User Interface (GUI) display. This display is used by the scientists to monitor the system health, start new experiment configurations, and get real-time information about the experiment as its being run. This display is developed using the Qt Framework Integrated Development Environment (IDE) and the programming language C++.

Colton, Andrew↗