SEARCH · Search NASA

Results for “Floating base”

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 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1988

Non-contaminating method to reduce Marangoni convection in microgravity float zones

A ground-based experiment has validated the effectiveness of a noncontaminating method developed to reduce Marangoni (thermal capillary) convection in float-zone processing of corrosive materials in space microgravity. A drop of silicone oil 1.5 mm high was enclosed in a transparent box, and the small size of the drop was shown to suppress the 1-g thermal-buoyant convection. A vertical jet of air was blown tangentially over a vertical free surface, producing a viscous shear drag which opposes the Marangoni surface shear. A 66 percent reduction in Marangoni velocities was found in the lowest one-third of the drop, corresponding to the resolidification surface in a float-zone melt.

Dressler, R. F.↗

DOE OSTI2025

Aerogel with Unparalleled Performance and Cost-Effectiveness for All Insulation Needs (CRADA Final Report)

Westwood Aerogel investigated the reproducible production of an ambiently or electromagnetic spectrum assisted drying of extremely porous aerogel materials. Traditional aerogel processing is limited by low throughput and scalability due to supercritical drying. Westwood Aerogel’s advanced manufacturing process enables commercialization and deployment at scale, making aerogel materials more accessible to a range of industries and applications. We focused on shifting from the lab scale environment to manufacturing prototypes. The initial manufacturing model is based on the float glass process, which is the industry standard for glass window production, and the paper drying process. By incorporating an ambient drying process a continuous line model can be used from start to finish. The project team worked to develop a continuous manufacturing system to scale-up and reduce costs while maintaining the lightweight and insulative properties of aerospace-grade aerogel. While aerogels are extremely insulative, lightweight, and thin materials (making them ideal insulators across application spaces), high costs and stagnant innovation have hampered their wider adoption. Traditional manufacturing of aerogel requires supercritical extraction of pore fluid to obtain highly insulating materials, which is an energy intensive batch process and limits aerogel production output. Westwood Aerogel’s proprietary ambient drying process enables the continuous production of highly insulative aerogel materials without the use of supercritical extraction.

36 MATERIALS SCIENCE↗

NASA NTRS1972

Silicon solar cell development and radiation effects study for low temperature and low illumination intensity operation, volume 2

The results are presented of a study to determine the effect of in-situ proton irradiation upon low temperature, low intensity performance of several cell types. The cell types were selected in an attempt to distinguish variations in temperature-dependent radiation resistance which could be attributed to the n-p or p-n structure, diffused or implanted junctions, crucible grown or float-zone type base material, and high or low base resistivity. The results indicate that while expected variations of performance occur at room temperature, all cell types degrade more or less similarly at lower temperatures with normalized degradation becoming increasingly rapid as temperature is reduced. Recommendations for an optimized cell for Jupiter probe use are included along with a definition of the testing required on these cells to insure good performance characteristics.

Kirkpatrick, A. R.↗

NASA NTRS1991

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

Discussed here is work to formally specify and verify a floating point coprocessor based on the MC68881. The HOL verification system developed at Cambridge University was used. The coprocessor consists of two independent units: the bus interface unit used to communicate with the cpu and the arithmetic processing unit used to perform the actual calculation. Reasoning about the interaction and synchronization among processes using higher order logic is demonstrated.

Pan, Jing↗

NASA NTRS2003

Robonaut's Flexible Information Technology Infrastructure

Robonaut, NASA's humanoid robot, is designed to work as both an astronaut assistant and, in certain situations, an astronaut surrogate. This highly dexterous robot performs complex tasks under telepresence control that could previously only be carried out directly by humans. Currently with 47 degrees of freedom (DOF), Robonaut is a state-of-the-art human size telemanipulator system. while many of Robonaut's embedded components have been custom designed to meet packaging or environmental requirements, the primary computing systems used in Robonaut are currently commercial-off-the-shelf (COTS) products which have some correlation to flight qualified computer systems. This loose coupling of information technology (IT) resources allows Robonaut to exploit cost effective solutions while floating the technology base to take advantage of the rapid pace of IT advances. These IT systems utilize a software development environment, which is both compatible with COTS hardware as well as flight proven computing systems, preserving the majority of software development for a flight system. The ability to use highly integrated and flexible COTS software development tools improves productivity while minimizing redesign for a space flight system. Further, the flexibility of Robonaut's software and communication architecture has allowed it to become a widely used distributed development testbed for integrating new capabilities and furthering experimental research.

Askew, Scott↗

NASA NTRS2017

Simulating Matrix Crack and Delamination Interaction in a Clamped Tapered Beam

Blind predictions were conducted to validate a discrete crack methodology based on the Floating Node Method to simulate matrix-crack/delamination interaction. The main novel aspects of the approach are: (1) the implementation of the floating node method via an 'extended interface element' to represent delaminations, matrix-cracks and their interaction, (2) application of directional cohesive elements to infer overall delamination direction, and (3) use of delamination direction and stress state at the delamination front to determine migration onset. Overall, good agreement was obtained between simulations and experiments. However, the validation exercise revealed the strong dependence of the simulation of matrix-crack/delamination interaction on the strength data (in this case transverse interlaminar strength, YT) used within the cohesive zone approach applied in this work. This strength value, YT, is itself dependent on the test geometry from which the strength measurement is taken. Thus, choosing an appropriate strength value becomes an ad-hoc step. As a consequence, further work is needed to adequately characterize and assess the accuracy and adequacy of cohesive zone approaches to model small crack growth and crack onset. Additionally, often when simulating damage progression with cohesive zone elements, the strength is lowered while keeping the fracture toughness constant to enable the use of coarser meshes. Results from the present study suggest that this approach is not recommended for any problem involving crack initiation, small crack growth or multiple crack interaction.

De Carvalho, N. V.↗

DOE OSTI2024

Geometry Optimization of Cable-Based Actuation for Small-Scale Model Testing of a Floating Marine Turbine: Preprint

This research aims to apply combined wave and tidal current loads to a small-scale floating marine current turbine in a wave tank, where an actuation system applies hydrodynamic and mooring forces on the hardware based on results from a simulation. We use a real-time hybrid test setup with physical wave forcing from the wave tank and simulated current and mooring forces implemented through a tensioned cable array. For this paper, we developed an optimization algorithm that adjusts the hardware geometry of the cable array to achieve more efficient tension allocation across the cables for the loads that need to be actuated. By adjusting the points where the cables are attached to the floating platform and the angles between the platform and the winches, an optimal cable geometry can be found to minimize tension variations in the lines, maintain the desired pretension, and prevent excessive tensions. We present the optimization problem formulation, the actuation system evaluation approach, and optimization results that show effective cable actuation setups that are being considered for implementation in the wave tank tests.

cable-based actuation↗

NASA NTRS1993

Computer-controlled float zone crystal growth

A PC-based computer control system to automate a high-temperature float zone growth of titanium carbide is reported. The control strategy of the computer control system relies on the relations derived from a combination of empirical relations and results from detailed mathematical analysis of the physical transports of the entire float zone assembly. A system control computer program was written to establish real-time determination of the size of the molten zone from a thermal image, control parameters from established relationships, and collected processed data to achieve control objectives. We found that the developed computer control allows the growth process to be operated nearer the stability limit. Any slight variations in growth conditions can be corrected in time to avoid any instability growth, which otherwise cannot be adjusted via manual control.

Chan, Y. T.↗

NASA NTRS1984

Predictability of the Earth's polar motion

A comprehensive, experimental study of the predictability of the polar motion using a homogeneous BIH (Bureau International de l'Heure) data set is presented. Based on knowledge of the physics of the annual and the Chandler wobbles, the numerical model for the polar motion is constructed by allowing the wobble periods to vary. Using an optimum base length of 6 years for prediction, this floating-period model, equipped with a non-linear least-squares estimator, is found to yield polar motion predictions accurate from 0.012 to 0.024 inches depending on the prediction length up to one year, corresponding to a predictability of 91-83%. This represents a considerable improvement over the conventional fixed-period predictor, which does not respond to variations in the apparent wobble periods. The superiority of the floating-period predictor to other predictors based on critically different numerical models is also demonstrated.

Chao, B. F.↗

DOE OSTI2024

IEA Wind TCP Task 49: Reference Site Conditions for Floating Wind Arrays

This report, prepared within Work package 1 of IEA Wind Task 49, presents reference site conditions for floating wind arrays to serve as a design basis for the techno-economic design of reference floating wind arrays. Data of the reference sites presented here are publicly available in an open database and thus support fast development and comparable design of floating wind arrays for various relevant conditions. The development of these reference sites drew on existing open access datasets and ongoing research projects of task participants. Six classes were identified that describe relevant key conditions for the design and development of floating wind arrays: met-ocean conditions, seabed conditions, coastal infrastructure, environmental impact, socio-economic impact, as well as regulations and permissions. The reference sites for the techno-economic design of floating wind arrays are based on a concept with building blocks to synthesize purpose-built site representations. In each of the identified classes with influencing design factors, building blocks are used to describe the characteristic properties and their spread. However, the latter three classes (i.e., environmental impact, socio-economic impact, regulations and permissions) are not included in the reference site conditions due to limited knowledge and lack of reliable criteria to quantify their impact on the techno-economic design in numeric parameters. Building blocks with key parameters for the techno-economic design of floating wind arrays are provided for met-ocean conditions, seabed conditions, and coastal infrastructure. For met-ocean conditions, multiple sites were selected for detailed analysis that represent a range of conditions across the pipeline of floating wind projects. Wind conditions and sea states are separated, and each location considers both the severity of wind and waves e.g. one site may have a moderate wave condition but severe wind condition. From this pipeline, eleven representative sites were selected where both site-specific analysis was available within the consortium, and where they represent different parts of the global pipeline. The eleven sites are: Hannibal (Italy), Humboldt (US), Ulsan (South Korea), MoneyPoint One (Ireland), Havbredey (UK), Fukushima (Japan), Utsira Nord (Norway), Gulf of Maine (US), Sud de la Bretagne II (France), Sorlige Nordsjo II (Norway). Each of these sites is summarized in the main report while more details about the studies and analyses behind the datasets are provided in the appendix. For seabed conditions, general information about the geotechnical parameters is provided and a baseline is established for the geotechnical parameters and stratigraphy that may be encountered on the sites. A set of six 'synthetic cases' is defined as building blocks providing the different parameters required for design under each case/soil condition. For the coastal infrastructure, general information about the main requirements is provided that a port should comply with to provide a satisfactory service during the construction of floating offshore wind arrays. Minimum port infrastructural requirements are provided for three types of ports.

17 WIND ENERGY↗

NASA NTRS2012

A New Method to Grow SiC: Solvent-Laser Heated Floating Zone

The solvent-laser heated floating zone (solvent-LHFZ) growth method is being developed to grow long single crystal SiC fibers. The technique combines the single crystal fiber growth ability of laser heated floating zone with solvent based growth techniques (e.g. traveling solvent method) ability to grow SiC from the liquid phase. Initial investigations reported in this paper show that the solvent-LHFZ method readily grows single crystal SiC (retains polytype and orientation), but has a significant amount of inhomogeneous strain and solvent rich inclusions.

Woodworth, Andrew A.↗

NASA NTRS2012

A New Method to Grow SiC: Solvent-Laser Heated Floating Zone

Woodworth, A. A.↗

NASA NTRS2013

A Simple GPU-Accelerated Two-Dimensional MUSCL-Hancock Solver for Ideal Magnetohydrodynamics

We describe our experience using NVIDIA's CUDA (Compute Unified Device Architecture) C programming environment to implement a two-dimensional second-order MUSCL-Hancock ideal magnetohydrodynamics (MHD) solver on a GTX 480 Graphics Processing Unit (GPU). Taking a simple approach in which the MHD variables are stored exclusively in the global memory of the GTX 480 and accessed in a cache-friendly manner (without further optimizing memory access by, for example, staging data in the GPU's faster shared memory), we achieved a maximum speed-up of approx. = 126 for a sq 1024 grid relative to the sequential C code running on a single Intel Nehalem (2.8 GHz) core. This speedup is consistent with simple estimates based on the known floating point performance, memory throughput and parallel processing capacity of the GTX 480.

graphics processing units↗

NASA NTRS2006

A High-Level Formalization of Floating-Point Number in PVS

We develop a formalization of floating-point numbers in PVS based on a well-known formalization in Coq. We first describe the definitions of all the needed notions, e.g., floating-point number, format, rounding modes, etc.; then, we present an application to polynomial evaluation for elementary function evaluation. The application already existed in Coq, but our formalization shows a clear improvement in the quality of the result due to the automation provided by PVS. We finally integrate our formalization into a PVS hardware-level formalization of the IEEE-854 standard previously developed at NASA.

Boldo, Sylvie↗

NASA NTRS1973

Sink-float ferrofluid separator applicable to full scale nonferrous scrap separation

Design and performance of a ferrofluid levitation separator for recovering nonferrous metals from shredded automobiles are reported. The scrap separator uses an electromagnet to generate a region of constant density within a pool of ferrofluid held between the magnetic poles; a saturated kerosene base ferrofluid as able to float all common industrial metals of interest. Conveyors move the scrap into the ferrofluid for separation according to density. Results of scrap mixture separation studies establish the technical feasibility of relatively pure aluminum alloy and zinc alloy fractions from shredded automobile scrap by this ferrofluid levitation process. Economic projections indicate profitable operation for shredders handling more than 300 cars per day.

Source record↗

NASA NTRS2017

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.

Moscato, Mariano↗

DOE OSTI2025

Robustness of Deep Learning Classification to Adversarial Input on GPUs: Asynchronous Parallel Accumulation Is a Source of Vulnerability

The ability of machine learning (ML) classification models to resist small, targeted input perturbations—known as adversarial attacks—is a key measure of their safety and reliability. We show that floating-point non associativity (FPNA) coupled with asynchronous parallel programming on GPUs is sufficient to result in misclassification, without any perturbation to the input. Additionally, we show that this misclassification is particularly significant for inputs close to the decision boundary and that standard adversarial robustness results may be overestimated up to 4.6 when not considering machine-level details. We first study a linear classifier, before focusing on standard Graph Neural Network (GNN) architectures and datasets used in robustness assessments. We develop a novel black-box attack using Bayesian optimization to discover external workloads that can change the instruction scheduling which bias the output of reductions on GPUs and reliably lead to misclassification. Motivated by these results, we present a new learnable permutation (LP) gradient-based approach to learning floating-point operation orderings that lead to misclassifications. The LP approach provides a worst-case estimate in a computationally efficient manner, avoiding the need to run identical experiments tens of thousands of times over a potentially large set of possible GPU states or architectures. Finally, using instrumentation-based testing, we investigate parallel reduction ordering across different GPU architectures under external background workloads, when utilizing multi-GPU virtualization, and when applying power capping. Our results demonstrate that parallel reduction ordering varies significantly across architectures under the first two conditions, substantially increasing the search space required to fully test the effects of this parallel scheduler-based vulnerability. These results and the methods developed here can help to include machine-level considerations into adversarial robustness assessments, which can make a difference in safety and mission critical applications.

Shanmugavelu, Sanjif [Maxeler Technologies, a Groq↗

DOE OSTI2024

OC6 project Phase IV: validation of numerical models for novel floating offshore wind support structures

Abstract. This paper provides a summary of the work done within Phase IV of the Offshore Code Comparison Collaboration, Continued with Correlation and unCertainty (OC6) project, under International Energy Agency Wind Technology Collaboration Programme Task 30. This phase focused on validating the loading on and motion of a novel floating offshore wind system. Numerical models of a 3.6 MW horizontal-axis wind turbine atop the TetraSpar floating support structure were compared using measurement data from a 1:43-Froude-scale test performed in the University of Maine's Alfond Wind–Wave (W2) Ocean Engineering Laboratory. Participants in the project ran a series of simulations, including system equilibrium, surge offsets, free-decay tests, wind-only conditions, wave-only conditions, and a combination of wind and wave conditions. Validation of the models was performed by comparing the aerodynamic loading, floating support structure motion, tower base loading, mooring line tensions, and keel line tensions. The results show a relatively good estimation of the aerodynamic loading and a reasonable estimation of the platform motion and tower base fore–aft bending moment. However, there is a significant dispersion in the dynamic loading for the upwind mooring line. Very good agreement was observed between most of the numerical models and the experiment for the keel line tensions.

17 WIND ENERGY↗