Search NASA⌕ Search

SEARCH · Search NASA

Results for “Programming Paradigm”

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

Achieving High Performance on the i860 Microprocessor

The i860 is a high performance microprocessor used in the Intel Touchstone project. This paper proposes a paradigm for programming the i860 that is modelled on the vector instructions of the Cray computers. Fortran callable assembler subroutines were written that mimic the concurrent vector instructions of the Cray. Cache takes the place of vector registers. Using this paradigm we have achieved twice the performance of compiled code on a traditional solve.

Lee, King↗

Performance on HPC Platforms Is Possible Without C++

Computing at large scales has become extremely challenging due to increasing heterogeneity in both hardware and software. More and more scientific workflows must tackle a range of scales and use machine learning and AI intertwined with more traditional numerical modeling methods, placing more demands on computational platforms. These constraints indicate a need to fundamentally rethink the way computational science is done and the tools that are needed to enable these complex workflows. The current set of C++-based solutions may not suffice, and relying exclusively upon C++ may not be the best option, especially because several newer languages and boutique solutions offer more robust design features to tackle the challenges of heterogeneity. In June 2023, we held a mini symposium that explored the use of newer languages and heterogeneity solutions that are not tied to C++ and that offer options beyond template metaprogramming and Parallel. For for performance and portability. In conclusion, we describe some of the presentations and discussion from the mini symposium in this article.

97 MATHEMATICS AND COMPUTING↗

Applications Of Modern Systems Analysis

cour papers discuss applications of interdisciplinary methodologies incorporating elaborate mathematical models and computer programs as paradigms of modern systems analysis. Unifying concept underlying presentations is need for more sophisticated methods of systems analysis to manage increasingly complex engineering and socioeconomic systems.

Wagner, Robert C.↗

Combining Model-driven and Schema-based Program Synthesis

We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transformations. The combination of schemas with explicit models offers a number of advantages, namely, that building synthesis systems becomes much easier since the models can be used in verification and in adaptation of the synthesis systems. We illustrate our approach using an example from signal processing.

Denney, Ewen↗

Machine learning in motion control

The existing methodologies for robot programming originate primarily from robotic applications to manufacturing, where uncertainties of the robots and their task environment may be minimized by repeated off-line modeling and identification. In space application of robots, however, a higher degree of automation is required for robot programming because of the desire of minimizing the human intervention. We discuss a new paradigm of robotic programming which is based on the concept of machine learning. The goal is to let robots practice tasks by themselves and the operational data are used to automatically improve their motion performance. The underlying mathematical problem is to solve the problem of dynamical inverse by iterative methods. One of the key questions is how to ensure the convergence of the iterative process. There have been a few small steps taken into this important approach to robot programming. We give a representative result on the convergence problem.

Su, Renjeng↗

Dynamic data distributions in Vienna Fortran

Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data (SPMD) paradigm and allows the user to write programs for distributed-memory systems using global addresses. The language features focus mainly on the issue of distributing data across virtual processor structures. Those features of Vienna Fortran that allow the data distributions of arrays to change dynamically, depending on runtime conditions are discussed. The relevant language features are discussed, their implementation is outlined, and how they may be used in applications is described.

Chapman, Barbara↗

Experiments with a small behaviour controlled planetary rover

A series of experiments that were performed on the Rocky 3 robot is described. Rocky 3 is a small autonomous rover capable of navigating through rough outdoor terrain to a predesignated area, searching that area for soft soil, acquiring a soil sample, and depositing the sample in a container at its home base. The robot is programmed according to a reactive behavior control paradigm using the ALFA programming language. This style of programming produces robust autonomous performance while requiring significantly less computational resources than more traditional mobile robot control systems. The code for Rocky 3 runs on an eight bit processor and uses about ten k of memory.

Miller, David P.↗

The use of activity-based cost estimation as a management tool for cultural change

It will be shown that the greatest barrier to American exploration of the planet Mars is not the development of the technology needed to deliver humans and return them safely to earth. Neither is it the cost of such an undertaking, as has been previously suggested, although certainly, such a venture may not be inexpensive by some measures. The predicted costs of exploration have discouraged serious political dialog on the subject. And, in fact, even optimistic projections of the NASA budget do not contain the resources required, under the existing development and management paradigm, for human space exploration programs. It will be demonstrated that the perception of the costs of such a venture, and the cultural responses to the perceptions are factors inhibiting American exploration of the moon and the planet Mars. Cost models employed in the aerospace industry today correctly mirror the history of past space programs, and as such, are representative of the existing management and development paradigms. However, if, under this current paradigm no major exploration programs are feasible, then cost analysis methods based in the past may not have great utility in exploring the needed cultural changes. This paper explores the use of a new type of model, the activity based cost model, which will treat management style as an input variable, in a sense providing a tool whereby a complete, affordable program might be designed, including both the technological and management aspects.

Mandell, Humboldt↗

Recent Developments of Thermal Protection Materials to Enable Lower Cost Space Missions

Introduction: Starting with the Commercial Crew Program, a new paradigm has emerged at NASA. Rather than designing rockets and spacecrafts for every mission optimized to achieve science, NASA has begun to use a service-based model and utilizing public-private partnership in developing the vehicles that can bring broader benefits as well as lower the cost for NASA missions. Commercial companies own and operate those vehicles. This allows NASA to not design missions from the bottom up, and has cost, risk, and schedule savings implications. On the other side, the constraints require meeting the requirements in terms of mass, volume, power, etc. By leveraging NASA developed technologies, commercial companies can quickly demonstrate the commercial mission concept, and, through technology transfer, adopt needed technology to address supply chain problems. A downside is that the technology has to be sufficiently mature to be transferred by NASA, which means that it requires significant investment, expertise, and time to develop. Space entities are focused on rapid development with an emphasis on manufacturing and integration innovation with reduced cost and schedule and quick entrance into the market. Thermal Protection Systems (TPS) are mission critical, but their development takes years, and involve access to arc jets or unique test facilities. Therefore, their development is both risky and investment heavy. NASA ARC developed several new TPS materials over the last decade (C-PICA, HEEET, 3MDCP, 3DMAT, ADEPT woven TPS) and brought them to high TPS maturity, making them enablers for commercials space missions from LEO, Lunar Sample Return, Mars, and Venus missions. LEO missions are relevant to future Mars missions due to the comparable entry conditions. External Partners' Missions: C-PICA is a recent improvement on NASA’s heritage PICA lightweight TPS ablator. C-PICA is now considered an enabling technology for New Frontiers and other NASA missions. C-PICA was infused into several missions from external partners. Varda Space Industries’ Winnebago-1 spacecraft successfully returned to Earth from LEO on Feb. 21st, 2024, using a C-PICA heatshield. Inversion Space’s Ray vehicle will test both ARC’s C-PICA and SIRCA TPS materials on a LEO return mission later in 2024. The Kentucky Re-Entry Probe Experiment (KREPE) is another example of a low-cost flight experiment to demonstrate the use of small entry capsules to gather data with three instrumented Kentucky Re-entry and Universal Payload System (KRUPS) capsules. NASA Arc provided C-PICA and Soft-PICA for two of the next KRUPS capsules scheduled to re-enter Earth from the ISS later in 2024. Finally, Rocket Lab’s low-cost mission to Venus, scheduled to launch in December 2024, will search for habitable conditions in Venus’ cloud layer, making use of NASA ARC provided HEEET insulation layer heat shield, and SIRCA backshell TPS materials. Future NASA Missions: NASA’s ability to help commercial missions can lead to future low-cost missions for several reasons: Competition encourages lower cost; technology maturation is now done at an integrated system level; and a common design architecture between commercial and scientific applications requires no specialized engineering design. From an engineering perspective, both of these commercial LEO capsules aforementioned are capable of a Mars entry; the commercial payload mut be replaced with as science payload. Finally, several NASA mission concepts, that could be candidates for future SIMPLEx program calls, such as VATMOS-SR and Nephele, both proposing to target the Venusian atmosphere, would make use of the HEEET insulation layer TPS for part of their heat shield.

TPS materials↗

Recent Developments of Thermal Protection Materials to Enable Lower Cost Space Missions

Introduction: Starting with the Commercial Crew Program, a new paradigm has emerged at NASA. Rather than designing rockets and spacecrafts for every mission optimized to achieve science, NASA has begun to use a service-based model and utilizing public-private partnership in developing the vehicles that can bring broader benefits as well as lower the cost for NASA missions. Commercial companies own and operate those vehicles. This allows NASA to not design missions from the bottom up, and has cost, risk, and schedule savings implications. On the other side, the constraints require meeting the requirements in terms of mass, volume, power, etc. By leveraging NASA developed technologies, commercial companies can quickly demonstrate the commercial mission concept, and, through technology transfer, adopt needed technology to address supply chain problems. A downside is that the technology has to be sufficiently mature to be transferred by NASA, which means that it requires significant investment, expertise, and time to develop. Space entities are focused on rapid development with an emphasis on manufacturing and integration innovation with reduced cost and schedule and quick entrance into the market. Thermal Protection Systems (TPS) are mission critical, but their development takes years, and involve access to arc jets or unique test facilities. Therefore, their development is both risky and investment heavy. NASA ARC developed several new TPS materials over the last decade (C-PICA, HEEET, 3MDCP, 3DMAT, ADEPT woven TPS) and brought them to high TPS maturity, making them enablers for commercials space missions from LEO, Lunar Sample Return, Mars, and Venus missions. LEO missions are relevant to future Mars missions due to the comparable entry conditions. External Partners' Missions: C-PICA is a recent improvement on NASA’s heritage PICA lightweight TPS ablator. C-PICA is now considered an enabling technology for New Frontiers and other NASA missions. C-PICA was infused into several missions from external partners. Varda Space Industries’ Winnebago-1 spacecraft successfully returned to Earth from LEO on Feb. 21st, 2024, using a C-PICA heatshield. Inversion Space’s Ray vehicle will test both ARC’s C-PICA and SIRCA TPS materials on a LEO return mission later in 2024. The Kentucky Re-Entry Probe Experiment (KREPE) is another example of a low-cost flight experiment to demonstrate the use of small entry capsules to gather data with three instrumented Kentucky Re-entry and Universal Payload System (KRUPS) capsules. NASA Arc provided C-PICA and Soft-PICA for two of the next KRUPS capsules scheduled to re-enter Earth from the ISS later in 2024. Finally, Rocket Lab’s low-cost mission to Venus, scheduled to launch in December 2024, will search for habitable conditions in Venus’ cloud layer, making use of NASA ARC provided HEEET insulation layer heat shield, and SIRCA backshell TPS materials. Future NASA Missions: NASA’s ability to help commercial missions can lead to future low-cost missions for several reasons: Competition encourages lower cost; technology maturation is now done at an integrated system level; and a common design architecture between commercial and scientific applications requires no specialized engineering design. From an engineering perspective, both of these commercial LEO capsules aforementioned are capable of a Mars entry; the commercial payload mut be replaced with as science payload. Finally, several NASA mission concepts, that could be candidates for future SIMPLEx program calls, such as VATMOS-SR and Nephele, both proposing to target the Venusian atmosphere, would make use of the HEEET insulation layer TPS for part of their heat shield.

TPS materials↗

The transition from resistance to acceptance: Managing a marine invasive species in a changing world

Abstract Marine invasive species can transform coastal ecosystems, yet mitigating their effects can be difficult, and even impractical. Often, marine invasive species are managed at poorly matched spatial scales, and at the same time, rates of spread and establishment are increasing under climate change and can outpace resources available for population suppression. These circumstances challenge traditional conservation goals of maintaining a historic environmental state, especially for a species like the European green crab ( Carcinus maenas ), a formidable invader with few examples of successful long‐term removal programs. A management paradigm where decision alternatives include resisting or accepting a new ecological trajectory may be needed. We apply mathematical concepts from decision theory to develop a quantitative framework for navigating management decisions in this new resist‐accept paradigm. We develop a model of European green crab growth, removal and colonization, and we find optimal levels of removal effort that minimize both ecological change and removal cost. We establish a benchmark of colonization pressure at which green crab density becomes decoupled from a decision maker's actions, such that population control can no longer shape the invasion trajectory. For informing the decision boundary between resistance and acceptance, our results highlight that a decision maker's understanding of how removal cost scales with removal effort is more important than understanding the density‐impact relationship. We show that assuming stationary system dynamics can result in sub‐optimal levels of species removal effort, highlighting the importance of developing anticipatory management strategies by accounting for non‐stationary dynamics. Policy implications . For marine invasive species that can disperse across long distances and recolonize rapidly after removal, the focus of conservation policy should shift away from understanding how to resist change to understanding when to stop resisting change. Navigating this decision problem involves trade‐offs among competing objectives, highlighting the need for structured approaches to elicit objective weights that reflect the values of the decision maker. For natural resource managers facing possible ecosystem transformation, this decision framework can enable proactive and strategic decisions made under uncertainty in a changing world.

Keller, Abigail G. [Department of Environment Scie↗

Improving Safety on the International Space Station: Transitioning to Electronic Emergency Procedure Books on the International Space Station

The National Aeronautics and Space Administration (NASA) originally designed the International Space Station (ISS) to operate until 2015, but have extended operations until at least 2020. As part of this very dynamic Program, there is an effort underway to simplify the certification of Commercial ]of ]the ]Shelf (COTS) hardware. This change in paradigm allows the ISS Program to take advantage of technologically savvy and commercially available hardware, such as the iPad. The iPad, a line of tablet computers designed and marketed by Apple Inc., was chosen to support this endeavor. The iPad is functional, portable, and could be easily accessed in an emergency situation. The iPad Electronic Flight Bag (EFB), currently approved for use in flight by the Federal Aviation Administration (FAA), is a fraction of the cost of a traditional Class 2 EFB. In addition, the iPad fs ability to use electronic aeronautical data in lieu of paper in route charts and approach plates can cut the annual cost of paper data in half for commercial airlines. ISS may be able to benefit from this type of trade since one of the most important factors considered is information management. Emergency procedures onboard the ISS are currently available to the crew in paper form. Updates to the emergency books can either be launched on an upcoming visiting vehicle such as a Russian Soyuz flight or printed using the onboard ISS printer. In both cases, it is costly to update hardcopy procedures. A new operations concept was proposed to allow for the use of a tablet system that would provide a flexible platform to support space station crew operations. The purpose of the system would be to provide the crew the ability to view and maintain operational data, such as emergency procedures while also allowing Mission Control Houston to update the procedures. The ISS Program is currently evaluating the safety risks associated with the use of iPads versus paper. Paper products can contribute to the flammability risk and require manual updates that take time away from research tasks. The ISS program has recently purchased three iPads for the astronauts and the certification has been approved. The crew is currently using the iPads onboard. The results of this analysis could be used to discern whether the iPad is a viable option for use in emergencies by assessing the risk posture through the development of a quantitative probabilistic risk assessment (PRA).

Carter-Journet, Katrina↗

Software Assurance Challenges for the Commercial Crew Program

This paper will provide a description of some of the challenges NASA is facing in providing software assurance within the new commercial space services paradigm, namely with the Commercial Crew Program (CCP). The CCP will establish safe, reliable, and affordable access to the International Space Station (ISS) by purchasing a ride from commercial companies. The CCP providers have varying experience with software development in safety-critical space systems. NASA's role in providing effective software assurance support to the CCP providers is critical to the success of CCP. These challenges include funding multiple vehicles that execute in parallel and have different rules of engagement, multiple providers with unique proprietary concerns, providing equivalent guidance to all providers, permitting alternates to NASA standards, and a large number of diverse stakeholders. It is expected that these challenges will exist in future programs, especially if the CCP paradigm proves successful. The proposed CCP approach to address these challenges includes a risk-based assessment with varying degrees of engagement and a distributed assurance model. This presentation will describe NASA IV&V Program's software assurance support and responses to these challenges.

Commercial Crew↗

Fortran for the nineties

Fortran has largely enjoyed prominence for the past few decades as the computer programming language of choice for numerically intensive scientific, engineering, and process control applications. Fortran's well understood static language syntax has allowed resulting parsers and compiler optimizing technologies to often generate among the most efficient and fastest run-time executables, particularly on high-end scalar and vector supercomputers. Computing architectures and paradigms have changed considerably since the last ANSI/ISO Fortran release in 1978, and while FORTRAN 77 has more than survived, it's aged features provide only partial functionality for today's demanding computing environments. The simple block procedural languages have been necessarily evolving, or giving way, to specialized supercomputing, network resource, and object-oriented paradigms. To address these new computing demands, ANSI has worked for the last 12-years with three international public reviews to deliver Fortran 90. Fortran 90 has superseded and replaced ISO FORTRAN 77 internationally as the sole Fortran standard; while in the US, Fortran 90 is expected to be adopted as the ANSI standard this summer, coexisting with ANSI FORTRAN 77 until at least 1996. The development path and current state of Fortran will be briefly described highlighting the many new Fortran 90 syntactic and semantic additions which support (among others): free form source; array syntax; new control structures; modules and interfaces; pointers; derived data types; dynamic memory; enhanced I/O; operator overloading; data abstraction; user optional arguments; new intrinsics for array, bit manipulation, and system inquiry; and enhanced portability through better generic control of underlying system arithmetic models. Examples from dynamical astronomy, signal and image processing will attempt to illustrate Fortran 90's applicability to today's general scalar, vector, and parallel scientific and engineering requirements and object oriented programming paradigms. Time permitting, current work proceeding on the future development of Fortran 2000 and collateral standards will be introduced.

Himer, J. T.↗

Automatic data partitioning on distributed memory multicomputers

Distributed-memory parallel computers are increasingly being used to provide high levels of performance for scientific applications. Unfortunately, such machines are not very easy to program. A number of research efforts seek to alleviate this problem by developing compilers that take over the task of generating communication. The communication overheads and the extent of parallelism exploited in the resulting target program are determined largely by the manner in which data is partitioned across different processors of the machine. Most of the compilers provide no assistance to the programmer in the crucial task of determining a good data partitioning scheme. A novel approach is presented, the constraints-based approach, to the problem of automatic data partitioning for numeric programs. In this approach, the compiler identifies some desirable requirements on the distribution of various arrays being referenced in each statement, based on performance considerations. These desirable requirements are referred to as constraints. For each constraint, the compiler determines a quality measure that captures its importance with respect to the performance of the program. The quality measure is obtained through static performance estimation, without actually generating the target data-parallel program with explicit communication. Each data distribution decision is taken by combining all the relevant constraints. The compiler attempts to resolve any conflicts between constraints such that the overall execution time of the parallel program is minimized. This approach has been implemented as part of a compiler called Paradigm, that accepts Fortran 77 programs, and specifies the partitioning scheme to be used for each array in the program. We have obtained results on some programs taken from the Linpack and Eispack libraries, and the Perfect Benchmarks. These results are quite promising, and demonstrate the feasibility of automatic data partitioning for a significant class of scientific application programs with regular computations.

Gupta, Manish↗

Porting Gravitational Wave Signal Extraction to Parallel Virtual Machine (PVM)

Laser Interferometer Space Antenna (LISA) is a planned NASA-ESA mission to be launched around 2012. The Gravitational Wave detection is fundamentally the determination of frequency, source parameters, and waveform amplitude derived in a specific order from the interferometric time-series of the rotating LISA spacecrafts. The LISA Science Team has developed a Mock LISA Data Challenge intended to promote the testing of complicated nested search algorithms to detect the 100-1 millihertz frequency signals at amplitudes of 10E-21. However, it has become clear that, sequential search of the parameters is very time consuming and ultra-sensitive; hence, a new strategy has been developed. Parallelization of existing sequential search algorithms of Gravitational Wave signal identification consists of decomposing sequential search loops, beginning with outermost loops and working inward. In this process, the main challenge is to detect interdependencies among loops and partitioning the loops so as to preserve concurrency. Existing parallel programs are based upon either shared memory or distributed memory paradigms. In PVM, master and node programs are used to execute parallelization and process spawning. The PVM can handle process management and process addressing schemes using a virtual machine configuration. The task scheduling and the messaging and signaling can be implemented efficiently for the LISA Gravitational Wave search process using a master and 6 nodes. This approach is accomplished using a server that is available at NASA Ames Research Center, and has been dedicated to the LISA Data Challenge Competition. Historically, gravitational wave and source identification parameters have taken around 7 days in this dedicated single thread Linux based server. Using PVM approach, the parameter extraction problem can be reduced to within a day. The low frequency computation and a proxy signal-to-noise ratio are calculated in separate nodes that are controlled by the master using message and vector of data passing. The message passing among nodes follows a pattern of synchronous and asynchronous send-and-receive protocols. The communication model and the message buffers are allocated dynamically to address rapid search of gravitational wave source information in the Mock LISA data sets.

Thirumalainambi, Rajkumar↗