Search NASA⌕ Search

SEARCH · Search NASA

Results for “partitioned operating system”

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 145 records · Page 8

Vapor-Liquid Partitioning of Methylmercury Compounds: Fundamental Data to Support the Savannah River Site Liquid Waste System: Henry's Law, Solubility and Vapor Pressure Determination for Representative Methylmercury Compounds

The Savannah River Site (SRS) Liquid Waste System (LWS) contains approximately 66 tons of mercury within the liquids, salts, and sludges that are currently being processed into final wasteforms for disposal. Mercury concentrations within the system exceed those typically experienced in environmental or industrial systems; thus, management of mercury compounds continues to be a priority for SRS. In the LWS, waste is vitrified into a borosilicate glass wasteform that contains most of the radioactivity, while the lower activity solutions are dispositioned in a low-level grout wasteform, or “saltstone”. The alkaline, high ionic strength caustic wastes are pumped, evaporated, and otherwise managed throughout the LWS and Defense Waste Processing Facility (DWPF) as they are stored and prepared for conversion to the final wasteforms. Because of the complexity of this system, a key component of effective mercury management in the LWS requires analysis of mercury in various physical phases. The high concentration of mercury within the SRS LWS has the potential to generate vapor-phase contamination. Elemental mercury (Hg 0 ), dimethylmercury ((CH 3 ) 2 Hg), and methylmercury (CH 3 Hg + ) are among species known or suspected to contribute to the flux of mercury from liquid to vapor phase (Iverfeldt and Lindquist, 1982). Chemical speciation affects not only mercury behavior in LWS operations but may also affect the performance of mercury treatment and removal technologies in the LWS.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

LSI computer fabrication - SUMC/DV.

The SUMC/DV (Space Ultrareliable Modular Computer Demonstration Vehicle), which required the design and fabrication of ten different array types, was designed, partitioned, assembled, tested, and made completely operational in less than one year. This paper describes the assembly, the physical and electrical characteristics, and the basic electrical testing procedures used on SUMC/DV. The paper includes a description of the packaging concepts, the physical assembly, the fabrication and testing of the various components including the LSI/CMOS arrays, the hierarchy of the memory complement, the clock generation and distribution scheme, additional system testing techniques, and the procedure employed in the electrical checkout of the system.

Feller, A.↗

Guidance of Nonlinear Systems

The paper describes a method for guiding a dynamic system through a given set of points. The paradigm is a fully automatic aircraft subject to air traffic control (ATC). The ATC provides a sequence of way points through which the aircraft trajectory must pass. The way points typically specify time, position, and velocity. The guidance problem is to synthesize a system state trajectory which satisfies both the ATC and aircraft constraints. Complications arise because the controlled process is multi-dimensional, multi-axis, nonlinear, highly coupled, and the state space is not flat. In addition, there is a multitude of possible operating modes, which may number in the hundreds. Each such mode defines a distinct state space model of the process by specifying the state space coordination, the partition of the controls into active controls and configuration controls, and the output map. Furthermore, mode transitions must be smooth. The guidance algorithm is based on the inversion of the pure feedback approximations, which is followed by iterative corrections for the effects of zero dynamics. The paper describes the structure and modules of the algorithm, and the performance is illustrated by several example aircraft maneuvers.

Meyer, George↗

Guidance of Nonlinear Systems

The paper describes a method for guiding a dynamic system through a given set of points. The paradigm is a fully automatic aircraft subject to air traffic control (ATC). The ATC provides a sequence of way points through which the aircraft trajectory must pass. The way points typically specify time, position, and velocity. The guidance problem is to synthesize a system state trajectory which satisfies both the ATC and aircraft constraints. Complications arise because the controlled process is multi-dimensional, multi-axis, nonlinear, highly coupled, and the state space is not flat. In addition, there is a multitude of possible operating modes, which may number in the hundreds. Each such mode defines a distinct state space model of the process by specifying the state space coordinatization, the partition of the controls into active controls and configuration controls, and the output map. Furthermore, mode transitions must be smooth. The guidance algorithm is based on the inversion of the pure feedback approximations, which is followed by iterative corrections for the effects of zero dynamics. The paper describes the structure and modules of the algorithm, and the performance is illustrated by several example aircraft maneuvers.

Meyer, George↗

Airspace Complexity and its Application in Air Traffic Management

The United States Air Traffic Management (ATM) system provides services to enable safe, orderly and efficient aircraft operations within the airspace over the continental United States and over large portions of the Pacific and Atlantic Oceans, and the Gulf of Mexico. It consists of two components, Air Traffic Control (ATC) and Traffic Flow Management (TFM). The ATC function ensures that the aircraft within the airspace are separated at all times while the TFM function organizes the aircraft into a flow pattern to ensure their safe and efficient movement. In order to accomplish the ATC and TFM functions, the airspace over United States is organized into 22 Air Route Traffic Control Centers (ARTCCs). The Center airspace is stratified into low-altitude, high-altitude and super-high altitude groups of Sectors. Each vertical layer is further partitioned into several horizontal Sectors. A typical ARTCC airspace is partitioned into 20 to 80 Sectors. These Sectors are the basic control units within the ATM system.

Sridhar, Banavar↗

Source And Sink Of Iodine For Drinking Water

Proposed system for controlling concentration of iodine in potable water exploits temperature dependence of equilibrium partition of iodine between solution in water and residence in ion-exchange resin. Used to maintain concentration of iodine sufficient to kill harmful microbes, but not so great to make water unpalatable. Requires little attention, yet controls concentration of iodine more precisely than iodination and deiodination by manual techniques. Conceived for use aboard spacecraft, system has terrestrial applications in regions where water must be kept potable, resupply difficult, and system must operate largely unattended.

Sauer, Richard L.↗

Continuous Lidar Monitoring of Polar Stratospheric Clouds at the South Pole

Polar stratospheric clouds (PSC) play a primary role in the formation of annual ozone holes over Antarctica during the austral sunrise. Meridional temperature gradients in the lower stratosphere and upper troposphere, caused by strong radiative cooling, induce a broad dynamic vortex centered near the South Pole that decouples and insulates the winter polar airmass. PSC nucleate and grow as vortex temperatures gradually fall below equilibrium saturation and frost points for ambient sulfate, nitrate, and water vapor concentrations (generally below 197 K). Cloud surfaces promote heterogeneous reactions that convert stable chlorine and bromine-based molecules into photochemically active ones. As spring nears, and the sun reappears and rises, photolysis decomposes these partitioned compounds into individual halogen atoms that react with and catalytically destroy thousands of ozone molecules before they are stochastically neutralized. Despite a generic understanding of the ozone hole paradigm, many key components of the system, such as cloud occurrence, phase, and composition; particle growth mechanisms; and denitrification of the lower stratosphere have yet to be fully resolved. Satellite-based observations have dramatically improved the ability to detect PSC and quantify seasonal polar chemical partitioning. However, coverage directly over the Antarctic plateau is limited by polar-orbiting tracks that rarely exceed 80 degrees S. In December 1999, a NASA Micropulse Lidar Network instrument (MPLNET) was first deployed to the NOAA Earth Systems Research Laboratory (ESRL) Atmospheric Research Observatory at the Amundsen-Scott South Pole Station for continuous cloud and aerosol profiling. MPLNET instruments are eye-safe, capable of full-time autonomous operation, and suitably rugged and compact to withstand long-term remote deployment. With only brief interruptions during the winters of 2001 and 2002, a nearly continuous data archive exists to the present.

OZONE DESTRUCTION↗

UPC++ v1.0 Specification, Revision 2020.10.0

UPC++ is a C++11 library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

UPC++ v1.0 Specification, Revision 2021.9.0

UPC++ is a C++ library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

UPC++ v1.0 Specification (Rev. 2023.9.0)

UPC++ is a C++ library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

UPC++ v1.0 Specification (Revision 2022.3.0)

UPC++ is a C++ library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

UPC++ v1.0 Specification, Revision 2023.3.0

UPC++ is a C++ library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

UPC++ v1.0 Specification (Revision 2021.3.0)

UPC++ is a C++11 library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

UPC++ v1.0 Specification, Revision 2022.9.0

UPC++ is a C++ library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

UPC++ v1.0 Specification, Revision 2020.3.0

UPC++ is a C++11 library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe and designed to allow efficient and expressive use in multi-threaded applications. The interface is designed for extreme scalability throughout, and deliberately avoids design features that could inhibit scalability.

97 MATHEMATICS AND COMPUTING↗

Performance of the CELSS Antarctic Analog Project (CAAP) crop production system

Regenerative life support systems potentially offer a level of self-sufficiency and a decrease in logistics and associated costs in support of space exploration and habitation missions. Current state-of-the-art in plant-based, regenerative life support requires resources in excess of allocation proposed for candidate mission scenarios. Feasibility thresholds have been identified for candidate exploration missions. The goal of this paper is to review recent advances in performance achieved in the CELSS Antarctic Analog Project (CAAP) in light of the likely resource constraints. A prototype CAAP crop production chamber has been constructed and operated at the Ames Research Center. The chamber includes a number of unique hardware and software components focused on attempts to increase production efficiency, increase energy efficiency, and control the flow of energy and mass through the system. Both single crop, batch production and continuous cultivation of mixed crops production studies have been completed. The crop productivity as well as engineering performance of the chamber are described. For each scenario, energy required and partitioned for lighting, cooling, pumping, fans, etc. is quantified. Crop production and the resulting lighting efficiency and energy conversion efficiencies are presented. In the mixed-crop scenario, with 27 different crops under cultivation, 17 m2 of crop area provided a mean of 515 g edible biomass per day (85% of the approximate 620 g required for one person). Enhanced engineering and crop production performance achieved with the CAAP chamber, compared with current state-of-the-art, places plant-based life support systems at the threshold of feasibility. c2002 Published by Elsevier Science Ltd on behalf of COSPAR.

Lettuce/growth & development↗

Validation of Satellite-Based Precipitation Products from TRMM to GPM

The global precipitation measurement mission (GPM) has been in operation for seven years and continues to provide a vast quantity of global precipitation data at finer temporospatial resolutions with improved accuracy and coverage. GPM’s signature algorithm, the integrated multisatellite retrievals for GPM (IMERG) is a next-generation of precipitation product expected for wide variety of research and operational applications. This study evaluates the latest version (V06B) of IMERG and its predecessor, the tropical rainfall measuring mission (TRMM) multisatellite precipitation (TMPA) 3B42 (V7) using ground-based and gauge-corrected multiradar multisensor system (MRMS) precipitation products over the conterminous United States (CONUS). The spatial distributions of all products are analyzed. The error characteristics are further examined for 3B42 and IMERG in winter and summer by an error decomposition approach, which partitions total bias into hit bias, biases due to missed precipitation and false precipitation. The volumetric and categorical statistical metrics are used to quantitatively evaluate the performance of the two satellite-based products. All products show a similar precipitation climatology with some regional differences. The two satellite-based products perform better in the eastern CONUS than in the mountainous Western CONUS. The evaluation demonstrates the clear improvement in IMERG precipitation product in comparison with its predecessor 3B42, especially in reducing missed precipitation in winter and summer, and hit bias in winter, resulting in better performance in capturing lighter and heavier precipitation.

MRMS↗

Elemental characterization of crystalline silicotitanate following Hanford tank waste processing

To expedite vitrification of low activity waste at the Hanford Site, a Tank-Side Cesium Removal system is being evaluated. This method utilizes an inorganic ion exchange (IX) media, crystalline silicotitanate (CST), to remove 99.9% of the 137Cs from tank waste supernate. Laboratory scale testing of the ion exchange process has been conducted by Pacific Northwest National Laboratory to evaluate Cs removal with CST in supernates collected from Hanford tanks 241-AP-107 and 241-AW-102 under prototypic plant operating conditions. In an effort to understand the selectivity and partitioning of other analytes toward CST, specifically Resource Conservation and Recovery Act (RCRA) hazardous metals, selected +2 cations, and transuranic elements, a method for the complete dissolution of CST and Cs removal from the digestate was applied to the spent CST post-processing Hanford tank waste. The CST was shown to adsorb a relevant fraction of Ca, Cd, Pb, Sr, and potentially Fe by IX and/or other mechanisms. The spent CST also adsorbed actinides, including U, Pu, Np, and Am. This work discusses digestion of CST and removal of Cs from the digestate allowing effective analysis and provides insight as to what analytes may be competing for IX sites on the CST media.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗