Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “environments specification”

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 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Toward a persistent event-streaming system for high-performance computing applications

High-performance computing (HPC) applications have traditionally relied on parallel file systems and file transfer services to manage data movement and storage. Alternative approaches have been proposed that use direct communications between application components, trading persistence and fault tolerance for speed. Event-driven architectures, as popularized in enterprise contexts, present a compelling middle ground, avoiding the performance cost and API constraints of parallel file systems while retaining persistence and offering impedance matching between application components. However, adapting streaming frameworks to HPC workloads requires addressing challenges unique to HPC systems. This paper investigates the potential for a streaming framework designed for HPC infrastructures and use cases. We introduce Mofka, a persistent event-streaming framework designed specifically for HPC environments. Mofka combines the capabilities of a traditional streaming service with optimizations tailored to the HPC context, such as support for massively multicore nodes, efficient scaling for large producer-consumer workflows, RDMA-enabled high-performance network communications, specialized network fabrics with multiple links per node, and efficient handling of large scientific data payloads. Built using the Mochi suite of HPC data service components, Mofka provides a lightweight, modular, and high-performance solution for persistent streaming in HPC systems. We present the architecture of Mofka and evaluate its performance against Kafka and Redpanda using benchmarks on diverse platforms, including Argonne's Polaris and Oak Ridge's Frontier supercomputers, showing up to 8× improvement in throughput in some scenarios. We then demonstrate its utility in several real-world applications: a tomographic reconstruction pipeline, a workflow for the discovery of metal-organic frameworks for carbon capture, and the instrumentation of Dask workflows for provenance tracking and performance analysis.

HPC↗
NASA NTRS1965

Mariner 4 environmental testing.

Mariner Mars environmental test program including flight environment estimate, test specifications and procedures, etc

MARINER IV SPACE PROBE↗
NASA NTRS1976

Arctic odyssey - Five years of data buoys in AIDJEX

The Arctic Ice Dynamics Joint Experiment of 1975-1976 used data bouys in conjunction with tracking satellites to study the interaction of Arctic Sea ice with the environment, and, more specifically, to define the motion of ice on the perimeter of the area of interest and to measure surface barometeric pressure over the same area. Charts are presented, indicating the position of the buoy array along with a table detailing buoy characteristics. The position fix accuracy of RAMS (Random Access Measurement System) buoys is discussed together with position errors due to the along-track motion of the observing satellites. Polar satellite data collection and tracking efficiency is assessed together with satellite system flexibility concepts.

Martin, P.↗
NASA NTRS1983

Qualification tests and electrical measurements: Practice and problems

As part of the Flat-Plate Solar Array Project, 138 different module designs were subjected to qualification tests. Electrical measurements were subjected on well over a thousand modules representing more than 150 designs. From this experience, conclusions are drawn regarding results and problems, with discussion of the need for change or improvement. The qualification test sequence incuded application of environmental and electrical stresses to the module. With few exceptions, the tests have revealed defects necessitation of environmental and electrical stresses to the module. With few exceptions, the tests have revealed defects necessitating module design or process changes. However, the continued need for these tests may be questioned on the basis of technical and logistical factors. Technically, the current test sequence does not cover all design characteristics, does not include all field conditions and is not known to represent the desired 30-year module life. Logistically, the tests are time-consuming and costly, and there is a lack of, fully qualified independent test organizations. Alternatives to the current test program include simplification based on design specification and site environment, and/or the use of warranties or other commercial practices.

Smokler, M. I.↗
NASA NTRS1987

The crucial role of cooling in the making of molecular clouds and stars

The role that velocity or pressure fluctuations in the H I clouds medium can play in initiating compression of sub-Jeans mass diffuse clouds is outlined. The frequently discussed idea is reviewed that substantial overpressures arising in the warm, medium and/or highly supersonic compressions of H I clouds can push sub-Jeans mass clumps to densities where gravity can take over and complete the star formation process. A nonequilibrium model is used to analyze the impact of external disturbances on gas clouds, and estimates of the required disturbance amplitudes are substantially reduced from previous estimates based on equilibrium arguments. The results reveal that a cloud which cools under compression is particularly sensitive to mild disturbances from its environment. Furthermore, the specific energy required to trigger effective compressions in a cooling medium is nearly independent of the cloud's mass. It is proposed that mildly nonlinear disturbances play a primary role in the formation of molecular cloud and stars.

Tohline, Joel E.↗
NASA NTRS1986

Some design constraints required for the assembly of software components: The incorporation of atomic abstract types into generically structured abstract types

It is nearly axiomatic, that to take the greatest advantage of the useful features available in a development system, and to avoid the negative interactions of those features, requires the exercise of a design methodology which constrains their use. A major design support feature of the Ada language is abstraction: for data, functions processes, resources, and system elements in general. Atomic abstract types can be created in packages defining those private types and all of the overloaded operators, functions, and hidden data required for their use in an application. Generically structured abstract types can be created in generic packages defining those structured private types, as buildups from the user-defined data types which are input as parameters. A study is made of the design constraints required for software incorporating either atomic or generically structured abstract types, if the integration of software components based on them is to be subsequently performed. The impact of these techniques on the reusability of software and the creation of project-specific software support environments is also discussed.

Johnson, Charles S.↗
NASA NTRS1989

Spacecraft charging

The effects of spacecraft charging on spacecraft materials are studied. Spacecraft charging interactions seem to couple environment to system performance through materials. Technology is still developing concerning both environment-driven and operating system-driven interactions. The meeting addressed environment but lacked specific mission requirements, as a result system definition are needed to prioritize interactions.

Stevens, N. John↗
NASA NTRS1989

Formal verification of a fault tolerant clock synchronization algorithm

A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system.

Rushby, John↗
NASA NTRS1990

Simulating A Factory Via Software

Software system generates simulation program from user's responses to questions. AMPS/PC system is simulation software tool designed to aid user in defining specifications of manufacturing environment and then automatically writing code for target simulation language, GPSS/PC. Domain of problems AMPS/PC simulates is that of manufacturing assembly lines with subassembly lines and manufacturing cells. Written in Turbo Pascal Version 4.

Schroer, Bernard J.↗
NASA NTRS1990

Extensibility and limitations of FDDI

Recently two standards for Metropolitan Area Networks (MANs), Fiber Distributed Data Interface (FDDI) and Distributed Queue Dual Bus (DQDB), have emerged as the primary competitors for the MAN arena. Great interest exists in building higher speed networks which support large numbers of node and greater distance, and it is not clear what types of protocols are needed for this type of environment. There is some question as to whether or not these MAN standards can be extended to such environments. The extensibility of FDDI to the Gbps range and a long distance environment is investigated. Specification parameters which affect performance are shown and a measure is provided for predicting utilization of FDDI. A comparison of FDDI at 100 Mbps and 1 Gbps is presented. Some specific problems with FDDI are addressed and modifications which improve the viability of FDDI in such high speed networks are investigated.

Game, David↗
NASA NTRS1993

Planning collision free paths for two cooperating robots using a divide-and-conquer C-space traversal heuristic

A method was developed to plan feasible and obstacle-avoiding paths for two spatial robots working cooperatively in a known static environment. Cooperating spatial robots as referred to herein are robots which work in 6D task space while simultaneously grasping and manipulating a common, rigid payload. The approach is configuration space (c-space) based and performs selective rather than exhaustive c-space mapping. No expensive precomputations are required. A novel, divide-and-conquer type of heuristic is used to guide the selective mapping process. The heuristic does not involve any robot, environment, or task specific assumptions. A technique was also developed which enables solution of the cooperating redundant robot path planning problem without requiring the use of inverse kinematics for a redundant robot. The path planning strategy involves first attempting to traverse along the configuration space vector from the start point towards the goal point. If an unsafe region is encountered, an intermediate via point is identified by conducting a systematic search in the hyperplane orthogonal to and bisecting the unsafe region of the vector. This process is repeatedly applied until a solution to the global path planning problem is obtained. The basic concept behind this strategy is that better local decisions at the beginning of the trouble region may be made if a possible way around the 'center' of the trouble region is known. Thus, rather than attempting paths which look promising locally (at the beginning of a trouble region) but which may not yield overall results, the heuristic attempts local strategies that appear promising for circumventing the unsafe region.

Weaver, Johnathan M.↗
NASA NTRS1994

ELISA, a demonstrator environment for information systems architecture design

This paper describes an approach of reusability of software engineering technology in the area of ground space system design. System engineers have lots of needs similar to software developers: sharing of a common data base, capitalization of knowledge, definition of a common design process, communication between different technical domains. Moreover system designers need to simulate dynamically their system as early as possible. Software development environments, methods and tools now become operational and widely used. Their architecture is based on a unique object base, a set of common management services and they host a family of tools for each life cycle activity. In late '92, CNES decided to develop a demonstrative software environment supporting some system activities. The design of ground space data processing systems was chosen as the application domain. ELISA (Integrated Software Environment for Architectures Specification) was specified as a 'demonstrator', i.e. a sufficient basis for demonstrations, evaluation and future operational enhancements. A process with three phases was implemented: system requirements definition, design of system architectures models, and selection of physical architectures. Each phase is composed of several activities that can be performed in parallel, with the provision of Commercial Off the Shelves Tools. ELISA has been delivered to CNES in January 94, currently used for demonstrations and evaluations on real projects (e.g. SPOT4 Satellite Control Center). It is on the way of new evolutions.

Panem, Chantal↗
NASA NTRS1992

Critical issues for space life sciences

Human exploration of space requires the interaction of three general systems: environmental health and life support systems, countermeasure systems, and medical care systems. These systems address atmospheric pressure, uncertainties associated with space radiation, the potential for exposure to toxic materials in the closed environment, spacecraft habitability, human physiology, and microgrvaity. While these interdependent systems serve the same overall goal -- the protection of the human crewmember from the hostile space environment -- each has specific essential roles. Individually and in combination the three systems should be responsive to a strategy of risk reduction, so that the scientific possibilities of exploration missions may be maximized.

Nicogossian, Arnauld E.↗
NASA NTRS1997

Abstract Datatypes in PVS

PVS (Prototype Verification System) is a general-purpose environment for developing specifications and proofs. This document deals primarily with the abstract datatype mechanism in PVS which generates theories containing axioms and definitions for a class of recursive datatypes. The concepts underlying the abstract datatype mechanism are illustrated using ordered binary trees as an example. Binary trees are described by a PVS abstract datatype that is parametric in its value type. The type of ordered binary trees is then presented as a subtype of binary trees where the ordering relation is also taken as a parameter. We define the operations of inserting an element into, and searching for an element in an ordered binary tree; the bulk of the report is devoted to PVS proofs of some useful properties of these operations. These proofs illustrate various approaches to proving properties of abstract datatype operations. They also describe the built-in capabilities of the PVS proof checker for simplifying abstract datatype expressions.

Owre, Sam↗
NASA NTRS2001

Creativity and Creative Teams

A review of the linkage between knowledge, creativity, and design is presented and related to the best practices of multidisciplinary design teams. The discussion related to design and design teams is presented in the context of both the complete aerodynamic design community and specifically the work environment at the NASA Langley Research Center. To explore ways to introduce knowledge and creativity into the research and design environment at NASA Langley Research Center a creative design activity was executed within the context of a national product development activity. The success of the creative design team activity gave rise to a need to communicate the experience in a straightforward and managed approach. As a result the concept of creative potential its formulated and assessed with a survey of a small portion of the aeronautics research staff at NASA Langley Research Center. The final section of the paper provides recommendations for future creative organizations and work environments.

Wood, Richard M.↗
NASA NTRS2001

Parallel Processing of Adaptive Meshes with Load Balancing

Many scientific applications involve grids that lack a uniform underlying structure. These applications are often also dynamic in nature in that the grid structure significantly changes between successive phases of execution. In parallel computing environments, mesh adaptation of unstructured grids through selective refinement/coarsening has proven to be an effective approach. However, achieving load balance while minimizing interprocessor communication and redistribution costs is a difficult problem. Traditional dynamic load balancers are mostly inadequate because they lack a global view of system loads across processors. In this paper, we propose a novel and general-purpose load balancer that utilizes symmetric broadcast networks (SBN) as the underlying communication topology, and compare its performance with a successful global load balancing environment, called PLUM, specifically created to handle adaptive unstructured applications. Our experimental results on an IBM SP2 demonstrate that the SBN-based load balancer achieves lower redistribution costs than that under PLUM by overlapping processing and data migration.

Das, Sajal K.↗
NASA NTRS2004

Space Technology 5: Pathfinder for Future Micro-Sat Constellations

The Space Technology 5 (ST-5) Project, currently in the implementation phase, is part of the National Aeronautics and Space Administration (NASA) s New Millennium Program (NMP). ST-5 will consist of a constellation of three miniature satellites, each with mass less than 25 kg and size approximately 60 cm by 30 cm. ST-5 addresses technology challenges, as well as fabrication, assembly, test and operations strategies for future micro-satellite missions. ST-5 will be deployed into a highly eccentric, geo-transfer orbit (GTO). This will expose the spacecraft to a high radiation environment as well as provide a low level magnetic background. A three-month flight demonstration phase is planned to validate the technologies and demonstrate concepts for future missions. Each ST-5 spacecraft incorporates NMP competitively-selected breakthrough technologies. These include Cold Gas Micro-Thrusters for propulsion and attitude control, miniature X-band transponder for space-ground communications, Variable Emittance Coatings for dynamic thermal control, and CULPRiT ultra low power logic chip used for Reed-Solomon encoding. The ST-5 spacecraft itself is a technology that can be infused into future missions. It is a fully functional micro-spacecraft built within tight volume and mass constraints. It is built to withstand a high radiation environment, large thermal variations, and high launch loads. The spacecraft power system is low-power and low-voltage, and is designed to turn on after separation &om the launch vehicle. Some of the innovations that are included in the ST-5 design are a custom spacecraft deployment structure, magnetometer deployment boom, nutation damper, X-band antenna, miniature spinning sun sensor, solar array with triple junction solar cells, integral card cage assembly containing single card Command and Data Handling and Power System Electronics, miniature magnetometer, and lithium ion battery. ST-5 will demonstrate the ability of a micro satellite to perform research-quality science. Each ST-5 spacecraft will deploy a precision magnetometer to be used both for attitude determination and as a representative science instrument. The spacecraft has been developed with a low magnetic signature to avoid interference with the magnetometer. The spacecraft will be able to detect and respond autonomously to science events, i.e. significant changes in the magnetic field measurements. The three spacecraft will be a pathfinder for future constellation missions. They will be deployed to demonstrate an appropriate geometry for scientific measurements as a constellation. They will be operationally managed as a constellation, demonstrating automation and communication strategies that will be useful for future missions. The technologies and future mission concepts will be validated both on the ground and in space. Technologies will be validated on the ground by a combination of component level and system level testing of the flight hardware in a thermal vacuum environment. In flight, specific validation runs are planned for each of the technologies. Each validation run consists of one or more orbits with a specific validation objective. This paper will describe the ST-5 mission, and the applicability of the NMP technologies, spacecraft, and mission concepts to future missions. It will also discuss the validation approach for the ST-5 technologies and mission concepts.

Carlisle, Candace↗